Degree supervaluational logic

Review of Symbolic Logic 4 (1):130-149 (2011)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Keywords
No keywords specified (fix it)
Reprint years
2011
PhilPapers/Archive ID
WILDSL-3
Upload history
Archival date: 2018-11-02
View other versions
Added to PP index
2009-06-06

Total views
454 ( #14,378 of 64,083 )

Recent downloads (6 months)
61 ( #11,937 of 64,083 )

How can I increase my downloads?

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