Ideas from 'Logical Consequence' by Vann McGee [2014], by Theme Structure
[found in 'Bloomsbury Companion to Philosophical Logic' (ed/tr Horsten,L/Pettigrew,R) [Bloomsbury 2014,9781472523030]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
18755

Validity is explained as truth in all models, because that relies on the logical terms

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
18759

Identity is invariant under arbitrary permutations, so it seems to be a logical term

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
18751

Natural language includes connectives like 'because' which are not truthfunctional

5. Theory of Logic / G. Quantification / 5. SecondOrder Quantification
18761

Secondorder variables need to range over more than collections of firstorder objects

5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
18753

An ontologically secure semantics for predicate calculus relies on sets

5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
18754

Logically valid sentences are analytic truths which are just true because of their logical words

5. Theory of Logic / K. Features of Logics / 3. Soundness
18757

Soundness theorems are uninformative, because they rely on soundness in their proofs

6. Mathematics / B. Foundations for Mathematics / 2. Axioms for Geometry
18760

The culmination of Euclidean geometry was axioms that made all models isomorphic

19. Language / H. Pragmatics / 1. Assertion
18762

A maxim claims that if we are allowed to assert a sentence, that means it must be true
