Interfaces “Philosophie/Droit/Logique/Informatique” : Horizons Philosophiques
| When |
Nov 08, 2023 01:45
to
Nov 09, 2023 06:45 |
|---|---|
| Where | Espace Marc Bloch / MSH-LSE |
| Contact Name | Jean-Baptiste Joinet |
| Add event to calendar |
vCal
iCal
|
Journées organisées les 8 et 9 novembre par le groupe NORMES, groupe interdisciplinaire sur les interfaces Philosophie / Droit / Logique / Informatique, soutenues par l’IRPhiL (Université Jean Moulin Lyon 3), l’IXXI, et la Société française pour la philosophie et la théorie juridique et politique.
COORDINATION SCIENTIFIQUE
Jean-Baptiste Joinet (IRPhiL Lyon 3 & IXXI) : jean-baptiste.joinet@univ-lyon3.fr
Hugo Cadière (IRPhiL Lyon 3) : hugo.cadiere@univ-lyon3.fr
Hugo Cadière (IRPhiL Lyon 3) : hugo.cadiere@univ-lyon3.fr
Programme du colloque
Mercredi 08 novembre (après-midi)
- 13:45-15:00 : Michele ABRUSCI (Université Roma Tre)
"Normes et logique : quelques considérations philosophiques et historiques" - 15:00-16:15 : Jean-Yves GIRARD (CNRS, émérite)
"Norme et Vérité" - Pause
- 16:30-17:45 : Pierre-Yves QUIVIGER (UFR de Philosophie, Univ. Paris 1 Panthéon-Sorbonne)
"La logique mathématique est-elle soluble dans le droit positif ?" - 17:45-19:00 : Charles GIRARD (IRPhiL, Université Jean Moulin Lyon 3)
"Ce que les algorithmes font à la liberté d’expression"
Jeudi 09 novembre
- 09:15-10:30 : Luc PELLISSIER (Université de Paris Est Créteil)
"Calculer les textes consolidés" - 10:30-11:45 : Myriam QUATRINI (Institut de Mathématiques de Marseille, Aix-Marseille Université-CNRS)
"Controverses juridiques, éléments de formalisation" - Pause
- 12:00-13:15 : Alberto NAIBO (IHPST, UMR 8590 CNRS & Univ. Paris 1 Panthéon-Sorbonne)
"Peut-on définir ce qu'est un algorithme? Problèmes et perspectives" - Pause déjeuner
- 14:45-16:00 : Jean-Baptiste JOINET (Université Jean Moulin Lyon 3, IRPhiL & IXXI)
"Lois, règles, normes, types : perspective essentialiste et perspective existentialiste" - 16:00-17:15 : Thomas SEILLER (LIPN, UMR 7030, CNRS & Université Sorbonne Paris Nord)
"La question des constantes logiques à la lumière de la réalisabilité linéaire" - Pause
- 17:30-18:45 : Paolo PISTONE (Université de Bologne)
"Quand Weyl rencontre Lawvere : orthogonalité quantitative et types"
Localisation
Espace Marc Bloch
MSH-LSE
14 av. Berthelot
69007 LYON