3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
18948 | There is an object for every set of properties (some of which exist, and others don't) [Parsons,T, by Sawyer] |
16776 | Substance is an intrinsic thing, so parts of substances can't also be intrinsic things [Duns Scotus] |