L'analyse des savoirs, la construction du sens - UMR 8163


Projet ANR dans le cadre des JCJC

PROGRAMme

ANR PROGRAMme : Qu'est-ce qu'un programme? Perspectives Historiques et Philosophiques// What is a program? Historical and philosophical perspectives

Le projet de recherche PROGRAMme – Projet financé par l’Agence Nationale de la Recherche (ANR) dans le cadre des JCJC - Projets Jeunes Chercheuses et Jeunes Chercheurs

Responsable scientifique : Liesbeth De Mol (CNRS, UMR 8163 Savoirs, Textes, Langage)

Site web du projet : http://programme.hypotheses.org

Membres du projet : http://programme.hypotheses.org/members

Début du projet : 01/02/2018
Fin du projet : 31/12/2023
Durée du projet : 71 mois

Financeur : ANR (291 238 €) https://anr.fr/Projet-ANR-17-CE38-0003

Résumé du projet en francais

Qu'est-ce qu'un programme informatique? À cette simple question, centrale en informatique, il n'existe pas une réponse unique, ni dans l'industrie, ni dans la recherche scientifique. Néanmoins, les réponses qu'on formule affectent des problèmes très réels comme p.e. le problème de la responsabilité s'il y a une défaillance de logiciel. On trouve plutôt une diversité d'interprétations du terme “programme”, implicites ou explicites, dans les pratiques pertinentes qui sont déterminées à partir des formulations, méthodes et solutions des problèmes particuliers dans ces mêmes pratiques (et vice versa). L'ambition de PROGRAMme est de développer une analyse cohérente et une conception pluraliste du terme “programme”, en combinant des études historiques avec des analyses philosophiques. Cette double méthode permet de retracer les significations du terme au long de son histoire. Elle permet aussi d'identifier et d'élucider ses différents sens dans et les pratiques qui le sous-tendent. Les éléments fondamentaux de ce terme pourront ainsi être reconstruits, avec l'ambition d'en libérer, et non d'en restreindre ses significations. Le projet a donc besoin de compétences historiques, philosophiques et informatiques et cette interdisciplinarité en est un défi considérable.

Résumé du projet en anglais

What is a computer program ? This seemingly simple question, which lies at the heart of computer science, has no simple answer today, neither in academia nor in industry. Nonetheless, the responses one gives to it affect very real problems, such as the issue of responsibility when a given piece of software fails. The aim of this project is to revisit that fundamental question from a more historical and philosophical angle. The project starts from a basic characterization of "program" along three different "modalities": a physical, a formal and a socio­technical modality. Any program is rooted in these three modalities and any understanding of "program" needs to incorporate them. This project wants to understand what a “program” is by focusing on the formal modality (mathematical, logical and linguistic properties), how it accommodates the two other modalities and how they come together in a programming practice.