A new interpretation of intuitionistic logic

Louvain-La-Neuve

18 novembre 2022

14h

Louvain-la-Neuve

Salle Ladrière Place du Cardinal Mercier 14 (bâtiment Socrate, a.124)

SÉMINAIRE DU CENTRE CEFISES : PETER VERDée

Series: Logic and Philosophy

Speaker: Peter Verdée (UCLouvain)



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.

Categories Events: