HYPOTHESES — Le raisonnement hypothétique dans la théorie de la démonstration.

Le raisonnement sous hypothèse, ou raisonnement hypothétique, est un concept clé de la logique. Alors que le projet précédent, encore en cours, étudiait certaines de ses principales propriétés logiques et sémantiques, celui-ci s’en tient au point de vue de la théorie de la démonstration. Ce recentrement rend la collaboration des équipes française et allemande encore plus étroite, puisque l’orientation précédente s’enrichit de nouveaux aspects qui renforcent cette orientation. Le projet principal (MP, i.e. Master Project), auquel tous les participants contribuent, a pour objet le format des systèmes représentant la gestion des hypothèses et les concepts clés de la sémantique déflationniste. Cette ligne directrice se décline alors selon quatre sous-projets (IP, i.e. Individual Project) :1) Preuve et vérité, 2) taxinomie des calculs pour le raisonnement hypothétique d’un point de vue épistémologique, 3) recherche d’un cadre général pour penser dans leur unité ces différents systèmes logiques, 4) recherches historiques sur le développement de ces systèmes de représentation.