David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 25 (3):205-224 (2004)
I consider the well-known criticism of Quine's characterization of first-order logical truth that it expands the class of logical truths beyond what is sanctioned by the model-theoretic account. Briefly, I argue that at best the criticism is shallow and can be answered with slight alterations in Quine's account. At worse the criticism is defective because, in part, it is based on a misrepresentation of Quine. This serves not only to clarify Quine's position, but also to crystallize what is and what is not at issue in choosing the model-theoretic account of first-order logical truth over one in terms of substitutions. I conclude by highlighting the need for justifying the belief that the definition of first-order logical truth in terms of models is superior to its definition in terms of substitutions
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Nelson Goodman & W. V. Quine (1947). Steps Toward a Constructive Nominalism. Journal of Symbolic Logic 12 (4):105-122.
George S. Boolos (1975). On Second-Order Logic. Journal of Philosophy 72 (16):509-527.
W. V. Quine (1950). Identity, Ostension, and Hypostasis. Journal of Philosophy 47 (22):621-633.
William H. Hanson (1997). The Concept of Logical Consequence. Philosophical Review 106 (3):365-409.
Hartry Field (1991). Metalogic and Modality. Philosophical Studies 62 (1):1 - 22.
Citations of this work BETA
Günther Eder (forthcoming). Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence. History and Philosophy of Logic:1-24.
Similar books and articles
Robert Barrett (1965). Quine, Synonymy and Logical Truth. Philosophy of Science 32 (3/4):361-367.
M. McKeon (2005). A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic. Journal of Philosophical Logic 34 (3):305 - 326.
Greg Ray (1996). Logical Consequence: A Defense of Tarski. Journal of Philosophical Logic 25 (6):617 - 677.
Michael Nelson & Edward N. Zalta (2012). A Defense of Contingent Logical Truths. Philosophical Studies 157 (1):153-162.
Charles Sayward (2007). Quine and His Critics on Truth-Functionality and Extensionality. Logic and Logical Philosophy 16 (1):45-63.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
R. T. Cook (2012). The T-Schema is Not a Logical Truth. Analysis 72 (2):231-239.
Added to index2010-08-10
Total downloads17 ( #182,082 of 1,781,166 )
Recent downloads (6 months)1 ( #291,797 of 1,781,166 )
How can I increase my downloads?