• Langue : Anglais
• Discipline : Philosophie
• Identifiant : 2025ULILH004
• Type de thèse : Doctorat
• Date de soutenance : 08/01/2025

Résumé en langue originale

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 ».

Résumé traduit

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.'