34 ideas
6161 | Structuralism is neo-Kantian idealism, with language playing the role of categories of understanding [Rowlands] |
Full Idea: Structuralism is a form of neo-Kantian idealism, in which the job of creating Kant's phenomenal world has been taken over by language instead of forms of sensibility and categories of the understanding. | |
From: Mark Rowlands (Externalism [2003], Ch.3) | |
A reaction: A helpful connection, which explains my aversion to any attempt at understanding the world simply by analysing language, either in its ordinary usage, or in its underlying logical form. |
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. |
6163 | If bivalence is rejected, then excluded middle must also be rejected [Rowlands] |
Full Idea: If you reject the principle of bivalence (that a proposition is either determinately true or false), then statements are also not subject to the Law of Excluded Middle (P or not-P). | |
From: Mark Rowlands (Externalism [2003], Ch.3) | |
A reaction: I think Rowlands is wrong about this. Excluded Middle could be purely syntacti, or its semantics could be 'True or Not-True'. Only bivalent excluded middle introduces 'True or False'. Compare Idea 4752. |
6155 | Supervenience is a one-way relation of dependence or determination between properties [Rowlands] |
Full Idea: Supervenience is essentially a one-way relation of dependence or determination, …which holds, in the first instance, between properties. | |
From: Mark Rowlands (Externalism [2003], Ch.2) | |
A reaction: This definition immediately shows why supervenient properties are in danger of being epiphenomenal (i.e. causally irrelevant). Carefully thought about the notion of a 'one-way' relation will, I think, make it more obscure rather than clearer. |
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. |
6154 | It is argued that wholes possess modal and counterfactual properties that parts lack [Rowlands] |
Full Idea: Some have argued that a mereological whole should not be identified with the sum of its parts on the grounds that the former possess certain properties - specifically modal and (perhaps) counterfactual properties - that the latter lacks. | |
From: Mark Rowlands (Externalism [2003], Ch.2) | |
A reaction: I am not convinced that modal and counterfactual claims should count as properties. If my pen is heated it melts (a property), but if my pen were intelligent it could do philosophy. Intelligence is a property, but the situation isn't. |
6157 | Tokens are dated, concrete particulars; types are their general properties or kinds [Rowlands] |
Full Idea: Tokens are dated, concrete, particular occurrences or instances; types are the general properties that these occurrences exemplify or the kinds to which they belong. | |
From: Mark Rowlands (Externalism [2003], Ch.2) | |
A reaction: It might be said that types are sets, of which tokens are the members. The question of 'general properties' raises the question of whether universals must exist to make kinds possible. |
6159 | Strong idealism is the sort of mess produced by a Cartesian separation of mind and world [Rowlands] |
Full Idea: Neo-Kantian idealism, and the excesses of recent versions of it, are precisely the sort of mess one can get oneself into through an uncritical acceptance of the dichotomizing of mind and world along Cartesian internalist lines. | |
From: Mark Rowlands (Externalism [2003], Ch.3) | |
A reaction: I am unconvinced that internalism about the mind (that its contents can be defined without reference to anything external) leads to this disastrous split. We don't have to abandon the links between an internal mind and the world. |
6152 | Minds are rational, conscious, subjective, self-knowing, free, meaningful and self-aware [Rowlands] |
Full Idea: The apparent features of mind which are not obviously physical include: rationality, thought, consciousness, subjectivity, infallible first-person knowledge, freedom, meaning and self-awareness. | |
From: Mark Rowlands (Externalism [2003], Ch.2) | |
A reaction: A helpful list, some of which can be challenged. Ryle challenges first-person infallibility. Hume challenges self-awareness. Quine challenges meaning. Lots of people (e.g. Spinoza) challenge freedom. The Churchlands seem to challenge consciousness. |
6173 | Content externalism implies that we do not have privileged access to our own minds [Rowlands] |
Full Idea: Content externalism threatens the idea of first-person authority in all its forms, and does so because it calls into question the idea that the access we have to our own mental states is privileged in the way required for such authority. | |
From: Mark Rowlands (Externalism [2003], Ch.7) | |
A reaction: I am inclined to respond by saying that since we clearly have privileged access to our own minds, that means there must be something wrong with content externalism. |
6174 | If someone is secretly transported to Twin Earth, others know their thoughts better than they do [Rowlands] |
Full Idea: If someone knew that a thinker had, without realising it, been transported to Twin Earth, they would almost certainly be a higher authority on the content of the thinker's thoughts than would the thinker. | |
From: Mark Rowlands (Externalism [2003], Ch.8) | |
A reaction: They would certainly be a higher authority on the truth of the thinker's thoughts, but only in the way that you might think I hold a diamond when I know it is a club. If the thinker believes it is H2O, the fact that it isn't is irrelevant to content. |
6158 | Supervenience of mental and physical properties often comes with token-identity of mental and physical particulars [Rowlands] |
Full Idea: One often finds a supervenience thesis concerning the relation between mental and physical properties combined with a token identity theory concerning the relation between mental and physical particulars. | |
From: Mark Rowlands (Externalism [2003], Ch.2) | |
A reaction: This brings out the important clarifying point that supervenience is said to be between properties, not substances. The point is that supervenience will always cry out for an explanation, preferably a sensible one. |
6168 | The content of a thought is just the meaning of a sentence [Rowlands] |
Full Idea: The content of the thought that the sky is blue is simply the meaning of the sentence "The sky is blue". | |
From: Mark Rowlands (Externalism [2003], Ch.5) | |
A reaction: This seems to imply that it is logically impossible for a non-language-speaker, such as a chimpanzee, to think that the sky is the same colour as the water. If we allow propositions, we might be able to keep meanings without the sentences. |
6167 | Action is bodily movement caused by intentional states [Rowlands] |
Full Idea: An action is a bodily movement that is caused by intentional states such as beliefs, desires and so on. | |
From: Mark Rowlands (Externalism [2003], Ch.5) | |
A reaction: A useful definition, and clearly one that has no truck with attempts at giving behaviourist definitions of action. The definition of a 'moral action' needs to be built on this one. Particular types of belief and desire, presumably. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
6177 | Moral intuition seems unevenly distributed between people [Rowlands] |
Full Idea: The faculty of moral intuition seems to be unevenly distributed between people. | |
From: Mark Rowlands (Externalism [2003], Ch.11) | |
A reaction: This would be a good argument if it was thought that the source of moral intuitions was divine, but people vary enormously in their intuitions about maths, about character, about danger. If you believe in any intuition at all, you must accept its variety. |
6156 | The 17th century reintroduced atoms as mathematical modes of Euclidean space [Rowlands] |
Full Idea: The seventeenth century revolution reintroduced the classical concept of the atom in somewhat new attire as an essentially mathematical entity whose primary qualities could be precisely quantified as modes or aspects of Euclidean space. | |
From: Mark Rowlands (Externalism [2003], Ch.2) | |
A reaction: Obviously this very abstract view of atoms didn't last, once they began to identify specific physical atoms, such as oxygen. This view fits in with Newton's use of pure (abstract) points such as the 'centre of gravity'. |
6170 | Natural kinds are defined by their real essence, as in gold having atomic number 79 [Rowlands] |
Full Idea: Part of what it means to be a natural kind is that they are defined by a real essence, a constitution that marks them out as the substance they are (as water is essentially H2O, and gold essentially has atomic number 79). | |
From: Mark Rowlands (Externalism [2003], Ch.6) | |
A reaction: A 'real essence' would be the opposite of a 'conventional essence', which is just a human way of seeing things. |
6178 | It is common to see the value of nature in one feature, such as life, diversity, or integrity [Rowlands] |
Full Idea: In recent environmental philosophy it is common to see the value of nature identified with one or another natural feature of the environment: life, diversity, ecosystemic integrity and so on. | |
From: Mark Rowlands (Externalism [2003], Ch.11) | |
A reaction: This thought seems to be asking for the Open Question argument. What is so good about life, or diversity? Our strongest intuition must be that the survival of the ecosystem, and whatever makes that possible, is the highest value. |