In Rick Nouwen, Robert van Rooij, Hans-Christian Schmitz & Uli Sauerland (eds.), Vagueness in Communication, Lecture Notes in Computer Science, Vol. 6517. Springer (2011)

Pablo Cobreros
Universidad de Navarra
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).
Keywords Vagueness  Supervaluationism  Logical Consequence  Global Validity  Deductive Systems
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

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

Add more references

Citations of this work BETA

Subvaluationism and Classical Recapture.Paula Teijeiro - 2020 - Logic Journal of the IGPL 28 (5):832-844.

Add more citations

Similar books and articles


Added to PP index

Total views
2,121 ( #2,041 of 2,506,407 )

Recent downloads (6 months)
69 ( #11,681 of 2,506,407 )

How can I increase my downloads?


My notes