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 条
  • [21] First-order classical modal logic
    Arló-Costa H.
    Pacuit E.
    Studia Logica, 2006, 84 (2) : 171 - 210
  • [22] First-Order da Costa Logic
    Graham Priest
    Studia Logica, 2011, 97 : 183 - 198
  • [23] A denotational semantics for first-order logic
    Apt, KR
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 53 - 69
  • [24] On First-Order Logic and CPDA Graphs
    Christopher H. Broadbent
    Theory of Computing Systems, 2014, 55 : 771 - 832
  • [25] Combining Probability and First-Order Logic
    Leiva, Mario A.
    Garcia, Alejandro J.
    Shakarian, Paulo
    Simari, Gerardo I.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 4 - 4
  • [26] Monitoring First-Order Interval Logic
    Havelund, Klaus
    Omer, Moran
    Peled, Doron
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 66 - 83
  • [27] Relating Z and first-order logic
    Martin, A
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1266 - 1280
  • [28] Rigid First-Order Hybrid Logic
    Blackburn, Patrick
    Martins, Manuel
    Manzano, Maria
    Huertas, Antonia
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 53 - 69
  • [29] GAME SEMANTICS FOR FIRST-ORDER LOGIC
    Laurent, Olivier
    LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (04) : 1 - 50
  • [30] Abductive equivalence in first-order logic
    Inoue, Katsumi
    Sakama, Chiaki
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 333 - 346