14 ideas
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| 17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
| 17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
| 21506 | A coherence theory of justification can combine with a correspondence theory of truth [Bonjour] |
| 21509 | There will always be a vast number of equally coherent but rival systems [Bonjour] |
| 21503 | Empirical coherence must attribute reliability to spontaneous experience [Bonjour] |
| 21511 | A well written novel cannot possibly match a real belief system for coherence [Bonjour] |
| 21510 | The objection that a negated system is equally coherent assume that coherence is consistency [Bonjour] |
| 21505 | A coherent system can be justified with initial beliefs lacking all credibility [Bonjour] |
| 21504 | The best explanation of coherent observations is they are caused by and correspond to reality [Bonjour] |
| 21508 | Anomalies challenge the claim that the basic explanations are actually basic [Bonjour] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |