• Bannière de l'école d'été 2026

Journées mondiales de la logique

Cette journée, instaurée depuis 2019 par l’Association of Universal Logic, est maintenant au calendrier des activités internationales de l’UNESCO, et est célébrée annuellement le 14 janvier. L'ISC participe à cette journée depuis 2019, et les conférences sont régulièrement rendues accessibles ci-dessous.


L’attribut alt de cette image est vide, son nom de fichier est 14janvier2020CIPSH.jpg.
L’attribut alt de cette image est vide, son nom de fichier est tarski-godel-january-14-e1581712144422-222x300.jpg.

14 janvier 2026 - 14 h à 16 h – En comodal

L'Institut des sciences cognitives de l'UQAM vous invite à célébrer la journée mondiale de la logique. Cette journée, instaurée par l’Association of Universal Logic, est maintenant au calendrier des activités internationales de l’UNESCO, et est célébrée annuellement le 14 janvier.

Des conférenciers et des conférencières seront des nôtres afin de dresser un portrait multidisciplinaire de la logique contemporaine. 

Conférenciers et conférencière   

Pour une inférence formelle de l'information : la logique, science de la connaissance et du raisonnement : Roger Villemaire, Dr. rer. nat., Professeur, département d’informatique, directeur du doctorat en informatique cognitive, Faculté des sciences, UQAM.

Les raisonnements pour connaître le monde de manière causale : Serge Robert, Ph. D., Professeur, département de philosophie, Faculté des sciences humaines, UQAM.

Intuition logique et automatisation: entre syntaxe et sémantique : Janie Brisson, Ph. D., Professeure, département d’éducation et pédagogie, Faculté d’éducation, UQAM.

Introduction à la logique computationnelle: Ryan Kavanagh, Ph, D., Professeur, département d'informatique, Faculté des sciences, UQAM.

La logique pour la paix: Patrick Girard, Ph, D, University of Auckland, New Zealand.
___________________________________________________________________________________________________________

14 janvier 2025 - 14 h à 16 h – En comodal

L'Institut des sciences cognitives de l'UQAM vous invite, pour une 7e année, à célébrer la journée mondiale de la logique. Cette journée, instaurée par l’Association of Universal Logic, est maintenant au calendrier des activités internationales de l’UNESCO, et est célébrée annuellement le 14 janvier.

Pour cette 7e édition, 4 personnes conférencières seront des nôtres afin de dresser un portrait multidisciplinaire de la logique contemporaine. 

Conférenciers et conférencière   

Quoi de neuf en logique ? Algorithmes, décision, raisonnement ! : Roger Villemaire, Dr. rer. nat., Professeur, département d’informatique, directeur du doctorat en informatique cognitive, Faculté des sciences, UQAM.

Le raisonnement, entre découverte et justification : Serge Robert, Ph. D., Professeur, département de philosophie, Faculté des sciences humaines, UQAM.

Raisonnement logique et automatisation: la question de l'intuition logique : Janie Brisson, Ph. D., Professeure, département d’éducation et pédagogie, Faculté d’éducation, UQAM.

Le raisonnement intuitif et formel en Intelligence Artificielle : les modèles de la série o1 d’OpenAI: Pierre Poirier, Ph, D., Professeur, département de philosophie, directeur de l’Institut des sciences cognitives, Faculté des sciences humaines, UQAM.
___________________________________________________________________________________________________________

12 janvier 2024 - 14 h à 16 h – En comodal

Conférenciers et conférencière   

Roger Villemaire, Dr. rer. nat., Professeur, département d’informatique, directeur du doctorat en informatique cognitive, Faculté des sciences, UQAM

Logique : information, raisonnement, connaissance

Résumé : La logique, science du raisonnement, nous donne des outils pour représenter, traiter, et raisonner sur la connaissance.  Actuellement, l’informatisation massive produit de vastes jeux de données qui devraient transformer notre société pour le mieux.  Il faut donc raisonner adéquatement pour en extraire correctement la connaissance.  Toute science des données repose nécessairement sur la logique !

Cet exposé abordera les méthodes que nous offre la logique dans le cadre des développements récents en traitement de l’information.

Janie Brisson, Ph. D., Professeure, département d’éducation et pédagogie, Faculté d’éducation, UQAM

Logique, automatisation et pensée critique

Résumé : Dans cet exposé, nous analyserons différentes positions au sein des théories à processus duaux.  Nous nous pencherons plus spécifiquement sur la question de l’automatisation de la pensée formelle.  Une exposition répétée aux principes logiques simples peut-elle engendrer une migration des processus de raisonnement de la pensée analytique vers la pensée intuitive ? Comment cette question peut-elle être investiguée empiriquement ? Nous proposerons des éléments de réponse à ces questions à la lumière des études récentes en psychologie du raisonnement humain.

Serge Robert, Ph. D., Professeur, département de philosophie, directeur de l’Institut des sciences cognitives, Faculté des sciences humaines, UQAM

Le raisonnement logique et les processus duaux

Résumé : La théorie des processus duaux est désormais largement acceptée.  Elle distingue deux familles de procédures de raisonnement chez l’humain, le type spontané S1 et le type réflexif S2.  Nous allons aborder dans cette présentation les contenus cognitifs que ces deux types de procédures génèrent. Nous pourrons alors montrer comment l’acquisition de compétences logiques est un outil pertinent pour apprendre à raisonner de manière S2 et pour nous aider à acquérir une pensée critique et l’esprit scientifique.

___________________________________________________________________________________________________________

13 janvier 2023

13 h 00 à 14 h 30 h par Zoom

Logique, cognition et traitement de l’information
Première partie : Logique, raisonnement, inférence : quand, comment, pourquoi ?
Conférencier : Roger Villemaire, professeur au Département d’informatique et directeur du doctorat en informatique cognitive.

Résumé : La logique, science du raisonnement, nous donne des outils pour représenter, traiter, et raisonner sur la connaissance. Mais dans notre société saturée d'information, on peut se demander quelles sont les connaissances pour lesquelles le raisonnement serait des plus bénéfiques, quelles méthodes nous offre la logique au juste et finalement quels buts viser pour son emploi. Cet exposé abordera ces questions dans le cadre de développements récents en traitement de l'information.

Deuxième partie : La fonction cognitive du raisonnement logique : entre convergence et divergence
Conférencier : Serge Robert, professeur au Département de philosophie et directeur de l’Institut des sciences cognitives.

Résumé : Cet exposé montrera comment le raisonnement spontané s’éloigne souvent du raisonnement logique, en étant souvent ampliatif et souvent non monotone, ce qui le rend tantôt convergent, tantôt divergent. Nous montrerons comment le raisonnement logique est dans un statut intermédiaire entre ces deux modes de raisonnement et qu’il contribue ainsi à faciliter l’accès cognitif à la métacognition et au traitement scientifique de l’information.

Troisième partie : Logique, pensée critique et automatisation
Conférencière : Janie Brisson, professeure au Département d’éducation et pédagogie

Résumé : Dans cet exposé, nous analyserons des études empiriques récentes qui suggèrent que même lorsque biaisés, certains raisonneurs humains peuvent saisir intuitivement certains principes logiques de base. Une exposition répétée à ces principes pourrait conduire à une migration des processus de raisonnement de la pensée analytique vers la pensée intuitive. Nous explorerons également la question des principes logiques fondamentaux pouvant être automatisés dans le raisonnement humain.


14 janvier 2022

Logique et cognition :
Première partie : La dimension logique de notre compétence morale
Conférencier : Serge Robert, professeur au Département de philosophie.

Deuxième partie :
Logique : modélisation, inférence, raisonnement
Conférencier : Roger Villemaire, professeur au Département d’informatique.

Écouter la conférence


14 janvier 2021

Logique et cognition :
Première partie : Raisonnement créatif, apprentissage et logiques non classiques
Conférencier : Serge Robert, professeur au Département de philosophie.

Deuxième partie : Logique de description
Conférencier : Roger Villemaire, professeur au Département d’informatique.

Écouter la conférence


14 janvier 2020

Logique et sciences cognitives : la logique, un outil pour modéliser la cognition ?
Première partie : Logique, pensée convergente, pensée divergente et cognition
Conférencier
: Serge Robert, professeur au Département de philosophie.

Deuxième partie : Logique et monotonicité linguistique
Conférencière : Elizabeth Allyn Smith, professeure au Département de linguistique.

Troisième partie : Logique, inférence, et calcul.
Conférencier
: Roger Villemaire, professeur au Département d’informatique.

Écouter les conférences


14 janvier 2019

Logiques non classiques, modélisation de la cognition et intelligence artificielle.
Conférencier : Serge Robert, professeur au Département de philosophie.
Écouter la conférence
Consulter la présentation powerpoint

Institut des sciences cognitives

Fondé en 2003, l'Institut des sciences cognitives de l'UQAM vise à favoriser la recherche et le développement de compétences dans le domaine des sciences cognitives, à en partager les connaissances, à faciliter les échanges interdisciplinaires et à animer sa communauté.

Suivez-nous

Coordonnées

Institut des sciences cognitives isc@uqam.ca
Local A-3741
400, rue Sainte-Catherine Est
Montréal (Québec) H2L 2C5