Logic - PHIL2001 |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
Description This course is about deductive logic (in particular, propositional logic and predicate logic). Aims to construct - and to understand - a precise, unambiguous, formal language. Many important parts of English are translatable into it, hence many arguments of English are translated into it too. It is a language with which we can better understand the concept of deductive proof.
Learning Outcomes At the end of this course, students should:
Assessment
|