Logical Constants and Laws

Tue, 17 Mar 2026 16:00:00 +0100

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.

SP900/Lab42 L1.04 on Φ-Math

Logical Constants and Laws