Negative Events and Compositional Semantics

被引:3
|
作者
Bernard, Timothee [1 ]
Champollion, Lucas [2 ]
机构
[1] Univ Paris Cite, Paris, France
[2] NYU, New York, NY USA
关键词
LOGIC;
D O I
10.1093/jos/ffad018
中图分类号
H0 [语言学];
学科分类号
030303 ; 0501 ; 050102 ;
摘要
Motivated by intuitive parallels between event descriptions with and without linguistic negation, we develop a formalization of negative events. We propose that verbal negation denotes a function ${\textit{Neg}}$, which sends any set of events $P$ to a set ${\textit{Neg}}(P)$ constrained by a principle ensuring that any event in ${\textit{Neg}}(P)$ occurs if and only if no event in $P$ does. This allows us to construe the events in ${\textit{Neg}}(P)$ as negative, "anti-$P$", events. Our formalization of ${\textit{Neg}}$ is conceptually related to truthmaker semantics but only requires standard logical tools, and it is compatible with standard versions of event semantics. We develop an explicit syntax-semantics interface and compositional analyses of the interaction of negation with disjunction, conjunction, quantifiers, and nonfinite perception reports.
引用
收藏
页码:585 / 620
页数:36
相关论文
共 50 条
  • [21] Compositional specification of behavioral semantics
    Chen, Kai
    Sztipanovits, Janos
    Neema, Sandeep
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 906 - +
  • [22] A compositional trace semantics for Orc
    Vardoulakis, Dimitrios
    Wand, Mitchell
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2008, 5052 : 331 - 346
  • [23] Compositional Semantics. An Introduction to the Syntax/Semantics Interface
    Kusliy, Petr
    EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2015, 46 (04): : 238 - 244
  • [24] A compositional semantics of UML-RSDS
    K. Lano
    Software & Systems Modeling, 2009, 8 : 85 - 116
  • [25] A compositional semantics of UML-RSDS
    Lano, K.
    SOFTWARE AND SYSTEMS MODELING, 2009, 8 (01): : 85 - 116
  • [26] Coordination in Categorical Compositional Distributional Semantics
    Kartsaklis, Dimitri
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (221): : 29 - 38
  • [27] COMPOSITIONAL OPERATIONAL SEMANTICS FOR PROLOG PROGRAMS
    CHENG, MHM
    HORSPOOL, RN
    LEVY, MR
    VANEMDEN, MH
    NEW GENERATION COMPUTING, 1992, 10 (03) : 315 - 328
  • [28] Compositional and holistic quantum computational semantics
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Roberto Leporini
    Natural Computing, 2007, 6 (2) : 113 - 132
  • [29] Compositional Event Semantics in Pregroup Grammars
    Gaudreault, Gabriel
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS: CELEBRATING 20 YEARS OF LACL (1996-2016), 2016, 10054 : 99 - 115
  • [30] Adequacy of compositional translations for observational semantics
    Schmidt-Schauss, Manfred
    Niehren, Joachim
    Schwinghammer, Jan
    Sabel, David
    FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - TCS 2008, 2008, 273 : 521 - +