Combining Texts

All the ideas for 'Through the Looking Glass', 'Understanding and Essence' and 'Philosophy of Mathematics'

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


13 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]
2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L]
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]