Academic Philosophy Events in the Netherlands

All events in academic philosophy

Submit your own event

Loading Events

« All Events

  • This event has passed.

TULIPS – Norbert Gratzl, “Constructive, Many-valued, and Classical Logic”

27 October 2022 @ 15:30 - 17:00

Description

Read More
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 Time: 15.30-17.00 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…
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 ​Time: 15.30-17.00 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, Rosalie Iemhoff, Johannes Korbmacher, and Colin Caret < c.r.caret@uu.nl >

Details

Date:
27 October 2022
Time:
15:30 - 17:00

Venue

Stijlkamer Janskerkhof (0.06), Janskerkhof 13, Universiteit Utrecht Academiegebouw, 3512 BL Utrecht, The Netherlands
Janskerkhof 13, Universiteit Utrecht Academiegebouw, 3512 BL Utrecht, The Netherlands
Utrecht, Utrecht 3512 BL The Netherlands

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
​Time: 15.30-17.00

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,

Rosalie Iemhoff,
Johannes Korbmacher,
and Colin Caret < c.r.caret@uu.nl >

Submit your own event

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.