Logical Constants and Laws
For this session, our dear classmate Edoardo will tell us all about Martin-Löf’s impact on the philosophy of math and logic. There is no specific text of focus; but those wanting to come extra-prepared can read Per Martin-Löf’s On the Meanings of the Logical Constants and the Justifications of the Logical Laws for some background on the central topics he will touch on.