Combining Texts

All the ideas for 'On the Elements of Being: I', 'Aristotle and the Metaphysics' and 'Axiomatic Thought'

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


13 ideas

2. Reason / D. Definition / 1. Definitions
The Pythagoreans were the first to offer definitions [Politis, by Politis]
3. Truth / A. Truth Problems / 4. Uses of Truth
'True of' is applicable to things, while 'true' is applicable to words [Politis]
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]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
Maybe 'What is being? is confusing because we can't ask what non-being is like [Politis]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
A 'trope' is an abstract particular, the occurrence of an essence [Williams,DC]
A world is completely constituted by its tropes and their connections [Williams,DC]
'Socrates is wise' means a concurrence sum contains a member of a similarity set [Williams,DC]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Necessary truths can be two-way relational, where essential truths are one-way or intrinsic [Politis]
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]