9 ideas
| 17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
| 8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
| 7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
| 8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
| 17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
| 22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
| 17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
| 17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |