Combining Texts

All the ideas for 'God and Human Attributes', 'Remarks on the definition and nature of mathematics' and 'Sources of Knowledge of Mathematics'

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


5 ideas

5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
It is untenable that mathematics is general physical truths, because it needs infinity [Curry]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Saying mathematics is logic is merely replacing one undefined term by another [Curry]
Late in life Frege abandoned logicism, and saw the source of arithmetic as geometrical [Frege, by Chihara]
28. God / B. Proving God / 2. Proofs of Reason / c. Moral Argument
God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B]