Colloque | Indiscernibility & abstraction : classification and types


Ce colloque prolonge le colloque interdisciplinaire d'histoire et philosophie de la logique et des mathématiques, coordonné en février 2019 par Jean-Baptiste Joinet au titre de IRPhiL. Cette précédente édition était intitulée "The theory of definitions by abstraction: roots, History, Contemporary developments".

Le colloque abordera la problématique de l'abstraction, plus spécifiquement sous l'angle philosophique et épistémologique de l’indiscernabilité, de la classification et la notion de Type.

Intervenant(s) : Hermann Hauesler, Laboratoire Méthodes Formelles, Logique et Raisonnement. PUC-Rio de Janeiro, Département d’Informatique

Réalisation : PAPN