Combining Texts

Ideas for 'Parmenides', 'Plural Quantification' and 'fragments/reports'

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

display all the ideas for this combination of texts


5 ideas

5. Theory of Logic / G. Quantification / 6. Plural Quantification
Second-order quantification and plural quantification are different [Linnebo]
     Full Idea: Second-order quantification and plural quantification are generally regarded as different forms of quantification.
     From: Øystein Linnebo (Plural Quantification [2008], 2)
Traditionally we eliminate plurals by quantifying over sets [Linnebo]
     Full Idea: The traditional view in analytic philosophy has been that all plural locutions should be paraphrased away by quantifying over sets, though Boolos and other objected that this is unnatural and unnecessary.
     From: Øystein Linnebo (Plural Quantification [2008], 5)
Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo]
     Full Idea: Plural quantification can be used to eliminate the commitment of science and common sense to complex objects. We can use plural quantification over mereological atoms arranged tablewise or chairwise.
     From: Øystein Linnebo (Plural Quantification [2008], 4.5)
     A reaction: [He cites Hossack and van Ingwagen]
Plural plurals are unnatural and need a first-level ontology [Linnebo]
     Full Idea: Higher-order plural quantification (plural plurals) is often rejected because plural quantification is supposedly ontological innocent, with no plural things to be plural, and because it is not found in ordinary English.
     From: Øystein Linnebo (Plural Quantification [2008], 2.4)
     A reaction: [Summary; he cites Boolos as a notable rejector] Linnebo observes that Icelandic contains a word 'tvennir' which means 'two pairs of'.
Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo]
     Full Idea: Plural quantification seems to offer ontological economy. We can pay the price of a mere first-order theory and then use plural quantification to get for free the corresponding monadic second-order theory, which would be an ontological bargain.
     From: Øystein Linnebo (Plural Quantification [2008], 4.4)
     A reaction: [He mentions Hellman's modal structuralism in mathematics]