14 ideas
| 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] |
| 14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
| 14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
| 14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
| 14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
| 14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
| 14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| 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] |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| 3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |