Combining Texts

Ideas for 'works', 'Goodbye Descartes' and 'Metaphysics: the logical approach'

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

display all the ideas for this combination of texts

---

6 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 / F. Set Theory ST / 1. Set Theory

3326	Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA]

3327	The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

3335	The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG]