Supervaluationism and Classical Logic

In Rick Nouwen, Robert van Rooij, Hans-Christian Schmitz & Uli Sauerland (eds.), Vagueness in Communication, Lecture Notes in Computer Science, Vol. 6517. Springer (2011)
Download Edit this record How to cite View on PhilPapers
This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide complete (and sound) systems of deduction for supervaluationist consequence in which proofs are completely classical with the exception of a single last step (involving the above mentioned inference).
(categorize this paper)
PhilPapers/Archive ID
Upload history
First archival date: 2010-11-08
Latest version: 2 (2011-01-25)
View other versions
Added to PP index

Total views
1,896 ( #1,433 of 55,966 )

Recent downloads (6 months)
92 ( #6,782 of 55,966 )

How can I increase my downloads?

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