Combining Texts

All the ideas for 'The Courtier and the Heretic', 'Plural Quantification Exposed' and 'Introduction to 'Modality''

unexpand these ideas     |    start again     |     specify just one area for these texts

7 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
10779 A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
     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
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)
9. Objects / A. Existence of Objects / 1. Physical Objects
10782 The modern concept of an object is rooted in quantificational logic [Linnebo]
     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'.
10. Modality / A. Necessity / 1. Types of Modality
14528 Maybe modal thought is unavoidable, as a priori recognition of necessary truth-preservation in reasoning [Hale/Hoffmann,A]
     Full Idea: There are 'transcendental' arguments saying that modal thought is unavoidable - recognition, a priori, of the necessarily truth-preserving character of some forms of inference is a precondition for rational thought in general, and scientific theorizing.
     From: Bob Hale/ Aviv Hoffmann (Introduction to 'Modality' [2010], 1)
     A reaction: So the debate about the status of logical truths and valid inference, are partly debates about whether out thought has to involve modality, or whether it could just be about the actual world. I take possibilities and necssities to be features of nature.
24. Political Theory / D. Ideologies / 10. Theocracy
7825 The politics of Leibniz was the reunification of Christianity [Stewart,M]
     Full Idea: The politics of Leibniz may be summed up in one word: theocracy. The specific agenda motivating much of his work was to reunite the Protestant and Catholic churches
     From: Matthew Stewart (The Courtier and the Heretic [2007], Ch. 5)
     A reaction: This would be a typical project for a rationalist philosopher, who thinks that good reasoning will gradually converge on the one truth.