For this session, our dear classmate Edoardo will tell us all about Martin-Löf’s impact on the philosophy of math and logic. The aim is to cover the topic in general, but for a text of focus we have the first two chapters of Per Martin-Löf’s On the Meanings of the Logical Constants and the Justifications of the Logical Laws.