Combining Philosophers

Ideas for Craig Bourne, ystein Linnebo and Aristotle

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


9 ideas

5. Theory of Logic / G. Quantification / 1. Quantification
Affirming/denying sentences are universal, particular, or indeterminate [Aristotle]
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo]
Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
Plural plurals are unnatural and need a first-level ontology [Linnebo]
Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo]
Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]
Second-order quantification and plural quantification are different [Linnebo]
Traditionally we eliminate plurals by quantifying over sets [Linnebo]