10 ideas
9915 | V = L just says all sets are constructible [Putnam] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
23026 | We know mathematical axioms, such as subtracting equals from equals leaves equals, by a natural light [Leibniz] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
13189 | A necessary feature (such as air for humans) is not therefore part of the essence [Leibniz] |
19432 | Intelligible truth is independent of any external things or experiences [Leibniz] |
19430 | We know objects by perceptions, but their qualities don't reveal what it is we are perceiving [Leibniz] |
19431 | There is nothing in the understanding but experiences, plus the understanding itself, and the understander [Leibniz] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |