8717
|
Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend]
|
|
Full Idea:
Hilbert wanted to derive ideal mathematics from the secure, paradox-free, finite mathematics (known as 'Hilbert's Programme'). ...Note that for the realist consistency is not something we need to prove; it is a precondition of thought.
|
|
From:
report of David Hilbert (works [1900], 6.7) by Michčle Friend - Introducing the Philosophy of Mathematics
|
|
A reaction:
I am an intuitive realist, though I am not so sure about that on cautious reflection. Compare the claims that there are reasons or causes for everything. Reality cannot contain contradicitions (can it?). Contradictions would be our fault.
|
9145
|
We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor]
|
|
Full Idea:
We call 'cardinal number' the general concept which, by means of our active faculty of thought, arises when we make abstraction from an aggregate of its various elements, and of their order. From this double abstraction the number is an image in our mind.
|
|
From:
George Cantor (Beitrage [1915], §1), quoted by Kit Fine - Cantorian Abstraction: Recon. and Defence Intro
|
|
A reaction:
[compressed] This is the great Cantor, creator of set theory, endorsing the traditional abstractionism which Frege and his followers so despise. Fine offers a defence of it. The Frege view is platonist, because it refuses to connect numbers to the world.
|
16764
|
The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus]
|
|
Full Idea:
Every accident of a living thing, as well as all its organs and temperaments and its dispositions are conserved by the soul. We see this from experience, since when that soul recedes, all these dissolve and become corrupted.
|
|
From:
Franciscus Toletus (Commentary on 'De Anima' [1572], II.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5
|
|
A reaction:
A nice example of observing a phenemonon, but not being able to observe the dependence relation the right way round. Compare Descartes in Idea 16763.
|