Tarski on logical consequence

Notre Dame Journal of Formal Logic

Volumn 37, Issue 1, 1996, Pages 125-151

  GóMez Torrente, Mario ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 25344468164     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1040067321     Document Type: Article

References (37)

1. Carnap, R., Logische Syntax der Sprache, Springer, Vienna, 1934.
2. Carnap, R., The Logical Syntax of Language, Routledge & Kegan Paul, London, 1937.
3. Carnap, R., “Intellectual autobiography,” pp. 1-84 in The Philosophy of Rudolf Carnap, edited by P. A. Schilpp, Open Court, La Salle, 1963.
4. Coffa, J. A., The Semantic Tradition from Kant to Carnap, Cambridge University Press, Cambridge, 1991.
5. Corcoran, J., “Conceptual structure of classical logic,” Philosophy and Phenomenological Research, vol. 33 (1972), pp. 25-47.
6. Corcoran, J., “Meanings of implication,” Dialogos, vol. 4 (1973), pp. 59-76.
7. Etchemendy, J., “The doctrine of logic as form,” Linguistics and Philosophy, vol. 6 (1983), pp. 319-334.
8. Etchemendy, J., “Tarski on truth and logical consequence,” The Journal of Symbolic Logic, vol. 53 (1988), pp. 51-79.
9. Etchemendy, J., “Models, semantics and logical truth,” Linguistics and Philosophy, vol. 11 (1988), pp. 91-106.
10. Etchemendy, J., The Concept of Logical Consequence, Harvard University Press, Cambridge, 1990.
11. Godel, K., “Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls,” Monat-shefte fur Mathematik undPhysik, vol. 37 (1930), pp. 349-360. Translated as “The completeness of the axioms of the functional calculus of logic,” pp. 583-591 in From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931, edited by J. van Hei-jenoort, Harvard University Press, Cambridge, 1967.
12. Godel, K., “Uber formal unentscheidbare Satze der Principia Mathematica und ver-wandter Systeme I,” Monatshefte far Mathematik und Physik, vol. 38 (1931), pp. 173-198. Translated as “On formally undecidable propositions of Principia Mathematica and Related Systems I,” pp. 596-616 in From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931, edited by J. vanHeijenoort, Harvard University Press, Cambridge, 1967.
13. Gomez-Torrente, M., “On a fallacy attributed to Tarski,” forthcoming in History and Philosophy of Logic.
14. Hempel, C. G., “On the nature of mathematical truth,” pp. 377-393 in The Philosophy of Mathematics, second edition, edited by P. Benacerraf and H. Putnam, Cambridge University Press, Cambridge, 1983.
15. Hilbert, D., and W. Ackermann, Grundzuge der theoretischen Logik, Springer, Berlin, 1928.
16. Hilbert, D., and W. Ackermann, Grundzuge der theoretischen Logik, second edition, Springer, Berlin, 1938.
17. Hilbert, D., and W. Ackermann, Principles of Mathematical Logic, Chelsea, New York, 1950.
18. Hodges, W., “Truth in a structure,” Proceedings of the Aristotelian Society, new series, vol. 86 (1985-1986), pp. 135-151.
19. Moore, G. H., “The emergence of first-order logic,” pp. 95-135 in History and Philosophy of Modern Mathematics, edited by W. Aspray and P. Kitcher, Minnesota Studies in the Philosophy of Science, vol. XI, University of Minnesota Press, Minneapolis, 1988.
20. Quine, W. V, “Quine to Carnap,” pp. 294-300 in Dear Carnap, Dear Van. The Quine-Carnap Correspondence and Related Work, University of California Press, Berkeley, 1990.
21. Ramsey, F. P., “The foundations of mathematics,” pp. 1-61 in The Foundations of Mathematics and other Logical Essays, Kegan Paul, London, 1931.
22. Sher, G., The Bounds of Logic, M.I.T. Press, Cambridge, 1991.
23. Tarski, A., “On definable sets of real numbers,” pp. 110-142 in Logic, Semantics, Meta-mathematics, second edition, Hackett, Indianapolis, 1983.
24. Tarski, A., “Some observations on the concepts of m-consistency and m-completeness,” pp. 279-295 in Logic, Semantics, Metamathematics, second edition, Hackett, Indianapolis, 1983.
25. Tarski, A., “Bemerkung der Redaktion,” Fundamenta Mathematics, vol. 23 (1934), p. 161.
26. Tarski, A., and A. Lindenbaum, “On the limitations of the means of expression of deductive theories,” pp. 384-392 in Logic, Semantics, Metamathematics, second edition, Hackett, Indianapolis, 1983.
27. Tarski, A., “The concept of truth in formalized languages,” pp. 152-278 in Logic, Semantics, Metamathematics, second edition, Hackett, Indianapolis, 1983.
28. Tarski, A., “On the foundations of Boolean algebra,” pp. 320-341 in Logic, Semantics, Metamathematics, second edition, Hackett, Indianapolis, 1983.
29. Tarski, A., “Foundations of the calculus of systems,” pp. 343-383 in Logic, Semantics, Metamathematics, second edition, Hackett, Indianapolis, 1983.
30. Tarski, A., “On the concept of logical consequence,” pp. 409-420 in Logic, Semantics, Metamathematics, second edition, Hackett, Indianapolis, 1983.
31. Tarski, A., Einfuhrung in die mathematische Logik und in dieMethodologie der Mathematik, Springer, Vienna, 1937.
32. Tarski, A., Introduction to Logic and to the Methodology of Deductive Sciences, Oxford University Press, New York, 1941.
33. Tarski, A., “A philosophical letter of Alfred Tarski,” Journal of Philosophy, vol. 84 (1987), pp. 28-32.
34. Tarski, A., “What are logical notions?,” History and Philosophy of Logic, vol. 7 (1986), pp. 143-154.
35. Tarski, A., “A general method in proofs of undecidability,” pp. 1-35 in Undecidable Theories, by A. Tarski, A. Mostowski, and R. Robinson, North-Holland, Amsterdam, 1953.
36. Vaught, R. L., “Model theory before 1945,” pp. 153-172 in Proceedings of the Tarski Symposium, edited by L. Henkin et al., Proceedings of Symposia in Pure Mathematics, vol. 25, American Mathematical Society, Providence, 1974.
37. Vaught, R. L., “Tarski’s work in model theory,” The Journal of Symbolic Logic, vol. 51 (1986), pp. 869-882.