Abstract
In his classic 1936 essay “On the Concept of Logical Consequence”, Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant to apply to the model-theoretic account as well.
In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties:
-
(1)(a)
Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right.
-
(b)
Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible.
-
(2)
There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong.
-
(3)
Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account.
-
(4)
Tarski's account depends on there being a distinction between the “logical terms” and the “non-logical terms” of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model-theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties.
Article PDF
Similar content being viewed by others
References
Bar-Hillel, Yehoshua. “History of Logic: Bolzano” In Encyclopedia of Philosophy 4. Ed. PaulEdwards. Reprint 1972 ed. New York: Macmillan, 1967, pp. 540–541.
Barwise, Jon, and John, Etchemendy. Language of First-Order Logic. CSLI Lecture Notes #23. Stanford: Center for the Study of Language and Information, 1990.
Bolzano, Bernard. Wissenschaftslehre. Sulzbach: 1837. Translated as Theory of Science. Ed. & trans. RolfGeorge. Berkeley: University of California Press, 1972.
Carnap, Rudolf. “Intellectual Autobiography.” In The Philosophy of Rudolf Carnap. Library of Living Philosophers XI. Ed. Paul, Arthur Schilpp. La Salle, Illinois: Open Court, 1963, pp. 3–84.
Chihara, Charles. Constructibility and Mathematical Existence. Oxford: Oxford Univ. Press, 1990.
Chihara, Charles. “Tarski's Thesis and the Ontology of Mathematics.” Forthcoming in Philosophy of Mathematics Today. Ed. Matthias Schirn. Oxford: Oxford Univ. Press.
Corcoran, John. “Conceptual Structure of Classical Logic.” Phil Phen Res 33 (1972): 25–47.
Corcoran, John. “Meanings of Implication.” Dialogos [Puerto Rico] 9 (1973): 59–76.
Curtis, Gary N. Review of The Concept of Logical Consequence, by John Etchemendy. Nous 28 (1994): 132–135.
Etchemendy, John. “Doctrine of Logic as Form.” Ling Phil 6 (1983): 319–334.
Etchemendy, John. “Models, Semantics and Logical Truth.” Ling Phil 11 (1988a): 91–106.
Etchemendy, John. “Tarski on Truth and Logical Consequence.” J Sym Log 53 (1988b): 51–79.
Etchemendy, John. The Concept of Logical Consequence. Cambridge: Harvard Univ. Press, 1990.
Etchemendy, John W. “Tarski, Model Theory and Logical Truth.” PhD. Stanford University, 1982.
George, Rolf. “Enthymematic Consequence.” Am Phil Q 9 (1972): 113–116.
Hart, W.D. Review of The Concept of Logical Consequence, by John Etchemendy. Phil Q 41 (1991): 488–493.
Hodges, Wilfrid. “Truth in a Structure.” Proc Arist Soc 86 (1986): 135–151.
Kneale, William, and Martha, Kneale. The Development of Logic. Oxford: Clarendon Press, 1962.
McGee, Vann. “Two problems with Tarski's Theory of Consequence.” Proc Arist Soc 92 (1992): 273–292.
McGee, Vann. “The Concept of Logical Consequence and the Concept of Logical Consequence.” San Francisco: American Philosophical Association, Pacific Division Meeting, March 1993.
Prawitz, Dag. “Remarks on Some Approaches to the Concept of Logical Consequence.” Synthese 62 (1985): 153–172.
Sánchez-Miguel, Manuel. “The Grounds of the Model-Theoretic Account of the Logical Propertics.” Notre Dame J. Form Log 34 (1993): 107–131.
Shapiro, Stewart. “Logical Consequence: Models and Modality.” Forthcoming in Philosophy of Mathematics Today. Ed. Mathias Schirn. Oxford: Oxford Univ. Press.
Sher, Gila. The Bounds of Logic: A Generalized Viewpoint. Cambridge: MIT Press, 1991.
Sher, Gila. “Did Tarski Commit ‘Tarski's Fallacy’?” J Sym Log 61 (1996): 653–686.
Tarski, Alfred. “Pojecie prawdy w jezykach nauk dedukcyjnych.” (1933a). Translated as “On the Concept of Truth in Formalized Languages” in (Tarski, 1983), pp. 152–278.
Tarski, Alfred. “Einige Betrachtungen über die Begriffe ω-Widerpruchsfreiheit und der ω-Vollständigkeit.” Monatshefte für Mathematik und Physik 40 (1933b): 97–112. Translated as “Some Observations on the Concepts of ω-consistency and ω-completeness” in (Tarski, 1983), pp. 279–295.
Tarski, Alfred. “O pojciu wynikania logicznego.” Prezglad Filozoficzny 39 (1936): 58–68. Translated as “On the Concept of Logical Consequence” in (Tarski, 1983), pp. 409–420.
Tarski, Alfred. “The Semantic Conception of Truth and the Foundations of Semantics.” Phil Phen Res 4 (1944): 341–375. Reprinted in Philosophy of Language. Ed. A.P. Martinich. New York: Oxford Univ. Press, 1985, pp. 48–71.
Tarski, Alfred. Logic, Semantics, Metamathematics. 2nd ed. Trans. Woodger, J.H. Indianapolis: Hackett Publishing, 1983.
Tarski, Alfred. “What Are Logical Notions?” Hist Phil Log 7 (1986): 145–154.
Tarski, Alfred. “A Philosophical Letter of Alfred Tarski.” J Phil 84 (1987): 28–32.
Author information
Authors and Affiliations
Additional information
I have benefitted especially from written comments and/or helpful discussions with Craig Bach, John Biro, Patricia Blanchette, Charles Chihara, Gary Curtis, John Etchemendy, Cory Juhl, Robert Koons, Kirk Ludwig, Van McGee, Christopher Menzel, Bill Mitchell, John Peoples, Stewart Shapiro, Gila Sher, Jan Wolenski, Edward Zalta, and an anonymous referee for this Journal. Different portions of this paper were presented (i) at the 1995 World Congress of Logic, Methodology and Philosophy of Science, Florence, Italy, (ii) at the 1995 Pacific Division Meeting of the American Philosophical Association, San Francisco, (iii) at the 1994 meeting of the Society for Exact Philosophy, Austin, and (iv) in a series of lectures to the logic group at the University of Florida in the spring of 1994. My thanks to all who attended those sessions.
Rights and permissions
About this article
Cite this article
Ray, G. Logical consequence: A defense of Tarski. J Philos Logic 25, 617–677 (1996). https://doi.org/10.1007/BF00265256
Issue Date:
DOI: https://doi.org/10.1007/BF00265256