Combining Texts

Ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Plural Quantification' and 'On Recent German Literature. Fragments'

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

display all the ideas for this combination of texts


7 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
A pure logic is wholly general, purely formal, and directly known [Linnebo]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
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]
Second-order quantification and plural quantification are different [Linnebo]
Traditionally we eliminate plurals by quantifying over sets [Linnebo]
Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo]