19 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
472 | No things would be clear to us as entity or relationships unless there existed Number and its essence [Philolaus] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
22511 | Some reasonings are stronger than we are [Philolaus] |
1518 | Everything must involve numbers, or it couldn't be thought about or known [Philolaus] |
1519 | Harmony must pre-exist the cosmos, to bring the dissimilar sources together [Philolaus] |
473 | There is no falsehood in harmony and number, only in irrational things [Philolaus] |
469 | Existing things, and hence the Cosmos, are a mixture of the Limited and the Unlimited [Philolaus] |
476 | Self-created numbers make the universe stable [Philolaus] |
1787 | Philolaus was the first person to say the earth moves in a circle [Philolaus, by Diog. Laertius] |