"Le programme de constitution d'une ontologie computationnelle articule deux grandes étapes. La première est celle de l'ontologie algorithmique. Elle vise à comprendre l'individuation et la séparation des comportements algorithmiques dans le processus computationnel et à dégager les conditions de possibilité de cette individuation et de cette séparation. La seconde, vise ce qu'on pourrait appeler une ontologie d'ordre supérieur, à travers l'idée de comportement collectif, i.e., d'aspects comportementaux communs à un ensemble d'individus (type comportemental).
Après avoir présenté ces deux étapes en lien avec des cadres computationnels 'concrets' (Church), je tâcherai de montrer comment l'émergence de la notion logique de type à partir de l'ontologie computationnelle, c'est-à-dire à la transformation de l'information, invite en fin de compte à questionner la détermination de la logique par la physique."
Jean-Baptiste Joinet, professeur en logique à l'Université Jean Moulin Lyon 3,
Chercheur au Centre Cavaillès, La République des savoirs: Lettres, Sciences, Philosophie (USR 3608 CNRS-ENS Paris-Collège de France),
Auteur d'une thèse de doctorat en théorie de la démonstration intitulée "Étude de la normalisation du calcul des séquents classique a travers la logique linéaire" dirigée par Jean-Louis Krivine à l'université Paris Diderot.
Gratuit
Thomas Tulinski
Mail : thomas.tulinski [at] ens-lyon.fr
Mots clés
Disciplines