Logique, langage, philosophie des mathématiques

Nominalisations : perspectives philosophiques et linguistiques

Responsable: 

Les nominalisations figurent de façon proéminente à la fois en linguistique (syntaxe et sémantique) et en philosophie. Elles intéressent les syntacticiens en raison des différences et similitudes entre la forme de base dont dérivent les nominalisations et les nominalisations elles-mêmes relativement à leur structure d’argument et leur morphologie.

Logic for interaction

Responsable: 

LINT is a collaborative research project aimed at developing mathematical foundations for interaction. Intelligent interaction involves agents in complex scenarios like conversation, teamwork, or games. Contours of a broad mathematical description are starting to emerge today, based on several individual research developments that now need to be brought together. LINT gathers logicians, computer scientists and philosophers from six Europeancountries in an effort to lay the grounds for a unified account of the logic of interaction.

Colloque "Cross Perspectives on Proof Systems and their Significance"

French
Responsable (s)
POGGIOLESI Francesca
PETROLO Mattia

9h30-10h30 Patrick Blackburn (University of Roskilde)
Hybrid Proof Theory

10h30-11h30 Zoran Petrić & Kosta Došen (Mathematical Institute, SANU)
Invariants for Classifcation of Propositional Formulae

11h30-11h45 Coffee break

11h45-12h45 Dale Miller (INRIA & LIX/Ecole Polytechnique)
Focused sequent calculus proof systems

12h45-14h30 Lunch

Connaissance, révisions, preuves et théories du changement scientifique

Responsable: 

Ce programme, dirigé à l’IHPST par J. Dubucs et à l’Université de Genève par P. Engel, avait pour principal objectif une comparaison systématique entre les modèles formels du changement scientifique (révision bayésienne, théories de la révision) et les changements effectifs dans les sciences. On trouvera un compte-rendu détaillé de son exécution p. 231 sq du rapport.

Édition des oeuvres de L.E.J. Brouwer

Responsable: 

Ce programme, dirigé par M. van Atten, a pour principal objectif de préparer la publication de tous les écrits de L.E.J. Brouwer sur sa doctrine dite "intuitionniste" des fondements des mathématiques. Les textes seront présentés en version originale (en français, allemand, anglais, et néerlandais) et seront accompagnés d'une traduction des textes en néerlandais. Ce projet d’exploitation scientifique des archives aura également pour objectif scientifique d'approfondir et de stimuler les recherches intuitionnistes d'aujourd'hui.

Histoire de la calculabilité

Responsable: 

Ce programme, dirigé par M. Bourdeau et centré sur l’IHPST, a impliqué le CAMS (UMR 8557, CNRS/EHESS). Il a pour l’essentiel consisté en un travail éditorial collectif, à savoir la publication d’une anthologie des textes fondateurs de la théorie de la calculabilité, raduits en français et accompagnés de notes en facilitant l’intelligence. Le séminaire associé, fermé, s’est réuni mensuellement depuis 2004 et poursuit son activité jusqu’à l’achèvement, en cours, de l’entreprise.

Pages