3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
21867 | Conatus is brain circuits seeking survival and well-being [Damasio] |
19087 | The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce] |