Combining Texts

All the ideas for 'A Pragmatic Conception of the A Priori', 'Philosophy of Mathematics' and 'Towards a Universal Characteristic'

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

14 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
9358 There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
19370 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
9357 Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
9364 Names represent a uniformity in experience, or they name nothing [Lewis,CI]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10884 A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
19391 We can assign a characteristic number to every single object [Leibniz]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
19390 Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10885 Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
10. Modality / A. Necessity / 11. Denial of Necessity
9362 Necessary truths are those we will maintain no matter what [Lewis,CI]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
9365 We can maintain a priori principles come what may, but we can also change them [Lewis,CI]
18. Thought / E. Abstraction / 2. Abstracta by Selection
9361 We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
9363 Science seeks classification which will discover laws, essences, and predictions [Lewis,CI]