On Tarski on models

Journal of Symbolic Logic

Volumn 66, Issue 4, 2001, Pages 1701-1726

  Bays, Timothy ^a  

^a UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035732132     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2694970     Document Type: Article

References (27)

1. PATRICIA BLANCHETTE, Frege and Hilbert on consistency, The Journal of Philosophy, vol. 93 (1996), pp. 317-336.
2. RUDOLF CARNAP, Einführung in die Symbolische Logik, Springer, Vienna, 1954.
3. JOHN ECHEMENDY, Tarski on truth and logical consequence, this JOURNAL, vol. 53 (1988), pp. 51-79.
4. _, The concept of logical consequence, Harvard, Cambridge, 1990.
5. KURT GÖDEL, On formally undecidable propositions of Principia Mathematica and related systems, Collected works, Oxford University Press, New York, 1986, pp. 145-199.
6. MARIO GÓMEZ-TORRENTE, Tarski on logical consequence, Notre Dame Journal of Formal Logic, vol. 37 (1996), pp. 125-151.
7. RAY GREG, Logical consequence: A defense of Tarski, The Journal of Philosophical Logic, vol. 25 (1996), pp. 617-677.
8. DAVID HILBERT and WILHELM ACKERMANN, Principles of mathematical logic, Chelsea Publishing, New York, 1937.
9. WILFRID HODGES, Truth in a structure, Proceedings of the Aristotelian Society, vol. 86 (1985-86), pp. 135-151.
10. BERTRAND RUSSELL, Introduction to mathematical philosophy, MacMillan, New York, 1919.
11. GILA SHER, A conception of Tarskian logic, Pacific Philosophical Quarterly, vol. 70 (1989), pp. 341-369.
12. _, The bounds of logic: A generalized viewpoint. MIT Press, Cambridge, 1991.
13. _, Did Tarski commit 'Tarski's Fallacy', this JOURNAL, vol. 61 (1996), pp. 653-686.
14. THORALF SKOLEM, Some remarks on axiomitized set theory, In van Heijenoort [27], 290-301.
15. _, Une relativisation des notions mathematiques fondementales, Selected works in logic, Universitetsforlaget, Oslo, 1970, pp. 587-600.
16. ALFRED TARSKI, Einführung in die mathematische Logik und in die Methodologie der Mathematik, Springer, Vienna, 1937.
17. _, Introduction to logic and to the methodology of deductive sciences, Oxford, New York, 1941, Translation of [16].
18. _, The concept of truth in formalized languages, In Logic, Semantics, and Metamathematics [20], pp. 152-278.
19. _, Foundations of the calculus of systems, In Logic, Semantics, and Metamathematics [20], pp. 342-383.
20. _, Logic, semantics, metamathematics, 2nd ed., Hackett, Indianapolis, 1983.
21. _, On the concept of logical consequence, In Logic, Semantics, and Metamathematics [20], pp. 409-420.
22. _, On the foundations of Boolean Algebra, In Logic, Semantics, and Metamathematics [20], pp. 320-341.
23. _, On the limitations of the means of expression of deductive theories, In Logic, Semantics, and Metamathematics [20], pp. 284-392.
24. _, Some methodological investigations on the definability of concepts, In Logic, Semantics, and Metamathematics [20], pp. 296-319.
25. _, Some observations on the concepts of ω-consistency and ω-completeness, In Logic, Semantics, and Metamathematics [20], pp. 278-295.
26. _, What are the logical notions?, History and Philosophy of Logic, vol. 7 (1986), pp. 443-154.
27. Jean van Heijenoort (editor), From Frege to Gödel, Harvard, Cambridge, Mass., 1967.