9 ideas
1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |