Combining Texts

All the ideas for 'Realism and Anti-Realism', 'Completeness of Axioms of Logic' and 'The Approach to Metaphysics'

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


3 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Metaphysics rests on observations, but ones so common we hardly notice them [Peirce]
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]
7. Existence / D. Theories of Reality / 2. Realism
Metaphysical realists are committed to all unambiguous statements being true or not true [Dummett]