Theses
Feel free to contact me to discuss ideas for bachelor’s or master’s theses, in particular if you want to discuss ideas related to logic or philosophy of mathematics. I might also be a possible supervisor.
Upcoming, current and past courses
- Spring 2024
- Språkfilosofi I
[English: Philosophy of language I]
guest lecturer
- Språkfilosofi I
- Spring 2023:
- Metod – argumentation, semantik och formell logik (kvällskurs)
[English: Methodology – argumentation, semantics and formal logic (evening course)]
lecturer
- Metod – argumentation, semantik och formell logik (kvällskurs)
- Fall 2022:
- Predikatlogik
[English: Predicate logic]
lecturer
- Predikatlogik
- Fall 2021:
- Satslogik
[English: Propositional logic]
lecturer - Predikatlogik
[English: Predicate logic]
lecturer
- Satslogik
[English: Propositional logic]
- Fall 2019:
- Logic in Computer Science and Artificial Intelligence
teaching assistant - Predikatlogik
[English: Predicate logic]
lecturer
- Logic in Computer Science and Artificial Intelligence
- Fall 2018:
- Logic in Computer Science and Artificial Intelligence
teaching assistant
- Logic in Computer Science and Artificial Intelligence
- Fall 2017:
- Inledning to logik
[English: Introduction to logic]
lecturer - Logic in Computer Science and Artificial Intelligence
teaching assistant
- Inledning to logik
- Spring 2017:
- Metalogik 1: Fullständighet
[English: Metalogic 1: Completeness]
teaching assistant - Metalogik 2: Ofullständighet och oavgörbarhet
[English: Metalogic 2: Incompleteness and undecidability]
teaching assistant
- Metalogik 1: Fullständighet
- Fall 2016:
- Inledning to logik
[English: Introduction to logic]
teaching assistant - Logic in Computer Science and Artificial Intelligence
teaching assistant
- Inledning to logik