Combining Texts

All the ideas for 'The Courtier and the Heretic', 'Axiomatic Thought' and 'Proslogion'

expand these ideas     |    start again     |     specify just one area for these texts


16 ideas

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The facts of geometry, arithmetic or statics order themselves into theories [Hilbert]
Axioms must reveal their dependence (or not), and must be consistent [Hilbert]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
To decide some questions, we must study the essence of mathematical proof itself [Hilbert]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Number theory just needs calculation laws and rules for integers [Hilbert]
24. Political Theory / D. Ideologies / 10. Theocracy
The politics of Leibniz was the reunification of Christianity [Stewart,M]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
An existing thing is even greater if its non-existence is inconceivable [Anselm]
Conceiving a greater being than God leads to absurdity [Anselm]
Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm]
If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm]
A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm]
The word 'God' can be denied, but understanding shows God must exist [Anselm]
Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm]
Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
Anselm's first proof fails because existence isn't a real predicate, so it can't be a perfection [Malcolm on Anselm]