more on this theme | more from this thinker
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
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] |