Combining Texts

All the ideas for 'God and Human Attributes', 'The Same F' and 'Investigations into Logical Deduction'

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


3 ideas

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
9. Objects / F. Identity among Objects / 3. Relative Identity
Statements of 'relative identity' are really statements of resemblance [Perry]
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]