display all the ideas for this combination of philosophers
4 ideas
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |