14 ideas
| 12170 | Amusement rests on superiority, or relief, or incongruity [Scruton] |
| 12173 | The central object of amusement is the human [Scruton] |
| 12169 | Since only men laugh, it seems to be an attribute of reason [Scruton] |
| 12172 | Objects of amusement do not have to be real [Scruton] |
| 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] |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| 12174 | Only rational beings are attentive without motive or concern [Scruton] |