Combining Texts

All the ideas for 'The philosophical basis of intuitionist logic', 'works' and 'How to Make our Ideas Clear'

expand these ideas     |    start again     |     specify just one area for these texts

10 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
7661 Truth is the opinion fated to be ultimately agreed by all investigators [Peirce]
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
18073 Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher]
5. Theory of Logic / G. Quantification / 1. Quantification
19057 Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
17743 De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
11. Knowledge Aims / A. Knowledge / 2. Understanding
19089 Our whole conception of an object is its possible practical consequences [Peirce]
11. Knowledge Aims / A. Knowledge / 4. Belief / b. Elements of beliefs
7660 We are aware of beliefs, they appease our doubts, and they are rules of action, or habits [Peirce]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
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]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
14906 Non-positivist verificationism says only take a hypothesis seriously if it is scientifically based and testable [Ladyman/Ross on Peirce]
19. Language / A. Nature of Meaning / 6. Meaning as Use
19054 Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett]