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
相关论文
共 1 条
  • [1] Hanf normal form for first-order logic with unary counting quantifiers
    Heimberg, Lucas
    Kuske, Dietrich
    Schweikardt, Nicole
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 277 - 286