Course content

The course provides an introduction to formal logic and argumentation theory.

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

In argumentation theory the focus is on common argument forms and fallacies.

Learning outcome

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.
• knowledge about different forms of argument and fallacies.
• 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 evaluate logical validity and to perform simple logical proofs.
• can, in a non-formal fashion, analyze arguments and recognize fallacies.

Learning methods and activities

Lectures, exercise group, and self-study.

In order to sit the exam, students must have 80 % attendance in the exercise group. The obligatory activity can only be approved the semester the course is taught, but is valid for this and the subsequent semester.

Compulsory assignments

• 80% attendance exercise groups

Required previous knowledge

None.

Course materials

The required reading list will be available at the beginning of the semester.

Credit reductions