3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
4871 | A thing is free if it acts only by the necessity of its own nature [Spinoza] |
19087 | The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce] |