3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
13166 | Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |