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

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.

I Publications (internationales)
Revue à comité de lecture: 5.
Chapitre d'ouvrage: 5
Acte de colloque : 1
II Communications
Conférences (organisation): 2
Communication : 14

Colloque international (Tübingen). Séminaires (Paris-Lyon-Tübingen).

[]

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.