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 条
  • [41] Conceptual graphs and first-order logic
    Wermelinger, M
    CONCEPTUAL STRUCTURES: APPLICATIONS, IMPLEMENTATION AND THEORY, 1995, 954 : 323 - 337
  • [42] Interpolation in Extensions of First-Order Logic
    Guido Gherardi
    Paolo Maffezioli
    Eugenio Orlandelli
    Studia Logica, 2020, 108 : 619 - 648
  • [43] First-Order Logic in the Medvedev Lattice
    Rutger Kuyper
    Studia Logica, 2015, 103 : 1185 - 1224
  • [44] A Sequent Calculus for First-Order Logic
    Braselmann, Patrick
    Koepke, Peter
    FORMALIZED MATHEMATICS, 2005, 13 (01): : 33 - 39
  • [45] Idealization in Applied First-Order Logic
    Ernest W. Adams
    Synthese, 1998, 117 : 331 - 354
  • [46] Semantics for first-order superposition logic
    Tzouvaras, Athanassios
    LOGIC JOURNAL OF THE IGPL, 2019, 27 (04) : 570 - 595
  • [47] First-order logic on finite trees
    Potthoff, A
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 125 - 139
  • [48] Idealization in applied first-order logic
    Adams, EW
    SYNTHESE, 1998, 117 (03) : 331 - 354
  • [49] Infinitary first-order categorical logic
    Espindola, Christian
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 137 - 162
  • [50] First-Order Logic in the Medvedev Lattice
    Kuyper, Rutger
    STUDIA LOGICA, 2015, 103 (06) : 1185 - 1224