3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |