3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
12582 | The function of beliefs is to produce beliefs-that-p when p [Millikan] |
9382 | Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge] |