Séance du 23 avril

Le mercredi 23 avril, nous aurons le plaisr d'écouter Aranzazu San Gines Ruiz (IHPST, Paris) qui interviendra sur le thème suivant:

Epsilon-termes, objets arbitraires et pronoms anaphoriques

Au début des années 20, Hilbert et ses collaborateurs introduisirent ce que l’on a appelé des « epsilon-termes » afin de trouver une définition explicite aux quantificateurs existentiel et universel. Aujourd'hui, ces termes connaissent un intérêt renouvelé. L'une des causes en est les conséquences bénéfiques qu’ils semblent entraîner quand ils sont appliqués dans le domaine du langage naturel. C’est ce cas qui nous intéressera en particulier. On verra comment on peut définir un langage de premier ordre avec des « epsilon-termes », et on motivera leur usage à travers quelques exemples. Ensuite, on s'intéressera à la théorie des objets arbitraires développée par K. Fine (1985), et dans ce contexte, on fera une comparaison entre les « epsilon-termes » et les objets arbitraires. Pour finir, on exposera certaines vertus que peut présenter un traitement formel du langage naturel qui emploie ce genre d’objet. En ce sens, on se concentrera essentiellement sur le cas particulier des pronoms anaphoriques.

Cette séance aura lieu de 13H à 15H en salle 019 de la Maison de la Recherche.

Venez nombreux !