Subject Area: Philosophy
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.