Buts et objectifs

Le thème général du projet précédent est conservé. Nous nous proposons de préciser de qu'est le raisonnement hypothétique, comment le représenter de façon spécifique et de déterminer ses lois primitives. Cependant il y a un changement d'orientation dans la mesure où le nouveau projet se place uniquement dans la perspective de la théorie de la démonstration. La structure choisie pour organiser le projet précédent ayant été profitable, le projet actuel est aussi divisé entre un projet Maître et plusieurs projets individuels. Tous les participants contribuent au premier qui porte les questions fondamentales de la proof-theoretic semantics et celles de la modélisation des systèmes logiques dans ce cadre. Les projets individuels seront les suivants.
IP1 Preuve et vérité
IP2 La taxonomie des systèmes logiques.
IP3 Cadres généraux pour le raisonnement hypothétique
IP4 Recherches historiques: la proof theoretic semantics de Karl Popper.

Programme de travail, méthode

​ Comme dans le projet précédent, des rencontres, des rencontres régulières sont organisées. La durée normale de chacune est de deux jours. Chaque rencontre est consacrée à un des sujets du projet Maître et à quelques uns des sujets des projets individuels. Outre ces rencontres internes, nous prévoyons d'organiser deux conférences internationales avec des experts externes. L'une sous la forme d'un atelier, l'autre d'une conférence plus étendue. Cette dernière marquera la fin du projet et permettra d'exposer les résultats obtenus.