Alfred Tarski - Works

Works

Anthologies and collections
  • 1986. The Collected Papers of Alfred Tarski, 4 vols. Givant, S. R., and McKenzie, R. N., eds. Birkauser.
  • Givant, Steven, 1986. "Bibliography of Alfred Tarski", Journal of Symbolic Logic 51: 913-41.
  • 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. 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", Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie, Vol, 23 (1930) Cl. III, pp. 31–32
  • 1931. "Sur les ensembles définissables de nombres réels I", Fundamenta Mathematica 17: 210-239.
  • 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.
  • 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.
  • 1936 (with Adolf Lindenbaum). "On the Limitations of Deductive Theories" in Tarski (1983): 384-92.
  • 1994 (1941). 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.
  • 1949. Cardinal Algebras. Oxford Univ. Press.
  • 1953 (with Mostowski and Raphael Robinson). Undecidable theories. North Holland.
  • 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. "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. Providence RI: American Mathematical Society.
  • 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-96.

Read more about this topic:  Alfred Tarski

Famous quotes containing the word works:

    “The whole idea of image is so confused. On the one hand, Madison Avenue is worried about the image of the players in a tennis tour. On the other hand, sports events are often sponsored by the makers of junk food, beer, and cigarettes. What’s the message when an athlete who works at keeping her body fit is sponsored by a sugar-filled snack that does more harm than good?”
    —Martina Navratilova (b. 1956)

    “Was it an intellectual consequence of this ‘rebirth,’ of this new dignity and rigor, that, at about the same time, his sense of beauty was observed to undergo an almost excessive resurgence, that his style took on the noble purity, simplicity and symmetry that were to set upon all his subsequent works that so evident and evidently intentional stamp of the classical master.”
    —Thomas Mann (1875–1955)

    “...A shadow now occasionally crossed my simple, sanguine, and life enjoying mind, a notion that I was never really going to accomplish those powerful literary works which would blow a noble trumpet to social generosity and noblesse oblige before the world. What? should I find myself always planning and never achieving ... a richly complicated and yet firmly unified novel?”
    —Sarah N. Cleghorn (1876–1959)