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 条
  • [1] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [2] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [3] A First-Order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 515 - 543
  • [4] Extended First-Order Logic
    Brown, Chad E.
    Smolka, Gert
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 164 - 179
  • [5] FIRST-ORDER HOMOTOPICAL LOGIC
    Helfer, Joseph
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [6] GEOMETRISATION OF FIRST-ORDER LOGIC
    Dyckhoff, Roy
    Negri, Sara
    BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (02) : 123 - 163
  • [7] First-Order Logic of Change
    Swietorzecka, Kordula
    LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 35 - 46
  • [8] Coherentisation of First-Order Logic
    Dyckhoff, Roy
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323
  • [9] FIRST-ORDER LOGIC OF TERMS
    SVENONIU.L
    JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 177 - 188
  • [10] First-order logic: An introduction
    Adler, JE
    JOURNAL OF PHILOSOPHY, 2000, 97 (10): : 577 - 580