29 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. |
| 7508 | Good reductionism connects fields of knowledge, but doesn't replace one with another [Pinker] |
| Full Idea: Good reductionism (also called 'hierarchical reductionism') consists not of replacing one field of knowledge with another, but of connecting or unifying them. | |
| From: Steven Pinker (The Blank Slate [2002], Ch.4) | |
| A reaction: A nice simple clarification. In this sense I am definitely a reductionist about mind (indeed, about everything). There is nothing threatening to even 'spiritual' understanding by saying that it is connected to the brain. |
| 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. |
| 7510 | Connectionists say the mind is a general purpose learning device [Pinker] |
| Full Idea: Connectionists do not, of course, believe that the mind is a blank slate, but they do believe in the closest mechanistic equivalent, a general purpose learning device. | |
| From: Steven Pinker (The Blank Slate [2002], Ch.5) | |
| A reaction: This shows the closeness of connectionism to Hume's associationism (Idea 2189), which was just a minimal step away from Locke's mind as 'white paper' (Idea 7507). Pinker is defending 'human nature', but connectionism has a point. |
| 7513 | Is memory stored in protein sequences, neurons, synapses, or synapse-strengths? [Pinker] |
| Full Idea: Are memories stored in protein sequences, in new neurons or synapses, or in changes in the strength of existing synapses? | |
| From: Steven Pinker (The Blank Slate [2002], Ch.5) | |
| A reaction: This seems to be a neat summary of current neuroscientific thinking about memory. If you are thinking that memory couldn't possibly be so physical, don't forget the mind-boggling number of events involved in each tiny memory. See Idea 6668. |
| 7509 | Roundworms live successfully with 302 neurons, so human freedom comes from our trillions [Pinker] |
| Full Idea: The roundworm only has 959 cells, and 302 neurons in a fixed wiring diagram; it eats, mates, approaches and avoids certain smells, and that's about it. This makes it obvious that human 'free' behaviour comes from our complex biological makeup. | |
| From: Steven Pinker (The Blank Slate [2002], Ch.5) | |
| A reaction: I find this a persuasive example. Three hundred trillion neurons cannot possibly produce behaviour which is more than broadly predictable, and then it is the environment and culture that make it predictable, not the biology. |
| 7511 | Neural networks can generalise their training, e.g. truths about tigers apply mostly to lions [Pinker] |
| Full Idea: The appeal of neural networks is that they automatically generalize their training to similar new items. If one has been trained to think tigers eat frosted flakes, it will generalise that lions do too, because it knows tigers as sets of features. | |
| From: Steven Pinker (The Blank Slate [2002], Ch.5) | |
| A reaction: This certainly is appealing, because it offers a mechanistic account of abstraction and universals, which everyone agrees are central to proper thinking. |
| 7512 | There are five types of reasoning that seem beyond connectionist systems [Pinker, by PG] |
| Full Idea: Connectionist networks have difficulty with the kind/individual distinction (ducks/this duck), with compositionality (relations), with quantification (reference of 'all'), with recursion (embedded thoughts), and the categorical reasoning (exceptions). | |
| From: report of Steven Pinker (The Blank Slate [2002], Ch.5) by PG - Db (ideas) | |
| A reaction: [Read Pinker p.80!] These are essentially all the more sophisticated aspects of logical reasoning that Pinker can think of. Personally I would be reluctant to say a priori that connectionism couldn't cope with these things, just because they seem tough. |
| 7505 | Many think that accepting human nature is to accept innumerable evils [Pinker] |
| Full Idea: To acknowledge human nature, many think, is to endorse racism, sexism, war, greed, genocide, nihilism, reactionary politics, and neglect of children and the disadvantaged. | |
| From: Steven Pinker (The Blank Slate [2002], Pref) | |
| A reaction: The point is that modern liberal thinking says everything is nurture (which can be changed), not nature (which can't). Virtue theory, of which I am a fan, requires a concept of human nature, as the thing which can attain excellence in its function. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 7516 | In 1828, the stuff of life was shown to be ordinary chemistry, not a magic gel [Pinker] |
| Full Idea: In 1828 Friedrich Wöhler showed [by synthesising urea in the laboratory] that the stuff of life is not a magical, pulsating gel, but ordinary compounds following the laws of chemistry. | |
| From: Steven Pinker (The Blank Slate [2002], Ch.3) | |
| A reaction: Wöhler synthesised urea in the laboratory. |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |
| 7515 | All the evidence says evolution is cruel and wasteful, not intelligent [Pinker] |
| Full Idea: The overwhelming evidence is that the process of evolution, far from being intelligent and purposeful, is wasteful and cruel. | |
| From: Steven Pinker (The Blank Slate [2002], Ch.7) | |
| A reaction: This is why opponents should reject evolution totally, rather than compromise with it. Stick to a 6000-year-old world, fossils sent to test our faith, and species created in a flash (with no pain or waste). |
| 7514 | Intelligent Design says that every unexplained phenomenon must be design, by default [Pinker] |
| Full Idea: The originator of 'intelligent design' (the biochemist Michael Behe) takes every phenomenon whose evolutionary history has not yet been figured out, and chalks it up to design by default. | |
| From: Steven Pinker (The Blank Slate [2002], Ch.7) | |
| A reaction: This seems to summarise the strategy very nicely. The theory essentially exploits the 'wow!' factor. The bigger the wow! the more likely it is that it was created by God. But research has been eroding our wows steadily for four hundred years. |