3 ideas
18779 | 'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague] |
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] |