Degree supervaluational logic

Review of Symbolic Logic 4 (1):130-149 (2011)
Download Edit this record How to cite View on PhilPapers
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.
No keywords specified (fix it)
(categorize this paper)
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2018-11-02
View upload history
References found in this work BETA
Vagueness.Williamson, Timothy
Many, but Almost One.Lewis, David K.

View all 31 references / Add more references

Citations of this work BETA
Vagueness as Indecision.Williams, J. Robert G.

View all 7 citations / Add more citations

Added to PP index

Total views
212 ( #15,166 of 41,636 )

Recent downloads (6 months)
55 ( #10,785 of 41,636 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.