Liens transverses ENS de Lyon

Agenda de l'ENS de Lyon

Groupe d'ontologie et de métaphysique contemporaines : « Ontologie computationnelle : individu, comportement et type »

Date
mer 20 mar 2019
Horaires

18h-20h

Lieu(x)

Salle D2.020

Intervenant(s)

Jean-Baptiste Joinet

Langue(s) des interventions

Description générale

"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
Mots clés
Disciplines