Loading Events

« All Events

  • This event has passed.

CEFISES Seminar: Peter Verdée, “A new interpretation of intuitionistic logic”

2022-11-18@14:00-16:00 CET

Livestream   https://youtu.be/1M50_aY-rKI

Series: Logic and Philosophy

Speaker: Peter Verdée (UCLouvain)

Title: A new interpretation of intuitionistic logic

Abstract: Work-in-progress talk about some recent ideas about a new possible-state semantics for intuitionistic logic and its philosophical interpretation. The interpretation is based on the idea of primitive states representing concrete (material) findings (a concrete proof or a concrete counterexample as written down by a mathematician, a concrete scientific study confirming something, a concrete scientific study falsifying something, a reliable witness in court etc), what is established by them, and what can be concluded from a bunch of them.

Details

Date:
2022-11-18
Time:
14:00-16:00 CET
Website:
https://youtu.be/1M50_aY-rKI

Organizer

Peter Verdée
Email:
peter.verdee@uclouvain.be

Venue

Salle Ladrière
Place du Cardinal Mercier 14 (bâtiment Socrate, a.124)
Louvain-la-Neuve, 1348 Belgium
+ Google Map