display all the ideas for this combination of texts
4 ideas
8081 | 'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin] |
8085 | Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin] |
8086 | Predicate logic retains the axioms of propositional logic [Devlin] |
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |