Course - Logic - FI1005
Logic
Assessments and mandatory activities may be changed until September 20th.
About
About the course
Course content
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.
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.
- 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.
Learning methods and activities
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.
Compulsory assignments
- 80% attendance exercise groups
- 80% attendence exercise group
Further on evaluation
(the information may be changed until June 15th)
The course is divided into a number of modules, such that one has to pass all modules for grade A, and gets a one grade lower for each module one has not passed. To pass a module, it is required to pass the test for the module. Module tests must be taken under supervision, and this can be done at a designated time each week during the semester - information about the specific time will be given at the start of the semester. The tests must be taken in order, and it is required to pass the first test before taking the second, etc. One can pass maximum one test per week. A failed test can be attempted again in the next available time slot.
Required previous knowledge
None.
Course materials
Digital learning resources, which will be provided at the beginning of, and during, the semester.
Credit reductions
| Course code | Reduction | From |
|---|---|---|
| FI1303 | 7.5 sp | Autumn 2022 |
| FI1203 | 7.5 sp | Autumn 2022 |
| FI1103 | 7.5 sp | Autumn 2022 |
Subject areas
- Philosophy