Combining Texts

All the ideas for 'The philosophical basis of intuitionist logic', 'Aristotle on Substance' and 'Plural Quantification Exposed'

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

13 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]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
10779 A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10781 A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
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 / 6. Plural Quantification
10778 Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
10783 Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]
9. Objects / A. Existence of Objects / 1. Physical Objects
10782 The modern concept of an object is rooted in quantificational logic [Linnebo]
9. Objects / C. Structure of Objects / 3. Matter of an Object
16083 Aristotelian matter seriously threatens the intrinsic unity and substantiality of its object [Gill,ML]
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
17006 Prime matter has no place in Aristotle's theories, and passages claiming it are misread [Gill,ML]
16093 Prime matter is actually nothing and potentially everything (or potentially an element) [Gill,ML]