more on this theme     |     more from this thinker

Single Idea 10783

[filed under theme 5. Theory of Logic / G. Quantification / 6. Plural Quantification ]

Full Idea

If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations.

Gist of Idea

Plural quantification depends too heavily on combinatorial and set-theoretic considerations

Source

Øystein Linnebo (Plural Quantification Exposed [2003], §4)

Book Ref

-: 'Nous' [-], p.88

The 5 ideas from 'Plural Quantification Exposed'

10778 Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
10779 A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
10781 A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
10782 The modern concept of an object is rooted in quantificational logic [Linnebo]
10783 Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]