Bonjour à tou(te)s,
Vous êtes bienvenu(e)s au colloque interdisciplinaire (Philosophie de la logique, des mathématiques, de l’informatique) Indiscernibility and abstraction: classification and types, qui se tiendra les 21 et 22 novembre à l’Université Jean Moulin Lyon 3 (renseignements pratiques et programmation des exposés: voir ci-dessous - informations actualisées sur irphil.univ-lyon3.fr<http://irphil.univ-lyon3.fr>). Organisé par Jean-Baptiste Joinet et Wendy Hammache, ce colloque a bénéficié du soutien de l’IRPhiL (EA 4187, Université Jean Moulin Lyon 3), de la CAPES-Brasil et du Cofecub. Les exposés auront lieu en anglais. L’entrée est libre et gratuite. Au plaisir de vous y rencontrer. J-B. Joinet & W. Hammache Indiscernibility & abstraction : classification and types 21-22 novembre 2019. Université Jean Moulin Lyon 3 15 quai Claude Bernard, 69002 Lyon Salle Boris Starck Coordination scientifique : Jean-Baptiste Joinet Organisation : J-B Joinet, W. Hammache Institut de Recherches Philosophiques de Lyon - Université Jean Moulin Lyon 3 JEUDI 21 NOVEMBRE 10h30-11h30 Luiz Carlos Pereira Institut de Logique et Philosophie du langage PUC-Rio de Janeiro, Département de philosophie The resilience of abstraction: Locke, Berkeley and Hume 11h30-12h30 Sébastien Gandon Laboratoire Philosophies et Rationalités Université Clermont Auvergne Département de philosophie Abstraction in the wild Pause déjeuner 14h15-15h15 Jean-Baptiste Joinet Institut de Recherches Philosophiques de Lyon Université Jean Moulin Lyon 3, Faculté de philosophie Abstraction and Classification : from Indiscernibility to Types 15h15-16h15 Paulo Veloso Programme en Ingénierie Systèmes & Computation COPPE - Université Fédérale de Rio de Janeiro On Partitions and Relations: some ideas and results Pause 16h30-17h30 Wendy Hammache Institut de Recherches Philosophiques de Lyon Université Jean Moulin Lyon 3, Faculté de philosophie Inquiry into meaningfulness : Russell's and Church's type theories 17h30-18h30 Jean-Michel Roy École Normale Supérieure de Lyon Département des sciences humaines Type and concept VENDREDI 22 NOVEMBRE 9h45-10h45 Henri Galinon Laboratoire Philosophies et Rationalités Université Clermont-Auvergne, Département de philosophie The objectivity of empirical types. Machine Learning and Philosophy in conversation 10h45-11h45 Hermann Hauesler Laboratoire Méthodes Formelles, Logique et Raisonnement. PUC-Rio de Janeiro, Département d’Informatique Indiscernibility, Cauchy Integral, Waves and Sheaves Pause 12h-13h Sheila Veloso Département d'Ingénierie Systèmes & Computation UERJ (Rio de Janeiro), On Graphical Calculi: Some Concepts and Methods. Organisé avec le soutien de l’IRPhiL (EA 4187, Lyon 3), de l’action CAPES-Cofecub Sh-873 17 « Philosophy and Computing : contemporary interactions » et du programme CAPES-PRINT « Logic, Philosophy and Computation » -- https://www.vidal-rosset.net/Mailing_list_educasupphilo.html
