Combining Texts

All the ideas for 'The philosophical basis of intuitionist logic', 'Sentences' and 'Letters to Regius'

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

10 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]
8. Modes of Existence / A. Relations / 1. Nature of Relations
18528 The single imagined 'interval' between things only exists in the intellect [Auriol]
9. Objects / D. Essence of Objects / 15. Against Essentialism
12251 Substantial forms are not understood, and explain nothing [Descartes]
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]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter
16589 Prime matter lacks essence, but is only potentially and indeterminately a physical thing [Auriol]
28. God / A. Divine Nature / 4. Divine Contradictions
16651 God can do anything non-contradictory, as making straightness with no line, or lightness with no parts [Auriol]
29. Religion / B. Monotheistic Religion / 4. Christianity / c. Angels
16772 An angelic mind would not experience pain, even when connected to a human body [Descartes, by Pasnau]