Logical truth and Tarskian logical truth

Synthese

Volumn 117, Issue 3, 1998, Pages 375-408

  Gómez Torrente, Mario ^a  

^a UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0009892621     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1023/A:1005165824990     Document Type: Article

References (34)

1. Bell, J. L. and M. Machover: 1977, A Course in Mathematical Logic, North-Holland, Amsterdam.
2. Bell, J. L. and A. B. Slomson: 1969, Models and Ultraproducts: an Introduction, North-Holland, Amsterdam.
3. 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.
4. Boolos, G.: 1975, 'On Second-Order Logic', Journal of Philosophy 72, 509-27.
5. 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.
6. Etchemendy, J.: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge, MA.
7. 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.
8. 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.
9. Gómez-Torrente, M.: 1996, 'Tarski on Logical Consequence', Notre Dame Journal of Formal Logic 37, 125-51.
10. Gómez-Torrente, M.: 1996a, Tarski's Definition of Logical Consequence: Historical and Philosophical Aspects, Princeton University dissertation, University Microfilms, Ann Arbor, MI.
11. Gómez-Torrente, M.: forthcoming, 'On a Fallacy Attributed to Tarski', History and Philosophy of Logic.
12. Kneale, W. and M. Kneale: 1962, The Development of Logic, Clarendon Press, Oxford.
13. Kreisel, G.: 1965, 'Mathematical Logic', in T. L. Saaty (ed.), Lectures on Modern Mathematics, Vol. III, Wiley, New York, pp. 95-195.
14. Kreisel, G.: 1967, 'Informal Rigour and Completeness Proofs', in I. Lakatos (ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam, pp. 138-71.
15. Kreisel, G. and J. L. Krivine: 1967, Elements of Mathematical Logic (Model Theory), North-Holland, Amsterdam.
16. McGee, V.: 1992, 'Two Problems with Tarski's Theory of Consequence', Proceedings of the Aristotelian Society 92, 273-92.
17. McGee, V: 1992a, Review of Etchemendy (1990), Journal of Symbolic Logic 57, 254-55.
18. Maddy, P: 1983, 'Proper Classes', Journal of Symbolic Logic 48, 113-39.
19. Maddy, P.: 1988, 'Believing the Axioms. I' and 'Believing the Axioms. II', Journal of Symbolic Logic 53, 481-511, 736-64.
20. Pap, A.: 1958, Semantics and Necessary Truth, Yale University Press, New Haven.
21. Quine, W. V.: 1986, Philosophy of Logic, 2nd edn, Harvard University Press, Cambridge, MA.
22. Ray, G.: 1996, 'Logical Consequence: A Defense of Tarski', Journal of Philosophical Logic 25, 617-77.
23. Shapiro, S.: 1987, 'Principles of Reflection and Second-Order Logic', Journal of Philosophical Logic 16, 309-33.
24. Shapiro, S.: 1991, Foundations without Foundationalism: A Case for Second-Order Logic, Clarendon Press, Oxford.
25. Shapiro, S.: forthcoming, 'Logical Consequence: Models and Modality', in M. Schirn (ed.), Philosophy of Mathematics Today, Oxford University Press, Oxford.
26. Sher, G.: 1996, 'Did Tarski Commit "Tarski's Fallacy"?', Journal of Symbolic Logic 61, 653-86.
27. Soames, S.: 1998, Understanding Truth, Oxford University Press, New York.
28. Tarski, A.: 1935, 'The Concept of Truth in Formalized Languages', in Tarski (1983), pp. 152-278.
29. Tarski, A.: 1936, 'On the Concept of Logical Consequence', in Tarski (1983), pp. 409-20.
30. Tarski, A.: 1983, Logic, Semantics, Metamathematics, 2nd edn, Hackett, Indianapolis.
31. 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.
32. 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.
33. 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.
34. Zermelo, E.: 1930, 'Über Grenzzahlen und Mengenbereiche', Fundamenta Mathematicae 16, 29-47.