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:

    “My plan of instruction is extremely simple and limited. They learn, on week-days, such coarse works as may fit them for servants. I allow of no writing for the poor. My object is not to make fanatics, but to train up the lower classes in habits of industry and piety.”
    —Hannah More (1745–1833)

    “Piety practised in solitude, like the flower that blooms in the desert, may give its fragrance to the winds of heaven, and delight those unbodied spirits that survey the works of God and the actions of men; but it bestows no assistance upon earthly beings, and however free from taints of impurity, yet wants the sacred splendour of beneficence.”
    —Samuel Johnson (1709–1784)

    “...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)