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:

    “You are always looking for already-felt emotions, just as you like to get an old pair of trousers back from the cleaners, which seem new when you don’t look too closely. Artists are cleaners, don’t let yourself be taken in by them. True modern works of art are made not by artists but quite simply by men.”
    —Francis Picabia (1878–1953)

    “A creative writer must study carefully the works of his rivals, including the Almighty. He must possess the inborn capacity not only of recombining but of re-creating the given world. In order to do this adequately, avoiding duplication of labor, the artist should know the given world.”
    —Vladimir Nabokov (1899–1977)

    “One of the surest evidences of an elevated taste is the power of enjoying works of impassioned terrorism, in poetry, and painting. The man who can look at impassioned subjects of terror with a feeling of exultation may be certain he has an elevated taste.”
    —Benjamin Haydon (1786–1846)