Vagueness and Intuitionistic Logic

In Alexander Miller (ed.), Language, Logic,and Mathematics: Themes from the Philosophy of Crispin Wright. Oxford University Press (forthcoming)
  Copy   BIBTEX

Abstract

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic logic is the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Knowability Paradox in the light of a Logic for Pragmatics.Massimiliano Carrara & Daniele Chiffi - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 47-58.
Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox.Carlo Proietti - 2012 - Journal of Philosophical Logic 41 (5):877-900.
Facing Up to the Sorites Paradox.Terry Horgan - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:99-111.
Semantic pathology and the open pair.James A. Woodbridge & Bradley Armour-Garb - 2005 - Philosophy and Phenomenological Research 71 (3):695–703.
Should the logic of set theory be intuitionistic?Alexander Paseau - 2001 - Proceedings of the Aristotelian Society 101 (3):369–378.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.

Analytics

Added to PP
2015-11-18

Downloads
679 (#24,303)

6 months
81 (#59,010)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ian Rumfitt
Oxford University

Citations of this work

No citations found.

Add more citations

References found in this work

Vagueness.Timothy Williamson - 1994 - New York: Routledge.
Wang's paradox.Michael Dummett - 1975 - Synthese 30 (3-4):201--32.
On the coherence of vague predicates.Crispin Wright - 1975 - Synthese 30 (3-4):325--65.
Concepts without boundaries.R. M. Sainsbury - 1996 - In Rosanna Keefe & Peter Smith (eds.), Vagueness: A Reader. MIT Press. pp. 186-205.

View all 9 references / Add more references