15 ideas
| 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] |
| 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] |
| 6968 | Some people think there are ethical facts, but of a 'queer' sort [Ayer] |
| 6972 | A right attitude is just an attitude one is prepared to stand by [Ayer] |
| 6973 | Moral theories are all meta-ethical, and are neutral as regards actual conduct [Ayer] |
| 6974 | Moral judgements cannot be the logical consequence of a moral philosophy [Ayer] |
| 6971 | I would describe intuitions of good as feelings of approval [Ayer] |
| 6969 | Approval of historical or fictional murders gives us leave to imitate them [Ayer] |
| 6970 | Moral judgements are not expressions, but are elements in a behaviour pattern [Ayer] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |