17 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] |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| 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] |
| 23334 | For Christians man has free will by creation in God's image (as in Genesis) [Frede,M] |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| 23336 | There is no will for Plato or Aristotle, because actions come directly from perception of what is good [Frede,M] |
| 2854 | Prescriptivism says 'ought' without commitment to act is insincere, or weakly used [Hooker,B] |
| 2856 | Universal moral judgements imply the Golden Rule ('do as you would be done by') [Hooker,B] |
| 23313 | The Gnostic demiurge (creator) is deluded, and doesn't care about us [Frede,M] |