Colloque

La philosophie entre l'unité/pluralité logique et l'unité/pluralité mathématique

Nice, vendredi 20 et samedi 21 février 2004,
laboratoire Jean Dieudonné, faculté des sciences, Valrose

• Première journée: le regard des pères fondateurs
  • 9h -- I. Ly (Nancy) : "Fini, infini potentiel, infini actuel et symbolisme mathématique chez Poincaré"
  • 9h 50 A. Benmakhlouf (Nice) : "Frege, l'identité"
  • 11h - F. Patras (Nice) : "Vérité et signification"
  • 11h50 J. Boniface (Nice) : "L'axiome transfini de Hilbert"
  • 15h - A. Facchini (Neuchâtel) : "Hintikka lecteur de Hilbert. Quelques remarques"
    
  • 15h50 P. Gac (Paris) : "La notion de proposition chez Russell"
  • 17h - C. Degrange (Neuchâtel) : "F.P. Ramsey : une gestion de l'extensionnalité"

• Deuxième journée: hérétiques et contemporains
  • 9h --- F. Schang (Nancy) : "Du formalisme tout terrain : le projet de sémantique formelle selon Hintikka"
  • 9h50 - A. Moretti (Nice) : "Géométries et logiques: le cas de l'actuelle théorie de la n-opposition"
  • 10h50 J.-Y. Béziau (Neuchâtel) : "De l'algèbre universelle à la logique universelle?" (son site)
  • 11h40 A. Costa Leite (Campinas - Neuchâtel) : "Logiques, catégories et concepts"
  • 12h30 R. Pellissier (Nice) : "Les différentes logiques dans la théorie des catégories et des topoi"