12 ideas
18073 | Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher] |
19057 | Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett] |
18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
10735 | Abstraction from objects won't reveal an operation's being performed 'so many times' [Geach] |
10732 | If concepts are just recognitional, then general judgements would be impossible [Geach] |
10731 | For abstractionists, concepts are capacities to recognise recurrent features of the world [Geach] |
10733 | The abstractionist cannot explain 'some' and 'not' [Geach] |
10734 | Only a judgement can distinguish 'striking' from 'being struck' [Geach] |
19055 | Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett] |
19056 | If a sentence is effectively undecidable, we can never know its truth conditions [Dummett] |
19054 | Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett] |
6606 | Consider: "Imagine this butterfly exactly as it is, but ugly instead of beautiful" [Wittgenstein] |