Rencontre informelle autour de la logique formelle avec Patrick Girard

Assistez à la rencontre informelle autour de la logique formelle avec Patrick Girard, professeur agrégé à l'Université d'Auckland en Nouvelle-Zélande. Cette rencontre informelle autour de la logique formelle vise à permettre à toute personne intéressée (étudiants de tous cycles et membres de la faculté) de discuter et d'approfondir les derniers développements en logique formelle ou (inclusif) en méthodes formelles en philosophie. Le format se veut flexible et détendu celui d'un séminaire ad hoc accessible à toute personne ayant suivi un cours d'introduction à la logique.

La rencontre se divise en deux parties: 

1. 14h-15h: la conférence La justice logique avec le professeur Patrick Girard, suivie d'une session de questions-réponses. 
   La justice logique consiste en l'application de la logique dans des enquêtes dialectiques où l'on identifie et négocie les standards de raisonnement qui régissent la cohérence des divers points de vue. Basée sur la sagesse acquise des théories critiques, tels le féminisme et les théories queer et postcoloniales, elle permet d'identifier la contribution oppressive de la logique dans la communauté et de la réhabiliter comme outil de communication à travers la différence. L'approche est illustrée avec l'analyse d'un cas juridique en Nouvelle-Zélande qui a mené à l'adoption des mœurs et pratiques māories comme faisant partie de la common law.
2. 15h-16h: l'occasion pour les participants intéressés de présenter leurs formalisations et de tester leurs idées en lien avec des méthodes formelles en philosophie devant un public intrigué par les formalismes, et de profiter d'échanges avec le professeur Girard.

La conférence est en français, les diapositives en anglais.
 

Biographie du conférencier
Patrick Girard est professeur agrégé à l'Université d'Auckland en Nouvelle-Zélande. Spécialiste des logiques paraconsistantes et non classiques, il s'intéresse aux questions à l'intersection de la philosophie et de la logique formelle. Il est l'auteur de nombreux articles et ouvrages en logique et a publié récemment un livre, Logic in the Wild (2024), visant à introduire la logique formelle à un grand public. 

References

• Girard, Patrick. A Logician's Code of Conduct. McGill-Queen's University Press, 2026. https://www.mqup.ca/Books/A/A-Logician-s-Code-of-Conduct.
• Girard, Patrick. Logic in the Wild. McGill-Queen's University Press, 2024. https://www.mqup.ca/Books/L/Logic-in-the-Wild2.
• Salmond, Anne. 2017. Tears of Rangi: Experiments across Worlds. Auckland, New Zealand : Auckland University Press. 2017.
• Mangraviti, Franci. 2024. “The Contribution of Logic to Epistemic Injustice.” Social Epistemology 38 (5): 619–31. https://doi.org/10.1080/02691728.2023.2291775.