Combining Philosophers

Ideas for Hermarchus, Keith Devlin and Mark Colyvan

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

5 ideas

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic

8081	'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin]

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic

8085	Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin]

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL

8086	Predicate logic retains the axioms of propositional logic [Devlin]

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

17926

Rejecting double negation elimination undermines reductio proofs [Colyvan]

17925

Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan]