3 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
6672 | Moore's Paradox: you can't assert 'I believe that p but p is false', but can assert 'You believe p but p is false' [Moore,GE, by Lowe] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |