29 ideas
| 6841 | Some continental philosophers are relativists - Baudrillard, for example [Baudrillard, by Critchley] |
| Full Idea: There are philosophers in the continental tradition who are relativists - Baudrillard, for example. | |
| From: report of Jean Baudrillard (works [1976]) by Simon Critchley - Interview with Baggini and Stangroom p.192 | |
| A reaction: This remark is in the context of Critchley denying that most continental philosophers are relativists. |
| 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. |
| 10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
| Full Idea: The axiom of choice has a troubled history, but is now standard in mathematics. It could be replaced with a principle of comprehension for functions), or one could omit the variables ranging over functions. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], n 3) |
| 10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
| Full Idea: Early study of first-order logic revealed a number of important features. Gödel showed that there is a complete, sound and effective deductive system. It follows that it is Compact, and there are also the downward and upward Löwenheim-Skolem Theorems. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.1) |
| 10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
| Full Idea: Some authors argue that second-order logic (with standard semantics) is not logic at all, but is a rather obscure form of mathematics. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.4) |
| 10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
| Full Idea: If the goal of logical study is to present a canon of inference, a calculus which codifies correct inference patterns, then second-order logic is a non-starter. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.4) | |
| A reaction: This seems to be because it is not 'complete'. However, moves like plural quantification seem aimed at capturing ordinary language inferences, so the difficulty is only that there isn't a precise 'calculus'. |
| 10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
| Full Idea: Informally, logical consequence is sometimes defined in terms of the meanings of a certain collection of terms, the so-called 'logical terminology'. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.4) | |
| A reaction: This seems to be a compositional account, where we build a full account from an account of the atomic bits, perhaps presented as truth-tables. |
| 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. |
| 10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
| Full Idea: Second-order variables can range over properties, sets, or relations on the items in the domain-of-discourse, or over functions from the domain itself. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.1) |
| 10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
| Full Idea: Upward Löwenheim-Skolem: if a set of first-order formulas is satisfied by a domain of at least the natural numbers, then it is satisfied by a model of at least some infinite cardinal. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.1) |
| 10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
| Full Idea: Both of the Löwenheim-Skolem Theorems fail for second-order languages with a standard semantics | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.3.2) |
| 10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
| Full Idea: The Löwenheim-Skolem theorem is usually taken as a sort of defect (often thought to be inevitable) of the first-order logic. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.4) | |
| A reaction: [He is quoting Wang 1974 p.154] |
| 10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
| Full Idea: Downward Löwenheim-Skolem: a finite or denumerable set of first-order formulas that is satisfied by a model whose domain is infinite is satisfied in a model whose domain is the natural numbers | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.1) |
| 10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
| Full Idea: Full second-order logic has all the expressive power needed to do mathematics, but has an unworkable model theory. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.1) | |
| A reaction: [he credits Cowles for this remark] Having an unworkable model theory sounds pretty serious to me, as I'm not inclined to be interested in languages which don't produce models of some sort. Surely models are the whole point? |
| 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. |
| 10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
| Full Idea: In studying second-order logic one can think of relations and functions as extensional or intensional, or one can leave it open. Little turns on this here, and so words like 'property', 'class', and 'set' are used interchangeably. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.2.1) | |
| A reaction: Important. Students of the metaphysics of properties, who arrive with limited experience of logic, are bewildered by this attitude. Note that the metaphysics is left wide open, so never let logicians hijack the metaphysical problem of properties. |
| 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. |
| 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. |