3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |
15034 | Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry] |