3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
6215 | 'Contingent' means that the cause is unperceived, not that there is no cause [Hobbes] |
20166 | A man is a responsible agent to the extent he has an intention, and knows what he is doing [Hampshire] |