19 ideas
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] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
23429 | The environment needs localised politics, with its care for the land [Dobson] |
23424 | An ideology judges things now, and offers an ideal, with a strategy for reaching it [Dobson] |
23426 | Ecologism is often non-liberal, by claiming to know other people's best interests [Dobson] |
23427 | Socialism can be productive and centralised, or less productive and decentralised [Dobson] |
23428 | Difference feminists say women differ fundamentally from men [Dobson] |
23422 | For the environment, affluence and technology matter as much as population size [Dobson] |
23425 | Ecologism says growth must be reduced, and efficiency is not enough [Dobson] |
23430 | A million years is a proper unit of political time [Dobson] |
23423 | We currently value the present fourteen times more highly than the future [Dobson] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |