Alfred Tarski

Solomon Feferman and Vann McGee further discussed Tarski's proposal in work published after his death. Feferman (1999) raises problems for the proposal and suggests a cure: replacing Tarski's preservation by automorphisms with preservation by arbitrary homomorphisms. In essence, this suggestion circumvents the difficulty Tarski's proposal has in dealing with a sameness of logical operation across distinct domains of a given cardinality and across domains of distinct cardinalities. Feferman's proposal results in a radical restriction of logical terms as compared to Tarski's original proposal. In particular, it ends up counting as logical only those operators of standard first-order logic without identity.

McGee (1996) provides a precise account of what operations are logical in the sense of Tarski's proposal in terms of expressibility in a language that extends first-order logic by allowing arbitrarily long conjunctions and disjunctions, and quantification over arbitrarily many variables. "Arbitrarily" includes a countable infinity.

as expressing merely a deflationary theory of truth or as embodying truth as a more substantial property (see Kirkham 1992). It is important to realize that Tarski's theory of truth is for formalized languages, so examples in natural language are not illustrations of the use of Tarski's theory of truth.

Another theory of Tarski's attracting attention in the recent philosophical literature is that outlined in his "What are Logical Notions?" (Tarski 1986). This is the published version of a talk that he gave originally in 1966 in London and later in 1973 in Buffalo; it was edited without his direct involvement by John Corcoran. It became the most cited paper in the journal History and Philosophy of Logic.

Tarski supervised twenty-four Ph.D. dissertations including (in chronological order) those of Andrzej Mostowski, Bjarni Jónsson, Julia Robinson, Robert Vaught, Solomon Feferman, Richard Montague, James Donald Monk, Haim Gaifman, Donald Pigozzi and Roger Maddux, as well as Chen Chung Chang and Jerome Keisler, authors of Model Theory (1973), a classic text in the field. He also strongly influenced the dissertations of Alfred Lindenbaum, Dana Scott, and Steven Givant. Five of Tarski's students were women, a remarkable fact given that men represented an overwhelming majority of graduate students at the time. However, he had extra-marital affairs with at least two of these students. After he showed another of his female students' work to a male colleague, the colleague published it himself, leading her to leave the graduate study and later move to a different university and a different advisor.

Tarski's 1969 "Truth and proof" considered both Gödel's incompleteness theorems and Tarski's undefinability theorem, and mulled over their consequences for the axiomatic method in mathematics.

Tarski lectured at University College, London (1950, 1966), the Institut Henri Poincaré in Paris (1955), the Miller Institute for Basic Research in Science in Berkeley (1958–60), the University of California at Los Angeles (1967), and the Pontifical Catholic University of Chile (1974–75). Among many distinctions garnered over the course of his career, Tarski was elected to the United States National Academy of Sciences, the British Academy and the Royal Netherlands Academy of Arts and Sciences in 1958, received honorary degrees from the Pontifical Catholic University of Chile in 1975, from Marseilles' Paul Cézanne University in 1977 and from the University of Calgary, as well as the Berkeley Citation in 1981. Tarski presided over the Association for Symbolic Logic, 1944–46, and the International Union for the History and Philosophy of Science, 1956–57. He was also an honorary editor of Algebra Universalis.

Tarski produced axioms for logical consequence and worked on deductive systems, the algebra of logic, and the theory of definability. His semantic methods, which culminated in the model theory he and a number of his Berkeley students developed in the 1950s and 60s, radically transformed Hilbert's proof-theoretic metamathematics. Around 1930, Tarski developed an abstract theory of logical deductions that models some properties of logical calculi. Mathematically, what he described is just a finitary closure operator on a set (the set of sentences). In abstract algebraic logic, finitary closure operators are still studied under the name consequence operator, which was coined by Tarski. The set S represents a set of sentences, a subset T of S a theory, and cl(T) is the set of all sentences that follow from the theory. This abstract approach was applied to fuzzy logic (see Gerla 2000).

In A decision method for elementary algebra and geometry, Tarski showed, by the method of quantifier elimination, that the first-order theory of the real numbers under addition and multiplication is decidable. (While this result appeared only in 1948, it dates back to 1930 and was mentioned in Tarski (1931).) This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic (the theory of natural numbers) is not decidable. Peano arithmetic is also incomplete by Gödel's incompleteness theorem. In his 1953 Undecidable theories, Tarski et al. showed that many mathematical systems, including lattice theory, abstract projective geometry, and closure algebras, are all undecidable. The theory of Abelian groups is decidable, but that of non-Abelian groups is not.

In the talk, Tarski proposed demarcation of logical operations (which he calls "notions") from non-logical. The suggested criteria were derived from the Erlangen program of the 19th-century German mathematician Felix Klein. Mautner (in 1946), and possibly an article by the Portuguese mathematician Sebastiao e Silva, anticipated Tarski in applying the Erlangen Program to logic.

In 1941, Tarski published an important paper on binary relations, which began the work on relation algebra and its metamathematics that occupied Tarski and his students for much of the balance of his life. While that exploration (and the closely related work of Roger Lyndon) uncovered some important limitations of relation algebra, Tarski also showed (Tarski and Givant 1987) that relation algebra can express most axiomatic set theory and Peano arithmetic. For an introduction to relation algebra, see Maddux (2006). In the late 1940s, Tarski and his students devised cylindric algebras, which are to first-order logic what the two-element Boolean algebra is to classical sentential logic. This work culminated in the two monographs by Tarski, Henkin, and Monk (1971, 1985).

Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.

Once in the United States, Tarski held a number of temporary teaching and research positions: Harvard University (1939), City College of New York (1940), and thanks to a Guggenheim Fellowship, the Institute for Advanced Study in Princeton (1942), where he again met Gödel. In 1942, Tarski joined the Mathematics Department at the University of California, Berkeley, where he spent the rest of his career. Tarski became an American citizen in 1945. Although emeritus from 1968, he taught until 1973 and supervised Ph.D. candidates until his death. At Berkeley, Tarski acquired a reputation as an astounding and demanding teacher, a fact noted by many observers:

Tarski's 1936 article "On the concept of logical consequence" argued that the conclusion of an argument will follow logically from its premises if and only if every model of the premises is a model of the conclusion. In 1937, he published a paper presenting clearly his views on the nature and purpose of the deductive method, and the role of logic in scientific studies. His high school and undergraduate teaching on logic and axiomatics culminated in a classic short text, published first in Polish, then in German translation, and finally in a 1941 English translation as Introduction to Logic and to the Methodology of Deductive Sciences.

In 1936, Tarski published Polish and German versions of a lecture he had given the preceding year at the International Congress of Scientific Philosophy in Paris. A new English translation of this paper, Tarski (2002), highlights the many differences between the German and Polish versions of the paper and corrects a number of mistranslations in Tarski (1983).

In some ways the present proposal is the obverse of that of Lindenbaum and Tarski (1936), who proved that all the logical operations of Bertrand Russell's and Whitehead's Principia Mathematica are invariant under one-to-one transformations of the domain onto itself. The present proposal is also employed in Tarski and Givant (1987).

In 1933, Tarski published a very long paper in Polish, titled "Pojęcie prawdy w językach nauk dedukcyjnych", "Setting out a mathematical definition of truth for formal languages." The 1935 German translation was titled "Der Wahrheitsbegriff in den formalisierten Sprachen", "The concept of truth in formalized languages", sometimes shortened to "Wahrheitsbegriff". An English translation appeared in the 1956 first edition of the volume Logic, Semantics, Metamathematics. This collection of papers from 1923 to 1938 is an event in 20th-century analytic philosophy, a contribution to symbolic logic, semantics, and the philosophy of language. For a brief discussion of its content, see Convention T (and also T-schema).

Tarski applied for a chair of philosophy at Lwów University, but on Bertrand Russell's recommendation it was awarded to Leon Chwistek. In 1930, Tarski visited the University of Vienna, lectured to Karl Menger's colloquium, and met Kurt Gödel. Thanks to a fellowship, he was able to return to Vienna during the first half of 1935 to work with Menger's research group. From Vienna he traveled to Paris to present his ideas on truth at the first meeting of the Unity of Science movement, an outgrowth of the Vienna Circle. In 1937, Tarski applied for a chair at Poznań University but the chair was abolished. Tarski's ties to the Unity of Science movement likely saved his life, because they resulted in his being invited to address the Unity of Science Congress held in September 1939 at Harvard University. Thus he left Poland in August 1939, on the last ship to sail from Poland for the United States before the German and Soviet invasion of Poland and the outbreak of World War II. Tarski left reluctantly, because Leśniewski had died a few months before, creating a vacancy which Tarski hoped to fill. Oblivious to the Nazi threat, he left his wife and children in Warsaw. He did not see them again until 1946. During the war, nearly all his Jewish extended family were murdered at the hands of the German occupying authorities.

In 1929 he showed that much of Euclidean solid geometry could be recast as a second-order theory whose individuals are spheres (a primitive notion), a single primitive binary relation "is contained in", and two axioms that, among other things, imply that containment partially orders the spheres. Relaxing the requirement that all individuals be spheres yields a formalization of mereology far easier to exposit than Lesniewski's variant. Near the end of his life, Tarski wrote a very long letter, published as Tarski and Givant (1999), summarizing his work on geometry.

Tarski's first paper, published when he was 19 years old, was on set theory, a subject to which he returned throughout his life. In 1924, he and Stefan Banach proved that, if one accepts the Axiom of Choice, a ball can be cut into a finite number of pieces, and then reassembled into a ball of larger size, or alternatively it can be reassembled into two balls whose sizes each equal that of the original one. This result is now called the Banach–Tarski paradox.

In 1923, Alfred Teitelbaum and his brother Wacław changed their surname to "Tarski". The Tarski brothers also converted to Roman Catholicism, Poland's dominant religion. Alfred did so even though he was an avowed atheist.

After becoming the youngest person ever to complete a doctorate at Warsaw University, Tarski taught logic at the Polish Pedagogical Institute, mathematics and logic at the University, and served as Łukasiewicz's assistant. Because these positions were poorly paid, Tarski also taught mathematics at a Warsaw secondary school; before World War II, it was not uncommon for European intellectuals of research caliber to teach high school. Hence between 1923 and his departure for the United States in 1939, Tarski not only wrote several textbooks and many papers, a number of them ground-breaking, but also did so while supporting himself primarily by teaching high-school mathematics. In 1929 Tarski married fellow teacher Maria Witkowska, a Pole of Catholic background. She had worked as a courier for the army in the Polish–Soviet War. They had two children; a son Jan who became a physicist, and a daughter Ina who married the mathematician Andrzej Ehrenfeucht.

In the 1920s and 30s, Tarski often taught high school geometry. Using some ideas of Mario Pieri, in 1926 Tarski devised an original axiomatization for plane Euclidean geometry, one considerably more concise than Hilbert's. Tarski's axioms form a first-order theory devoid of set theory, whose individuals are points, and having only two primitive relations. In 1930, he proved this theory decidable because it can be mapped into another theory he had already proved decidable, namely his first-order theory of the real numbers.

Alfred Tarski was born Alfred Teitelbaum (Polish spelling: "Tajtelbaum"), to parents who were Polish Jews in comfortable circumstances. He first manifested his mathematical abilities while in secondary school, at Warsaw's Szkoła Mazowiecka. Nevertheless, he entered the University of Warsaw in 1918 intending to study biology.

After Poland regained independence in 1918, Warsaw University came under the leadership of Jan Łukasiewicz, Stanisław Leśniewski and Wacław Sierpiński and quickly became a world-leading research institution in logic, foundational mathematics, and the philosophy of mathematics. Leśniewski recognized Tarski's potential as a mathematician and encouraged him to abandon biology. Henceforth Tarski attended courses taught by Łukasiewicz, Sierpiński, Stefan Mazurkiewicz and Tadeusz Kotarbiński, and in 1924 became the only person ever to complete a doctorate under Leśniewski's supervision. His thesis was entitled O wyrazie pierwotnym logistyki (On the Primitive Term of Logistic; published 1923). Tarski and Leśniewski soon grew cool to each other. However, in later life, Tarski reserved his warmest praise for Kotarbiński, which was reciprocated.

Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.