If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom

In B. Morison K. Ierodiakonou (ed.), Episteme, etc. OUP UK (2012)
The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.)
Keywords columnar higher-order vagueness  higher-order vagueness  modal logic  modal system S4  kk principle  epistemicism  clarity  definiteness  williamson  luminosity
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive
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

No references found.

Add more references

Citations of this work BETA
II—Modelling Higher-Order Vagueness: Columns, Borderlines and Boundaries.Rosanna Keefe - 2015 - Aristotelian Society Supplementary Volume 89 (1):89-108.

Add more citations

Similar books and articles
The Problem with Truthmaker-Gap Epistemicism.Mark Jago - 2012 - Thought: A Journal of Philosophy 1 (4):320-329.
The Illusion of Higher-Order Vagueness.Crispin Wright - 2009 - In Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and Clouds. Vaguenesss, its Nature and its Logic. Oxford University Press.
Demoting Higher-Order Vagueness.Diana Raffman - 2009 - In Sebastiano Moruzzi & Richard Dietz (eds.), Cuts and Clouds. Vaguenesss, its Nature and its Logic. Oxford University Press. pp. 509--22.
Chrysippus and the Epistemic Theory of Vagueness.Susanne Bobzien - 2002 - Proceedings of the Aristotelian Society 102 (1):217-238.
How Vagueness Could Cut Out at Any Order.Cian Dorr - 2015 - Review of Symbolic Logic 8 (1):1-10.
Contextualism About Vagueness and Higher-Order Vagueness.Patrick Greenough - 2005 - Aristotelian Society Supplementary Volume 79 (1):167–190.
Russell’s Leibnizian Concept of Vagueness.Larry M. Jorgensen - 2011 - History of Philosophy Quarterly 28 (3):289-301.
Added to PP index

Total downloads
464 ( #5,310 of 2,214,632 )

Recent downloads (6 months)
18 ( #21,028 of 2,214,632 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature