18 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] |
| 19527 | We don't acquire evidence and then derive some knowledge, because evidence IS knowledge [Williamson] |
| 19528 | Knowledge is prior to believing, just as doing is prior to trying to do [Williamson] |
| 19529 | Belief explains justification, and knowledge explains belief, so knowledge explains justification [Williamson] |
| 19530 | A neutral state of experience, between error and knowledge, is not basic; the successful state is basic [Williamson] |
| 19531 | Internalism about mind is an obsolete view, and knowledge-first epistemology develops externalism [Williamson] |
| 19536 | Knowledge-first says your total evidence IS your knowledge [Williamson] |
| 19526 | Surely I am acquainted with physical objects, not with appearances? [Williamson] |
| 19534 | How does inferentialism distinguish the patterns of inference that are essential to meaning? [Williamson] |
| 19535 | Internalist inferentialism has trouble explaining how meaning and reference relate [Williamson] |
| 19533 | Inferentialist semantics relies on internal inference relations, not on external references [Williamson] |
| 19532 | Truth-conditional referential semantics is externalist, referring to worldly items [Williamson] |
| 5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |