14 ideas
| 10835 | True sentences says the appropriate descriptive thing on the appropriate demonstrative occasion [Austin,JL] |
| 10836 | Correspondence theorists shouldn't think that a country has just one accurate map [Austin,JL] |
| 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] |
| 19271 | No rule can be fully explained [Kripke] |
| 19269 | 'Quus' means the same as 'plus' if the ingredients are less than 57; otherwise it just produces 5 [Kripke] |
| 7305 | Kripke's Wittgenstein says meaning 'vanishes into thin air' [Kripke, by Miller,A] |
| 19270 | If you ask what is in your mind for following the addition rule, meaning just seems to vanish [Kripke] |
| 11076 | Community implies assertability-conditions rather than truth-conditions semantics [Kripke, by Hanna] |
| 11075 | The sceptical rule-following paradox is the basis of the private language argument [Kripke, by Hanna] |