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 ¿ classical propositional logic. Arguments can then be formalized and discussed with reference to the central... -- Course Website
Instructor: Dr D Hyde
