3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
17722 | The concept 'red' is tied to what actually individuates red things [Peacocke] |
7636 | It can't be more rational to believe in natural laws than miracles if the laws are not rational [Ishaq on Hume] |