26 ideas
| 8868 | Objective truth arises from interpersonal communication [Davidson] |
| Full Idea: The source of the concept of objective truth is interpersonal communication. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.209) | |
| A reaction: This is a distinctively Davidsonian idea, arising out of Wittgenstein's Private Language Argument. We could go a step further, and just say that 'objectivity is a social concept'. Davidson more or less pleads guilty to pragmatism in this essay. |
| 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. |
| 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. |
| 3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
| Full Idea: Nozick suggests that knowledge is just belief which 'tracks the truth' (hence leaving out justification). | |
| From: report of Robert Nozick (Philosophical Explanations [1981]) by Michael Williams - Problems of Knowledge Ch. 2 |
| 8867 | A belief requires understanding the distinctions of true-and-false, and appearance-and-reality [Davidson] |
| Full Idea: Having a belief demands in addition appreciating the contrast between true belief and false, between appearance and reality, mere seeming and being. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.209) | |
| A reaction: This sets the bar very high for belief (never mind knowledge), and seems to imply that animals don't have beliefs. How should we describe their cognitive states then? I would say these criteria only apply to actual knowledge. |
| 2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
| Full Idea: Nozick says Gettier cases aren't knowledge because the proposition would be believed even if false. Proper justification must be more sensitive to the truth ("track the truth"). | |
| From: report of Robert Nozick (Philosophical Explanations [1981], 3.1) by Jonathan Dancy - Intro to Contemporary Epistemology 3.1 | |
| A reaction: This is a bad idea. I see a genuine tree in my garden and believe it is there, so I know it. That I might have believed it if I was in virtually reality, or observing a mirror, won't alter that. |
| 10347 | Objectivity is intersubjectivity [Davidson] |
| Full Idea: An entity is objective in so far as it is intersubjective. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991]), quoted by Martin Kusch - Knowledge by Agreement Ch.10 | |
| A reaction: This thought baffled me until I saw it in the context of socialised epistemology. Effectively objectivity is subsumed under justification, which in turn is seen in a social context, not private to individuals. |
| 8866 | If we know other minds through behaviour, but not our own, we should assume they aren't like me [Davidson] |
| Full Idea: If the mental states of others are known only through their behavioral and other outward manifestations, while this is not true of our own mental states, why should we think our own mental states are anything like those of others? | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.207) | |
| A reaction: His point is that if you seriously doubt other minds, you should follow through on the implications. But that is to treat it as a theory about other minds, rather an a sceptical worry. Descartes didn't walk into walls while writing Meditation 1. |
| 10346 | Knowing other minds rests on knowing both one's own mind and the external world [Davidson, by Dummett] |
| Full Idea: Davidson argues that knowledge of other minds presupposes knowledge of one's own mind, and that there is no knowledge of other minds without knowledge of the external world. | |
| From: report of Donald Davidson (Three Varieties of Knowledge [1991]) by Michael Dummett - Common Sense and Physics Ch.10 | |
| A reaction: Davidson't argument is actually hard to swallow because it is so long and complex. Compressing the point makes it begin to sound like a variant of the argument from analogy. |
| 8870 | Content of thought is established through communication, so knowledge needs other minds [Davidson] |
| Full Idea: Until a baseline has been established by communication with someone else, there is no point is saying one's own thoughts have a propositional content. Hence knowledge of another mind is essential all thought and all knowledge. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.213) | |
| A reaction: This really is building a skyscraper on the slightly shaky claims of the Private Language Argument (e.g. Idea 4158). Animals are so important in discussions of this kind. Is an albatross more or less devoid of thought and belief? |
| 8869 | The principle of charity attributes largely consistent logic and largely true beliefs to speakers [Davidson] |
| Full Idea: Concerning charity, the Principle of Coherence seeks logical consistency in the thought of the speaker, and the Principle of Correspondence seeks a similar response to features of the world to that of an interpreter. The speaker has logic and true belief. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.211) | |
| A reaction: Davidson adds a Kantian commitment to pure and universal reason to the very sceptical framework created by Quine. I agree with Davidson, but it seems more like faith than like an argument or an empirical observation. |