Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-19T03:00:39.476Z Has data issue: false hasContentIssue false
  • English
  • Français

On tarski on models

Published online by Cambridge University Press:  12 March 2014

Timothy Bays
Timothy Bays*
Affiliation:
Department of Philosophy, University of Notre Dame, Notre Dame, IN 46556, USA, E-Mail: timothy.bays.5@nd.edu
Get access Rights & Permissions [Opens in a new window]

Abstract.

This paper concerns Tarski's use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski's recent defenders. I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors. I argue that this nonstandard conception is more philosophically plausible than it may appear. Finally, I make a few comments concerning the traditionally puzzling case of Tarski's ω-rule example.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 66 , Issue 4 , December 2001 , pp. 1701 - 1726
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Blanchette, Patricia, Frege and Hilbert on consistency, The Journal of Philosophy, vol. 93 (1996), pp. 317–336.CrossRefGoogle Scholar
[2]Carnap, Rudolf, Einführung in die Symbolische Logik, Springer, Vienna, 1954.CrossRefGoogle Scholar
[3]Echemendy, John, Tarski on truth and logical consequence, this Journal, vol. 53 (1988), pp. 51–79.Google Scholar
[4]Echemendy, John, The concept of logical consequence, Harvard, Cambridge, 1990.Google Scholar
[5]Gödel, Kurt, On formally undecidable propositions of Principia Mathematica and related systems, Collected works, Oxford University Press, New York, 1986, pp. 145–199.Google Scholar
[6]Gómez-Torrente, Mario, Tarski on logical consequence, Notre Dame Journal of Formal Logic, vol. 37 (1996), pp. 125–151.CrossRefGoogle Scholar
[7]Greg, Ray, Logical consequence: A defense of Tarski, The Journal of Philosophical Logic, vol. 25 (1996), pp. 617–677.Google Scholar
[8]Hilbert, David and Ackermann, Wilhelm, Principles of mathematical logic, Chelsea Publishing, New York, 1937.Google Scholar
[9]Hodges, Wilfrid, Truth in a structure, Proceedings of the Aristotelian Society, vol. 86 (1985–1986), pp. 135–151.CrossRefGoogle Scholar
[10]Russell, Bertrand, Introduction to mathematical philosophy, MacMillan, New York, 1919.Google Scholar
[11]Sher, Gila, A conception of Tarskian logic, Pacific Philosophical Quarterly, vol. 70 (1989), pp. 341–369.CrossRefGoogle Scholar
[12]Sher, Gila, The bounds of logic: A generalized viewpoint, MIT Press, Cambridge, 1991.Google Scholar
[13]Sher, Gila, Did Tarski commit ‘Tarski's Fallacy’, this Journal, vol. 61 (1996), pp. 653–686.Google Scholar
[14]Skolem, Thoralf, Some remarks on axiomitized set theory, In van Heijenoort [27], 290–301.Google Scholar
[15]Skolem, Thoralf, Une relativisation des notions mathematiques fondementales, Selected works in logic, Universitetsforlaget, Oslo, 1970, pp. 587–600.Google Scholar
[16]Tarski, Alfred, Einführung in die mathematische Logik und in die Methodologie der Mathematik, Springer, Vienna, 1937.CrossRefGoogle Scholar
[17]Tarski, Alfred, Introduction to logic and to the methodology of deductive sciences, Oxford, New York, 1941, Translation of [16].Google Scholar
[18]Tarski, Alfred, The concept of truth in formalized languages, In Logic, Semantics, and Metamathematics [20], pp. 152–278.Google Scholar
[19]Tarski, Alfred, Foundations of the calculus of systems, In Logic, Semantics, and Metamathematics [20], pp. 342–383.Google Scholar
[20]Tarski, Alfred, Logic, semantics, metamathematics, 2nd ed., Hackett, Indianapolis, 1983.Google Scholar
[21]Tarski, Alfred, On the concept of logical consequence, In Logic, Semantics, and Metamathematics [20], pp. 409–420.Google Scholar
[22]Tarski, Alfred, On the foundations of Boolean Algebra, In Logic, Semantics, and Metamathematics [20], pp. 320–341.Google Scholar
[23]Tarski, Alfred, On the limitations of the means of expression of deductive theories, In Logic, Semantics, and Metamathematics [20], pp. 284–392.Google Scholar
[24]Tarski, Alfred, Some methodological investigations on the definability of concepts, In Logic, Semantics, and Metamathematics [20], pp. 296–319.Google Scholar
[25]Tarski, Alfred, Some observations on the concepts of ω-consistency and ω-completeness, In Logic, Semantics, and Metamathematics [20], pp. 278–295.Google Scholar
[26]Tarski, Alfred, What are the logical notions?, History and Philosophy of Logic, vol. 7 (1986), pp. 443–154.CrossRefGoogle Scholar
[27]van Heijenoort, Jean (editor), From Frege to Gödel, Harvard, Cambridge, Mass., 1967.Google Scholar