Combining Texts

Ideas for 'Fragments and accounts of Gorgias', 'On 'The Beginning of Philosophy'' and 'Plural Quantification Exposed'

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

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic

10781	A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
	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

10783	Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]
	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)

10778	Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
	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)