Combining Texts

All the ideas for 'The Origin of the Work of Art', 'Elements of Law and Justice' and 'Completeness of Axioms of Logic'

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


3 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
Later Heidegger sees philosophy as more like poetry than like science [Heidegger, by Polt]
4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
14. Science / C. Induction / 2. Aims of Induction
Hypotheses come from induction, which is comparison of experiences [Leibniz]