Abstract
We try to explain Tarski's conception of logical notions, as it emerges from alecture of his, delivered in 1966 and published posthumously in 1986 (Historyand Philosophy of Logic 7, 143–154), a conception based on the idea ofinvariance. The evaluation of Tarski's proposal leads us to consider an interesting(and neglected) reply to Skolem in which Tarski hints at his own point of view onthe foundations of set theory. Then, comparing the lecture of 1966 with Tarski'slast work and with an earlier paper written with Lindenbaum, it is shown thatTarski's conception of logical notions, with its essentially type-theoretic character,did not undergo any significant modifications throughout his life. A remark onTarski's prudential attitude on the topic in the famous paper on the concept oflogical consequence (and elsewhere) concludes our paper.
Similar content being viewed by others
REFERENCES
Carnap, R.: 1963, 'Intellectual Autobiography', in Schilpp 1963, pp. 3–85.
Corcoran, J.: 1972, 'Conceptual Structure of Classical Logic', Philosophy and Phenomenological Research 33 25–47
Etchemendy, J.: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge, MA.
Gómez-Torrente, M.: 1996, 'Tarski on Logical Consequence', Notre Dame Journal of Formal Logic 37, 125–151.
Klein, F.: 1872, Vergleichende Betrachtungen über neuere geometrische Forschungen, Deichert, Erlangen.
Lindenbaum, A. and A. Tarski: 1936, 'Ñber die Beschränktheit der Ausdrucksmittel deduktiver Theorien', Ergebnisse eines mathematischen Kolloquiums 7, 15–22; English translation by J. H. Woodger in Tarski 1983, 384-392.
McGee, V.: 1996, 'Logical Operations', Journal of Philosophical Logic 25, 567–580.
Mostowski, A.: 1957, 'On a Generalization of Quantifiers', Fundamenta Mathematicae 44, 12–36.
Quine, W. V. O.: 1990, Dear Carnap, Dear Van. The Quine-Carnap Correspondence and Related Work, University of California Press, Berkeley.
Sagüillo, J. M.: 1997, 'Logical Consequence Revisited', Bulletin of Symbolic Logic 3, 216–241.
Schilpp, P. A. (ed.): 1963, The Philosophy of Rudolf Carnap, Open Court, La Salle.
Sher, G. Y.: 1991, The Bounds of Logic: A Generalized Viewpoint, MIT Press, Cambridge, MA.
Sher, G. Y.: 1996, 'Did Tarski Commit “Tarski's Fallacy”?', Journal of Symbolic Logic 61, 653–686.
Skolem, T.: 1922, 'Einige Bemerkungen zur axiomatischen Begründung derMengenlehre', Proceedings of the Fifth Scandinavian Mathematical Congress (Helsinki); English translation by S. Bauer-Mengelberg in van Heijenoort 1967, pp. 290-301.
Skolem, T.: 1958, 'Une Relativisation des Notions Mathématiques Fondamentales', in Le Raisonnement en Mathématiques et en Sciences Expérimentales: Actes du Colloque de Logique Mathématique, Paris 1955, C.N.R.S., Paris, pp. 13–17.
Tarski, A.: 1933, 'Einige Betrachtungen über die Begriffe der ?-Widerspruchsfreiheit und der ?-Vollständigkeit”, Monatshefte für Mathematik und Physik 40, 97–112; English translation by J. H. Woodger in Tarski 1983, 279-295.
Tarski, A.: 1935, 'Der Wahrheitsbegriff in den formalisierten Sprachen', Studia Philosophica (Lemberg) 1, 261–405; English translation by J. H. Woodger in Tarski 1983, 152-278.
Tarski, A: 1936, Ñber den Begriff der logischen Folgerung', Actes du Congrès International de Philosophie Scientifique 7, Hermann, Paris 1-11; English translation by J. H. Woodger in Tarski 1983, 409-420.
Tarski, A.: 1954, 'Contributions to the Theory of Models', I-II, Indagationes Mathematicae 16, 572–588.
Tarski, A.: 1955, 'Contributions to the Theory of Models", III, Indagationes Mathematicae 17, 56–64.
Tarski, A.: 1958, 'Intervention sur le rapport de M. le Professeur Skolem', in Le raisonnement en Mathématiques et en Sciences Expérimentales: Actes du Colloque de Logique Mathématique, Paris 1955, C.N.R.S., Paris, 17–18.
Tarski, A.: 1983, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, translated into English and edited by J. H. Woodger, Clarendon Press, Oxford 1956; second edition, edited by John Corcoran, Hackett, Indianapolis.
Tarski, A.: 1986, 'What Are Logical Notions?', edited (with an introduction) by John Corcoran, History and Philosophy of Logic 7, 143–154.
Tarski, A.: 1987, 'A Philosophical Letter of Alfred Tarski', edited by M. G.White, Journal of Philosophy 84, 28–32.
Tarski, A.: 1995, 'Some Current Problems in Metamathematics', edited by J. Tarski and J. Wolenski, History and Philosophy of Logic 16, 159–168.
Tarski, A. and S. Givant: 1987, A Formalization of Set Theory without Variables, American Mathematical Society Colloquium Publications, vol. 41, AMS, Providence, RI.
van Heijenoort, J. (ed.): 1967, From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge, MA.
Whitehead, A. N. and B. Russell: 1910, Principia Mathematica, vol. 1, Cambridge University Press, Cambridge.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bellotti, L. Tarski On Logical Notions. Synthese 135, 401–413 (2003). https://doi.org/10.1023/A:1023590504284
Issue Date:
DOI: https://doi.org/10.1023/A:1023590504284