12 ideas
| 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] |
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| 8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
| 22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
| 13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
| 13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
| 18415 | The actual world is just the world you are in [Lewis, by Cappelen/Dever] |
| 16392 | A content is a property, and believing it is self-ascribing that property [Lewis, by Recanati] |
| 18416 | Attitudes involve properties (not propositions), and belief is self-ascribing the properties [Lewis, by Solomon] |
| 16390 | Lewis's popular centred worlds approach gives an attitude an index of world, subject and time [Lewis, by Recanati] |
| 18418 | A theory of perspectival de se content gives truth conditions relative to an agent [Lewis, by Cappelen/Dever] |