3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
15034 | Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry] |
5954 | All inventions of the mind aim at pleasure, and those that don't are worthless [Metrodorus of Lamp., by Plutarch] |