Ideas from 'Plural Quantification Exposed' by Øystein Linnebo [2003], by Theme Structure

[found in 'Nous' (ed/tr -) [- ,]].

green numbers give full details    |     back to texts     |     unexpand these ideas


4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
A comprehension axiom is 'predicative' if the formula has no bound second-order variables
                        Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'.
                        From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
                        A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
A 'pure logic' must be ontologically innocent, universal, and without presuppositions
                        Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed).
                        From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Plural quantification depends too heavily on combinatorial and set-theoretic considerations
                        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.
                        From: Øystein Linnebo (Plural Quantification Exposed [2003], §4)
Can second-order logic be ontologically first-order, with all the benefits of second-order?
                        Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free.
                        From: Øystein Linnebo (Plural Quantification Exposed [2003], §0)
9. Objects / A. Existence of Objects / 1. Physical Objects
The modern concept of an object is rooted in quantificational logic
                        Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic.
                        From: Øystein Linnebo (Plural Quantification Exposed [2003], §2)
                        A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'.