Combining Philosophers

All the ideas for Engelbretsen,G/Sayward,C, Palle Yourgrau and Correia,F/Schnieder,B

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

18 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
17266 Using modal logic, philosophers tried to handle all metaphysics in modal terms [Correia/Schnieder]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
17263 Why do rationalists accept Sufficient Reason, when it denies the existence of fundamental facts? [Correia/Schnieder]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
13913 The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]
13914 Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
13915 Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
13916 Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
13850 In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
13849 Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
13851 Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
13852 Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]
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]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
17270 Is existential dependence by grounding, or do grounding claims arise from existential dependence? [Correia/Schnieder]
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
17268 Grounding is metaphysical and explanation epistemic, so keep them apart [Correia/Schnieder]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
17267 The identity of two facts may depend on how 'fine-grained' we think facts are [Correia/Schnieder]