19 ideas
| 19588 | The highest aim of philosophy is to combine all philosophies into a unity [Novalis] |
| Full Idea: He attains the maximum of a philosopher who combines all philosophies into a single philosophy | |
| From: Novalis (Logological Fragments II [1798], 31) | |
| A reaction: I have found the epigraph for my big book! Recently a few narrowly analytical philosophers have attempted big books about everything (Sider, Heil, Chalmers), and they get a huge round of applause from me. |
| 19598 | Philosophy relies on our whole system of learning, and can thus never be complete [Novalis] |
| Full Idea: Now all learning is connected - thus philosophy will never be complete. Only in the complete system of all learning will philosophy be truly visible. | |
| From: Novalis (Logological Fragments II [1798], 39) | |
| A reaction: Philosophy is evidently the unifying subject, which reveals the point of all the other subjects. It matches my maxim that 'science is the servant of philosophy'. |
| 19586 | Philosophers feed on problems, hoping they are digestible, and spiced with paradox [Novalis] |
| Full Idea: The philosopher lives on problems as the human being does on food. An insoluble problem is an indigestible food. What spice is to food, the paradoxical is to problems. | |
| From: Novalis (Logological Fragments II [1798], 09) | |
| A reaction: Novalis would presumably have disliked Hegel's dialectic, where the best food seems to be the indigestible. |
| 19587 | Philosophy aims to produce a priori an absolute and artistic world system [Novalis] |
| Full Idea: Philosophy ...is the art of producing all our conceptions according to an absolute, artistic idea and of developing the thought of a world system a priori out of the depths of our spirit. | |
| From: Novalis (Logological Fragments II [1798], 19) | |
| A reaction: A lovely statement of the dream of building world systems by pure thought - embodying perfectly the view of philosophy despised by logical positivists and modern logical metaphysicians. The Novalis view will never die! I like 'artistic'. |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
| A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
| 19597 | Logic (the theory of relations) should be applied to mathematics [Novalis] |
| Full Idea: Ought not logic, the theory of relations, be applied to mathematics? | |
| From: Novalis (Logological Fragments II [1798], 38) | |
| A reaction: Bolzano was 19 when his was written. I presume Novalis would have been excited by set theory (even though he was a hyper-romantic). |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
| A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
| From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
| 1507 | We don't have time for infinite quantity, but we do for infinite divisibility, because time is also divisible [Aristotle on Zeno of Elea] |
| Full Idea: Although it is impossible to make contact in a finite time with things that are infinite in quantity, it is possible to do so with things that are infinitely divisible, since the time itself is also infinite in this way. | |
| From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A25) by Aristotle - Physics 233a21 |
| 5109 | The fast runner must always reach the point from which the slower runner started [Zeno of Elea, by Aristotle] |
| Full Idea: Zeno's so-called 'Achilles' claims that the slowest runner will never be caught by the fastest runner, because the one behind has first to reach the point from which the one in front started, and so the slower one is bound always to be in front. | |
| From: report of Zeno (Elea) (fragments/reports [c.450 BCE]) by Aristotle - Physics 239b14 | |
| A reaction: The point is that the slower runner will always have moved on when the faster runner catches up with the starting point. We must understand how humble the early Greeks felt when they confronted arguments like this. It was like a divine revelation. |
| 1512 | Zeno is wrong that one grain of millet makes a sound; why should one grain achieve what the whole bushel does? [Aristotle on Zeno of Elea] |
| Full Idea: Zeno is wrong in arguing that the tiniest fragment of millet makes a sound; there is no reason why the fragment should be able to move in any amount of time the air which the whole bushel moved as it fell. | |
| From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A29) by Aristotle - Physics 250a16 |
| 1508 | Zeno's arrow paradox depends on the assumption that time is composed of nows [Aristotle on Zeno of Elea] |
| Full Idea: Zeno's third argument claims that a moving arrow is still. Here the conclusion depends on assuming that time is composed of nows; if this assumption is not granted, the argument fails. | |
| From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A27?) by Aristotle - Physics 239b5 |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
| A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
| A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
| 454 | If there are many things they must have a finite number, but there must be endless things between them [Zeno of Elea] |
| Full Idea: It things are many, they can't be more or less than they are, so they must be finite, but also there must be endless things between each thing, so they must be infinite. | |
| From: Zeno (Elea) (fragments/reports [c.450 BCE], B3), quoted by Simplicius - On Aristotle's 'Physics' 140.29 |
| 455 | That which moves, moves neither in the place in which it is, nor in that in which it is not [Zeno of Elea] |
| Full Idea: That which moves, moves neither in the place in which it is, nor in that in which it is not. | |
| From: Zeno (Elea) (fragments/reports [c.450 BCE], B4), quoted by (who?) - where? |
| 1511 | If everything is in a place, what is the place in? Place doesn't exist [Zeno of Elea, by Simplicius] |
| Full Idea: If there is a place it will be in something, because everything that exists is in something. But what is in something is in a place. Therefore the place will be in a place, and so on ad infinitum. Therefore, there is no such thing as place. | |
| From: report of Zeno (Elea) (fragments/reports [c.450 BCE], B3) by Simplicius - On Aristotle's 'Physics' 9.562.3 |