15 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] |
| 14970 | Normal system K has five axioms and rules [Cresswell] |
| 14971 | D is valid on every serial frame, but not where there are dead ends [Cresswell] |
| 14972 | S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell] |
| 14973 | In S5 all the long complex modalities reduce to just three, and their negations [Cresswell] |
| 14976 | Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell] |
| 14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
| 19382 | Abstracta are abbreviated ways of talking; there are just substances, and truths about them [Leibniz] |
| 14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
| 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] |
| 23336 | There is no will for Plato or Aristotle, because actions come directly from perception of what is good [Frede,M] |
| 23313 | The Gnostic demiurge (creator) is deluded, and doesn't care about us [Frede,M] |