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:

    “Most young black females learn to be suspicious and critical of feminist thinking long before they have any clear understanding of its theory and politics.... Without rigorously engaging feminist thought, they insist that racial separatism works best. This attitude is dangerous. It not only erases the reality of common female experience as a basis for academic study; it also constructs a framework in which differences cannot be examined comparatively.”
    —bell hooks (b. c. 1955)

    “In all Works of This, and of the Dramatic Kind, STORY, or AMUSEMENT, should be considered as little more than the Vehicle to the more necessary INSTRUCTION.”
    —Samuel Richardson (1689–1761)

    “Words are always getting conventionalized to some secondary meaning. It is one of the works of poetry to take the truants in custody and bring them back to their right senses.”
    —William Butler Yeats (1865–1939)