[Rappel] GENIUS: G énéricité Séminaire - Christian Retoré 15 avril 10h00

[fabio del prete]

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é" 		 	   		  
_________________________________________________________________
Hotmail: Trusted email with Microsoft’s powerful SPAM protection.
https://signup.live.com/signup.aspx?id=60969
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.linguistlist.org/pipermail/parislinguists/attachments/20100413/f12812a0/attachment.htm>