This paper presents F, substructural logic designed to treat vagueness. Weaker than Lukasiewicz’s infinitely valued logic, it is presented first in a natural deduction system, then given a Kripke semantics in the manner of Routley and Meyer's ternary relational semantics for R and related systems, but in this case, the points are motivated as degrees to which the truth could be stretched. Soundness and completeness are proved, not only for the propositional system, but also for its extension with first-order quantifiers. The first-order models allow not only objects with vague properties, but also objects whose very existence is a matter of degree.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 1988, 2010, 2011
DOI 10.26686/ajl.v8i0.1815
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,811
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

Add more citations

Similar books and articles

I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
Vagueness and Blurry Sets.Nicholas J. J. Smith - 2004 - Journal of Philosophical Logic 33 (2):165-235.
Semantical Study of Some Systems of Vagueness Logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
Russell's Theses on Vagueness.Bertil RolF - 1982 - History and Philosophy of Logic 3 (1):69-83.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Degrees of Belief, Expected and Actual.Rosanna Keefe - 2017 - Synthese 194 (10):3789-3800.
Facing Up to the Sorites Paradox.Terry Horgan - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:99-111.
A Natural Deduction System for First Degree Entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Robust Vagueness and the Forced-March Sorites Paradox.Terence Horgan - 1994 - Philosophical Perspectives 8:159-188.
Vagueness.Nicholas Jeremy Josef Smith - 2001 - Dissertation, Princeton University
Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.


Added to PP index

Total views
16 ( #651,781 of 2,463,158 )

Recent downloads (6 months)
1 ( #449,391 of 2,463,158 )

How can I increase my downloads?


My notes