17697
|
The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
|
|
Full Idea:
The standpoint of pure experience seems to me to be refuted by the objection that the existence, possible or actual, of an arbitrarily large number can never be derived through experience, that is, through experiment.
|
|
From:
David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.130)
|
|
A reaction:
Alternatively, empiricism refutes infinite numbers! No modern mathematician will accept that, but you wonder in what sense the proposed entities qualify as 'numbers'.
|
12714
|
The substantial form is the principle of action or the primitive force of acting [Leibniz]
|
|
Full Idea:
The substantial form is the principle of action or the primitive force of acting.
|
|
From:
Gottfried Leibniz (De Mundo Praesenti [1686], A6.4.1507-8), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3
|
|
A reaction:
The clearest statement of the modification of Aristotle's hylomorphism which Leibniz preferred in his middle period, and which strikes me as an improvement, and about right. Shame that monads got too much of a grip on him, but he was trying to dig deeper.
|
12743
|
A true being must (unlike a chain) have united parts, with a substantial form as its subject [Leibniz]
|
|
Full Idea:
In a Being one per se a real union is required consisting not in the situation or motion of parts, as in a chain or a house, but in a unique individual principle and subject of attributes and operations, in us a soul and in a body a substantial form.
|
|
From:
Gottfried Leibniz (De Mundo Praesenti [1686], A6.4.1506), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7
|
|
A reaction:
Leibniz is said not to be an essentialist, by making all properties essential, but he is certainly committed to substance, and it sounds like essence here (or one view of essence), when it makes identity possible. This idea is pure Aristotle.
|