Combining Texts

Ideas for 'Folk Psychology', 'Reply to Foucher' and 'Goodbye Descartes'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

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

8085	Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin]
	Full Idea: Where Aristotle had 19 different inference rules (his valid syllogisms), modern propositional logic carries out deductions using just one rule of inference: modus ponens.
	From: Keith Devlin (Goodbye Descartes [1997], Ch. 4)
	A reaction: At first glance it sounds as if Aristotle's guidelines might be more useful than the modern one, since he tells you something definite and what implies what, where modus ponens just seems to define the word 'implies'.

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]
	Full Idea: Since predicate logic merely extends propositional logic, all the axioms of propositional logic are axioms of predicate logic.
	From: Keith Devlin (Goodbye Descartes [1997], Ch. 4)
	A reaction: See Idea 7798 for the axioms.