Orateur
Paul Séjourné
(IHPST)
Description
Je tente d'approcher le programme de Syntaxe Transcendantale de Jean-Yves Girard depuis les logique transcendantale de Kant et Husserl et un lecture de Cavaillès. L'idée de la Syntaxe Transcendantale est de considérer que le logique (i.e. le typage) émerge de manière synthétique (à la Church ou à la Curry) depuis un matériel calculatoire/computationnel (unification a la Herbrand) analytique, en somme la question des conditions de possibilité du logique, et en particulier de la logique, se trouve replacée suivant celle des conditions de possibilités du calcul. On peut alors reposer la question de la nécessité de la séparation entre la logique formelle et la logique transcendantale.