Combining Texts

All the ideas for 'Sets, Aggregates and Numbers', 'The Empirical Stance' and 'Principles of Theoretical Logic'

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

12 ideas

1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
12772 Philosophy is a value- and attitude-driven enterprise [Fraassen]
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
12771 Is it likely that a successful, coherent, explanatory ontological hypothesis is true? [Fraassen]
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
12773 Analytic philosophy has an exceptional arsenal of critical tools [Fraassen]
2. Reason / A. Nature of Reason / 6. Coherence
12770 We may end up with a huge theory of carefully constructed falsehoods [Fraassen]
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
17818 How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau]
17822 Nothing is 'intrinsically' numbered [Yourgrau]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
17817 Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
17815 We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau]
17821 You can ask all sorts of numerical questions about any one given set [Yourgrau]
14. Science / D. Explanation / 3. Best Explanation / c. Against best explanation
12769 Inference to best explanation contains all sorts of hidden values [Fraassen]
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
12768 We accept many scientific theories without endorsing them as true [Fraassen]