, on peut remplacer la variable de type ? par T lui-même, par exemple T = ??.(? ? ?) ? (? ? ?), peut s'appliqueràappliquerà ? = T ! Le système F est cependant cohérent, en vertu du théorème de normalisation ou de l'existence de modèles dénotationnels, et surtout, il bien plus simple que ses concurrents d'un point de vue syntaxique. Pour la tâche que nous lui assignons, ` a savoir la représentation des formules de la logique multisorte, il est très pratique : un seul quantificateur pour tout type (un existentiel, un universel, etc), qui peuventêtrepeuventêtre spécialisésspécialisésà des types simple (objets physiques) ou plus complexe (les propositions, les verbes transitifs etc, une conjonction polymorphe qui factorise les différentes formes de conjonction, etc. Cependant n'y a pas de notion simple de sous-typage qui soit compatible avec la quantification sur les types, et il serait fort utile de savoir exactement ce dont a besoin la sémantique formelle ? cela suggérera peut-? etre une notion pertinente de sous-typage
, et bien d'autres. Quel est le lien entre l'ontologie du monde et l'ontologie de la langue ? Un locuteur francophone peut dire ma voiture est crevée et non ma voiture est bouchée, pourtant il y a des choses qui se crèvent dans une voiture, mais il y a aussi des choses qui peuvent se boucher, comme les injecteurs. Il n'empêche qu'en français, ma voiture est crevée passe sans probì eme, tandis que ma voiture est bouchée ne va pas. Ces questions dépendent de la langue et notre modèle doit en tenir compte. Par exemple un anglophone ne peut dire my car is flat poura tyre of my car is flat. Les relations que la langue autorise, comme la référencè a certains sens particuliers, comme parler de ma voiture pour renvoyeràrenvoyerà l'une de ses roues, sont des figures de style très présentes. La langue ne permet pas toutes les connexions sémantiques que le monde suggère : une voiture a beau avoir des injecteurs, personé ne dira que la voiture est bouchée pour dire qu'un de ses injecteurs est bouché. C'est une question qui peutêtrepeutêtre débattue : certains pensent que les glissements de sens sont plutôt culturels que lexicaux et
, dont nous avons beaucoup parlé, il semble y avoir de belles avancées, en particulier du coté de la théorie des types et de la logique catégorique, comme l'ont montré les workshops qui se sont tenusàtenusà Oxford etàetà Bordeaux en novembre 2010. Une question intrigante est de combiner les formules multisortes du calcul des prédicats
, doté de nombreux types de bases et de quantifications sur les types, ouvre de nouvelles pistes sur la quantification généralisée, ainsi que sur des phénomènes difficiles comme les pluriels ou les noms massifs. L'interprétation dans les mondes possibles, qui semble bienétabliebienétablie, n'est peut-? etre pas aussi satisfaisante qu'il n'y para??tàpara??tpara??tàpremì ere vue. Par exemple, les noms propres ne devraient pasêtrepasêtre interprétés comme des constantes, afin que personne ne soit obligé de croire que Tullius est Cicéron, mais si ce ne sont pas des constantes, encore faut-il trouver un nouveau concept plus complexe. Plus généralement, il est peu vraisemblable que nous interprétions mentalement en construisant une infinité de mondes possibles donc chacun est lui-même infini, est actuellement très prometteuse et trèstrèsétudiée. Ce nouveau cadre logique
, Les Catégories et les Catégories, Les catégories et leur histoire, pp.11-80, 2005.
, Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic, Language and Information, vol.12, issue.2, pp.229-245, 2010.
DOI : 10.1007/s10849-009-9113-x
URL : https://hal.archives-ouvertes.fr/inria-00408308
, La philosophie médiévale, Presses universitaires de France, 1993.
, Titre original : Logicomix : an Epic Search for Truth, Logicomix. Vuibert, 2010.
, Intensional logic and logical grammar, Logic, Language and Meaning ?, 1991.
, Le point aveugle Cours de logique. 1 : Vers la perfection. 1. Paris : Hermann, ´ Editeurs des Sciences et des Arts, 2006.
, The development of logic, 1986.
, The mathematics of sentence structure American mathematical monthly, pp.154-170, 1958.
, Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle, Traitement Automatique du Langage Naturel, pp.43-56, 2012.
DOI : 10.1051/shsconf/20120100331
URL : http://doi.org/10.1051/shsconf/20120100331
, Book Review: Logicomix by Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, and Annie di Donna, Journal of Humanistic Mathematics, vol.1, issue.1, pp.137-152, 2011.
DOI : 10.5642/jhummath.201101.10
, English as a formal language, Linguaggi nella Societa e nella Tecnica, pp.189-224, 1970.
, The logic of categorial grammars : a deductive account of natural language syntax and semantics, LNCS, vol.6850, pp.978-981, 2012.
DOI : 10.1007/978-3-642-31555-8
URL : https://hal.archives-ouvertes.fr/hal-00829051
, Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most, Recherches linguistiques de Vincennes, vol.41, issue.41, pp.83-102, 2012.
DOI : 10.4000/rlv.2082
, Handbook of Logic and Language, 2010.