39 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. |
| 9570 | In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara] |
| Full Idea: Field commits himself to a Platonic view of mathematics. The theorems of set theory are held to imply or presuppose the existence of things that don't in fact exist. That is why he believes that these theorems are false. | |
| From: report of Hartry Field (Science without Numbers [1980]) by Charles Chihara - A Structural Account of Mathematics 11.1 | |
| A reaction: I am sympathetic to Field, but this sounds wrong. A response that looks appealing is that maths is hypothetical ('if-thenism') - the truth is in the logical consequences, not in the ontological presuppositions. |
| 10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
| Full Idea: Field defines logical consequence by taking the notion of 'logical possibility' as primitive. Hence q is a consequence of P if the conjunction of the items in P with the negation of q is not possible. | |
| From: report of Hartry Field (Science without Numbers [1980]) by Stewart Shapiro - Philosophy of Mathematics 7.2 | |
| A reaction: The question would then be whether it is plausible to take logical possibility as primitive. Presumably only intuition could support it. But then intuition will equally support natural and metaphysical possibilities. |
| 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. |
| 8958 | In Field's version of science, space-time points replace real numbers [Field,H, by Szabó] |
| Full Idea: Field's nominalist version of science develops a version of Newtonian gravitational theory, where no quantifiers range over mathematical entities, and space-time points and regions play the role of surrogates for real numbers. | |
| From: report of Hartry Field (Science without Numbers [1980]) by Zoltán Gendler Szabó - Nominalism 5.1 | |
| A reaction: This seems to be a very artificial contrivance, but Field has launched a programme for rewriting science so that numbers can be omitted. All of this is Field's rebellion against the Indispensability Argument for mathematics. I sympathise. |
| 18221 | 'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H] |
| Full Idea: There are two approaches to axiomatising geometry. The 'metric' approach uses a function which maps a pair of points into the real numbers. The 'synthetic' approach is that of Euclid and Hilbert, which does without real numbers and functions. | |
| From: Hartry Field (Science without Numbers [1980], 5) |
| 8757 | The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H] |
| Full Idea: There is one and only one serious argument for the existence of mathematical entities, and that is the Indispensability Argument of Putnam and Quine. | |
| From: Hartry Field (Science without Numbers [1980], p.5), quoted by Stewart Shapiro - Thinking About Mathematics 9.1 | |
| A reaction: Personally I don't believe (and nor does Field) that this gives a good enough reason to believe in such things. Quine (who likes 'desert landscapes' in ontology) ends up believing that sets are real because of his argument. Not for me. |
| 18212 | Nominalists try to only refer to physical objects, or language, or mental constructions [Field,H] |
| Full Idea: The most popular approach of nominalistically inclined philosophers is to try to reinterpret mathematics, so that its terms and quantifiers only make reference to, say, physical objects, or linguistic expressions, or mental constructions. | |
| From: Hartry Field (Science without Numbers [1980], Prelim) | |
| A reaction: I am keen on naturalism and empiricism, but only referring to physical objects is a non-starter. I think I favour constructions, derived from the experience of patterns, and abstracted, idealised and generalised. Field says application is the problem. |
| 10261 | The application of mathematics only needs its possibility, not its truth [Field,H, by Shapiro] |
| Full Idea: Field argues that to account for the applicability of mathematics, we need to assume little more than the possibility of the mathematics, not its truth. | |
| From: report of Hartry Field (Science without Numbers [1980]) by Stewart Shapiro - Philosophy of Mathematics 7.2 | |
| A reaction: Very persuasive. We can apply chess to real military situations, provided that chess isn't self-contradictory (or even naturally impossible?). |
| 18218 | Hilbert explains geometry, by non-numerical facts about space [Field,H] |
| Full Idea: Facts about geometric laws receive satisfying explanations, by the intrinsic facts about physical space, i.e. those laid down without reference to numbers in Hilbert's axioms. | |
| From: Hartry Field (Science without Numbers [1980], 3) | |
| A reaction: Hilbert's axioms mention points, betweenness, segment-congruence and angle-congruence (Field 25-26). Field cites arithmetic and geometry (as well as Newtonian mechanics) as not being dependent on number. |
| 9623 | Field needs a semantical notion of second-order consequence, and that needs sets [Brown,JR on Field,H] |
| Full Idea: Field needs the notion of logical consequence in second-order logic, but (since this is not recursively axiomatizable) this is a semantical notion, which involves the idea of 'true in all models', a set-theoretic idea if there ever was one. | |
| From: comment on Hartry Field (Science without Numbers [1980], Ch.4) by James Robert Brown - Philosophy of Mathematics | |
| A reaction: Brown here summarises a group of critics. Field was arguing for modern nominalism, that actual numbers could (in principle) be written out of the story, as useful fictions. Popper's attempt to dump induction seemed to need induction. |
| 18215 | It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H] |
| Full Idea: No clear explanation of the idea that the conclusion was 'implicitly contained in' the premises was ever given, and I do not believe that any clear explanation is possible. | |
| From: Hartry Field (Science without Numbers [1980], 1) |
| 18216 | Abstractions can form useful counterparts to concrete statements [Field,H] |
| Full Idea: Abstract entities are useful because we can use them to formulate abstract counterparts of concrete statements. | |
| From: Hartry Field (Science without Numbers [1980], 3) | |
| A reaction: He defends the abstract statements as short cuts. If the concrete statements were 'true', then it seems likely that the abstract counterparts will also be true, which is not what fictionalism claims. |
| 18214 | Mathematics is only empirical as regards which theory is useful [Field,H] |
| Full Idea: Mathematics is in a sense empirical, but only in the rather Pickwickian sense that is an empirical question as to which mathematical theory is useful. | |
| From: Hartry Field (Science without Numbers [1980], 1) | |
| A reaction: Field wants mathematics to be fictions, and not to be truths. But can he give an account of 'useful' that does not imply truth? Only in a rather dubiously pragmatist way. A novel is not useful. |
| 18210 | Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H] |
| Full Idea: Why regard the axioms of standard mathematics as truths, rather than as fictions that for a variety of reasons mathematicians have become interested in? | |
| From: Hartry Field (Science without Numbers [1980], p.viii) |
| 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. |
| 18211 | You can reduce ontological commitment by expanding the logic [Field,H] |
| Full Idea: One can often reduce one's ontological commitments by expanding one's logic. | |
| From: Hartry Field (Science without Numbers [1980], p.ix) | |
| A reaction: I don't actually understand this idea, but that's never stopped me before. Clearly, this sounds like an extremely interesting thought, and hence I should aspire to understand it. So I do aspire to understand it. First, how do you 'expand' a logic? |
| 8959 | Field presumes properties can be eliminated from science [Field,H, by Szabó] |
| Full Idea: Field regards the eliminability of apparent reference to properties from the language of science as a foregone result. | |
| From: report of Hartry Field (Science without Numbers [1980]) by Zoltán Gendler Szabó - Nominalism 5.1 n50 | |
| A reaction: Field is a nominalist who also denies the existence of mathematics as part of science. He has a taste for ontological 'desert landscapes'. I have no idea what a property really is, so I think he is on to something. |
| 18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
| Full Idea: To be able to apply any postulated abstract entities to the physical world, we need impure abstact entities, e.g. functions that map physical objects into pure abstract objects. | |
| From: Hartry Field (Science without Numbers [1980], 1) | |
| A reaction: I am a fan of 'impure metaphysics', and this pinpoints my reason very nicely. |
| 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. |
| 18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
| Full Idea: A plausible methodological principle is that underlying every good extrinsic explanation there is an intrinsic explanation. | |
| From: Hartry Field (Science without Numbers [1980], 5) | |
| A reaction: I'm thinking that Hartry Field is an Aristotelian essentialist, though I bet he would never admit it. |
| 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. |
| 9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
| Full Idea: The term 'abstract entities' may not be entirely clear, but one thing that does seem clear is that such alleged entities as numbers, functions and sets are abstract. | |
| From: Hartry Field (Science without Numbers [1980], p.1), quoted by JP Burgess / G Rosen - A Subject with No Object I.A.1.a | |
| A reaction: Field firmly denies the existence of such things. Sets don't seem a great problem, if the set is a herd of elephants, but the null and singleton sets show up the difficulties. |
| 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. |
| 22381 | Being a good father seems to depend on intentions, rather than actual abilities [Foot] |
| Full Idea: Being a good father, or daughter, or friend seems to depend on one's intentions, rather than on such things as cleverness and strength. | |
| From: Philippa Foot (Goodness and Choice [1961], p.138) | |
| A reaction: Not sure about that. In wartime a good father might need to be actually brave, and in times of hardship be actually economically successful. 'He meant well, but he was a hopeless father'? |
| 22380 | Some words, such as 'knife', have a meaning which involves its function [Foot] |
| Full Idea: The word 'knife' names an object in respect of its function. That is not to say (simply) that it names an object which has a function, but also that the function is involved in the meaning of the word. | |
| From: Philippa Foot (Goodness and Choice [1961], p.134) | |
| A reaction: It seems faintly possible that someone (a child, perhaps) could know the word and recognise the object, but not know what the object is for. Ditto with other things which have functional names. |
| 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. |
| 18223 | In theories of fields, space-time points or regions are causal agents [Field,H] |
| Full Idea: According to theories that take the notion of a field seriously, space-time points or regions are fully-fledge causal agents. | |
| From: Hartry Field (Science without Numbers [1980], n 23) |
| 18220 | Both philosophy and physics now make substantivalism more attractive [Field,H] |
| Full Idea: In general, it seems to me that recent developments in both philosophy and physics have made substantivalism a much more attractive position than it once was. | |
| From: Hartry Field (Science without Numbers [1980], 4) | |
| A reaction: I'm intrigued as to what philosophical developments are involved in this. The arrival of fields is the development in physics. |
| 18219 | Relational space is problematic if you take the idea of a field seriously [Field,H] |
| Full Idea: The problem of the relational view of space is especially acute in the context of physical theories that take the notion of a field seriously, e.g. classical electromagnetic theory. | |
| From: Hartry Field (Science without Numbers [1980], 4) | |
| A reaction: In the Leibniz-Clarke debate I sided with the Newtonian Clarke (defending absolute space), and it looks like modern science agrees with me. Nothing exists purely as relations. |
| 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. |