3 ideas
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |
4800 | Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos] |