17 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] |
| 14221 | Serious essentialism says everything has essences, they're not things, and they ground necessities [Shalkowski] |
| 14222 | Essences are what it is to be that (kind of) thing - in fact, they are the thing's identity [Shalkowski] |
| 14226 | We distinguish objects by their attributes, not by their essences [Shalkowski] |
| 14225 | Critics say that essences are too mysterious to be known [Shalkowski] |
| 14223 | De dicto necessity has linguistic entities as their source, so it is a type of de re necessity [Shalkowski] |
| 9220 | Lewis must specify that all possibilities are in his worlds, making the whole thing circular [Shalkowski, by Sider] |
| 17771 | How we evaluate evidence depends on our background beliefs [Bayne] |
| 17770 | Clifford's dictum seems to block our beliefs in morality, politics and philosophy [Bayne] |
| 17766 | Physicalism correlates brain and mind, explains causation by thought, and makes nature continuous [Bayne] |
| 17768 | Perception reveals what animals think, but humans can disengage thought from perception [Bayne] |
| 17769 | Some people centre space on themselves; others centre space on the earth [Bayne] |
| 17767 | The alternative to a language of thought is map-like or diagram-like thought [Bayne] |
| 14224 | Equilateral and equiangular aren't the same, as we have to prove their connection [Shalkowski] |