Combining Philosophers

All the ideas for H.Putnam/P.Oppenheim, [Roman law] and Alonzo Church

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

---

3 ideas

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

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]

25. Social Practice / D. Justice / 3. Punishment / a. Right to punish

7294	No crime and no punishment without a law [Roman law]