12 ideas
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| 19269 | 'Quus' means the same as 'plus' if the ingredients are less than 57; otherwise it just produces 5 [Kripke] |
| 19271 | No rule can be fully explained [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] |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |