3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |