16 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] |
| 18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
| 14221 | Serious essentialism says everything has essences, they're not things, and they ground necessities [Shalkowski] |
| 14222 | Essences are what it is to be that (kind of) thing - in fact, they are the thing's identity [Shalkowski] |
| 14226 | We distinguish objects by their attributes, not by their essences [Shalkowski] |
| 14225 | Critics say that essences are too mysterious to be known [Shalkowski] |
| 14223 | De dicto necessity has linguistic entities as their source, so it is a type of de re necessity [Shalkowski] |
| 9220 | Lewis must specify that all possibilities are in his worlds, making the whole thing circular [Shalkowski, by Sider] |
| 14224 | Equilateral and equiangular aren't the same, as we have to prove their connection [Shalkowski] |
| 9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
| 5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |