18 ideas
23326 | In the third century Stoicism died out, replaced by Platonism, with Aristotelian ethics [Frede,M] |
23335 | In late antiquity nearly all philosophers were monotheists [Frede,M] |
17879 | Axiomatising set theory makes it all relative [Skolem] |
9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
23334 | For Christians man has free will by creation in God's image (as in Genesis) [Frede,M] |
23333 | The idea of free will achieved universal acceptance because of Christianity [Frede,M] |
23337 | The Stoics needed free will, to allow human choices in a divinely providential cosmos [Frede,M] |
9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
23336 | There is no will for Plato or Aristotle, because actions come directly from perception of what is good [Frede,M] |
9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |
23313 | The Gnostic demiurge (creator) is deluded, and doesn't care about us [Frede,M] |