Skip to main content
    • Aa
    • Aa



Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic that norms belief as classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterize degrees of determinacy. It applies the methodology above to focus on degree logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allow degrees of consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail.

Corresponding author
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

K. Akiba (2000). Vagueness as a modality. Philosophical Quarterly, 50, 359370.

H. Field (2009). What is the normative role of logic? Proceedings of the Aristotelian Society, 83, 251268.

H. H Field . (1973). Theory change and the indeterminacy of reference. Journal of Philosophy, 70, 462481. Reprinted in Field, Truth and the Absence of Fact (Oxford University Press, 2001), pp. 177–198.

H. H Field . (1974). Quine and the correspondence theory. Philosophical Review, 83, 200228. Reprinted in Field, Truth and the Absence of Fact (Oxford University Press, 2001), pp. 199–221.

H. H Field . (2000). Indeterminacy, degree of belief, and excluded middle. Nous, 34, 130. Reprinted in Field, Truth and the Absence of Fact (Oxford University Press, 2001), pp. 278–311.

K. Fine (1975). Vagueness, truth and logic. Synthese, 30, 265300. Reprinted with corrections in Keefe and Smith, editors. Vagueness: A Reader (Cambridge, MA: MIT Press, 1997), pp. 119–150.

J. M Joyce . (1998). A non-pragmatic vindication of probabilism. Philosophy of Science, 65, 575603.

J. M Joyce . (2009). Accuracy and coherence: Prospects for an alethic epistemology of partial belief. In F. Huber and C. Schmidt-Petri , editors. Degrees of Belief. Berlin: Springer, pp. 263297.

D. K Lewis . (1970). General semantics. Synthese, 22, 1867. Reprinted with postscript in Lewis, Philosophical Papers I (Oxford University Press, 1983), pp. 189–229.

D. K Lewis . (1984). Putnam’s paradox. Australasian Journal of Philosophy, 62(3), 221236. Reprinted in Lewis, Papers on Metaphysics and Epistemology (Cambridge University Press, 1999), pp. 56–77.

J. Macfarlane (2003). Future contingents and relative truth. Philosophical Quarterly, 53, 321336.

J. Macfarlane (2010). Fuzzy epistemicism. In S. Moruzzi and R. Dietz , editors. Cuts and Clouds. Oxford: Oxford University Press, pp. 438463.

K. F Machina . (1976). Truth, belief and vagueness. Journal of Philosophical Logic, 5, 4778. Reprinted in Keefe and Smith, editors. Vagueness: A Reader (MIT Press, 1997), pp. 174–204.

N. J. J Smith . (2008). Vagueness and Degrees of Truth. Oxford: Oxford University Press.

N. J. J Smith . (2010). Degrees of truth, degrees of belief and subjective probabilities. In S. Moruzzi , and R. Dietz , editors. Cuts and Clouds. Oxford: Oxford University Press, pp. 491506.

R. Stalnaker (1980). A defense of conditional excluded middle. In R. Harper , W. L. Stalnaker , and G. Pearce , editors. Ifs: Conditionals, Belief, Decision, Chance and Time. Dordrecht, Holland: Kluwer Academic Publishers, pp. 87106.

A. Varzi (2007). Supervaluationism and its logics. Mind, 116(463), 633676.

B. Weatherson (2003). From classical to constructive probability. Notre Dame Journal of Formal Logic, 44, 111123.

J. R. G Williams . (2007). Eligibility and inscrutability. Philosophical Review, 116(3), 361399.

J. R. G Williams . (2008). Supervaluations and logical revisionism. The Journal of Philosophy, 105, 192212.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *