Academic Philosophy Events in the Netherlands
All events in academic philosophy
- This event has passed.
TULIPS – Norbert Gratzl, “Constructive, Many-valued, and Classical Logic”
27 October 2022 @ 15:30 - 17:00
The following talk at TULIPS (The Utrecht Logic in Progress Series) is a hybrid event. All are welcome in person or online. Please contact the organizers if you would like to join the online meeting.
Speaker: Norbert Gratzl (LMU Munich)
Title: Constructive, Many-valued, and Classical Logic
Date: October 27
Location: Stijlkamer (Janskerkhof 13, room 0.06).
Abstract: The starting point of the first part of this talk is Bell’s procedure of developing classical logic by use of the Epsilon Calculus on an intuitionistic basis. Bell’s argument will be analysed and some core building blocks used to obtain a similar result. This method is extended to obtain classical logic from (more) constructive logics. The talk continues by taking a many-valued logic (FDE) and producing the Logic of Paradox and Strong Kleene by (basically) the same ideas as in the first part of the talk, ultimately resulting in classical logic.
On behalf of the organizers,
and Colin Caret < email@example.com >
About the OZSW event calendar
The OZSW event calendar lists academic philosophy events organized by/at Dutch universities, and is offered by the OZSW as a service to the research community. Please check the event in question – through their website or organizer – to find out if you could participate and whether registration is required. Obviously we carry no responsibility for non-OZSW events.