3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |