Combining Philosophers

All the ideas for Hilbert,D/Ackermann,W, H.Putnam/P.Oppenheim and Diodorus Cronus

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

6 ideas

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]
10. Modality / A. Necessity / 10. Impossibility
5998 From the necessity of the past we can infer the impossibility of what never happens [Diod.Cronus, by White,MJ]
10. Modality / B. Possibility / 1. Possibility
20832 The Master Argument seems to prove that only what will happen is possible [Diod.Cronus, by Epictetus]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
14304 Conditionals are true when the antecedent is true, and the consequent has to be true [Diod.Cronus]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
20653 Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]
19. Language / D. Propositions / 4. Mental Propositions
6024 Thought is unambiguous, and you should stick to what the speaker thinks they are saying [Diod.Cronus, by Gellius]