FIL2405 – Philosophical logic and the philosophy of mathematics

Schedule, syllabus and examination date

Choose semester

Course content

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.

Learning outcome

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.

Admission

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.

Prerequisites

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.

Teaching

12 double sessions of seminar. The teaching takes place together with master students.

Compulsory tuition activity:

  • you must submit 4 out of 6 short exercises (deadlines will be published in Canvas)
  • a draft for the first essay in the portfolio

In order for you to qualify for the final examination, all compulsory tuition activities must be approved (accepted as satisfactory) by the teacher. The compulsory tuition activities are only valid the same semester you attend the course.

Examination

A portfolio exam that consists of two essay. You submit the portfolio in Inspera.

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

Use of sources and citation

You should familiarize yourself with the rules that apply to the use of sources and citations. If you violate the rules, you may be suspected of cheating/attempted cheating.

Language of examination

You may write your examination paper in Norwegian, Swedish, Danish or 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.

Explanations and appeals

Resit an examination

Special examination arrangements

Application form, deadline and requirements for special examination arrangements.

Evaluation

All courses are subject to continuous evaluation. The Department's assessments of courses are
available at our web-pages but generally only in Norwegian.

Facts about this course

Credits

10

Level

Bachelor

Teaching

Spring 2020

Spring 2018

Autumn 2016

The course is offered on an irregular basis, but normally at least every third semester.

The course will not be offered fall 2019.

Examination

Spring 2020

Spring 2018

Autumn 2016

The course is offered on an irregular basis, but normally at least every third semester.

 

Teaching language

Norwegian (English on request)