Deduction and Metalogic
Postgraduate course
- ECTS credits
- 10
- Teaching semesters
- Spring
- Course code
- LOG311
- Number of semesters
- 1
- Teaching language
- Norwegian or English
- Resources
- Schedule
- Reading list
Course description
Objectives and Content
Learning Outcomes
Knowledge:
After completing the course, the students should have good insight into natural deduction, and understand how natural deduction differs from the tree method. Furthermore, the students should understand what role interpretations play in the semantics of first-order predicate logic. The students should also be familiar with the central metalogical concepts.
Skills:
After completing the course, the students will master natural deduction in propositional and predicate logic with identity. Furthermore, they should be able to make interpretations and write proofs in metalogic as well as the tree method, both in propositional and predicate logic.
Competence:
The course provides the basis for further studies with a bachelor's degree with specialization in philosophy or cognitive science. The course can also be used as support for the study of other subjects, for example, linguistics, computer science, informatics and mathematics.
ECTS Credits
Level of Study
Semester of Instruction
Place of Instruction
Required Previous Knowledge
Recommended Previous Knowledge
Access to the Course
Teaching and learning methods
The teaching takes the form of lectures and seminars.
If fewer than four students are registered, the number of lectures may be reduced. And we will offer individual small group teaching.
Compulsory Assignments and Attendance
An approval of mandatory work requirements is valid for three semesters including the semester for which the approval was given.
Students must provide written answers to 2 assignments during the semester. Deadlines are set by the institute. The answers must be approved in order to take the exam in the course.
Students must attend at least 75% of seminars. At the seminar the students will present solutions to assignments.
Forms of Assessment
Four-hour sit-in written examination with questions from various parts of the reading list.
Exams in the course are held every semester.
The compulsory activities have to be formally approved before one can take an exam in the course.
Grading Scale
Assessment Semester
Autumn / Spring
The compulsory work requirements must be approved before the examination can be taken in the course.