17 ideas
| 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] |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| 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] |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| 7602 | In the Bible God changes his mind (repenting of creating humanity, in the Flood) [Armstrong,K] |
| 7605 | Monotheism introduced intolerance into religious thinking [Armstrong,K] |
| 7599 | Around 800 BCE teachers superseded gods in India [Armstrong,K] |
| 7597 | There is virtually no sign of monotheism in the Pentateuch [Armstrong,K] |
| 7606 | The idea that Jesus was God was only settled in the fourth century [Armstrong,K] |
| 7596 | Faith is not just belief in propositions, but also putting trust in them [Armstrong,K] |