3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
19087 | The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce] |
22818 | Liberals are not too individualistic, because people recognise and value social relations [Kymlicka] |