Combining Texts

All the ideas for 'works', 'New system of communication of substances' and 'The philosophical basis of intuitionist logic'

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]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
13168 My formal unifying atoms are substantial forms, which are forces like appetites [Leibniz]
13169 I call Aristotle's entelechies 'primitive forces', which originate activity [Leibniz]
9. Objects / A. Existence of Objects / 5. Simples
13170 The analysis of things leads to atoms of substance, which found both composition and action [Leibniz]
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
13171 Substance must necessarily involve progress and change [Leibniz]
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]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
13167 We need the metaphysical notion of force to explain mechanics, and not just extended mass [Leibniz]
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
16713 Philosophers are the forefathers of heretics [Tertullian]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
6610 I believe because it is absurd [Tertullian]