Combining Philosophers

All the ideas for Hermarchus, Augustus De Morgan and Koen Vervloesem

expand these ideas     |    start again     |     specify just one area for these philosophers

---

5 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula

15380

Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem]

5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic

17744

De Morgan started the study of relations and their properties [De Morgan, by Walicki]

13501

De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD]

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

17743

De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]

25. Social Practice / F. Life Issues / 6. Animal Rights

6005	Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley]