Logic (5cr)

Objectives

The participants are capable of reading and writing both propositional and predicate logic. They are familiar with the basic semantic notions, such as logical truth and logical consequence, and are thus able to evaluate the validity of inferences. They understand the main principles of deduction and proof and are capable of constructing simple deductions in the system of natural deduction.

Content

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.