5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
12812 | Things have real essences, but we categorise them according to the ideas we receive [Locke] |
9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |