GetWiki
Alfred Tarski
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Alfred Tarski
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
factoids | |
---|---|
- University of Warsaw (1925â€“1939)
- University of California, Berkeley (1942â€“1983)
- Solomon Feferman
- Haim Gaifman
- Bjarni JÃ³nsson
- Howard Jerome Keisler
- Roger Maddux
- Richard Montague
- Andrzej Mostowski
- Julia Robinson
- Wanda Szmielew
- Robert Vaught
- Kenneth Arrow
- Rudolf Carnap
- John Corcoran
- Donald Davidson
- Erich Leo Lehmann
- Karl Popper
- Willard Van Orman Quine
- Patrick Suppes
- Work on the foundations of modern logic
- Semantic theory of truth (Convention T)
- Tarski's undefinability theorem
- Development of model theory
- Logic of relations
- Banachâ€“Tarski paradox
- Tarski-style universes
- Tarski's axioms
- Tarski monster group
Life
Alfred Tarski was born Alfred Teitelbaum (Polish spelling: "Tajtelbaum"), to parents who were Polish Jews in comfortable circumstances relative to other Jews in the overall region. He first manifested his mathematical abilities while in secondary school, at Warsaw's SzkoÅ‚a Mazowiecka.Feferman & Feferman, pp.17-18 Nevertheless, he entered the University of Warsaw in 1918 intending to study biology.Feferman & Feferman, p.26After 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 became the only person ever to complete a doctorate under LeÅ›niewski's supervision. 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.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.Feferman & Feferman, p.294"Most of the Socialist Party members were also in favor of assimilation, and Tarski's political allegiance was socialist at the time. So, along with its being a practical move, becoming more Polish than Jewish was an ideological statement and was approved by many, though not all, of his colleagues. As to why Tarski, a professed atheist, converted, that just came with the territory and was part of the package: if you were going to be Polish then you had to say you were Catholic." Anita Burdman Feferman, Solomon Feferman, Alfred Tarski: Life and Logic (2004), page 39.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;WEB,weblink The Newsletter of the Janusz Korczak Association of Canada, Number 5, September 2007, 8 February 2012, 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.Feferman & Feferman (2004), pp. 239â€“242.Tarski applied for a chair of philosophy at LwÃ³w University, but on Bertrand Russell's recommendation it was awarded to Leon Chwistek.Feferman & Feferman, p. 67 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.Feferman & Feferman, pp. 102-103 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.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.Feferman & Feferman, Chap. 5, pp. 124-149 Although emeritus from 1968, he taught until 1973 and supervised Ph.D. candidates until his death.WEB,weblink Alfred Tarski, Mathematics: Berkeley, Robert Vaught, John Addison, Benson Mates, Julia Robinson, 1985, University of California (System) Academic Senate, 2008-12-26, At Berkeley, Tarski acquired a reputation as an awesome and demanding teacher, a fact noted by many observers:His seminars at Berkeley quickly became famous in the world of mathematical logic. His students, many of whom became distinguished mathematicians, noted the awesome energy with which he would coax and cajole their best work out of them, always demanding the highest standards of clarity and precision.Obituary in Times, reproduced hereTarski was extroverted, quick-witted, strong-willed, energetic, and sharp-tongued. He preferred his research to be collaborative â€” sometimes working all night with a colleague â€” and was very fastidious about priority.Gregory Moore, "Alfred Tarski" in Dictionary of Scientific BiographyA charismatic leader and teacher, known for his brilliantly precise yet suspenseful expository style, Tarski had intimidatingly high standards for students, but at the same time he could be very encouraging, and particularly so to women â€” in contrast to the general trend. Some students were frightened away, but a circle of disciples remained, many of whom became world-renowned leaders in the field.FefermanTarski 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),Chang, C.C., and Keisler, H.J., 1973. Model Theory. North-Holland, Amsterdam. American Elsevier, New York. a classic text in the field.{{MathGenealogy|id=13347}}Feferman & Feferman, pp. 385-386 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.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,WEB,weblink Alfred Tarski (1902 - 1983), Royal Netherlands Academy of Arts and Sciences, 17 July 2015, 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.{{MacTutor Biography|id=Tarski}}Mathematician
Tarski's mathematical interests were exceptionally broad. His collected papers run to about 2,500 pages, most of them on mathematics, not logic. For a concise survey of Tarski's mathematical and logical accomplishments by his former student Solomon Feferman, see "Interludes I–VI" in Feferman and Feferman.Feferman & Feferman, pp. 43-52, 69-75, 109-123, 189-195, 277-287, 334-342Tarski'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 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 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.In 1929 he showed that much of Euclidean solid geometry could be recast as a first-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.Cardinal Algebras studied algebras whose models include the arithmetic of cardinal numbers. Ordinal Algebras sets out an algebra for the additive theory of order types. Cardinal, but not ordinal, addition commutes.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).Logician
Tarski's student, Vaught, has ranked Tarski as one of the four greatest logicians of all time — along with Aristotle, Gottlob Frege, and Kurt GÃ¶del.JOURNAL, Vaught, Robert L., Dec 1986, Alfred Tarski's Work in Model Theory, Journal of Symbolic Logic, 51, 4, 869â€“882, 10.2307/2273900, 2273900, WEB,weblink Great Moments in Logic, Restall, Greg, 2002â€“2006, 2009-01-03,weblink" title="web.archive.org/web/20081206052240weblink">weblink 6 December 2008, no, However, Tarski often expressed great admiration for Charles Sanders Peirce, particularly for his pioneering work in the logic of relations.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.In [Tarski's] view, metamathematics became similar to any mathematical discipline. Not only can its concepts and results be mathematized, but they actually can be integrated into mathematics. ... Tarski destroyed the borderline between metamathematics and mathematics. He objected to restricting the role of metamathematics to the foundations of mathematics.JOURNAL, Sinaceur, Hourya, Alfred Tarski: Semantic Shift, Heuristic Shift in Metamathematics, Synthese, 126, 1â€“2, 49â€“65, 0039-7857, 10.1023/A:1005268531418, 2001,weblink 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.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.Truth in formalized languages
In 1933, Tarski published a very long paper in Polish, titled "PojÄ™cie prawdy w jÄ™zykach nauk dedukcyjnych",Alfred Tarski, "POJÄ˜CIE PRAWDY W JÄ˜ZYKACH NAUK DEDUKCYJNYCH", Towarszystwo Naukowe Warszawskie, Warszawa, 1933. (Text in Polish in the Digital Library WFISUW-IFISPAN-PTF). "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).Some recent philosophical debate examines the extent to which Tarski's theory of truth for formalized languages can be seen as a correspondence theory of truth. The debate centers on how to read Tarski's condition of material adequacy for a truth definition. That condition requires that the truth theory have the following as theorems for all sentences p of the language for which truth is being defined:
"p" is true if and only if p.
(where p is the proposition expressed by "p")The debate amounts to whether to read sentences of this form, such as"Snow is white" is true if and only if snow is whiteas 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.Logical consequence
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).This publication set out the modern model-theoretic definition of (semantic) logical consequence, or at least the basis for it. Whether Tarski's notion was entirely the modern one turns on whether he intended to admit models with varying domains (and in particular, models with domains of different cardinalities). This question is a matter of some debate in the current philosophical literature. John Etchemendy stimulated much of the recent discussion about Tarski's treatment of varying domains.BOOK, Etchemendy, John, The Concept of Logical Consequence, Stanford CA: CSLI Publications, 1999, 978-1-57586-194-4, Tarski ends by pointing out that his definition of logical consequence depends upon a division of terms into the logical and the extra-logical and he expresses some skepticism that any such objective division will be forthcoming. "What are Logical Notions?" can thus be viewed as continuing "On the Concept of Logical Consequence".Work on logical notions
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.WEB,weblink History and Philosophy of Logic, In the talk, Tarski proposed a demarcation of the logical operations (which he calls "notions") from the non-logical. The suggested criteria were derived from the Erlangen programme of the German 19th century 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.That program classified the various types of geometry (Euclidean geometry, affine geometry, topology, etc.) by the type of one-one transformation of space onto itself that left the objects of that geometrical theory invariant. (A one-to-one transformation is a functional map of the space onto itself so that every point of the space is associated with or mapped to one other point of the space. So, "rotate 30 degrees" and "magnify by a factor of 2" are intuitive descriptions of simple uniform one-one transformations.) Continuous transformations give rise to the objects of topology, similarity transformations to those of Euclidean geometry, and so on.As the range of permissible transformations becomes broader, the range of objects one is able to distinguish as preserved by the application of the transformations becomes narrower. Similarity transformations are fairly narrow (they preserve the relative distance between points) and thus allow us to distinguish relatively many things (e.g., equilateral triangles from non-equilateral triangles). Continuous transformations (which can intuitively be thought of as transformations which allow non-uniform stretching, compression, bending, and twisting, but no ripping or glueing) allow us to distinguish a polygon from an annulus (ring with a hole in the centre), but do not allow us to distinguish two polygons from each other.Tarski's proposal was to demarcate the logical notions by considering all possible one-to-one transformations (automorphisms) of a domain onto itself. By domain is meant the universe of discourse of a model for the semantic theory of a logic. If one identifies the truth value True with the domain set and the truth-value False with the empty set, then the following operations are counted as logical under the proposal:- Truth-functions: All truth-functions are admitted by the proposal. This includes, but is not limited to, all n-ary truth-functions for finite n. (It also admits of truth-functions with any infinite number of places.)
- Individuals: No individuals, provided the domain has at least two members.
- Predicates:
- the one-place total and null predicates, the former having all members of the domain in its extension and the latter having no members of the domain in its extension
- two-place total and null predicates, the former having the set of all ordered pairs of domain members as its extension and the latter with the empty set as extension
- the two-place identity predicate, with the set of all order-pairs in its extension, where a is a member of the domain
- the two-place diversity predicate, with the set of all order pairs where a and b are distinct members of the domain
- n-ary predicates in general: all predicates definable from the identity predicate together with conjunction, disjunction and negation (up to any ordinality, finite or infinite)
- Quantifiers: Tarski explicitly discusses only monadic quantifiers and points out that all such numerical quantifiers are admitted under his proposal. These include the standard universal and existential quantifiers as well as numerical quantifiers such as "Exactly four", "Finitely many", "Uncountably many", and "Between four and 9 million", for example. While Tarski does not enter into the issue, it is also clear that polyadic quantifiers are admitted under the proposal. These are quantifiers like, given two predicates Fx and Gy, "More(x, y)", which says "More things have F than have G."
- Set-Theoretic relations: Relations such as inclusion, intersection and union applied to subsets of the domain are logical in the present sense.
- Set membership: Tarski ended his lecture with a discussion of whether the set membership relation counted as logical in his sense. (Given the reduction of (most of) mathematics to set theory, this was, in effect, the question of whether most or all of mathematics is a part of logic.) He pointed out that set membership is logical if set theory is developed along the lines of type theory, but is extralogical if set theory is set out axiomatically, as in the canonical Zermeloâ€“Fraenkel set theory.
- Logical notions of higher order: While Tarski confined his discussion to operations of first-order logic, there is nothing about his proposal that necessarily restricts it to first-order logic. (Tarski likely restricted his attention to first-order notions as the talk was given to a non-technical audience.) So, higher-order quantifiers and predicates are admitted as well.
Works
- Anthologies and collections
- 1986. The Collected Papers of Alfred Tarski, 4 vols. Givant, S. R., and McKenzie, R. N., eds. BirkhÃ¤user.
- JOURNAL, Givant Steven, 1986, Bibliography of Alfred Tarski, Journal of Symbolic Logic, 51, 4, 913â€“41, 10.2307/2273905, 2273905,
- 1983 (1956). Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, Corcoran, J., ed. Hackett. 1st edition edited and translated by J. H. Woodger, Oxford Uni. Press.JOURNAL, Halmos, Paul, Paul Halmos, Review: Logic, semantics, metamathematics. Papers from 1923 to 1938 by Alfred Tarski; translated by J. H. Woodger, Bull. Amer. Math. Soc., 1957, 63, 2, 155â€“156,weblink 10.1090/S0002-9904-1957-10115-3, This collection contains translations from Polish of some of Tarski's most important papers of his early career, including The Concept of Truth in Formalized Languages and On the Concept of Logical Consequence discussed above.
- Original publications of Tarski:
- 1930 Une contribution a la theorie de la mesure. Fund Math 15 (1930), 42-50.
- 1930. (with Jan Åukasiewicz). "Untersuchungen uber den Aussagenkalkul" ["Investigations into the Sentential Calculus"], Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie, Vol, 23 (1930) Cl. III, pp. 31â€“32 in Tarski (1983): 38-59.
- 1931. "Sur les ensembles dÃ©finissables de nombres rÃ©els I", Fundamenta Mathematicae 17: 210-239 in Tarski (1983): 110-142.
- 1936. "Grundlegung der wissenschaftlichen Semantik", Actes du CongrÃ¨s international de philosophie scientifique, Sorbonne, Paris 1935, vol. III, Language et pseudo-problÃ¨mes, Paris, Hermann, 1936, pp. 1â€“8 in Tarski (1983): 401-408.
- 1936. "Ãœber den Begriff der logischen Folgerung", Actes du CongrÃ¨s international de philosophie scientifique, Sorbonne, Paris 1935, vol. VII, Logique, Paris: Hermann, pp. 1â€“11 in Tarski (1983): 409-420.
- 1936 (with Adolf Lindenbaum). "On the Limitations of Deductive Theories" in Tarski (1983): 384-92.
- 1994 (1941).JOURNAL, Quine, W. V., Willard Van Orman Quine, Review: EinfÃ¼hrung in die mathematische Logik und in die Methodologie der Mathematik by Alfred Tarski. Vienna, Springer, 1937. x+166 pp., Bull. Amer. Math. Soc., 1938, 44, 5, 317â€“318,weblink 10.1090/s0002-9904-1938-06731-6, JOURNAL, Curry, Haskell B., Haskell Curry, Review: Introduction to Logic and to the Methodology of Deductive Sciences by Alfred Tarski, Bull. Amer. Math. Soc., 1942, 48, 7, 507â€“510,weblink 10.1090/s0002-9904-1942-07698-1, Introduction to Logic and to the Methodology of Deductive Sciences. Dover.
- 1941. "On the calculus of relations", Journal of Symbolic Logic 6: 73-89.
- 1944. "The Semantical Concept of Truth and the Foundations of Semantics," Philosophy and Phenomenological Research 4: 341-75.
- 1948. A decision method for elementary algebra and geometry. Santa Monica CA: RAND Corp.JOURNAL, McNaughton, Robert, Review: A decision method for elementary algebra and geometry by A. Tarski, Bull. Amer. Math. Soc., 1953, 59, 1, 91â€“93,weblink 10.1090/s0002-9904-1953-09664-1,
- 1949. Cardinal Algebras. Oxford Univ. Press.JOURNAL, Birkhoff, Garrett, Garrett Birkhoff, Review: Cardinal algebras by A. Tarski, Bull. Amer. Math. Soc., 1950, 56, 2, 208â€“209,weblink 10.1090/s0002-9904-1950-09394-x,
- 1953 (with Mostowski and Raphael Robinson). Undecidable theories. North Holland.JOURNAL, GÃ¡l, Ilse Novak, Review: Undecidable theories by Alfred Tarski in collaboration with A. Mostowsku and R. M. Robinson, Bull. Amer. Math. Soc., 1954, 60, 6, 570â€“572,weblink 10.1090/S0002-9904-1954-09858-0,
- 1956. Ordinal algebras. North-Holland.
- 1965. "A simplified formalization of predicate logic with identity", Archiv fÃ¼r Mathematische Logik und Grundlagenforschung 7: 61-79
- 1969. "weblink" title="web.archive.org/web/20141229081319weblink">Truth and Proof", Scientific American 220: 63-77.
- 1971 (with Leon Henkin and Donald Monk). Cylindric Algebras: Part I. North-Holland.
- 1985 (with Leon Henkin and Donald Monk). Cylindric Algebras: Part II. North-Holland.
- 1986. "What are Logical Notions?", Corcoran, J., ed., History and Philosophy of Logic 7: 143-54.
- 1987 (with Steven Givant). A Formalization of Set Theory Without Variables. Vol.41 of American Mathematical Society colloquium publications. Providence RI: American Mathematical Society. {{isbn|978-0821810415}}. Review
- 1999 (with Steven Givant). "Tarski's system of geometry", Bulletin of Symbolic Logic 5: 175-214.
- 2002. "On the Concept of Following Logically" (Magda StroiÅ„ska and David Hitchcock, trans.) History and Philosophy of Logic 23: 155-196.
See also
References
{{Reflist|30em}}Further reading
- Biographical references
- BOOK
, Feferman
, Anita Burdman
, American National Biography
, Alfred Tarski
, 1999
, Oxford University Press
, 21
, 978-0-19-512800-0
, 330â€“332
, FefA, American National Biography
,
, Anita Burdman
, American National Biography
, Alfred Tarski
, 1999
, Oxford University Press
, 21
, 978-0-19-512800-0
, 330â€“332
, FefA, American National Biography
,
- BOOK, Feferman, Anita Burdman, Solomon, Feferman, Solomon Feferman, Alfred Tarski: Life and Logic, 2004, Cambridge University Press, 978-0-521-80240-6, 54691904, F-F
- JOURNAL, Givant Steven, 1991, A portrait of Alfred Tarski, Mathematical Intelligencer, 13, 3, 16â€“32, 10.1007/bf03023831,
- Patterson, Douglas. Alfred Tarski: Philosophy of Language and Logic (Palgrave Macmillan; 2012) 262 pages; biography focused on his work from the late-1920s to the mid-1930s, with particular attention to influences from his teachers Stanislaw Lesniewski and Tadeusz Kotarbinski.
- Logic literature
- The December 1986 issue of the Journal of Symbolic Logic surveys Tarski's work on model theory (Robert Vaught), algebra (Jonsson), undecidable theories (McNulty), algebraic logic (Donald Monk), and geometry (Szczerba). The March 1988 issue of the same journal surveys his work on axiomatic set theory (Azriel Levy), real closed fields (Lou Van Den Dries), decidable theory (Doner and Wilfrid Hodges), metamathematics (Blok and Pigozzi), truth and logical consequence (John Etchemendy), and general philosophy (Patrick Suppes).
- Blok, W. J.; Pigozzi, Don, "Alfred Tarski's Work on General Metamathematics", The Journal of Symbolic Logic, Vol. 53, No. 1 (Mar., 1988), pp. 36â€“50
- Chang, C.C., and Keisler, H.J., 1973. Model Theory. North-Holland, Amsterdam. American Elsevier, New York.
- Corcoran, John, and SagÃ¼illo, JosÃ© Miguel, 2011. "The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper", History and Philosophy of Logic 32: 359â€“80. weblink
- Corcoran, John, and Weber, Leonardo, 2015. "Tarskiâ€™s convention T: condition beta", South American Journal of Logic. 1, 3â€“32.
- Etchemendy, John, 1999. The Concept of Logical Consequence. Stanford CA: CSLI Publications. {{isbn|1-57586-194-1}}
- JOURNAL, Feferman Solomon, Solomon Feferman, 1999, Logic, Logics, and Logicism,weblink Notre Dame Journal of Formal Logic, 40, 31â€“54, 10.1305/ndjfl/1039096304,
- Grattan-Guinness, Ivor, 2000. The Search for Mathematical Roots 1870-1940. Princeton Uni. Press.
- Kirkham, Richard, 1992. Theories of Truth. MIT Press.
- Maddux, Roger D., 2006. Relation Algebras, vol. 150 in "Studies in Logic and the Foundations of Mathematics", Elsevier Science.
- JOURNAL, Mautner F. I., Friederich Ignaz Mautner, 1946, An Extension of Klein's Erlanger Program: Logic as Invariant-Theory, American Journal of Mathematics, 68, 3, 345â€“84, 10.2307/2371821, 2371821,
- JOURNAL, McGee Van, 1996, Logical Operations, Journal of Philosophical Logic, 25, 6, 567â€“80, 10.1007/bf00265253,
- Popper, Karl R., 1972, Rev. Ed. 1979, "Philosophical Comments on Tarski's Theory of Truth", with Addendum, Objective Knowledge, Oxford: 319-340.
- JOURNAL, Sinaceur H, 2001, Alfred Tarski: Semantic shift, heuristic shift in metamathematics,weblink Synthese, 126, 49â€“65, 10.1023/a:1005268531418,
- Smith, James T., 2010. "Definitions and Nondefinability in Geometry", American Mathematical Monthly 117:475â€“89.
- Wolenski, Jan, 1989. Logic and Philosophy in the Lvovâ€“Warsaw School. Reidel/Kluwer.
External links
{{Commons category}}* Stanford Encyclopedia of Philosophy:- Tarski's Truth Definitions by Wilfred Hodges.
- Alfred Tarski by Mario GÃ³mez-Torrente.
- Algebraic Propositional Logic by Ramon Jansana. Includes a fairly detailed discussion of Tarski's work on these topics.
- Tarski's Semantic Theory on the Internet Encyclopedia of Philosophy.
- content above as imported from Wikipedia
- "Alfred Tarski" does not exist on GetWiki (yet)
- time: 4:30pm EDT - Wed, Apr 24 2019
- "Alfred Tarski" does not exist on GetWiki (yet)
- time: 4:30pm EDT - Wed, Apr 24 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
GETWIKI 19 AUG 2014
GETWIKI 18 AUG 2014
Wikinfo
Culture
Culture
© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED