Modélisation logique

Coordinateur (s)
Informations complémentaires
Présentation

Programme GDRI (Groupe De Recherche International) piloté par Gabriel Sandu, Directeur de Recherche à l'IHPST

La coopération entre l’Institut d’Histoire et de Philosophie des Sciences et des Techniques, UMR 8590 (CNRS/Paris I/ENS) et le Département de Philosophie de l’Université de Montréal dans le domaine de la logique s’est développée durant la période récente dans le cadre institutionnel du Programme International de Coopération Scientifique franco-canadien « Logique et Rationalité ». Après l’achèvement de ce programme en 2004, cette coopération s’est poursuivie et élargie à un certain nombre de partenaires français, au premier rang desquels l’Institut de Recherche en Informatique de Toulouse (CNRS/Université Paul Sabatier de Toulouse) et européens, au premier rang desquels l’Institute for Logic, Language and Computation de l’Université d’Amsterdam et le Département de Philosophie de l’Université de Bristol. Simultanément, la thématique scientifique de la coopération s’est élargie, sous l’impulsion de Gabriel Sandu, Directeur de Recherche à l’IHPST, à un programme interdisciplinaire de recherche (logique, philosophie, informatique, sciences cognitives) dédié à l’utilisation de la modélisation logique dans l’analyse et la formalisation de questions ayant trait à la communication et à la cognition. Il apparaît désormais nécessaire de donner à cette coopération et à ce partenariat la forme d’un Groupe De Recherche International dont le titre est « Modélisation Logique ».

Pièce(s) jointe(s):