Logic, 5 cr

The course provides an introduction to the basic notions of logic (e.g. sentence, proposition, natural and formal language, logical derivability and provability, logical consequence and logical truth, extension and intension). The symbols and the syntax of classical propositional logic and first-order predicate logic, and natural deduction and the truth tables of propositional logic are taught in the course. The course includes basics in the semantics of predicate logic. Special attention is paid to those notions of logic which are important in view of any studies in philosophy.