3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
23505 | Aristotelian logic cannot express 'Everyone loves someone' [White,RM] |
9591 | The human intellect has not been, and cannot be, fully formalized [Nagel/Newman] |