13 ideas
| 6021 | It is only when we say a proposition that we speak truly or falsely [Sext.Empiricus] |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 6020 | 'Man is a rational mortal animal' is equivalent to 'if something is a man, that thing is a rational mortal animal' [Sext.Empiricus] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 6026 | How can you investigate without some preconception of your object? [Sext.Empiricus] |
| 6032 | Right actions, once done, are those with a reasonable justification [Sext.Empiricus] |
| 541 | Virtue comes more from habit than character [Critias] |
| 1517 | The tektraktys (1+2+3+4=10) is the 'fount of ever-flowing nature' [Sext.Empiricus] |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |