阿尔弗雷德·塔斯基

作品

• 1933形式化语言中的真理概念

  在更丰富的元语言中给出的形式语言的真理定义——以及证明没有任何这样的语言能够定义它自己的真理。

• 1944真理的语义学概念

  对他的理论的通俗陈述：“雪是白的”为真，当且仅当雪是白的——亚里士多德古典真理观的一种精确形式。

立场

Tarski’s monograph on truth (Polish 1933, German 1935) asked how the word “true” can be used without falling into paradoxes such as the liar. His answer distinguishes an object language from the metalanguage in which we talk about it. A definition of truth for the object language is adequate if it entails, for every sentence, an instance of “Convention T”: “snow is white” is true if and only if snow is white. For formal languages he gave such a definition, built up through the notion of satisfaction, and proved that no sufficiently rich language can define its own truth predicate. The Semantic Conception of Truth (1944) presented this as a precise form of Aristotle’s classical conception. In 1936 he defined logical consequence: a conclusion follows if every interpretation that makes the premises true makes it true. These definitions founded model theory, which he developed at Berkeley, along with decision procedures for elementary algebra and geometry. Carnap’s turn from syntax to semantics followed his meetings with Tarski, Popper credited him with rehabilitating the correspondence theory of truth, and Davidson built a theory of meaning on Convention T. Kripke’s theory of truth of 1975 was designed to avoid Tarski’s hierarchy of languages.

生平与背景

Alfred Tarski was born Alfred Tajtelbaum in Warsaw in 1901 into an assimilated Jewish family. In 1923 he and his brother changed their name to Tarski, and he became a Roman Catholic. He took his doctorate under Stanisław Leśniewski in 1924, the year of the Banach–Tarski paradox, and belonged to the Lwów–Warsaw school of logic. He never obtained a chair in Poland – antisemitism is thought to have played a part – and taught for years at a Warsaw secondary school alongside his university lectures. In August 1939 he travelled to a congress for the Unity of Science at Harvard and was cut off by the outbreak of war. His wife and children survived in Poland and joined him in 1946; his parents and his brother did not survive the war. From 1942 he taught at Berkeley, where he built a leading centre of logic. He died in Berkeley in 1983.

其他主要作品

• The Concept of Truth in Formalized Languages (Polish 1933, German 1935)
• On the Concept of Logical Consequence (1936)
• Introduction to Logic and to the Methodology of Deductive Sciences (1936)
• The Semantic Conception of Truth and the Foundations of Semantics (1944)
• A Decision Method for Elementary Algebra and Geometry (1948)
• Logic, Semantics, Metamathematics (collected papers, 1956)