4 ideas
7334 | Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
3303 | For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA] |
6017 | Nomos is king [Pindar] |