Current course offerings

Please Note: Course profiles marked as not available may still be in development.

Course description

This course in formal logic is intended as an introduction to the formal aspects of modern logic for students of philosophy, mathematics or computer science, or indeed anyone interested in logic. We assume that students have no previous background in logic. It begins with some discussion as to what logic is and what its role in philosophy might be. It will then move on to more formal aspects. Beginning with the notion of a formal language into which sentences and arguments are to be translated, we shall develop the syntax and semantics for a language of sentences or propositions in classical propositional logic. Arguments can then be formalized and discussed with reference to the central notion of validity. The primitive language of classical propositional logic is then extended to accommodate the theory of quantifiers, which is formalisable in classical predicate logic, and the notion of validity is generalized to this extended language.

Archived offerings