First-Order Logic with Adverbs

被引:0
|
作者
Haze, Tristan Grotvedt [1 ]
机构
[1] Univ Melbourne, Sch Hist & Philosoph Studies, Melbourne, Australia
关键词
adverbs; notation; extensions of first-order logic;
D O I
10.12775/LLP.2024.010
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the attempt to implement the guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research.
引用
收藏
页码:289 / 324
页数:36
相关论文
共 50 条
  • [31] Keynote: The First-Order Logic of Signals
    Bakhirkin, Alexey
    Ferrere, Thomas
    Henzinger, Thomas A.
    Nickovic, Dejan
    2018 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2018,
  • [32] Positive First-order Logic on Words
    Kuperberg, Denis
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [33] First-order logic with dependent types
    Rabe, Florian
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 377 - 391
  • [34] A first-order conditional probability logic
    Milosevic, Milos
    Ognjanovic, Zoran
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (01) : 235 - 253
  • [35] Compositional Diagrammatic First-Order Logic
    Haydon, Nathan
    Sobocinski, Pawel
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2020, 2020, 12169 : 402 - 418
  • [36] Coherence in inquisitive first-order logic
    Ciardelli, Ivano
    Grilletti, Gianluca
    ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (09)
  • [37] Literal Projection for First-Order Logic
    Wernhard, Christoph
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 389 - 402
  • [38] First-order Logic with Connectivity Operators
    Schirrmacher, Nicole
    Siebertz, Sebastian
    Vigny, Alexandre
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (04)
  • [39] Anytime reasoning in first-order logic
    Vanderveen, KB
    Ramamoorthy, CV
    NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 142 - 148
  • [40] Algebraic geometry in first-order logic
    Plotkin B.
    Journal of Mathematical Sciences, 2006, 137 (5) : 5049 - 5097