Au-delà de la logique : le raisonnement hypothétique dans la Philosophie des sciences, l'Informatique et le Droit – BeyondLogic

Dans le Projet Principal nous nous sommes efforcés de donner les outils logiques employés pour analyser le raisonnement dans les trois domaines d'application choisis et avons étudié comment ces applications viennent en retour enrichir le concept de logique lui-même. Dans les trois projets individuels (Philosophie des sciences, l'Informatique et le Droit), nous avons étudié les formes spécifiques qu'y prend le raisonnement hypothétique. Nous voulions montrer que dans ces trois domaines la recherche proof-theoretic sur le raisonnement hypothétique mène à des aperçus, des idées et des résultats nouveaux dont ces domaines peuvent directement profiter. Nous avons montré que l'analyse philosophique du raisonnement hypothétique n'améliore pas seulement notre compréhension théorique de la logique, mais encore qu'elle peut s'avérer utile en pratique. La philosophie des sciences en fournit des exemples dans le champ de la philosophie appliquée pour une grande part aux sciences de la nature. L'informatique fournit des illustrations de ce genre dans celui des disciplines mathématiques et formelles. Le Droit en donne des exemples dans un champ autre que celui des sciences naturelles et qui appartient aux sciences humaines et sociales. Ainsi nous proposons de montrer que la logique peut toucher, sinon à tous, du moins à beaucoup de champs de recherche.

Dans la mesure où la structure choisie pour organiser nos projets précédents a fait ses preuves, nous avons divisé celui-ci en un Projet Principal auquel tous les participants contribuent également et en plusieurs Projets Individuels qui sont attribués à différentes équipes dans notre groupe Franco-Allemand. Ces Projets Individuels correspondent aux trois domaines qui viennent d'être mentionnés : IP1 Analyse menée au moyen de la démonstration du raisonnement hypothétique en philosophie des sciences, IP2 Informatique et modélisation philosophique du raisonnement hypothétique, IP3 Le raisonnement hypothétique en Droit.

Deux des participants de l'équipe allemande ont résidé à Paris, Peter Schroeder-Heister en 2016, Thomas Piecha en 2018/2019, en tant que chercheurs invités à l'IHPST. Nous avons eu des réunions régulières du projet chaque année. Chaque réunion a été consacrée à un des thèmes du Projet principal et à des thèmes choisis parmi ceux des Projets individuels. Outre ces réunions internes, nous avons organisé six conférences internationales avec des experts externes. Certaines de ces conférences ont pris la forme d'ateliers organisés à Paris, Lyon et Tübingen. Les deux plus importantes ont eu lieu, pour l'une à Tübingen intitulée «Logiques sous-structurelles: 25 ans aprés» en souvenir de la conférence tenue à Tübingen en 1990 et qui est à l'origine de ce champ de recherche ; l'autre à Cerisy la Salle en 2017. Cette dernière conférence a marqué la fin de notre projet commun et nous a permis de mettre en évidence ce que nous avion accompli. La seconde de ces conférences à donné lieu à une publication des en accès ouvert.

------------------------------

Pour chaque projet individuel, nous avions promis deux publications par an (en moyenne), l'une au moins dans un journal international, l'autre pouvant être aussi présentée dans une conférence internationale. Finalement, dans le cadre du projet principal, de l'IP1 et l'IP2 ce sont 18 publications (articles et chapitres d'ouvrage) qui ont été publié et deux ouvrages. Pour le Projet principal, nous comptons parmi les publications le volume des actes de la conférence qui a été publié par les coordinateurs du projet et aussi le volume rassemblant les actes du colloque consacré à Kreisel (Paris, Juin 2016) qui doit paraître chez Springer.

Durant les projets précédents, nous avons étudié le raisonnement hypothétique d’un point de vue logique. Ce nouveau projet vise le raisonnement hypothétique dans des domaines extérieurs à la logique. Notre point de vue principal est que les recherches logiques doivent faire leurs preuves en dehors de la logique et, conversement, qu’elles doivent prendre en compte la façon dont la logique est appliquée dans le « monde réel ». Ainsi nous passons d’une perspective interne à une perspective externe en prenant en compte ce sur quoi porte le raisonnement hypothétique lorsque nous allons au-delà de la logique.
Les domaines extérieurs à la logique que nous avons choisis sont ceux de la philosophie des sciences (en tant qu’application dans la philosophie), de l’informatique (en tant qu’application dans les sciences formelles) et du Droit (en tant qu’application au champ des interactions sociales). Dans chacun de ces domaines, la notion de raisonnement hypothétique joue un rôle de premier plan qui peut nous permettre de tester nos théories logiques. Il nous intéresse en particulier de mesurer jusqu’où la perspective proof-theoretic (propre à la théorie de la démonstration), que nous avons préconisée et employée dans nos recherches logiques, se rapporte à ces sujets.

C'est énoncer une platitude que de dire que la notion d'hypothèse joue un rôle important en philosophie des sciences, dans la mesure où les théories scientifiques sont des hypothèses soumises à des tests empiriques et qui servent à fournir des explications empiriques. Nous soutenons que l'adoption d'un point de vue proof-theoretic peut permettre de répondre à, ou du moins d'analyser de façon plus appropriée, quelques questions qui se posent en philosophie des sciences ; par exemple en employant des notions constructives d'implication ou des logiques sous-structurelles.

De même en Droit les raisonnements hypothétiques sont fréquents dans la mesure où les lois sont appliquées en en tirant des conséquences ; les lois étant alors tenues pour des hypothèses. Là encore, nous soutenons que l'adoption d'une perspective proof-theoretic se révèlera utile dans la mesure où elle fournit des méthodes nouvelles permettant d'extraire un contenu de corps structurés d'énoncés.

En informatique la logique, et en particulier la théorie de la démonstration, a des applications variées, comme la vérification de logiciels ou de matériels. Ici nous nous intéressons surtout à la direction inverse, c'est-à-dire à la façon dont ces applications de la logique façonnent, ou pourraient façonner, la forme de la logique elle-même. Nous soutenons que c'est bien ce qui a lieu et que cela mène à un « changement de paradigme » dans lequel la théorie de la démonstration va jouer un rôle plus important que celui qu'elle a actuellement.

Dans le Projet Principal nous donnerons les outils logiques employés pour analyser le raisonnement dans les trois domaines d'application choisis et étudierons comment ces applications viennent en retour enrichir le concept de logique lui-même. Dans les trois projets individuels, qui correspondent à la Philosophie des sciences, l'Informatique et le Droit, nous étudierons les formes spécifiques qu'y prend le raisonnement hypothétique.