Combining Texts

All the ideas for 'Understanding and Essence', 'Axiomatic Thought' and 'Intuitionism and Formalism'

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


19 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya]
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
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 / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Scientific laws largely rest on the results of counting and measuring [Brouwer]
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]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets [Brouwer]
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
Essential properties are necessary, but necessary properties may not be essential [Vaidya]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / c. Possible but inconceivable
Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Can you possess objective understanding without realising it? [Vaidya]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem
Gettier deductive justifications split the justification from the truthmaker [Vaidya]
In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya]
18. Thought / C. Content / 1. Content
Aboutness is always intended, and cannot be accidental [Vaidya]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]
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]