, instar de à midi, autorisent ce genre d'inférences sont dits intersectifs. Mais il en existe d'autres, tels que potentiellement ou nullement, pour lesquels une modélisation sous forme d'une
, Peu de verbes en pratique ont un homologue antonymique ; cela signifie simplement que le prédicat antonymique correspondant n'est pas lexicalisé et ne peut être exprimé qu'en niant le verbe. 14. Les prédicats antonymiques posent un certain nombre de questions sur les rôles thématiques qui leur sont associés. Par exemple, si j'ai vu Sabine ne pas partir, Sabine est-elle agent, thème, etc., de l'événement que j'ai perçu ? Il n'est pas évident que l'on puisse associer à chaque argument d
, Pour une typologie récente dans le cadre de la linguistique computationnelle, voir, les rôles thématiques et leur définition ont été beaucoup discutés, notamment par Dowty, 1965.
, tous les événements considérés étaient réels, dans le sens où l'existence logique d'une entité de type v (en termes de modèle, il s'agit de son inclusion dans le domaine événementiel) représentait l'occurrence d'un événement correspondant dans le monde décrit. Cependant, pour modéliser la négation, nous proposons d'introduire des événements irréels, c'est-à-dire
, Ainsi, les phrases Emma Bovary n'existe pas ou Peut-être pleutil s'analysent traditionnellement comme faisant référence à des entités n'existant pas dans le monde réel, mais existant dans d'autres mondes possibles (le monde fictionnel du roman de Gustave Flaubert dans le premier cas, un monde accessible par la relation doxastique correspondant aux croyances de l'auteur dans le second). Dans un tel cadre, la réalité d'un événement dans un monde donné peut être vue comme son appartenance au domaine événementiel dans ce monde. Parce que l'analyse que nous proposons ici est indépendante de la notion de mondes possibles, ir)réalité des événements n'est pas un concept particulièrement nouveau : en sémantique des mondes possibles, les individus existent dans certains mondes mais pas dans d'autres, de même pour les événements dans une sémantique événementielle par mondes possibles
, Avec des événements irréels dans notre logique, la phrase (27a) n'exprime plus simplement l'existence d'un événement de pluie, parce qu'un tel événement pourrait être irréel
, Similairement, la phrase (28a) n'exprime pas nécessairement la non-existence de tout événement de pluie, mais seulement de ceux qui sont réels (28b)
, événements irréels est que pour deux prédi-cats P et Q, si aucun événement de type P ni de type Q ne se produit, alors l'interprétation de ces deux prédicats dans un modèle pourra être non vide (en contenant 15. En anglais, les termes « actual »/« non-actual » sont utilisés, 2018.
, Nous préconisons l'utilisation d'une logique libre positive à domaine double, c'est-à-dire d'une logique tout à fait standard dans laquelle la distinction entre existence logique et existence réelle se fait dans les modèles par la distinction entre le domaine dit extérieur, correspondant à la notion usuelle de domaine, Le prédicat actual est à rapprocher des prédicats d'existence « E! » souvent employés en logique libre depuis Leonard, 1956.
, En particulier, l'interprétation de ces deux prédicats pourra être différente, alors que sans événements irréels, les deux interprétations seraient forcément égales -car égales à l'ensemble vide -, ce qui signifierait l'impossibilité de distinguer sémantiquement ces deux prédicats. Les événements irréels permettent donc notamment de combattre une certaine forme d'extensionnalité sans avoir à recourir à une logique proprement hyperintensionnelle comme celles étudiées par exemple par Benzmüller, Événement négatif des événements irréels), 2004.
, t , envoyant tout ensemble d'événements P sur un autre ensemble Neg(P ) 17 . Ce qui permet d'interpréter intuitivement Neg(P ) comme la négation de P est l'axiome suivant, imposé pour tout prédicat P et tout temps t : (29) Axiome de la négation
, existe au moins un événement réel de temps de déroulement t satisfaisant Neg(P ) est qu'il n'existe au contraire aucun événement réel se déroulant sur une partie de t et satisfaisant P . Nous avançons l'idée que c'est cette fonction Neg qui est lexicalisée par la négation linguistique, au lieu de l'opérateur de négation logique (¬). Le sens de la phrase (28a) (répété ci-dessous en (30a))
, Ce qui est nouveau, cependant, est l'introduction de l'événement « négatif » de non pluie e, qui, contrairement aux événements maximaux de Krifka (1989), est spécifique au prédicat nié. (30) a, grâce à l'axiome de la négation, cette formule est logiquement équivalente à celle obtenue avec l'ASN (28b)
, Logique Dans cette section, nous étudions la logique des événements négatifs que nous venons de définir, en prouvant quelques théorèmes. En préambule, définissons des notions de vérité et non vérité s'appliquant aux ensembles d'événements 18 : (31) pour tout P et t, a. True t (P )
, Classiquement, l'interprétation d'un prédicat étant la fonction caractéristique d'un ensemble, nous nous permettons dans ce texte de parler d'un prédicat comme s'il s'agissait de l'ensemble correspondant ( P M ? {x | P (x) M = }). En particulier, nous utilisons souvent dans les formules logiques le symbole d'appartenance « ?
, C'est notre gestion particulière du temps ici par rapport aux systèmes décrits dans
, En effet, s'il est vrai que False t (P ) ? True t (Neg(P )), l', Bernard et Champollion 2018b) qui nous force à définir False t (P ) en plus de True t (P )
, Monotonie décroissante True t (Neg(P )) ? True t (Neg(P ? Q)
, ?e. actual(e) ? e ? Neg(P ) ? ? (e) ? t c. ? ?t ? t. ?e. actual(e) ? e ? Neg(P ) ? ? (e) = t d. ? ?t ? t. ¬(?e. actual(e) ? e ? P ? ? (e) ? t ) e. ? ?t ? t. ¬(?e. actual(e) ? e ? (P ? Q) ? ? (e) ? t ) f. ? ?t ? t. ?e. actual(e) ? e ? Neg(P ? Q) ? ? (e) ? t g. ? ?e. actual(e) ? e ? Neg
, Dans la section suivante, nous montrons qu'ils permettent effectivement d'intégrer la négation dans l'analyse des phénomènes présentés en section la fonction Neg, nous pouvons accéder à des évé-nements négatifs qui s'insèrent tout naturellement dans l'analyse traditionnelle des relations causales. Nous proposons la formule (45a-ii) comme représentation logique de la sémantique de la phrase (15a) (répétée ci-dessous en (45a-i))est fatiguée parce qu, En plus de préserver les conditions de vérités correctes des phrases négatives, les événements négatifs rendus accessibles par la fonction Neg réifient l'absence d'événe-ments d'un certain type
, Ce type d'analyses s'applique de la même manière aux autres types de relations dont il est question dans ce texte
, Après qu'il s'est rendu compte du fait que sa maquette était loin d'être terminée
, Jamy??e 3 . Th(e 2 ) = e 3 ?e 3 ? Neg(?e . finished(e ) ? Exp(e ) = the-model) ? after
, Par exemple, elle n'a pas hésité à annuler son weekend pour rendre visite à Fred quand celui-ci était à l'hôpital
, 2 ? Neg(?e . hesitate(e ) ? Ag(e ) = Sabine ? . . . ) ? exemplify
, Rapport de perception La phrase (19a) est répétée en (49a) et s'analyse maintenant comme son homologue positive
, pas rester. b. ?e 1 . actual(e 1 ) ? see(e 1 ) ? Exp(e 1 ) = I ? ?e 2 . Th
, Adverbes intersectifs Enfin, les adverbes intersectifs ont maintenant des événe-ments à modifier aussi dans les phrases négatives, et les schémas d'inférences observés sont bien correctement retranscrits dans notre logique : (50) a. « De manière inattendue
, de nombreux arguments aient été rassemblés en faveur de l'existence d'événements négatifs, de Swart et Molendijk, 1996.
, les syntagmes nominaux négatifs, tels que la nonarrivée du camion, ne dénotent pas des événements, puisqu'ils ne sont pas compatibles avec ce que Vendler (1967) baptise « perfect nominal containers, vol.22, 1993.
, * La non-arrivée du camion {s'est produite à 10 heures du matin/a duré fort longtemps/a eu lieu à la gare routière de Manosque}
, Cet usage du terme met l'accent sur les représentations logiques des énoncés, dans lesquelles toutes ces entités jouent effectivement le même rôle -d'où un terme unique -, mais n'est pas incompatible avec une partition du domaine événementiel en plusieurs sous-catégories -événements au sens traditionnel du terme, états, etc. -selon d'autres considérations. À l'opposé, Asher (1993, 2000) cherche à définir une métaphysique du langage naturel et réserve dans cet optique le terme « événement » à des entités discursives d'un genre bien spécifique, distinctes des états, des propositions et des faits. Cette distinction est importante, puisque, alors qu'Asher rejette l'existence d'évé-nement négatifs, il considère que dans les deux phrases suivantes, Sabine n'a pas nagé 22. À la suite de Higginbotham (2000) et suivant un principe d'économie, nous pensons que les mêmes outils utilisés pour exprimer la sémantique de la négation phrastique devraient être utilisés pour exprimer celle présente dans les syntagmes nominaux, Le mot « événement » est parfois utilisé comme un terme général pour toutes les entités d'un langage logique (ainsi que leurs dénota-tions dans les modèles) servant d'arguments implicites des verbes, étendant l'analyse
, Jamy's failure to turn off the gas caused an explosion. (? {L'inaptitude/la défaillance/la faillite/le défaut} de Jamy à fermer le gaz a provoqué une explosion
, ) contre, spécifiquement, les événements négatifs. Nous trouvons cet argument contestable. D'abord, l'existence des entités qui composent notre univers n'est absolument pas conditionnée par notre capacité à les appré-hender intuitivement 26 . Ensuite, comme Asher (1993) le défend de façon convaincante, la métaphysique du langage naturel n'a pas besoin d'être identique à la « vraie » mé-taphysique. Autrement dit, il n'y aucune raison de postuler un isomorphisme entre les entités utilisées pour représenter le sens des énoncés linguistiques (l'ontologie séman-tique), Derrière l'ÉPODENÉ, se trouve l'idée selon laquelle il est difficile d'imaginer ce qu'est (ou serait) une éventualité intrinsèquement négative. Cet argument est aussi celui donné par Asher, 1993.
, Tant que ces entités n'introduisent pas d'incohérences, il n'y a aucune raison de ne pas utiliser d'éventualités négatives dans la modélisation sémantique. Néanmoins, il se trouve que certains aspects de l'ÉPODENÉ peuvent être satisfaits dans la sémantique développée dans ce chapitre. D'une part, jamais nous ne postulons de différence fondamentale entre la nature des événements contenus dans un Neg(P ) et celles des autres. Rien ne force les événements de Neg(P ) à ne pas avoir de descriptions positives. Neg(?e. leave(e) ? Ag(e) = Sabine), par exemple, peut simplement consister en l'ensemble des événements usuels (Sabine qui boit un verre, qui dort, qui mange, etc.) incompatibles avec un départ de Sabine (nous imposons seulement la contrainte que l
, Autrement dit, d'un point de vue inférentiel, les événements sont des réifications de leur incompatibilité logique avec 26. Le fait, par exemple, que la plupart des gens échouent à se représenter mentalement la nature des photons (qui se comportent comme des particules dans certaines conditions et comme des ondes dans d'autres, mais plus généralement comme ce qu'ils sont, c'est-à-dire des excitations élémentaires du champ électromagnétique) ne signifie nullement que les photons n'existent pas. 8.2. Travaux futurs arguments des relations discursives, traités comme les événements de la sémantique Davidsonienne. Nous avons alors étudié plus précisément la sémantique Davidsonienne, d'une part sur ses aspects inférentiels et d'autre part à propos des problèmes que lui oppose la négation. Nous avons défendu l'idée qu'à l'origine de ces difficultés se trouvait l'analyse standard de la négation, selon laquelle une phrase niée exprime simplement la non-existence d'un événement satisfaisant une description donnée, au lieu de l'existence d'un certain événement -comme pour une phrase positive. C'est pourquoi nous avons proposé une formalisation nouvelle de la notion d'événement négatif, de prédire la vacuité sémantique de nombreuses phrases pourtant bien employées, 2006.
, Une autre piste, que nous n'avons pas encore eu l'occasion de mentionner, concerne la nature de la différence entre relation centrale et relation périphérique. Nous avions évoqué (section 5.2.3) le fait que les connecteurs de concession et de contraste, notamment, sont généralement décrits comme introduisant une implicature conventionnelle. Rappelons que l'une des caractéristiques des implicatures conventionnelles est qu'elles semblent en retrait sur le plan sémantique. Il est en particulier très difficile de les nier ou d'en faire l'élément principal de l'énoncé, propriétés que nous avions modélisées de manière purement syntaxique. Au passage, même si les implicatures conventionnelles concernent avant tout la sémantique, ce choix n'est pas absurde pour autant : il est possible d'envisager une sorte de convergence des propriétés syntaxiques et des propriétés sémantiques des connecteurs discursifs, les propriétés des implicatures conventionnelles se reflétant alors aussi dans la syntaxe. Mais effectivement, certaines des différences entre relation centrale et relation périphérique sont difficilement attribuables à la syntaxe des connecteurs qui les lexicalisent. Par exemple, alors qu'il est aussi aisé de conjoindre que de disjoindre deux occurrences de parce que (relation causale) partageant le même premier argument (2a), cela n'est pas le cas pour deux occurrences de bien que (concession) (2b) ou deux occurrences de si
, Fred est parti au Pérou bien qu'il était malade et bien que l'un de ses enfants l'était (aussi)
, il était malade ou bien que l'un de ses enfants l'était. c. (i) Je me demande pourquoi Fred est parti au Pérou s'il était malade et si l
, Je me demande pourquoi Fred est parti au Pérou s'il était malade ou si l'un de ses enfants l'était
, Notons que le problème n'est pas qu'une relation périphérique ne puisse pas être sous la portée d'un opérateur logique (ici la disjonction) ou d'un prédicat (nous avons vu des cas, comme en (3), où une relation périphérique formait l'un des arguments d'une autre relation), mais plutôt que l'on ne puisse mettre en doute la véracité ni d'une relation périphérique lexicalisée par une conjonction ni de son Arg 2 . Or, c'est justement l'effet de la disjonction en (2b-ii), à l'inverse de la conjonction en (2b-i) ou de la relation causale en (3). Il serait intéressant d'étudier cela en détail, 2b-i) exprime que l'idée que le départ de Fred est doublement étonnant, par sa maladie et par celle de son enfant, 2015.
, Une Grammaire électronique du français, Sciences du langage. CNRS éditions, 2002.
, « Using Lexicalized Tags for Machine Translation, Proceedings of the 13th Conference on Computational Linguistics, vol.3, pp.1-6, 1990.
, « DRT et compositionnalité, Traitement Automatique des Langues 39.1, pp.131-160, 1998.
, Reference to Abstract Objects in Discourse. Sous la dir. de Gennaro Chierchia, Studies in Linguistics and Philosophy, 1993.
, Speaking of Events. Sous la dir. d'Achille Varzi, James Higginbotham et Fabio Pianesi, pp.123-150, 2000.
, The Cambridge Handbook of Formal Semantics. Sous la dir. de Maria Aloni et Paul Dekker. Cambridge Handbooks in Language and Linguistics, pp.106-129, 2016.
, Sous la dir. de J. M. Larrazabal, D. Lascar et G. Mints. Lecture Notes in Logic, pp.1-44, 1996.
, « Evidentiality and intensionality : Two uses of reportative constructions in discourse, Workshop on Constraints in Discourse Structure, 2006.
, Logics of Conversation, 2003.
, Revised Selected Papers. Sous la dir. de Takashi Onada, Daisuke Bekki et Eric McCready. T. 6797. Lecture Notes in Computer Science, New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, pp.3-15, 2010.
, « The Algebra of Events, Linguistics and Philosophy, vol.9, pp.5-16, 1986.
, Continuations and Natural Language, 2014.
, Situations and Attitudes, vol.78, pp.668-691, 1981.
, Revenge of the Liar : New Essays on the Paradox, 2007.
, « Higher-Order Semantics and Extensionality, Journal of Symbolic Logic, vol.69, pp.1027-1088, 2004.
, Negation and distributivity in event semantics -A reply to Schwarzschild and Champollion, 2017.
, « Negation in event semantics with actual and nonactual events, Proceedings of the 26th Conference of the Student Organization of Linguistics in Europe, pp.350-366, 2018.
, Negation and distributivity in event semantics. Présentation orale, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01931268
, « Negative events in compositional semantics, Semantics and Linguistic Theory, vol.28, pp.512-532, 2018.
, Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), pp.38-47, 2016.
, Studii de Lingvistic? ?i Filologie Romanic?. Sous la dir. d'Alexandra Cuni??, Coman Lupu et Lilianne Tasmowski, pp.50-57, 2007.
, « A Hierarchical Unification of LIRICS and VerbNet Semantic Roles, Proceedings of the 2011 IEEE Fifth International Conference on Semantic Computing, pp.483-489, 2011.
, Predicate Logic Unplugged. Rapp. tech. 103. Saarbrücken, Germany : Universität des Saarlandes, 1996.
, « Cross-lingual RST Discourse Parsing, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics. T. 1, Long Papers. Valencia, pp.292-304, 2017.
, « The Unified Annotation of Syntax and Discourse in the Copenhagen Dependency Treebanks, Proceedings of the Fourth Linguistic Annotation Workshop, pp.127-131, 2010.
, « La SDRT : Une approche de la cohérence du discours dans la tradition de la sémantique dynamique, Verbum 1, pp.73-101, 2001.
, « Organisation modulaire et paramétrable de grammaires électroniques lexicalisées, 1999.
, « Building a Discoursetagged Corpus in the Framework of Rhetorical Structure Theory, Proceedings of the Second SIGdial Workshop on Discourse, vol.16, pp.1-10, 2001.
, Meaning and Necessity : A Study in Semantics and Modal Logic, 1947.
, « Meaning Postulates, Philosophical Studies, vol.3, pp.65-73, 1952.
, « Variations sur la compositionnalité Montaguienne, Traitement Automatique des Langues 39.1 : Compositionnalité, pp.35-65, 1998.
, « Quantification and Negation in Event Semantics ». In : The Baltic International Yearbook of Cognition, Logic and Communication 6. Formal Semantics and Pragmatics : Discourse, Context and Models, pp.1-23, 2011.
, « The interaction of compositional semantics and event semantics, Linguistics and Philosophy, vol.38, pp.31-66, 2015.
, « Mereology ». In : Cambridge Handbook of Semantics. Sous la dir. de P. Dekker et M. Aloni, 2015.
, « Cohésion, cohérence et pertinence du discours, Travaux de Linguistique : Revue Internationale de Linguistique Française, vol.29, pp.125-151, 1995.
, « Framing adverbials and their role in discourse cohesion from connexion to forward labelling, SEM-05 Proceedings. Sous la dir. de Michel Aurnague et al. Framing Adverbials and their Role in Discourse Cohesion : From Connection to Foward Labelling, pp.13-30, 2005.
, « A Formulation of the simple theory of types, The Journal of Symbolic Logic 5.02, pp.56-68, 1940.
, « Two switches in the theory of counterfactuals, Linguistics and Philosophy, pp.1-45, 2018.
, « Bridging, Proceedings of the 1975 Workshop on Theoretical Issues in Natural Language Processing. TINLAP '75, pp.169-174, 1975.
, « Minimal Recursion Semantics : An Introduction, Research on Language and Computation, vol.3, pp.281-332, 2005.
, « XMG : eXtensible MetaGrammar, Computational Linguistics, 2013.
, « Modal Logic ». In : The Blackwell Guide to Philosophical Logic. Sous la dir, Blackwell Philosophy Guides, vol.4, pp.136-158, 2001.
, Proceedings of the 5th SIGdial Workshop on Discourse and Dialogue. Sous la dir. de Michael Strube et Candy Sidner, pp.127-135, 2004.
, « D-STAG : un formalisme d'analyse automatique de discours basé sur les TAG synchrones, Revue TAL 50.1, pp.111-143, 2009.
, « Connecteurs de discours adverbiaux : Problèmes à l'interface syntaxe-sémantique, Linguisticae Investigationes 36, pp.261-275, 2013.
, « FDTB1, première étape du projet « French Discourse Treebank » : repérage des connecteurs de discours en corpus, Discours 17, 2015.
, « Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG, Actes de TALN'2015, 2015.
, Discourse Relations and Propositional Attitudes, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00614763
, « Primary and secondary discourse connectives : definitions and lexicons, Dialogue & Discourse 9, vol.1, pp.50-78, 2018.
, « Causal Relations, The Journal of Philosophy 64.21. Republié p, pp.691-703, 1967.
, « The Logical Form of Action Sentences ». In : The Logic of Decision and Action. Sous la dir. de Nicholas Rescher, pp.81-95, 1967.
, Essays on Actions and Events, 1980.
, « Towards Abstract Categorial Grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics. ACL '01, pp.252-259, 2001.
, « Tree-Adjoining Grammars as Abstract Categorial Grammars, Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+6), pp.145-150, 2002.
, « Towards a Montagovian Account of Dynamics, Proceedings of the 16th Semantics and Linguistic Theory Conference. Sous la dir, 2006.
, , pp.1-16
, « Presupposition Accommodation as Exception Handling, Proceedings of the 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue, pp.71-74, 2010.
, « On the Expressive Power of Abstract Categorial Grammars : Representing Context-Free Formalisms, Journal of Logic, Language and Information 13, vol.4, pp.421-438, 2004.
, « A Type-Logical Account of Quantification in Event Semantics, New Frontiers in Artificial Intelligence. Lecture Notes in Computer Science, pp.53-65, 2014.
, « Meaning and Use of not?until, Journal of Semantics, vol.13, pp.221-263, 1996.
, « Aspect Shift and Coercion, Natural Language & Linguistic Theory 16, vol.2, pp.347-385, 1998.
, « Négation et coordination : la conjonction ni, pp.109-124, 2001.
, « Negation and the Temporal Structure of Narrative Discourse, Journal of Semantics, vol.16, pp.1-42, 1999.
, « Attribution and the (Non-)Alignment of Syntactic and Discourse Arguments of Connectives, Proceedings of the Workshop on Frontiers in Corpus Annotations II : Pie in the Sky, pp.29-36, 2005.
, Word meaning and Montague Grammar : The semantics of verbs and times in generative semantics and in Montague's PTQ. Studies in Linguistics and Philosophy 7, 1979.
, « Thematic Proto-Roles and Argument Selection, pp.547-619, 1991.
, Jeju Island, Korea : Association for Computational Linguistics, Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics, vol.1, pp.60-68, 2012.
, « Computing Discourse Semantics : The Predicate-Argument Semantics of Discourse Connectives in D-LTAG, Journal of Semantics, vol.23, pp.55-106, 2006.
, Discourse Parsing with a Lexicalized Tree-Adjoining Grammar, vol.12, pp.261-279, 2003.
, Foundations of Intensional Semantics. Blackwell, 2005.
, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen, Denkens. Halles a. S, 1879.
, Zeitschrift für Philosophie und philosophische Kritik 100.1. Traduit p, pp.25-50, 1892.
, Écrits logiques et philosophiques. Points essais, 1971.
, Intensional and higher-order modal logic. North-Holland mathematics studies 19, 1975.
, Logic, Language, and Meaning. T. 1 : Introduction to Logic, 1991.
, « Accessibility and anaphora, Handbooks of linguistics and communication science. T. 2. Handbücher zur Sprach-und Kommunikationswissenschaft / Handbooks of Linguistics and Communication Science 33.2. Berlin, pp.1988-2011, 2011.
, Le Bon usage. 16 e édition, 2016.
, « Logic and conversation, Speech acts. Sous la dir, pp.41-58, 1975.
, « Dynamic Predicate Logic, Linguistics and Philosophy, vol.14, pp.39-100, 1991.
, « Attention, Intentions, and the Structure of Discourse, Computational Linguistics, vol.12, pp.175-204, 1986.
, « Centering : A Framework for Modeling the Local Coherence of Discourse, Computational Linguistics 21, vol.2, 1995.
, Studies in Lexical Relations, 1965.
, « Generalized chart constraints for efficient PCFG and TAG parsing, Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics. T. 2 : Short Papers, pp.626-631, 2018.
, « The syntax of adverbial clauses and its consequences for topicalisation, Current Studies in Comparative Romance Linguistics. Sous la dir. de Martine Coene, Gretel De Cuyper et Yves D'hulst. APiL, vol.107, pp.61-90, 2004.
, « Pied-piping in Relative Clauses : Syntax and Compositional Semantics using Synchronous Tree Adjoining Grammar, Research on Language and Computation 5, vol.4, pp.457-479, 2007.
, « Compositional Semantics of Coordination using Synchronous Tree Adjoining Grammar, Proceedings of the Ninth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+9), pp.33-40, 2008.
, A Uniform Syntax and Discourse Structure : the Copenhagen Dependency Treebanks, vol.4, pp.53-64, 2013.
, The Semantics of Definite and Indefinite Noun Phrases, 1982.
, « Completeness in the Theory of Types, Journal of Symbolic Logic, vol.15, pp.81-91, 1950.
, « The Logic of Perceptual Reports : An Extensional Alternative to Situation Semantics, The Journal of Philosophy, vol.80, pp.100-127, 1983.
, « On events in linguistic semantics, Speaking of Events. Sous la dir. de James Higginbotham, pp.18-52, 2000.
, Introduction to Combinators and ?-calculus. 2 e édition, 2008.
, Knowledge and Belief -An Introduction to the Logic of the Two Notions, 1962.
, A Natural History of Negation, 1989.
, Reports in Discourse ». In : Dialogue & Discourse 7.4. Sous la dir. de Jonathan Ginzburg, 2016.
, « Composing Discourse Parenthetical Reports, Proceedings of Sinn und Bedeutung 21 (SuB21), 2016.
, « Because We Say So, Proceedings of the EACL 2014 Workshop on Computational Approaches to Causality in Language, 2014.
, , pp.1-9
, « An introduction to Tree Adjoining Grammars, Mathematics of Language : Proceedings of a conference, pp.87-115, 1984.
, « Tree adjunct grammars, Journal of Computer and System Sciences, vol.10, issue.1, pp.80019-80024, 1975.
, « Tree-adjoining Grammars ». In : Handbook of Formal Languages. Sous la dir. de Grzegorz Rozenberg et Arto Salomaa, Beyond Words, vol.3, pp.69-123, 1997.
, « The Convergence of Mildly Context-Sensitive Grammar Formalisms, Foundational Issues in Natural Language Processing. Sous la dir. de T. Wasow, P. Sells et Stuart M. Shieber, pp.31-81, 1991.
, Universitá di Venezia, Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+6), pp.127-136, 2002.
, « Factoring Predicate Argument and Scope Semantics : Underspecified Semantics with LTAG, Research on Language and Computation, vol.1, pp.3-58, 2003.
, « A theory of truth and semantic representation, Formal Methods in the Study of Language. Sous la dir. de Jeroen Groenendijk, pp.277-322, 1981.
, From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Sous la dir. de Gennaro Chierchia, Pauline Jacobson et Francis J. Pelletier. Studies in Linguistics and Philosophy, vol.42, 1993.
, « Parsing and Generation as Datalog Queries, Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics, pp.176-183, 2007.
, Proceedings of the third conference on computational linguistics. Sånga-Säby, pp.1-38, 1969.
, « Some Observations on Factivity, pp.55-69, 1971.
, Syntax and semantics. Sous la dir. de Choon-Kyu Oh et David A. Dinneen. T. 11, Presupposition, pp.1-56, 1979.
, « End-to-End Graph-Based TAG Parsing with Neural Networks, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics : Human Language Technologies. T. 1 (Long Papers), pp.1181-1194, 2018.
, In : Semantics : An international handbook of natural language meaning. Sous la dir. de Claudia Maienborn, Klaus von Heusinger et Paul H. Portner. T. 1. Handbooks of linguistics and communication science 33, pp.216-241, 2011.
, « Anaphora, The Stanford Encyclopedia of Philosophy. Sous la dir. d'Edward N. Zalta. Fall, 2018.
, Anaphore Associative, Pontage et Stéréotypie ». In : Lingvisticae Investigationes 17.1, pp.35-82, 1993.
, « An investigation of the lumps of thought, Linguistics and Philosophy, vol.12, pp.607-653, 1989.
, « Scope or Pseudoscope ? Are there Wide-Scope Indefinites ?, In : Events and Grammar. Studies in Linguistics and Philosophy, pp.163-196, 1998.
, « Nominal Reference, Temporal Constitution and Quantification in Event Semantics, Johan van Benthem et P. van Emde Boas. Dordrecht, Netherlands : Foris, pp.75-115, 1989.
, « Response particles as propositional anaphors, Semantics and Linguistic Theory, vol.23, pp.1-18, 2013.
, « A Completeness Theorem in Modal Logic, Journal of Symbolic Logic, vol.24, pp.1-14, 1959.
, « Outline of a Theory of Truth, Journal of Philosophy, vol.72, pp.690-716, 1975.
, « If's, and's and but's about conjunction, Studies in Linguistic Semantics. Sous la dir. de Charles Fillmore et D. Terence Langendoen, pp.115-150, 1971.
, « Expressing Discourse Dynamics Through Continuations, 2012.
, « The Logic of Existence, Philosophical Studies : An International Journal for Philosophy in the Analytic Tradition, pp.49-64, 1956.
, General Semantics, pp.18-67, 1970.
, « Recursive Deep Models for Discourse Parsing, Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, pp.2061-2069, 2014.
, « Rhetorical Structure Theory : Toward a functional theory of text organization, Text 8.3, pp.243-281, 1988.
, « The Rhetorical Parsing, Summarization, and Generation of Natural Language Texts, 1997.
, « Non-monotonic logic I, Artificial Intelligence 13.1, pp.41-72, 1980.
, « Epistemic Logic ». In : The Blackwell Guide to Philosophical Logic. Sous la dir, Blackwell Philosophy Guides, vol.4, pp.183-202, 2001.
, « Negative complements in direct perception reports, Proceedings of the 39th Annual Meeting of the Chicago Linguistic Society. T. 1. Chicago Linguistic Society, pp.287-303, 2003.
, Propositional Attitudes Without Propositions, pp.77-118, 2003.
, « English as a Formal Language, Linguaggi nella Società e nella Tecnica. Sous la dir. de Bruno Visentini, pp.189-224, 1970.
, « The Proper Treatment of Quantification in Ordinary English, Approaches to Natural Language : Proceedings of the 1970 Stanford Workshop on Grammar and Semantics. Sous la dir. de Jaakko Hintikka, vol.49, pp.221-242, 1973.
, Formal Philosophy. Selected Papers of Richard Montague. Sous la dir, 1974.
, Meaning and Partiality, 1995.
, « Intensional models for the theory of types, Journal of Symbolic Logic, pp.98-118, 2007.
, « Simpler TAG semantics through synchronization, Proceedings of FG 2006, pp.129-142, 2006.
, « Extraction Phenomena in Synchronous TAG Syntax and Semantics, Proceedings of the NAACL-HLT 2007/AMTA Workshop on Syntax and Structure in Statistical Translation. SSST '07. Stroudsburg, pp.9-16, 2007.
, « Free Logic, The Stanford Encyclopedia of Philosophy, 2018.
, Events in the Semantics of English : A Study in Subatomic Semantics, 1990.
, « Some Structural Analogies between Tenses and Pronouns in English, The Journal of Philosophy, vol.70, pp.601-609, 1973.
, « Nominal and Temporal Anaphora, Linguistics and Philosophy, pp.243-286, 1984.
, « The Principle of Semantic Compositionality, Topoi 13.1, pp.11-24, 1994.
, Fact Proposition Event. Studies in Linguistics and Philosophy 66, 1997.
, « Four Grammatical Hypotheses on Actions, Causes, and "Causes" ». In : Fact Proposition Event, Studies in Linguistics and Philosophy, vol.66, 1997.
, « Coordination-subordination : Une définition générale, Langue française 77, pp.5-18, 1988.
, « LCF considered as a programming language, Theoretical Computer Science, vol.5, pp.223-255, 1977.
, « A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars, Journal of Language Modelling, vol.5, pp.527-605, 2017.
, « A theory of discourse structure and discourse coherence, Papers from the General Session of the 21st Regional Meeting of the Chicago Linguistics Society. Sous la dir, pp.306-322, 1985.
, Oxford Studies in Theoretical Linguistics, 2005.
, « Presupposition and Implicature, The Handbook of Contemporary Semantic Theory. Sous la dir. de Shalom Lappin et Chris Fox. Second Edition, pp.168-202, 2015.
, The Penn Discourse Treebank 2.0 Annotation Manual. Rapp. tech. IRCS 203. University of Pennsylvania, 2007.
, On Negative Eventualities, Negative Concord, and Negative "Yes/No" Questions, vol.9, pp.237-254, 1999.
, Accessibility of Referents in Discourse Semantics, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01750993
, « Event in Compositional Dynamic Semantics, Proceedings of LACL 2011, pp.219-234, 2011.
, Livre plein de Pantagruelisme, La Vie inestimable du grand Garguantua, père de Pantagruel, 1534.
, « The discoveries of continuations, LISP and Symbolic Computation, vol.6, issue.3-4, pp.233-247, 1993.
, « Modal Subordination and Pronominal Anaphora in Discourse, Linguistics and Philosophy, vol.12, pp.683-721, 1989.
, Sémantique formelle. T. 1 : Introduction à la grammaire de Montague. Textbooks in Language Sciences 4, 2017.
, Base lexicale des connecteurs discursifs du français ». Mém. de mast, 2009.
, « Are You Sure That This Happened ? Assessing the Factuality Degree of Events in Text, Computational Linguistics 38, vol.2, pp.261-299, 2012.
, « Parsing Strategies with 'Lexicalized' Grammars : Application to Tree Adjoining Grammars, Proceedings of the 12th Conference on Computational Linguistics, vol.2, pp.578-583, 1988.
, Frankenstein ; or, The Modern Prometheus, 1818.
, « Evidence against the context-freeness of natural language, Linguistics and Philosophy, vol.8, pp.333-343, 1985.
, « Restricting the weak-generative capacity of synchronous tree-adjoining grammars, Computational Intelligence 10, vol.4, pp.371-385, 1994.
, « Synchronous Tree-adjoining Grammars, Proceedings of the 13th Conference on Computational Linguistics, vol.3, pp.253-258, 1990.
, « Observations on Embedding Verbs, Evidentiality, and Presupposition, Lingua 117, vol.6, pp.1034-1056, 2007.
, Applications of Rhetorical Structure Theory, vol.8, pp.567-588, 2006.
, « On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, pp.230-265, 1937.
, « Parenthetical Verbs, Mind 61, vol.244, pp.480-496, 1952.
, « The Talk I Was Supposed to Give? » In : Modes of Existence : Papers in Ontology and Philosophical Logic. Sous la dir. d'Andrea Bottani et Richard Davies, pp.131-152, 2006.
, « Some Computational Properties of Tree Adjoining Grammars, Proceedings of the Strategic Computing Natural Language Workshop. HLT '86, pp.212-223, 1967.
, « A Study of Tree Adjoining Grammars, 1987.
, « Building factorized TAGs with metagrammars, Proceedings of the 10th International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+10), pp.111-118, 2010.
, Einzelnheiten, Maximen und Reflexionen. Sous la dir, 1833.
, Anaphora and Discourse Structure, vol.29, pp.545-587, 2003.
, Sous la dir. de Makoto Kanazawa et al. Lecture Notes in Computer Science 6878, The Mathematics of Language, pp.174-191, 2011.
, A Lexicalized Tree Adjoining Grammar for English, 2001.
, « The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars, Logical Aspects of Computational Linguistics, pp.330-346, 2005.
, « A word of caution on coercion, Journal of Pragmatics. Focus-on Issue : Formal and Philosophical Aspects of Pragmatics, vol.39, pp.990-1028, 2007.