17 ideas
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
15788 | Syntax and semantics are indeterminate, and modern 'semantics' is a bogus subject [Quine, by Lycan] |