36 ideas
9593 | Progress in philosophy is incremental, not an immature seeking after drama [Williamson] |
Full Idea: The incremental progress which I envisage for philosophy lacks the drama after which some philosophers still hanker, and that hankering is itself a symptom of the intellectual immaturity that helps hold philosophy back. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], Intro) | |
A reaction: This could stand as a motto for the whole current profession of analytical philosophy. It means that if anyone attempts to be dramatic they can make their own way out. They'll find Kripke out there, smoking behind the dustbins. |
16541 | All the intrinsic properties of a thing should be deducible from its definition [Spinoza] |
Full Idea: The definition of a thing should be such that all the properties of that thing, in so far as it is considered by itself, and not in conjunction with other things, can be deduced from it. | |
From: Baruch de Spinoza (Improvement of Understanding [1675], p.35), quoted by E.J. Lowe - What is the Source of Knowledge of Modal Truths? 6 | |
A reaction: This is exactly what Locke requires of a real essence (though he is pessimistic about ever achieving it). Spinoza is talking of an Aristotelian real definition, which may be complex, and not a lexicographer's short verbal explication. |
9594 | Correspondence to the facts is a bad account of analytic truth [Williamson] |
Full Idea: Even if talk of truth as correspondence to the facts is metaphorical, it is a bad metaphor for analytic truth in a way that it is not for synthetic truth. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 3.1) | |
A reaction: A very simple and rather powerful point. Maybe the word 'truth' should be withheld from such cases. You might say that accepted analytic truths are 'conventional'. If that is wrong, then they correspond to natural facts at a high level of abstraction. |
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. |
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) |
9601 | The realist/anti-realist debate is notoriously obscure and fruitless [Williamson] |
Full Idea: The debate between realism and anti-realism has become notorious in the rest of philosophy for its obscurity, convolution, and lack of progress. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], After) | |
A reaction: I find this reassuring, because fairly early on I decided that this problem was not of great interest, and quietly tiptoed away. I take the central issue to be whether nature has 'joints', to which the answer appears to be 'yes'. End of story. |
9599 | There cannot be vague objects, so there may be no such thing as a mountain [Williamson] |
Full Idea: It is sometimes argued that if there is such a thing as a mountain it would be a vague object, but it is logically impossible for an object to be vague, so there is no such thing as a mountain. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 7.2) | |
A reaction: I don't take this to be a daft view. No one is denying the existence of the solid rock that is involved, but allowing such a vague object may be a slippery slope to the acceptance of almost anything as an 'object'. |
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. |
9602 | Common sense and classical logic are often simultaneously abandoned in debates on vagueness [Williamson] |
Full Idea: The constraints of common sense and classical logic are often simultaneously abandoned in debates on vagueness. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], After) | |
A reaction: Wiliamson has described himself (in my hearing) as a 'rottweiller realist', but presumably the problem of vagueness interests a lot of people precisely because it pushes us away from common sense and classical logic. |
9598 | Modal thinking isn't a special intuition; it is part of ordinary counterfactual thinking [Williamson] |
Full Idea: The epistemology of metaphysical modality requires no dedicated faculty of intuition. It is simply a special case of the epistemology of counterfactual thinking, a kind of thinking tightly integrated with our thinking about the spatio-temporal world. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 5.6) | |
A reaction: This seems to me to be spot-on, though it puts the focus increasingly on the faculty of imagination, as arguably an even more extraordinary feature of brains than the much-vaunted normal consciousness. |
16536 | Williamson can't base metaphysical necessity on the psychology of causal counterfactuals [Lowe on Williamson] |
Full Idea: The psychological mechanism that Williamson proposes as the supposedly reliable source of our knowledge of necessities only seems applicable to counterfactuals that are distinctively causal, not metaphysical, in character. | |
From: comment on Timothy Williamson (The Philosophy of Philosophy [2007]) by E.J. Lowe - What is the Source of Knowledge of Modal Truths? 5 | |
A reaction: My rough impression of Williamson's account is that it is correct but unilluminating. We have to assess necessities by counterfactual thinking, because nothing else is available (apart from evaluating the coherence of the findings). |
9596 | We scorn imagination as a test of possibility, forgetting its role in counterfactuals [Williamson] |
Full Idea: The epistemology of modality often focuses on (and pours scorn on) imagination or conceivability as a test of possibility, while ignoring the role of the imagination in the assessment of mundane counterfactuals. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 5.4) | |
A reaction: Good point. I've been guilty of this easy scorn myself. Williamson gives our modal capacities an evolutionary context. What is needed is well-informed imagination, rather than wild fantasy. |
9597 | There are 'armchair' truths which are not a priori, because experience was involved [Williamson] |
Full Idea: There is extensive 'armchair knowledge' in which experience plays no strictly evidential role, but it may not fit the stereotype of the a priori, because the contribution of experience was more than enabling, such as armchair truths about our environment. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 5.5) | |
A reaction: Once this point is conceded we have no idea where to draw the line. Does 'if it is red it can't be green' derive from experience? I think it might. |
9592 | Intuition is neither powerful nor vacuous, but reveals linguistic or conceptual competence [Williamson] |
Full Idea: Crude rationalists postulate a special knowledge-generating faculty of rational intuition. Crude empiricists regard intuition as an obscurantist term of folk psychology. Linguistic/conceptual philosophy says it reveals linguistic or conceptual competence. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], Intro) | |
A reaction: Kripke seems to think that it is the basis of logical competence. I would use it as a blank term for any insight in which we have considerable confidence, and yet are unable to articulate its basis; roughly, for rational thought that evades logic. |
20181 | When analytic philosophers run out of arguments, they present intuitions as their evidence [Williamson] |
Full Idea: 'Intuition' plays a major role in contemporary analytic philosophy's self-understanding. ...When contemporary analytic philosophers run out of arguments, they appeal to intuitions. ...Thus intuitions are presented as our evidence in philosophy. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], p.214-5), quoted by Herman Cappelen - Philosophy without Intuitions 01.1 | |
A reaction: Williamson says we must investigate this 'scandal', but Cappelen's book says analytic philosophy does not rely on intuition. |
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. |
13073 | To understand the properties we must know the essence, as with a circle [Spinoza] |
Full Idea: If a circle is defined as a figure in which lines from centre to circumference are equal, such definitions do not explain the essence of a circle, but only a property. The properties of a thing are not understood as long as their essences are not known. | |
From: Baruch de Spinoza (Improvement of Understanding [1675], §95), quoted by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 1.2.1 | |
A reaction: This is the traditional Aristotelian view of essence, and the example of a circle is nice, though I am not sure what the essence of a circle might be. Presumably ALL the properties of a circle must flow from it. |
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. |
9595 | You might know that the word 'gob' meant 'mouth', but not be competent to use it [Williamson] |
Full Idea: Someone who acquires the word 'gob' just by being reliably told that it is synonymous with 'mouth' knows what 'gob' means without being fully competent to use it. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 4.7) | |
A reaction: Not exactly an argument against meaning-as-use, but a very nice cautionary example to show that 'knowing the meaning' of a word may be a rather limited, and dangerous, achievement. |
9600 | If languages are intertranslatable, and cognition is innate, then cultures are all similar [Williamson] |
Full Idea: Given empirical evidence for the approximate intertranslatability of all human languages, and a universal innate basis of human cognition, we may wonder how 'other' any human culture really is. | |
From: Timothy Williamson (The Philosophy of Philosophy [2007], 8.1) | |
A reaction: This seems to be a fairly accurate account of the situation. In recent centuries people seem to have been over-impressed by superficial differences in cultural behaviour, but we increasingly see the underlying identity. |
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. |