green numbers give full details.
|
back to list of philosophers
|
expand these ideas
Ideas of Vann McGee, by Text
[American, fl. 2006, Professor at Massachusetts Institute of Technology.]
2
|
p.31
|
18751
|
Natural language includes connectives like 'because' which are not truth-functional
|
4
|
p.36
|
18755
|
Validity is explained as truth in all models, because that relies on the logical terms
|
4
|
p.36
|
18753
|
An ontologically secure semantics for predicate calculus relies on sets
|
4
|
p.36
|
18754
|
Logically valid sentences are analytic truths which are just true because of their logical words
|
5
|
p.40
|
18757
|
Soundness theorems are uninformative, because they rely on soundness in their proofs
|
7
|
p.45
|
18760
|
The culmination of Euclidean geometry was axioms that made all models isomorphic
|
7
|
p.47
|
18761
|
Second-order variables need to range over more than collections of first-order objects
|
8
|
p.50
|
18762
|
A maxim claims that if we are allowed to assert a sentence, that means it must be true
|