16 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] |
| 21515 | Incoherence may be more important for enquiry than coherence [Olsson] |
| 21514 | Coherence is the capacity to answer objections [Olsson] |
| 21496 | Mere agreement of testimonies is not enough to make truth very likely [Olsson] |
| 21499 | Coherence is only needed if the information sources are not fully reliable [Olsson] |
| 21502 | A purely coherent theory cannot be true of the world without some contact with the world [Olsson] |
| 21512 | Extending a system makes it less probable, so extending coherence can't make it more probable [Olsson] |
| 3286 | An organism is conscious if and only if there is something it is like to be that organism [Nagel] |
| 3288 | Can we describe our experiences to zombies? [Nagel] |
| 4883 | Nagel's title creates an impenetrable mystery, by ignoring a bat's ways that may not be "like" anything [Dennett on Nagel] |
| 3287 | We can't be objective about experience [Nagel] |
| 4989 | Physicalism should explain how subjective experience is possible, but not 'what it is like' [Kirk,R on Nagel] |