Combining Philosophers

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

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

3 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]
     Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann.
     From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1
10. Modality / C. Sources of Modality / 2. Necessity as Primitive
74 Even God could not undo what has been done [Agathon]
     Full Idea: One thing is denied even to God: to make what has been done undone again.
     From: Agathon (plays (frags) [c.410 BCE]), quoted by Aristotle - Nicomachean Ethics 1139b09
     A reaction: a quotation - cf the Euthyphro Question
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]
     Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles.
     From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro'
     A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture?