• Manifestations scientifiques,

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

Evènement | 11 février 2019

11 février 2019 14h30 à 18h30
12 février 2019 de 09h00 à 17h00

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.

Document(s) à télécharger

INFOS PRATIQUES

Lieu(x)
Université Jean Moulin Lyon 3
Salle de la Rotonde 6e étage
18 rue Chevreul - 69007 Lyon
Contact

Jean-Baptiste Joinet
jean-baptiste.joinet@univ-lyon3.fr

Type

A la Une, Colloque / Séminaire

Thématique

Manifestations scientifiques

Partenaires

Université Jean Moulin Lyon 3
IRPHIL