FIL4405 – Philosophical Logic and the Philosophy of Mathematics
Course description
Schedule, syllabus and examination date
Course content
The contents of the course may vary from year to year but will be based on: (1) a further logical and philosophical study of classical propositional and predicate logic; (2) a logical and philosophical study of various extensions of, and alternatives to, classical logic; or (3) central questions in the philosophy of mathematics. Examples of (1) include metatheory such as soundness and completeness proofs, the deduction theorem, etc. Examples of (2) include G?del`s incompleteness theorem, various systems of modal logic (for example, K, T, S4, S5), as well as systems of deontic logic, temporal logic, or doxastic logic. Further examples of specialization may be within identity theory, model theory, set theory, second-order logic, logical consequence, conditionals, counterfactuals, intuitionistic logic, relevance logic, and various logical paradoxes such as Russell`s Paradox, Liar Paradox, etc. Examples of (3) include mathematical knowledge, mathematical objects, truth in mathematics, and the applicability of mathematics.
Learning outcome
After passing the exam, you will have
- gained a deeper understanding of the nature of logic and/or mathematics
- acquired a thorough understanding of the central philosophical questions that arise in connection with one or both of these formal sciences, as well as an ability to think independently about how these questions are to be answered.
Having passed the exam in this unit will enable you to understand and orient yourself in the philosophical literature in this area.
Admission to the course
Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.
Students enrolled in other Master`s Degree Programmes can, on application, be admitted to the course if this is cleared by their own study programme.
If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.
Requires admission to the Master`s programme in philosophy.
Recommended previous knowledge
EXFAC03-FIL - Exfac, filosofivariant from fall 2007 till fall 2011 or FIL1006 - Innf?ring i logikk. If you are uncertain about whether or not your your previous knowledge within the field is sufficient, we advise you to contact the teacher responsible for the course.
Overlapping courses
- 10 credits overlap with FIL4406 – Philosophical logic and the philosophy of mathematics (discontinued).
- 10 credits overlap with FIL2405 – Philosophical Logic and the Philosophy of Mathematics.
Teaching
12 double sessions of seminar. The teaching takes place together with students from FIL2405.The course has the following compulsory activities:
- 4 take-home problems sets
- a draft of the final essay (term paper)
- an in-class presentation
In order for you to qualify for the final examination, all compulsory activities must be approved (accepted as satisfactory) by the teacher. The tuition activities are only valid for one semester (the same semester you attend the course).
This is how you apply for valid absence from the seminar / postponement of obligatory activities.
Examination
.A term paper of 6-8 pages (one page should contain approximately 2300 characters), excl literature list. You submit the term paper in Inspera.
In order for you to qualify for the final examination, all compulsory tuition activities must be approved by the teacher.
For more information about the evaluation of the exam spring 2022, please see the Evaluation criteria 2022.
Language of examination
The examination text is given in English, and you submit your response in English.
Grading scale
Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.
More about examinations at UiO
- Use of sources and citations
- Special exam arrangements due to individual needs
- Withdrawal from an exam
- Illness at exams / postponed exams
- Explanation of grades and appeals
- Resitting an exam
- Cheating/attempted cheating
You will find further guides and resources at the web page on examinations at UiO.