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:

    “To receive applause for works which do not demand all our powers hinders our advance towards a perfecting of our spirit. It usually means that thereafter we stand still.”
    —G.C. (Georg Christoph)

    “The slightest living thing answers a deeper need than all the works of man because it is transitory. It has an evanescence of life, or growth, or change: it passes, as we do, from one stage to the another, from darkness to darkness, into a distance where we, too, vanish out of sight. A work of art is static; and its value and its weakness lie in being so: but the tuft of grass and the clouds above it belong to our own travelling brotherhood.”
    —Freya Stark (b. 1893–1993)

    “They that go down to the sea in ships, that do business in great waters, these see the works of the Lord and his wonders in the deep.”
    —Bible: Hebrew Psalms, 107:23-4.