25 ideas
| 9065 | S5 collapses iterated modalities (◊□P→□P, and ◊◊P→◊P) [Keefe/Smith] |
| Full Idea: S5 collapses iterated modalities (so ◊□P → □P, and ◊◊P → ◊P). | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §5) | |
| A reaction: It is obvious why this might be controversial, and there seems to be a general preference for S4. There may be confusions of epistemic and ontic (and even semantic?) possibilities within a single string of modalities. |
| 9064 | Objects such as a cloud or Mount Everest seem to have fuzzy boundaries in nature [Keefe/Smith] |
| Full Idea: A common intuition is that a vague object has indeterminate or fuzzy spatio-temporal boundaries, such as a cloud. Mount Everest can only have arbitrary boundaries placed around it, so in nature it must have fuzzy boundaries. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §5) | |
| A reaction: We would have to respond by questioning whether Everest counts precisely as an 'object'. At the microscopic or subatomic level it seems that virtually everything has fuzzy boundaries. Maybe boundaries don't really exist. |
| 9044 | If someone is borderline tall, no further information is likely to resolve the question [Keefe/Smith] |
| Full Idea: If Tek is borderline tall, the unclarity does not seem to be epistemic, because no amount of further information about his exact height (or the heights of others) could help us decide whether he is tall. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §1) | |
| A reaction: One should add also that information about social conventions or conventions about the usage of the word 'tall' will not help either. It seems fairly obvious that God would not know whether Tek is tall, so the epistemic view is certainly counterintuitive. |
| 9048 | The simplest approach, that vagueness is just ignorance, retains classical logic and semantics [Keefe/Smith] |
| Full Idea: The simplest approach to vagueness is to retain classical logic and semantics. Borderline cases are either true or false, but we don't know which, and, despite appearances, vague predicates have well-defined extensions. Vagueness is ignorance. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §1) | |
| A reaction: It seems to me that you must have a rather unhealthy attachment to the logicians' view of the world to take this line. It is the passion of the stamp collector, to want everything in sets, with neatly labelled properties, and inference lines marked out. |
| 9055 | The epistemic view of vagueness must explain why we don't know the predicate boundary [Keefe/Smith] |
| Full Idea: A key question for the epistemic view of vagueness is: why are we ignorant of the facts about where the boundaries of vague predicates lie? | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §2) | |
| A reaction: Presumably there is a range of answers, from laziness, to inability to afford the instruments, to limitations on human perception. At the limit, with physical objects, how do we tell whether it is us or the object which is afflicted with vagueness? |
| 9049 | Supervaluationism keeps true-or-false where precision can be produced, but not otherwise [Keefe/Smith] |
| Full Idea: The supervaluationist view of vagueness is that 'tall' comes out true or false on all the ways in which we can make 'tall' precise. There is a gap for borderline cases, but 'tall or not-tall' is still true wherever you draw a boundary. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §1) | |
| A reaction: [Kit Fine is the spokesperson for this; it preserves classical logic, but not semantics] This doesn't seem to solve the problem of vagueness, but it does (sort of) save the principle of excluded middle. |
| 9056 | Vague statements lack truth value if attempts to make them precise fail [Keefe/Smith] |
| Full Idea: The supervaluationist view of vagueness proposes that a sentence is true iff it is true on all precisifications, false iff false on all precisifications, and neither true nor false otherwise. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §3) | |
| A reaction: This seems to be just a footnote to the Russell/Unger view, that logic works if the proposition is precise, but otherwise it is either just the mess of ordinary life, or the predicate doesn't apply at all. |
| 9058 | Some of the principles of classical logic still fail with supervaluationism [Keefe/Smith] |
| Full Idea: Supervaluationist logic (now with a 'definite' operator D) fails to preserve certain classical principles about consequence and rules of inference. For example, reduction ad absurdum, contraposition, the deduction theorem and argument by cases. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §3) | |
| A reaction: The aim of supervaluationism was to try to preserve some classical logic, especially the law of excluded middle, in the face of problems of vagueness. More drastic views, like treating vagueness as irrelevant to logic, or the epistemic view, do better. |
| 9059 | The semantics of supervaluation (e.g. disjunction and quantification) is not classical [Keefe/Smith] |
| Full Idea: The semantics of supervaluational views is not classical. A disjunction can be true without either of its disjuncts being true, and an existential quantification can be true without any of its substitution instances being true. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §3) | |
| A reaction: There is a vaguely plausible story here (either red or orange, but not definitely one nor tother; there exists an x, but which x it is is undecidable), but I think I will vote for this all being very very wrong. |
| 9060 | Supervaluation misunderstands vagueness, treating it as a failure to make things precise [Keefe/Smith] |
| Full Idea: Why should we think vague language is explained away by how things would be if it were made precise? Supervaluationism misrepresents vague expressions, as vague only because we have not bothered to make them precise. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §3) | |
| A reaction: The theory still leaves a gap where vagueness is ineradicable, so the charge doesn't seem quite fair. Logicians always yearn for precision, but common speech enjoys wallowing in a sea of easy-going vagueness, which works fine. |
| 9050 | A third truth-value at borderlines might be 'indeterminate', or a value somewhere between 0 and 1 [Keefe/Smith] |
| Full Idea: One approach to predications in borderline cases is to say that they have a third truth value - 'neutral', 'indeterminate' or 'indefinite', leading to a three-valued logic. Or a degree theory, such as fuzzy logic, with infinite values between 0 and 1. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §1) | |
| A reaction: This looks more like a strategy for computer programmers than for metaphysicians, as it doesn't seem to solve the difficulty of things to which no one can quite assign any value at all. Sometimes you can't be sure if an entity is vague. |
| 9061 | People can't be placed in a precise order according to how 'nice' they are [Keefe/Smith] |
| Full Idea: There is no complete ordering of people by niceness, and two people could be both fairly nice, nice to intermediate degrees, while there is no fact of the matter about who is the nicer. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §4) | |
| A reaction: This is a difficulty if you are trying to decide vague predicates by awarding them degrees of truth. Attempts to place a precise value on 'nice' seem to miss the point, even more than utilitarian attempts to score happiness. |
| 9062 | If truth-values for vagueness range from 0 to 1, there must be someone who is 'completely tall' [Keefe/Smith] |
| Full Idea: Many-valued theories still seem to have a sharp boundary between sentences taking truth-value 1 and those taking value less than 1. So there is a last man in our sorites series who counts as 'completely tall'. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §4) | |
| A reaction: Lovely. Completely nice, totally red, perfectly childlike, an utter mountain, one hundred per cent amused. The enterprise seems to have the same implausibility found in Bayesian approaches to assessing evidence. |
| 9063 | How do we decide if my coat is red to degree 0.322 or 0.321? [Keefe/Smith] |
| Full Idea: What could determine which is the correct function, settling that my coat is red to degree 0.322 rather than 0.321? | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §4) | |
| A reaction: It is not just the uncertainty of placing the coat on the scale. The two ends of the scale have all the indeterminacy of being red rather than orange (or, indeed, pink). You are struggling to find a spot on the ruler, when the ruler is placed vaguely. |
| 14596 | Call 'nominalism' the denial of numbers, properties, relations and sets [Dorr] |
| Full Idea: Just as there are no numbers or properties, there are no relations (like 'being heavier than' or 'betweenness'), or sets. I will provisionally use 'nominalism' for the conjunction of these four claims. | |
| From: Cian Dorr (There Are No Abstract Objects [2008], 1) | |
| A reaction: If you are going to be a nominalist, do it properly! My starting point in metaphysics is strong sympathy with this view. Right now [Tues 22nd Nov 2011, 10:57 am GMT] I think it is correct. |
| 14597 | Natural Class Nominalism says there are primitive classes of things resembling in one respect [Dorr] |
| Full Idea: Natural Class Nominalists take as primitive the notion of a 'natural' class - a class of things that all resemble one another in some one respect and resemble nothing else in that respect. | |
| From: Cian Dorr (There Are No Abstract Objects [2008], 4) | |
| A reaction: Dorr rejects this view because he doesn't believe in 'classes'. How committed to classes do you have to be before you are permitted to talk about them? All vocabulary (such as 'resemble') seems metaphysically tainted in this area. |
| 9045 | Vague predicates involve uncertain properties, uncertain objects, and paradoxes of gradual change [Keefe/Smith] |
| Full Idea: Three interrelated features of vague predicates such as 'tall', 'red', 'heap', 'child' are that they have borderline cases (application is uncertain), they lack well-defined extensions (objects are uncertain), and they're susceptible to sorites paradoxes. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §1) | |
| A reaction: The issue will partly depend on what you think an object is: choose from bundles of properties, total denial, essential substance, or featureless substance with properties. The fungal infection of vagueness could creep in at any point, even the words. |
| 9047 | Many vague predicates are multi-dimensional; 'big' involves height and volume; heaps include arrangement [Keefe/Smith] |
| Full Idea: Many vague predicates are multi-dimensional. 'Big' of people depends on both height and volume; 'nice' does not even have clear dimensions; whether something is a 'heap' depends both the number of grains and their arrangement. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §1) | |
| A reaction: Anyone who was hoping for a nice tidy theory for this problem should abandon hope at this point. Huge numbers of philosophical problems can be simplified by asking 'what exactly do you mean here?' (e.g. tall or bulky?). |
| 9053 | If there is a precise borderline area, that is not a case of vagueness [Keefe/Smith] |
| Full Idea: If a predicate G has a sharply-bounded set of cases falling in between the positive and negative, this shows that merely having borderline cases is not sufficient for vagueness. | |
| From: R Keefe / P Smith (Intro: Theories of Vagueness [1997], §1) | |
| A reaction: Thus you might have 'pass', 'fail' and 'take the test again'. But there seem to be two cases in the border area: will decide later, and decision seems impossible. And the sharp boundaries may be quite arbitrary. |
| 14598 | Abstracta imply non-logical brute necessities, so only nominalists can deny such things [Dorr] |
| Full Idea: If there are abstract objects, there are necessary truths about these things that cannot be reduced to truths of logic. So only the nominalist, who denies that there are any such things, can adequately respect the idea that there are no brute necessities. | |
| From: Cian Dorr (There Are No Abstract Objects [2008], 4) | |
| A reaction: This is where two plates of my personal philosophy grind horribly against one another. I love nominalism, and I love natural necessities. They meet like a ring-species in evolution. I'll just call it a 'paradox', and move on (swiftly). |
| 2170 | Homer does not distinguish between soul and body [Homer, by Williams,B] |
| Full Idea: Homer's descriptions of people did without a dualistic distinction between soul and body. | |
| From: report of Homer (The Iliad [c.850 BCE]) by Bernard Williams - Shame and Necessity II - p.23 |
| 2171 | The 'will' doesn't exist; there is just conclusion, then action [Homer, by Williams,B] |
| Full Idea: Homer left out another mental action lying between coming to a conclusion and acting on it; and he did well, since there is no such action, and the idea is the invention of bad philosophy. | |
| From: report of Homer (The Iliad [c.850 BCE]) by Bernard Williams - Shame and Necessity II - p.37 | |
| A reaction: This is a characteristically empiricist view, which is found in Hobbes. The 'will' seems to have a useful role in folk psychology. We can at least say that coming to a conclusion that I should act, and then actually acting, are not the same thing. |
| 21819 | Plato says the Good produces the Intellectual-Principle, which in turn produces the Soul [Homer, by Plotinus] |
| Full Idea: In Plato the order of generation is from the Good, the Intellectual-Principle; from the Intellectual-Principle, the Soul. | |
| From: report of Homer (The Iliad [c.850 BCE], 509b) by Plotinus - The Enneads 5.1.08 | |
| A reaction: The doctrine of Plotinus merely echoes Plato, in that case, except that the One replaces the Form of the Good. Does this mean that what is first in Plotinus is less morally significant, and more concerned with reason and being? |
| 11388 | Let there be one ruler [Homer] |
| Full Idea: The rule of many is not good; let there be one ruler. | |
| From: Homer (The Iliad [c.850 BCE], 2.204), quoted by Vassilis Politis - Aristotle and the Metaphysics 8.9 | |
| A reaction: [Quoted by Aristotle at Metaphysics 1076a04] |
| 14829 | Homer so enjoys the company of the gods that he must have been deeply irreligious [Homer, by Nietzsche] |
| Full Idea: Homer is so at home among his gods, and takes such delight in them as a poet, that he surely must have been deeply irreligious. | |
| From: report of Homer (The Iliad [c.850 BCE]) by Friedrich Nietzsche - Human, All Too Human 125 | |
| A reaction: Blake made a similar remark about where the true allegiance of Milton lay in 'Paradise Lost'. |