3 ideas
19695 | The devil was wise as an angel, and lost no knowledge when he rebelled [Whitcomb] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
12583 | Belief truth-conditions are normal circumstances where the belief is supposed to occur [Papineau] |