– IMI

Les vingt dernières années ont vu l'émergence d'un nouveau paradigme logique qui examine l'unité sous-jacente du raisonnement et des arguments rationnels. La signification du terme « logique » a été étendue au-delà de l'étude des traditionnelles notions logiques abstraites de « preuve », « computation » et « pouvoir expressif », pour considérer des aspects plus généraux du comportement rationnel où l'accent est mis sur l'interaction, la communication intelligente, la collecte d'information et la correction. La notion de rationalité est étudiée dans un contexte multi-agents, et les inférences tirées par les agents sont reliées à leurs états informationnels et épistémiques. Plusieurs systèmes logiques (Logique épistémique dynamique, Logique doxastiques dynamique, etc.) ont été conçus dans le but de capturer dans un seul et même langage logique à la fois les mécanismes déclencheurs et les résultats pour le changement d'information, ce qui inclut l'étude, entre autres, de l'inférence logique, des dialogues, de la formulation des questions et des réponses fournies, de l'observation, de la communication, de la computation et des preuves. C'est ce cadre qui fournit le contexte du présent projet de recherche. Notre but est de développer une théorie logique unifiée de l'enquête rationnelle qui traite sur le même plan les questions, les réponses et les révisions (corrections). Le projet durera 36 mois et sera coordonné par Gabriel Sandu (Professeur de Philosophie, Paris 1/IHPST). Il comportera un partenaire (l'IHPST) mais impliquera largement des chercheurs travaillant dans d'autres laboratoires à travers l'Europe. Les collaborateurs ont été choisis en raison de leur travail actif et de leurs contributions majeures aux objectifs du projet. Deux positions post-doctorales (chacune de 12 mois) seront allouées au projet.