Ideas from 'The philosophical basis of intuitionist logic' by Michael Dummett [1973], by Theme Structure

[found in 'Truth and Other Enigmas' by Dummett,Michael [Duckworth 1978,0-7156-1650-1]].

green numbers give full details    |     back to texts     |     expand these ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Kitcher]
5. Theory of Logic / G. Quantification / 1. Quantification
Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
Stating a sentence's truth-conditions is just paraphrasing the sentence
If a sentence is effectively undecidable, we can never know its truth conditions
19. Language / A. Nature of Meaning / 6. Meaning as Use
Meaning as use puts use beyond criticism, and needs a holistic view of language