display all the ideas for this combination of texts
3 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] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |