display all the ideas for this combination of texts
3 ideas
1312 | If everything is and isn't then everything is true, and a midway between true and false makes everything false [Aristotle on Heraclitus] |
9024 | Excluded middle has three different definitions [Quine] |
10012 | Quantification theory can still be proved complete if we add identity [Quine] |