17 ideas
| 23623 | Predicativism says only predicated sets exist [Hossack] |
| Full Idea: Predicativists doubt the existence of sets with no predicative definition. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], 02.3) | |
| A reaction: This would imply that sets which encounter paradoxes when they try to be predicative do not therefore exist. Surely you can have a set of random objects which don't fall under a single predicate? |
| 23624 | The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack] |
| Full Idea: The iterative conception justifies Power Set, but cannot justify a satisfactory theory of von Neumann ordinals, so ZFC appropriates Replacement from NBG set theory. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], 09.9) | |
| A reaction: The modern approach to axioms, where we want to prove something so we just add an axiom that does the job. |
| 23625 | Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack] |
| Full Idea: The limitation of size conception of sets justifies the axiom of Replacement, but cannot justify Power Set, so NBG set theory appropriates the Power Set axiom from ZFC. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], 09.9) | |
| A reaction: Which suggests that the Power Set axiom is not as indispensable as it at first appears to be. |
| 23628 | The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack] |
| Full Idea: The sentence connective 'and' also has an order-sensitive meaning, when it means something like 'and then'. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], 10.4) | |
| A reaction: This is support the idea that orders are a feature of reality, just as much as possible concatenation. Relational predicates, he says, refer to series rather than to individuals. Nice point. |
| 23627 | 'Before' and 'after' are not two relations, but one relation with two orders [Hossack] |
| Full Idea: The reason the two predicates 'before' and 'after' are needed is not to express different relations, but to indicate its order. Since there can be difference of order without difference of relation, the nature of relations is not the source of order. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], 10.3) | |
| A reaction: This point is to refute Russell's 1903 claim that order arises from the nature of relations. Hossack claims that it is ordered series which are basic. I'm inclined to agree with him. |
| 13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
| Full Idea: Descartes founded analytic geometry on the assumption that there is a one-one order-preserving correspondence between the points on a line and the real numbers. | |
| From: report of René Descartes (works [1643]) by William D. Hart - The Evolution of Logic 1 |
| 23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |
| Full Idea: The transfinite ordinal numbers are important in the theory of proofs, and essential in the theory of recursive functions and computability. Mathematics would be incomplete without them. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], 10.1) | |
| A reaction: Hossack offers this as proof that the numbers are not human conceptual creations, but must exist beyond the range of our intellects. Hm. |
| 23621 | Numbers are properties, not sets (because numbers are magnitudes) [Hossack] |
| Full Idea: I propose that numbers are properties, not sets. Magnitudes are a kind of property, and numbers are magnitudes. …Natural numbers are properties of pluralities, positive reals of continua, and ordinals of series. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], Intro) | |
| A reaction: Interesting! Since time can have a magnitude (three weeks) just as liquids can (three litres), it is not clear that there is a single natural property we can label 'magnitude'. Anything we can manage to measure has a magnitude. |
| 23622 | We can only mentally construct potential infinities, but maths needs actual infinities [Hossack] |
| Full Idea: Numbers cannot be mental objects constructed by our own minds: there exists at most a potential infinity of mental constructions, whereas the axioms of mathematics require an actual infinity of numbers. | |
| From: Keith Hossack (Knowledge and the Philosophy of Number [2020], Intro 2) | |
| A reaction: Doubt this, but don't know enough to refute it. Actual infinities were a fairly late addition to maths, I think. I would think treating fictional complete infinities as real would be sufficient for the job. Like journeys which include imagined roads. |
| 16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
| Full Idea: Descartes thinks it is a pointless relic of scholastic metaphysics to dispute over the boundaries between substances and mere aggregates. | |
| From: report of René Descartes (works [1643]) by Robert Pasnau - Metaphysical Themes 1274-1671 25.6 | |
| A reaction: This is Pasnau's carefully considered conclusion, with which others may not agree. It presumably captures the attitude of modern science generally to such issues. |
| 7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
| Full Idea: Descartes argued (in 'The World') that just as words refer to objects, but they do not resemble them, in the same way, visual images or other sensory inputs relate to objects without depicting them. | |
| From: report of René Descartes (works [1643]) by Richard Tuck - Hobbes | |
| A reaction: This strikes me as a rather significant and plausible claim, which might contain the germ of the idea of a language of thought. It is also the basis for the recent view that language is the best route to understanding the mind. |
| 4310 | We have inner awareness of our freedom [Descartes] |
| Full Idea: We have inner awareness of our freedom. | |
| From: René Descartes (works [1643]) | |
| A reaction: This begs a few questions. I may be directly aware that I have not been hypnotised, but no one would accept it as proof. |
| 6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
| Full Idea: Descartes himself was well aware of the interaction problem, and corresponded uncomfortably with Princess Elizabeth on the matter; …he pointed out that gravity is causal despite not being a physical object. | |
| From: report of René Descartes (works [1643]) by William Lycan - Consciousness n1.3 | |
| A reaction: Lycan observes that at least gravity is in space-time, unlike the Cartesian mind. Pierre Gassendi had pointed out the problem to Descartes in the Fifth Objection to the 'Meditations' (see Idea 3400). |
| 19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
| Full Idea: It is Descartes who ratifies the idea that nature is devoid of thought. | |
| From: report of René Descartes (works [1643]) by Quentin Meillassoux - After Finitude; the necessity of contingency 5 | |
| A reaction: His dualism is crucial, along with his ontological argument, because they make all mentality supernatural. Remember, for Descartes animals are mindless machines. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |
| Full Idea: Notoriously, the Cartesian idea that matter is purely geometrical will not do, for it leaves no distinction between matter and empty volumes: a filler for these volumes is required. | |
| From: comment on René Descartes (works [1643]) by Howard Robinson - Perception IX.3 | |
| A reaction: Descartes thinks of matter as 'extension'. Descartes's error seems so obvious that it is a puzzle why he made it. He may have confused epistemology and ontology - all we can know of matter is its extension in space. |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |