Combining Texts

All the ideas for 'Review of Tait 'Provenance of Pure Reason'', 'Pragmatism and Objective Truth' and 'Completeness of Axioms of Logic'

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

8 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
19086 Does the pragmatic theory of meaning support objective truth, or make it impossible? [Macbeth]
4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13418 The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
19093 Greek mathematics is wholly sensory, where ours is wholly inferential [Macbeth]
6. Mathematics / C. Sources of Mathematics / 8. Finitism
13419 If functions are transfinite objects, finitists can have no conception of them [Parsons,C]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
13417 If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C]
14. Science / B. Scientific Theories / 1. Scientific Theory
19091 Seeing reality mathematically makes it an object of thought, not of experience [Macbeth]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
19088 For pragmatists a concept means its consequences [Macbeth]