The main objective of this course is to enable the students to understand: - what logic is about, - how logical reasoning can be discretized and formalized in: - propositional logic, - predicate logic, and - intensional logic; - why formal logic cannot handle all what is reasonable.

The topics to be covered are the following: • Basic concepts of logic • Arguments and argument schemata • Logical constants • Logic systems • Propositional logic • Analysis of propositions into predicates and arguments • Formal languages • Syntax of a formal language • Backus-Naur form • Semantics of a formal language • Syntactic validity • Semantic validity • First-order predicate logic • Deduction systems