• Manifestations scientifiques,

Colloque | The theory of definitions by abstraction: roots, history, contemporary developments

Publié le 23 janvier 2019 – Mis à jour le 11 février 2019
Leibniz
Leibniz

Ce colloque interdisciplinaire abordera différents aspects historiques et philosophiques de la théorie mathématique des "définitions par abstraction", notamment chez Leibniz, Peano (et son école), Frege, Russell, Lorenzen, Vuillemin ou encore dans des approches contemporaines liées à la théorie des modèles ou la théorie des types.

Colloque interdisciplinaire - Histoire et Philosophie des mathématiques et de la logique / Interdisciplinary workshop - History and Philosophy of Logic and Mathematics


Programme du colloque :

Lundi 11/02 (après-midi) / Monday 11 February (afternoon)

  • 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)

  • 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/02 / Tuesday 12 February

  • 9:00-10:15 Sébastien GANDON (Philosophies & Rationalités, Univ. Clermont-Auvergne)
    Abstraction, Universals, Determinables. Russell’s idealist temptation

  • 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)
    Principle of abstraction and philosophical systems in Jules Vuillemin

  • 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 behaviour

Colloque organisé par Jean-Baptiste Joinet.
Contact :
Jean-Baptiste Joinet : jean-baptiste.joinet@univ-lyon3.fr
Partenaires :
Université Jean Moulin Lyon 3
IRPHIL
Thématiques :
Manifestations scientifiques