14 ideas
| 19259 | If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya] |
| 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] |
| 19262 | Essential properties are necessary, but necessary properties may not be essential [Vaidya] |
| 19267 | Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya] |
| 19268 | Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya] |
| 19265 | Can you possess objective understanding without realising it? [Vaidya] |
| 19260 | Gettier deductive justifications split the justification from the truthmaker [Vaidya] |
| 19266 | In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya] |
| 19264 | Aboutness is always intended, and cannot be accidental [Vaidya] |
| 21125 | Liberals must respect family freedom - but families are the great oppressors of women [Nussbaum] |