42 ideas
| 1848 | We are coerced into assent to a truth by reason's violence [Aquinas] |
| Full Idea: We are coerced into assent to a truth by reason's violence. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.10) |
| 1858 | The mind is compelled by necessary truths, but not by contingent truths [Aquinas] |
| Full Idea: Mind is compelled by necessary truths that can't be regarded as false, but not by contingent ones that might be false. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 12) |
| 1852 | For the mind Good is one truth among many, and Truth is one good among many [Aquinas] |
| Full Idea: Good itself as taken in by mind is one truth among others, and truth itself as goal of mind's activity is one good among others. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) |
| 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) |
| 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. |
| 1860 | Knowledge may be based on senses, but we needn't sense all our knowledge [Aquinas] |
| Full Idea: All our knowledge comes through our senses, but that doesn't mean that everything we know is sensed. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 18) |
| 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. |
| 1855 | If we saw something as totally and utterly good, we would be compelled to will it [Aquinas] |
| Full Idea: Something apprehended to be good and appropriate in any and every circumstance that could be thought of would compel us to will it. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) |
| 1856 | Nothing can be willed except what is good, but good is very varied, and so choices are unpredictable [Aquinas] |
| Full Idea: Nothing can be willed except good, but many and various things are good, and you can't conclude from this that wills are compelled to choose this or that one. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 05) |
| 1862 | However habituated you are, given time to ponder you can go against a habit [Aquinas] |
| Full Idea: However habituated you are, given time to ponder you can go against a habit. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 24) |
| 1849 | Since will is a reasoning power, it can entertain opposites, so it is not compelled to embrace one of them [Aquinas] |
| Full Idea: Reasoning powers can entertain opposite objects. Now will is a reasoning power, so will can entertain opposites and is not compelled to embrace one of them. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.x2) |
| 1861 | The will is not compelled to move, even if pleasant things are set before it [Aquinas] |
| Full Idea: The will is not compelled to move, for it doesn't have to want the pleasant things set before it. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 21) |
| 1853 | Because the will moves by examining alternatives, it doesn't compel itself to will [Aquinas] |
| Full Idea: Because will moves itself by deliberation - a kind of investigation which doesn't prove some one way correct but examines the alternatives - will doesn't compel itself to will. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) |
| 1854 | We must admit that when the will is not willing something, the first movement to will must come from outside the will [Aquinas] |
| Full Idea: We are forced to admit that, in any will that is not always willing, the very first movement to will must come from outside, stimulating the will to start willing. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) | |
| A reaction: cf Nietzsche |
| 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. |
| 1847 | The will must aim at happiness, but can choose the means [Aquinas] |
| Full Idea: The will is compelled by its ultimate goal (to achieve happiness), but not by the means to achieve it. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.07) |
| 1857 | We don't have to will even perfect good, because we can choose not to think of it [Aquinas] |
| Full Idea: The will can avoid actually willing something by avoiding thinking of it, since mental activity is subject to will. In this respect we aren't compelled to will even total happiness, which is the only perfect good. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 07) |
| 1846 | The will can only want what it thinks is good [Aquinas] |
| Full Idea: Will's object is what is good, and so it cannot will anything but what is good. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.06) |
| 1850 | Without free will not only is ethical action meaningless, but also planning, commanding, praising and blaming [Aquinas] |
| Full Idea: If we are not free to will in any way, but are compelled, everything that makes up ethics vanishes: pondering action, exhorting, commanding, punishing, praising, condemning. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) | |
| A reaction: If doesn't require some magical 'free will' to avoid compulsions. All that is needed is freedom to enact your own willing, rather than someone else's. |
| 536 | We should follow the law in public, and nature in private [Antiphon] |
| Full Idea: A man can best conduct himself in harmony with justice, if when in company of witnesses he upholds the laws, and when alone without witnesses he upholds the edicts of nature. | |
| From: Antiphon (fragments/reports [c.439 BCE], B44), quoted by Anon (Oxy) - Oxyrhynchus Papyrus XI.1364 | |
| A reaction: I'm not sure how you identify the 'edicts of nature', without guidance from other people or the law. Natural behaviour can be pretty grim. |
| 1557 | To gain the greatest advantage only treat law as important when other people are present [Antiphon] |
| Full Idea: The way to get maximum advantage to yourself from justice is to treat the laws as important when other people are present, but when there is nobody else with you to value the demands of nature. | |
| From: Antiphon (fragments/reports [c.439 BCE], B44A), quoted by Anon (Oxy) - Oxyrhynchus Papyrus 1364A | |
| A reaction: This looks like a pretty good description of the majority of people active in politics. |
| 1851 | Good applies to goals, just as truth applies to ideas in the mind [Aquinas] |
| Full Idea: Good applies to all goals, just as truth applies to all forms mind takes in. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) | |
| A reaction: In danger of being tautological, if good is understood as no more than the goal of actions. It seems perfectly possibly to pursue a wicked end, and perhaps feel guilty about it. |
| 540 | The way you spend your time will form your character [Antiphon] |
| Full Idea: One's character must necessarily grow like that with which one spends the greater part of the day. | |
| From: Antiphon (fragments/reports [c.439 BCE], B62), quoted by John Stobaeus - Anthology 3.31.41 |
| 539 | Nothing is worse for mankind than anarchy [Antiphon] |
| Full Idea: Nothing is worse for mankind than anarchy. | |
| From: Antiphon (fragments/reports [c.439 BCE], B61), quoted by (who?) - where? |
| 1859 | Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas] |
| Full Idea: Even a sufficient cause doesn't always compel its effect, since it can sometimes be interfered with so that its effect doesn't happen | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 15) |
| 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. |