3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
8066 | Butler exalts conscience, but it may be horribly misleading [Anscombe on Butler] |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |