• Droit,
  • Philosophie,
  • Recherche,

Colloque | Les interfaces "logique/informatique/droit" : horizons philosophiques

Evènement | 8 novembre 2023

Journées organisées les 8 et 9 novembre par le groupe NORMES, groupe interdisciplinaire sur les interfaces Philosophie / Droit / Logique / Informatique.

Soutenu 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.
 

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"

Document(s) à télécharger

INFOS PRATIQUES

Lieu(x)

Hors campus

Espace Marc Bloch
MSH-LSE
14 av. Berthelot
69007 LYON
Contact

Hugo Cadière ; Jean-Baptiste Joinet

hugo.cadiere@univ-lyon3.fr;jean-baptiste.joinet@univ-lyon3.fr

Type

Colloque / Séminaire

Thématique

Droit, Philosophie, Recherche

Partenaires

  • IRPhiL (Univ. Jean Moulin Lyon 3)
  • IXXI
  • MSH Lyon-St-Étienne
  • Société française pour la philosophie et la théorie juridique et politique
A
Itinéraire vers ce lieu MSH Lyon St-Étienne Maison des Sciences de l’Homme Lyon St-Étienne
14 avenue Berthelot
Lyon
69007