14 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] |
| 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] |
| 16052 | 'Superdupervenience' is supervenience that has a robustly materialistic explanation [Horgan,T] |
| 16053 | 'Global' supervenience is facts tracking varying physical facts in every possible world [Horgan,T] |
| 16056 | Don't just observe supervenience - explain it! [Horgan,T] |
| 16054 | Physicalism needs more than global supervenience on the physical [Horgan,T] |
| 16055 | Materialism requires that physics be causally complete [Horgan,T] |
| 15797 | All structures are dispositional, objects are dispositions sets, and events manifest dispositions [Fetzer] |
| 15800 | All events and objects are dispositional, and hence all structural properties are dispositional [Fetzer] |
| 16057 | Instrumentalism normally says some discourse is useful, but not genuinely true [Horgan,T] |
| 15798 | Kinds are arrangements of dispositions [Fetzer] |
| 15799 | Lawlike sentences are general attributions of disposition to all members of some class [Fetzer] |