3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
1558 | Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus] |