13416
|
Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C]
|
|
Full Idea:
The axiomatic conception of mathematics is the only viable one. ...But they are true because they are axioms, in contrast to the view advanced by Frege (to Hilbert) that to be a candidate for axiomhood a statement must be true.
|
|
From:
report of William W. Tait (Intro to 'Provenance of Pure Reason' [2005], p.4) by Charles Parsons - Review of Tait 'Provenance of Pure Reason' §2
|
|
A reaction:
This looks like the classic twentieth century shift in the attitude to axioms. The Greek idea is that they must be self-evident truths, but the Tait-style view is that they are just the first steps in establishing a logical structure. I prefer the Greeks.
|
12699
|
A body would be endless disunited parts, if it did not have a unifying form or soul [Leibniz]
|
|
Full Idea:
Without soul or form of some kind, a body would have no being, because no part of it can be designated which does not in turn consist of more parts. Thus nothing could be designated in a body which could be called 'this thing', or a unity.
|
|
From:
Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.1988), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 1
|
|
A reaction:
The locution 'soul or form' is disconcerting, and you have to spend some time with Leibniz to get the hang of it. The 'soul' is not intelligent, and is more like a source of action and response.
|
12700
|
Form or soul gives unity and duration; matter gives multiplicity and change [Leibniz]
|
|
Full Idea:
Substantial form, or soul, is the principle of unity and duration, matter is that of multiplicity and change
|
|
From:
Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.1398-9), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2
|
|
A reaction:
Leibniz was a fan of the unfashionable Aristotle, and tried to put a spin on his views consonant with contemporary Hobbesian mechanistic views. Oddly, he likes the idea that 'form' is indestructable, which I don't understand.
|
12736
|
If we understand God and his choices, we have a priori knowledge of contingent truths [Leibniz, by Garber]
|
|
Full Idea:
Insofar as we have some insight into how God chooses, we can know a priori the laws of nature that God chooses for this best of all possible worlds. In this way, it is possible to have genuine a priori knowledge of contingent truths.
|
|
From:
report of Gottfried Leibniz (Conspectus libelli (book outline) [1678], A6.4.1998-9) by Daniel Garber - Leibniz:Body,Substance,Monad 6
|
|
A reaction:
I think it would be doubtful whether our knowledge of God's choosings would count as a priori. How do we discover them? Ah! We derive God from the ontological argument, and his choosings from the divine perfection implied thereby.
|