more on this theme | more from this thinker
Full Idea
With the super-truth approach, if P is 'blob is pink' and R is 'blob is red', then P&R is false, and P∨R is true, since one of P and R is true and one is false in any complete and admissible specification. It encompasses all 'penumbral truths'.
Gist of Idea
With the super-truth approach, the classical connectives continue to work
Source
Kit Fine (Vagueness, Truth and Logic [1975], 3)
Book Ref
'Vagueness: a Reader', ed/tr. Keefe,R /Smith,P [MIT 1999], p.132
A Reaction
[See Idea 9767 for the super-truth approach, and Idea 9770 for a contrasting view] The approach, which seems quite appealing, is that we will in no circumstances give up basic classical logic, but we will make maximum concessions to vagueness.
Related Ideas
Idea 9767 A vague sentence is only true for all ways of making it completely precise [Fine,K]
Idea 9770 Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K]
9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
9768 | Vagueness is semantic, a deficiency of meaning [Fine,K] |
9767 | A vague sentence is only true for all ways of making it completely precise [Fine,K] |
9770 | Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K] |
9769 | Vagueness can be in predicates, names or quantifiers [Fine,K] |
9772 | Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K] |
9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
9773 | With the super-truth approach, the classical connectives continue to work [Fine,K] |
9774 | Borderline cases must be under our control, as capable of greater precision [Fine,K] |
9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
9776 | A thing might be vaguely vague, giving us higher-order vagueness [Fine,K] |