FIL2405 – Philosophical Logic and the Philosophy of Mathematics

Course content may vary from year to year but is based on either a further logical and philosophical study of classical propositional and predicate logic, or a logical and philosophical study of various extensions of, and alternatives to, classical Logic or central questions in the philosophy of mathematics.

Examples of the former may be meta-theory such as soundness and completeness proofs, the deduction theorem, etc.

Examples of the latter can be 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. Other 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 questions within the philosophy of mathematics include mathematical knowledge, mathematical objects, truth in mathematics, and the applicability of mathematics.

After passing the exam, you will have

• gained a deeper understanding of what logic and/or mathematic
• of formalization as a philosophical Method

You will also have

• acquired a deeper understanding of the philosophical and logical an/or mathematical concepts and techniques that have been discussed in the course
• gained a sufficient understanding ofl logic and/or mathematics and its/their philosophical background to enable further study in these areas on your own.

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.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.

12 double sessions of combined seminars and lectures. The teaching takes place together with master students following FIL4405. The course has the following compulsory activities:

• you must submit a question concerning the readings assigned for the relevant week at least 9 out of the 12 weeks
• you must submit a draft of the examination essay in the portfolio
• you are required to make 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 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.

The exam has two parts; An essay of approximately 5 pages (one page should contain approximately 2300 characters), excl literature list, and a 2 hour school exam. The essay is weighted 40% towards the final grade while the school exam is weighted 60%.

In order for you to qualify for the final examination, all compulsory activities must be approved by the teacher.