4 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
4760 | Belief aims at knowledge (rather than truth), and mere believing is a kind of botched knowing [Williamson] |
19512 | Don't analyse knowledge; use knowledge to analyse other concepts in epistemology [Williamson, by DeRose] |