NOL Seminar with Wesley Holliday
published: 2024-11-11
event date:
2024-11-25
The Nordic Online Logic Seminar
is organised monthly over Zoom, with expository talks on topics of interest for
the broader logic community. The seminar is open for professional or aspiring
logicians and logic aficionados worldwide. If you wish to receive the Zoom ID
and password for it, as well as further announcements, please subscribe here:
https://listserv.gu.se/sympa/subscribe/nordiclogic
Date Monday, 25 November 2024 at 17:00 CET (UTC+1) on Zoom
Speaker Wesley Holliday (Professor of Philosophy, UC Berkeley)
Title From constructive mathematics and quantum mechanics to Fundamental Logic
Abstract
Non-classical logics have been proposed in a number of domains, including
constructive mathematics and quantum mechanics. In this talk, I will identify a
base logic beneath some of these non-classical logics that I suggest has a
certain fundamental status. I will give an introduction to the proof theory and
semantics of this “Fundamental Logic.”