GENIUS: G énéricité Séminaire- Christian Retoré15 avril 10h00‏

[Fabio.Del.Prete at ENS.FR]

Chers collègues,

dans le cadre du séminaire de l'ANR "GENIUS: Genericity: Interpretation and
Uses", nous avons le plaisir de vous convier à la prochaine conférence:

Christian Retoré (Université de Bordeaux, LABRI-CNRS & INRIA)
"Sémantique et modélisation dans le cadre de la logique catégorique"

qui aura lieu le

jeudi 15 avril à 10h00
à l'ENS
29 rue d'Ulm
Pavillon Jardin
Salle de réunions - RdC


Resumé:

Du point de vue de la logique, la théorie des catégories propose des modèles
plus subtils que les modèles ensemblistes usuels,
ce qui a été parfois utilisée en linguistique et en sémantique formelle
(travaux de Petitot sur la prédication et l'espace,
travaux récents de Pollard sur syntaxe et sémantique,
travaux récents d'Asher sur la sémantique lexicale dans un cadre
compositionnel,...).

Ces constructions peuvent s'adapter à des logiques plus raffinées comme la
logique intuitionniste.
Elles peuvent aussi rendre compte non seulement des formules et de leur
prouvabilité
mais aussi des preuves elles mêmes (ou des lambda termes typés qui interviennent
dans la sémantique de Montague).

Une des questions prises en charge par cette approche
est celle de la quantification, aussi bien sur les individus
que sur les propriétés, et aussi bien au niveau de l'interprétation
des formules quantifiées que de celles des preuves de formules quantifiées.

Nous ferons un panorama de ces notions et proposerons un cadre logique pour la
sémantique compositionnelle
qui prenne mieux en compte la structure sémantique des expressions élémentaires,
mots ou entrées lexicales.

http://lumiere.ens.fr/~amari/genius/Seminar.htm


Bien cordialement,

Fabio Del Prete, pour les membres du groupe "Généricité"
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.linguistlist.org/pipermail/parislinguists/attachments/20100407/99d7708c/attachment.htm>