David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 91 (3):305 - 334 (2009)
The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification
|Keywords||Philosophy Computational Linguistics Mathematical Logic and Foundations Logic|
|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
Nuel D. Belnap (2001). Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press on Demand.
John MacFarlane (2003). Future Contingents and Relative Truth. Philosophical Quarterly 53 (212):321–336.
Saul A. Kripke (1975). Outline of a Theory of Truth. Journal of Philosophy 72 (19):690-716.
Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
Kit Fine (1975). Vagueness, Truth and Logic. Synthese 30 (3-4):265-300.
Citations of this work BETA
No citations found.
Similar books and articles
Michael Glanzberg (2011). More on Operators and Tense. [REVIEW] Analysis 71 (1):112 - 123.
Friederike Moltmann (2010). Relative Truth and the First Person. Philosophical Studies 150 (2):187-220..
L. A. Zadeh (1975). Fuzzy Logic and Approximate Reasoning. Synthese 30 (3-4):407-428.
Philip Kremer (2008). Supervaluation Fixed-Point Logics of Truth. Journal of Philosophical Logic 37 (5):407 - 440.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Dale Jacquette (2010). Circularity or Lacunae in Tarski's Truth-Schemata. Journal of Logic, Language and Information 19 (3):315-326.
Richard Holton (2000). Minimalism and Truth-Value Gaps. Philosophical Studies 97 (2):135-165.
Patrick Greenough (2011). Truthmaker Gaps and the No-No Paradox. Philosophy and Phenomenological Research 82 (3):547 - 563.
Added to index2009-04-04
Total downloads70 ( #44,942 of 1,724,745 )
Recent downloads (6 months)5 ( #134,580 of 1,724,745 )
How can I increase my downloads?