9 ideas
21223 | Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol] |
21222 | Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
7557 | To solve Zeno's paradox, reject the axiom that the whole has more terms than the parts [Russell] |
10059 | In mathematic we are ignorant of both subject-matter and truth [Russell] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
7556 | A collection is infinite if you can remove some terms without diminishing its number [Russell] |
21224 | Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol] |
7554 | Self-evidence is often a mere will-o'-the-wisp [Russell] |