15 ideas
| 18696 | The vagueness of truthmaker claims makes it easier to run anti-realist arguments [Button] |
| 18701 | The coherence theory says truth is coherence of thoughts, and not about objects [Button] |
| 18694 | Permutation Theorem: any theory with a decent model has lots of models [Button] |
| 13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
| 9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
| 18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
| 18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
| 18692 | Realists believe in independent objects, correspondence, and fallibility of all theories [Button] |
| 18693 | Indeterminacy arguments say if a theory can be made true, it has multiple versions [Button] |
| 18695 | An ideal theory can't be wholly false, because its consistency implies a true model [Button] |
| 18700 | Cartesian scepticism doubts what is true; Kantian scepticism doubts that it is sayable [Button] |
| 18698 | Predictions give the 'content' of theories, which can then be 'equivalent' or 'adequate' [Button] |
| 18697 | A sentence's truth conditions are all the situations where it would be true [Button] |
| 7829 | God no more has human perfections than we have animal perfections [Spinoza] |
| 7830 | A talking triangle would say God is triangular [Spinoza] |