Note ABES Mind the Gap : A Historico-Philosophical Investigation of the Ontological Status of Computer Programs Mind the Gap : Une investigation historico-philosophique du statut ontologique des programmes informatiques Philosophie Histoire Ontologie Programme d'ordinateur Philosophy History Ontology Computer Program Logiciels Philosophie Ontologies (informatique) Philosophie -- Histoire Cette thèse examine le statut ontologique des programmes informatiques. De précédentes études ont placé les programmes informatiques dans presque toutes les catégories ontologiques disponibles et ont affirmé qu'ils avaient une « double nature ». Ma principale contribution au débat consiste à proposer un cadre alternatif mettant l'accent sur l'implémentation informatique et ses relata. Je soutiens qu'il n'est pas nécessaire d'approuver le point de vue de la double nature en suggérant que le terme « programme » est un polysème - un terme générique abritant diverses entités couvrant la dichotomie abstrait-concret. L'avantage de ce point de vue est qu'il évite de poser des entités métaphysiquement douteuses. Au lieu de cela, nous pouvons comprendre l'ontologie des programmes comme un réseau de relations entre abstracta et concreta que nous rassemblons par la mise en oeuvre lorsque nous utilisons des machines informatiques comme outils épistémiques. Pour mettre en évidence et explorer les revendications de ce point de vue alternatif, je me plonge d'abord dans la littérature philosophique sur l'implémentation et je taxinomise ses différentes notions. En temps voulu, je propose une théorie unifiée de l'implémentation agentielle, l'UTAI. Plus précisément, l'UTAI préconise le développement d'une série d'études de cas clarificatrices connexes qui suivent trois relations de dépendance différentes entre nous et les constituants ontologiquement différents sous le terme de programme. En conséquence, je discute des implications de la première relation de dépendance entre les programmeurs et les programmes en tant qu'objets abstraits. En adoptant le problème de la création - une question bien connue de la philosophie de l'art - je présente une nouvelle perspective sur les options métaphysiques qui nous permettent de considérer les programmes comme des entités abstraites. Ensuite, je me concentre sur la seconde relation de dépendance entre les agents humains et l'informatique physique. En conséquence, je fournis un nouvel argument pour comprendre l'implémentation informatique comme une relation à trois places et je développe une notion appropriée appelée Implémentation-as (basée sur le compte DEKI de la représentation scientifique). Enfin, j'aborde la troisième relation de dépendance entre les programmeurs et les systèmes matériels utilisés pour l'exécution des programmes. En combinant les idées de l'interventionnisme, des artefacts techniques et de la littérature néo-mécaniste, j'introduis la notion de « programmabilité physique ». This thesis addresses the ontological status of computer programs. Previous studies have placed computer programs in almost every ontological category available and claimed that they have a ‘dual nature.' My primary contribution to the debate is offering an alternative framework emphasizing computational implementation and its relata. I argue that we do not need to endorse the dual nature view by suggesting that ‘program' is a polyseme - an umbrella term hosting various entities spanning the abstract-concrete dichotomy. The advantage of this view is the avoidance of positing metaphysically dubious entities. Instead, we can understand the ontology of programs as a network of relations between abstracta and concreta that we bundle together through implementation when using computing machines as epistemic tools. To flash out and explore the claims of this alternative view, I first delve into the philosophical literature on implementation and taxonomize its different notions. In due course, I offer a unified theory of agential implementation, short UTAI. Specifically, UTAI advocates developing a series of related clarificatory case studies that track three different dependency relations between us and the ontologically different constituents under the term program. Accordingly, I discuss the implications of the first dependency relation between programmers and programs as abstract objects. By adopting the Problem of Creation - a well-known issue from the philosophy of art - I present a fresh perspective on the metaphysical options that allow us to view programs as abstract entities. Next, I focus on the second dependency relation between human agents and physical computation. As a result, I provide a new argument for understanding computational implementation as a three-place relation and develop a suitable notion called Implementation-as (based on the DEKI account of scientific representation). Lastly, I address the third dependency relation between programmers and the material systems used for program execution. By combining the insights of interventionism, technical artifacts, and neo-mechanistic literature, I introduce the notion of ‘physical programmability.' Electronic Thesis or Dissertation Text en PDF 2411988 https://pepite-depot.univ-lille.fr/LIBRE/EDSHS/2025/2025ULILH004.pdf http://www.theses.fr/2025ULILH004/abes https://theses.hal.science/tel-05447970 https://theses.hal.science/tel-05447970 https://theses.hal.science/tel-05447970 Wiggershaus Nick 1991-06-16 DE 282931929 https://theses.fr/2025ULILH004 2025ULILH004 https://doi.org/10.70675/0e2d4688z89bfz49a1z8229zd113f9d427e2 2025-01-08 Philosophie Université de Lille (2022-....) 259265152 Doctorat Docteur es non oui Rahman Shahid MADS_DIRECTEUR_DE_THESE_1 059922435 De Mol Liesbeth MADS_DIRECTEUR_DE_THESE_2 225023008 Primiero Giuseppe MADS_PRESIDENT_DU_JURY 120734311 Knuuttila Tarja MADS_MEMBRE_DU_JURY_1 282931481 Turner Raymond MADS_RAPPORTEUR_1 028730666 Jebeile Julie MADS_RAPPORTEUR_2 17821213X École doctorale Sciences de l'homme et de la société (Lille ; 2006-....) MADS_ECOLE_DOCTORALE_1 473 148938809 Savoirs, textes, langage (Villeneuve d'Ascq, Nord ; 2006-....) MADS_PARTENAIRE_DE_RECHERCHE_1 094767386 11909 Université de Lille (2018-2021) MADS_PARTENAIRE_DE_RECHERCHE_2 223446556 ddc:100 Rahman Shahid De Mol Liesbeth Primiero Giuseppe Knuuttila Tarja Turner Raymond Jebeile Julie École doctorale Sciences de l'homme et de la société (Lille ; 2006-....) Savoirs, textes, langage (Villeneuve d'Ascq, Nord) Université de Lille (2018-2021) PDF 2411988