Skip to the content.

Welcome to the course Philosophical Logic! It is given during the summer semester 2025 at LMU Munich as part of the Master in Logic and Philosophy of Science. (Past editions: summer 2023, summer 2024 and previously at the University of Amsterdam.)

Motivation

Often, what is understood by ‘logic’ is classical logic (either classical propositional logic or classical first-order logic). Its typical features are, for example, that a sentence p is either true or false and that not not p is the same as p. In many situations, though, simply assuming classical logic is not appropriate. Such situations arise, as we’ll see, in philosophy and neighboring disciplines (like mathematics, computer science, and linguistics). For example, when reasoning with: vague concepts, incomplete or inconsistent data, conditionals (i.e., ‘if, then’ sentences), and what it means to be true. The course will be about exploring different logics to model these (and other) phenomena. A focus of the course is on using both algebraic and state-based (or ‘possible world’) semantics to mathematically describe the meaning of these different logics.

General information

The instructor of the seminar is me, Levin Hornischer. During the semester, we meet on Thursdays from 14:00 to 16:00 in room 028 (Ludwigstr. 31). Below you find a schedule of when we cover which topic.

Lecture Notes

You find the latest edition of the lecture notes in this file: phillog.pdf. They are updated as the course progresses.

Formalities

All the organizational details for the course are described in this file: formalities.pdf.

Schedule

The schedule below describes in which week we will cover which material. The sections refer to the lecture notes. The exercises are recommended to do for the next session.

Week Week Date Chapter Lecture Exercises
1 24 Apr 1-2 until and including sec. 2.2 Recap sec. 2.2 and do exercises therein
2 1 May - cancelled (Labor Day)  
3 8 May 2    
4 15 May TBA    
5 22 May TBA    
6 29 May - cancelled (Ascension Day)  
7 5 Jun TBA    
8 12 Jun TBA    
9 19 Jun - cancelled (Corpus Christi)  
10 26 Jun TBA    
11 3 Jul TBA    
12 10 Jul TBA    
13 17 Jul TBA    
14 24 Jul TBA    

Essay topic

Below are some possible essay topics. I’ll extend this list as the course progresses.

Just to be sure, these suggested topics are meant as first ideas. It is part of the task of writing an essay to turn an interesting aspect of the suggested topic into a precise research question and collect the relevant literature on it. Please take a look at the grading criteria mentioned in the file formalities.pdf to get a clear idea of what a good essay is expected to look like.