Raisonner avec les machines : la programmation est-elle une forme de connaissance ?

To reason with machines : Is programming a form of knowledge?

• Auteur / Autrice : Henri Stephanou
• Direction : Pierre Wagner
• Type : Thèse de doctorat
• Discipline(s) : Philosophie
• Date : Soutenance le 18/12/2023
• Etablissement(s) : Paris 1
• Ecole(s) doctorale(s) : École doctorale Philosophie (Paris ; 1998-....)
• Partenaire(s) de recherche : Laboratoire : Institut d'histoire et de philosophie des sciences et des techniques (Paris ; 1932-....)
• Jury : Président / Présidente : Sophie Roux
• Jury : Examinateurs / Examinatrices : Pierre Wagner, Sophie Roux, Daniel Jackson, Dominique Pradelle, Baptiste Mélès, Ray Turner
• Jury : Rapporteur / Rapporteuse : Sophie Roux, Daniel Jackson

Mots clés

Mots clés contrôlés

Théorie de la connaissance

Système (philosophie)

Machines

Philosophie

Informatique

Programmation (informatique)

Mots clés libres

Machine

Système

Investigation

Procédure

Règle

Programmation

Informatique

Dewey

Aristote

Kant

Ryle

Jackson (Michael)

Simon (Herbert)

Martin-Löf

Pratique

Technique

Aristotle

Computing

Program

Technology

Practice

Inquiry

System

Procedure

Rule

Machine

Martin-Löf

Simon (Herbert)

Jackson (Michael)

Ryle

Dewey

Kant

Résumé

Ce travail propose une interprétation nouvelle de l'effectivité qu'a l'informatique à transformer notre monde humain. Cette interprétation se passe des notions habituelles de calcul et d'information et se fonde plutôt sur l'idée que les investigations, par lesquelles nous résolvons nos problèmes, peuvent être récapitulées en des procédures qui expliquent comment éviter l'effort d'une seconde recherche. Lorsque ces procédures sont exprimées par des règles exactes, prédéfinies dans un système, et que celles-ci parcourent exhaustivement l'ensemble des conditions possibles du problème, alors elles sont systématiques et peuvent être programmées. Il est possible de construire une machine universelle (capable d'exécuter des procédures quelconques, du moment qu'elles sont décrites dans un système de règles, quel qu'il soit) dans des contrôles de transmission (système d'irrigation, mécanisme d'horlogerie, circuit électrique, etc.). Programmer, c'est insérer une telle machine dans une situation afin d'y résoudre un problème. La machine rend une règle effective dans la situation. Lorsque celle-ci est symbolique (une investigation en cours) la machine non seulement accélère la recherche, mais également lui donne accès à de nouvelles opérations, permet de vérifier le raisonnement, etc. Lorsque la situation est l'expérience elle-même, la programmation rend dynamiques nos systèmes de règles institutionnels et techniques (par exemple une administration ou une usine). Ces deux formes d'effectivité expliquent les bouleversements qu'occasionne l'informatique dans notre monde humain.

This study proposes a new interpretation of the effectiveness of computing in transforming our human world. This interpretation dispenses with the usual notions of computation and information and is based instead on the idea that the inquiries, by which we solve our problems, can be summed up in procedures that explain how to avoid the effort of a second search. When these procedures are expressed by exact rules, predefined in a system, and when these rules run exhaustively through the set of possible conditions of the problem, then the procedures are systematic and can be programmed. It is possible to build a universal machine (ie capable of executing any procedure, as long as they are described in a system of rules, whatever that may be) in transmission controls (irrigation system, clock mechanism, electrical circuit, etc.). To program means to insert such a machine into a situation in order to solve a problem. The machine makes a rule effective, ie immediately valid in the situation. When the situation is symbolic (an inquiry in progress), the machine does not only speed up the search, but also gives access to new operations, allows to verify the reasoning, to explore gigantic rule spaces, and so on. When the situation is experience itself, programming makes our institutional and technical rule systems dynamic (for example, the operation of an administration or a factory). These two forms of effectiveness explain the upheavals that computing is causing in our human world.