Logic

The course provides an introduction to formal logic. Formal logic studies the logical relations between sentences, and provides skills that are necessary for understanding what characterizes good arguments. Familiarity with the basic concepts of formal logic is also a prerequisite for understanding many central texts in philosophy.

Key themes are: translation from natural language to logical notion (both propositional logic and first-order predicate logic); evaluation of logical validity; proof procedures.

According to the course curriculum, a candidate who passes this course is expected to have the following learning outcome, defined as knowledge and skills:

Knowledge:

• familiar with central concepts in propositional logic and first-order predicate logic.
• familiar with proof procedures in propositional logic and first-order predicate logic

Skills:

• can formalize sentences and arguments in both propositional logic and first-order predicate logic.
• can use formal logic to analyze arguments, evaluate logical validity, and to perform simple logical proofs.

Seminar and self-study.

The student must participate in at least 80% of the seminars, which including excercises and discussion. Digital learning resources will be made available for the students for self-study. The obligatory activity can only be approved the semester the course is taught, but is valid for this and the subsequent semester.