4 ideas
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |
16362 | An identity statement aims at getting the hearer to merge two mental files [Lockwood] |