display all the ideas for this combination of texts
4 ideas
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |