Combining Texts

All the ideas for 'The philosophical basis of intuitionist logic', 'Possible Worlds and Necessary A Posteriori' and 'No Understanding without Explanation'

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

12 ideas

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]
9. Objects / D. Essence of Objects / 9. Essence and Properties
14633 How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson]
14635 An x is essentially F if it is F in every possible world in which it appears [Jackson]
9. Objects / D. Essence of Objects / 15. Against Essentialism
14632 Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson]
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
14631 How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson]
11. Knowledge Aims / A. Knowledge / 2. Understanding
14365 Scientific understanding is always the grasping of a correct explanation [Strevens]
14368 We may 'understand that' the cat is on the mat, but not at all 'understand why' it is there [Strevens]
14369 Understanding is a precondition, comes in degrees, is active, and holistic - unlike explanation [Strevens]
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 / 6. Meaning as Use
19054 Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett]