5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
14979 | Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider] |
15454 | Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis] |
15455 | Total intrinsic properties give us what a thing is [Lewis] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |