display all the ideas for this combination of texts
3 ideas
9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
Full Idea: Maybe classical logic fails for vagueness in Excluded Middle. If 'H bald ∨ ¬(H bald)' is true, then one disjunct is true. But if the second is true the first is false, and the sentence is either true or false, contrary to the borderline assumption. | |
From: Kit Fine (Vagueness, Truth and Logic [1975], 4) | |
A reaction: Fine goes on to argue against the implication that we need a special logic for vague predicates. |
11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
Full Idea: Two ways to see 'all horses are animals' are as picking out all the horses (so that it is a 'horse-quantifier'), ..or as ranging over lots of things in addition to horses, with 'horses' then restricting the things to those that satisfy 'is a horse'. | |
From: Michael Jubien (Analyzing Modality [2007], 2) | |
A reaction: Jubien says this gives you two different metaphysical views, of a world of horses etc., or a world of things which 'are horses'. I vote for the first one, as the second seems to invoke an implausible categorical property ('being a horse'). Cf Idea 11116. |
9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
Full Idea: If language is like a tree, then penumbral connection (logic holding among indefinite sentences) is the seed from which the tree grows, for it provides an initial repository of truths that are to be retained throughout all growth. | |
From: Kit Fine (Vagueness, Truth and Logic [1975], 2) | |
A reaction: A nice incidental insight arising from his investigation of vagueness. People accept one another's reasons even when they are confused, or hopeless at expressing themselves. Nice. |