Abstract
This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden.
This is a preview of subscription content, access via your institution.
REFERENCES
Bell, J. L. and M. Machover: 1977, A Course in Mathematical Logic, North-Holland, Amsterdam.
Bell, J. L. and A. B. Slomson: 1969, Models and Ultraproducts: an Introduction, North-Holland, Amsterdam.
Bernays, P.: 1961, 'On the Problem of Schemata of Infinity in Axiomatic Set Theory', in G. H. Müller (ed.), Sets and Classes. On the Work by Paul Bernays, North-Holland, Amsterdam, pp. 121-72.
Boolos, G.: 1975, 'On Second-Order Logic', Journal of Philosophy 72, 509-27.
Boolos, G.: 1984, 'To Be is to Be a Value of a Variable (or to Be some Values of some Variables)', Journal of Philosophy 81, 430-49.
Etchemendy, J.: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge, MA.
García-Carpintero, M.: (1993), 'The Grounds for the Model-Theoretic Account of the Logical Properties', Notre Dame Journal of Formal Logic 34, 107-31.
Gloede, K.: 1976, 'Reflection Principles and Indescribability', in G. H. Müller (ed.), Sets and Classes. On the Work by Paul Bernays, North-Holland, Amsterdam, pp. 277-323.
Gómez-Torrente, M.: 1996, 'Tarski on Logical Consequence', Notre Dame Journal of Formal Logic 37, 125-51.
Gómez-Torrente, M.: 1996a, Tarski's Definition of Logical Consequence: Historical and Philosophical Aspects, Princeton University dissertation, University Microfilms, Ann Arbor, MI.
Gómez-Torrente, M.: forthcoming, 'On a Fallacy Attributed to Tarski', History and Philosophy of Logic.
Kneale, W. and M. Kneale: 1962, The Development of Logic, Clarendon Press, Oxford.
Kreisel, G.: 1965, 'Mathematical Logic', in T. L. Saaty (ed.), Lectures on Modern Mathematics, Vol. III, Wiley, New York, pp. 95-195.
Kreisel, G.: 1967, 'Informal Rigour and Completeness Proofs', in I. Lakatos (ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam, pp. 138-71.
Kreisel, G. and J. L. Krivine: 1967, Elements of Mathematical Logic (Model Theory), North-Holland, Amsterdam.
McGee, V.: 1992, 'Two Problems with Tarski's Theory of Consequence', Proceedings of the Aristotelian Society 92, 273-92.
McGee, V.: 1992a, Review of Etchemendy (1990), Journal of Symbolic Logic 57, 254-55.
Maddy, P: 1983, 'Proper Classes', Journal of Symbolic Logic 48, 113-39.
Maddy, P.: 1988, 'Believing the Axioms. I' and 'Believing the Axioms. II', Journal of Symbolic Logic 53, 481-511, 736–64.
Pap, A.: 1958, Semantics and Necessary Truth, Yale University Press, New Haven.
Quine, W. V.: 1986, Philosophy of Logic, 2nd edn, Harvard University Press, Cambridge, MA.
Ray, G.: 1996, 'Logical Consequence: A Defense of Tarski', Journal of Philosophical Logic 25, 617-77.
Shapiro, S.: 1987, 'Principles of Reflection and Second-Order Logic', Journal of Philosophical Logic 16, 309-33.
Shapiro, S.: 1991, Foundations without Foundationalism: A Case for Second-Order Logic, Clarendon Press, Oxford.
Shapiro, S.: forthcoming, 'Logical Consequence: Models and Modality', in M. Schirn (ed.), Philosophy of Mathematics Today, Oxford University Press, Oxford.
Sher, G.: 1996, 'Did Tarski Commit “Tarski's Fallacy”?', Journal of Symbolic Logic 61, 653-86.
Soames, S.: 1998, Understanding Truth, Oxford University Press, New York.
Tarski, A.: 1935, 'The Concept of Truth in Formalized Languages', in Tarski (1983), pp. 152-278.
Tarski, A.: 1936, 'On the Concept of Logical Consequence', in Tarski (1983), pp. 409-20.
Tarski, A.: 1983, Logic, Semantics, Metamathematics, 2nd edn, Hackett, Indianapolis.
van Benthem, J. and K. Doets: 1983, 'Higher-Order Logic', in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. I, Reidel, Dordrecht, pp. 275-329.
Wang, H.: 1974, 'The Concept of Set', in P. Benacerraf and H. Putnam (eds.), The Philosophy of Mathematics, 2nd edn, Cambridge University Press, Cambridge, 1983, pp. 530-70.
Wang, H.: 1977, 'Large Sets', in R. E. Butts and J. Hintikka (eds.), Logic, Foundations of Mathematics and Computability Theory, Reidel, Dordrecht, pp. 309-33.
Zermelo, E.: 1930, 'Über Grenzzahlen und Mengenbereiche', Fundamenta Mathematicae 16, 29-47.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gómez-torrente, M. Logical Truth and Tarskian Logical Truth. Synthese 117, 375–408 (1998). https://doi.org/10.1023/A:1005165824990
Issue Date:
DOI: https://doi.org/10.1023/A:1005165824990
Keywords
- Logical Consequence
- Logical Truth
- Continuum Hypothesis
- Logical Constant
- Completeness Axiom