A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can ...

SUMMARY: At the beginning of the 20th century, philosophical thought was transformed by the discovery of the "new logic", i.e. mathematical or symbolic logic. With this novum organum, philosophers ...

Description: A study of the principles and methods employed in the logical appraisal of arguments. Topics covered will include informal fallacies; syllogistic logic and Venn diagrams; sentence logic ...

This course is available on the MPhil/PhD in Philosophy. This course is not available as an outside option to students on other programmes. The course is, in general, only aimed at those students who ...