4 ideas
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |
17897 | Analytic explanation is wholes in terms of parts; synthetic is parts in terms of wholes or contexts [Belnap] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |