THE THEORY OF DEFINITIONS BY ABSTRACTION: ROOTS, HISTORY, CONTEMPORARY DEVELOPMENTS Interdisciplinary conference - History and Philosophy of Logic and Mathematics
Coordination : Jean-Baptiste Joinet LYON, 11 & 12 February 2019 Univ. Jean Moulin Lyon 3, Salle Rotonde, 18 rue Chevreul, Lyon http://irphil.univ-lyon3.fr/ ——————— Chères et chers collègues, N’hésitez pas à noter dans votre agenda, la tenue du colloque d’Histoire et Philosophie des mathématiques évoqué ci-dessus. Consacré aux théories des "définitions par abstraction » (une terminologie introduite par l’Ecole de Peano à la fin du XIXe), à leurs sources antérieures (Leibniz), comme à leur postérité au XXe (Frege, Russell, Lorenzen, Vuillemin…) et dans les développements contemporains (courant néo-fregéen; approches computationnelles de la notion de type), ce colloque est ouvert au public. Les exposés auront lieu en anglais. Au plaisir de vous y retrouver, Jean-Baptiste Joinet ---- PROGRAMME DES EXPOSÉS : LUNDI 11 FÉVRIER (après-midi) 14:30-15:45 David RABOUIN (SPHERE, UMR 7219 CNRS & Univ. Paris Diderot) Leibniz on reduction to identities 15:45-17 :00 Paola CANTÚ (Centre Gilles Gaston Granger. UMR 7304 CNRS & Aix-Marseille Université) Definitions by abstraction as implicit definitions in the Peano School. Turn of the century (19th-20th) Pause café 17:15-18:30 Erika LUCIANO (Dipartimento di Matematica Giuseppe Peano, Università de Torino) The Peanian contributions to the theory of definitions by abstraction: methodological instances, teaching practices and textbooks MARDI 12 FÉVRIER 9:00-10:15 Sébastien GANDON (Philosophies & Rationalités, Univ. Clermont-Auvergne) Abstraction, Universals, Determinables. Russell’s idealist temptation Pause café 10 :30-11:45 Jean-Baptiste RAUZY (Rationalités Contemporaines, EA 3559, Sorbonne Université) Quasi-fregean Abstractions and the Caesar Problem 11:45-13:00 Baptiste MÉLÈS (Archives Henri Poincaré, UMR 7117 CNRS & Univ. de Lorraine) Principe d'abstraction et systèmes philosophiques chez Jules Vuillemin Lunch break 14:30-15:45 Benjamin SISKIND (Logic and the Methodology of Science, UC Berkeley) Neologicist foundations: inconsistent abstraction principles and part whole 15:45-17 :00 Jean-Baptiste JOINET (IRPhiL, Université Jean Moulin Lyon 3) >From abstraction principles to the notion of type : abstracting w.r.t. >contextual behavior Organisé par Jean-Baptiste Joinet, Informations actualisées en ligne sur : http://irphil.univ-lyon3.fr/ Contact : [email protected]<mailto:[email protected]> ———————————- Jean-Baptiste Joinet Professeur des universités Faculté de philosophie (Bureau 18, 1er étage) Université Jean Moulin - Lyon 3 1 rue de l’Université, 69002 Lyon [email protected]<mailto:[email protected]> http://www-philo.univ-paris1.fr/Joinet/ +33 4 78 78 72 38 Responsable du M2 LHPST (Logique, Histoire & Philosophie des Sciences & des Technologies ) Responsable Programme de recherche franco-brésilien: « Informatique & Philosophie : Interactions Contemporaines » (CAPES-COFECUB) Institut de Recherches Philosophiques de Lyon (Responsable de l’Axe Sciences-Santé-Complexité) IRPhiL (E.A. 4187, Lyon 3) Salle 403 18 rue Chevreul 69007 Lyon Chercheur associé au Centre Cavaillès La République des savoirs : Lettres, Sciences, Philosophie USR 3608 (CNRS, ENS Paris, Collège de France) Ecole Normale Supérieure, 29 rue d'Ulm, 75005 Paris [email protected]<mailto:[email protected]> +33 1 44 32 29 60 -- Pour toute question, la FAQ de la liste se trouve ici: https://www.vidal-rosset.net/
