3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
12155 | Statements of 'relative identity' are really statements of resemblance [Perry] |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |