Combining Philosophers

All the ideas for Michael Stanford, George Boole and Leopold Kronecker

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

9 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
8083 Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin]
7727 Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
8686 Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend]
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
22277 Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
12427 All of mathematics is properties of the whole numbers [Kronecker]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
10091 God made the integers, all the rest is the work of man [Kronecker]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
12314 Audience-relative explanation, or metaphysical explanation based on information? [Stanford]
12313 Explanation is for curiosity, control, understanding, to make meaningful, or to give authority [Stanford]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
12315 We can explain by showing constitution, as well as showing causes [Stanford]