9 ideas
21943 | Since Kant, self-criticism has been part of philosophy [Gutting] |
21944 | Structuralism describes human phenomena in terms of unconscious structures [Gutting] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
9915 | V = L just says all sets are constructible [Putnam] |
21222 | Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol] |
21223 | Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
21224 | Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |