Unix selon l’ordre des raisons : la philosophie de la pratique informatique

Baptiste Mélès (1)

1 LHSP - Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré

In philosophy of science, it is sometimes fruitful to examine whether technical concepts originate from a structural necessity, rather than from the contingency of invention. Operating systems, for instance, rely on two main concepts: the notions of process and file. Trying to identify their raison d’être, we can see that they are, since Unix, the transposition in computer science of the abstract ontological notions of act and object, and that they satisfy all the properties that category theory may expect. Programming can therefore be seen as a “thematization,” i.e. the transformation of the act or process into an object or file. But we also realize that the execution of programs acts as an “antithematization:” a transformation of objects into acts, which also has instances in recent history of mathematics. Concepts and methods of computing practices can be for philosophy as pure objects as mathematics are.

Il est parfois fécond, en philosophie des sciences, de chercher si les concepts techniques relèvent d’une nécessité de structure plutôt que des seuls hasards de l’invention. En essayant de fonder de la sorte les concepts fondamentaux des systèmes d’exploitation que sont les notions de processus et de fichier, on s’aperçoit qu’ils sont, depuis Unix, les pendants des notions ontologiques abstraites d’acte et d’objet, et qu’ils satisfont toutes les propriétés que la théorie des catégories peut en attendre. La programmation peut dès lors être vue comme une thématisation, c’est-à-dire la transformation de l’acte qu’est le processus en l’objet qu’est le fichier ; mais on découvre également que l’exécution de programmes joue le rôle d’une « antithématisation », transformation d’objets en actes dont l’histoire récente des mathématiques fournit également des exemples. Par ses concepts comme par ses procédés, la pratique informatique est pour la philosophie un objet aussi pur que les mathématiques.

Mots clés: operating system; process; file; philosophy of computer science

Mots clés: système d'exploitation; Unix; processus; fichier; philosophie de l'informatique; Jean Cavaillès

Domaines: Philosophie

Baptiste Mélès. Unix selon l’ordre des raisons : la philosophie de la pratique informatique. Philosophia Scientiae, 2013, 17 (3), pp.181-198. ⟨10.4000/philosophiascientiae.897⟩. ⟨hal-01224091v2⟩