稳定模态知识的接受语义
摘要：关于嵌入一个认知（不）可能性主张的普通知识指派，我们观察到一些令人困惑的语言数据。我们得出结论，同时支持经典逻辑和一对直观吸引力的论点是不可行的：即知识指派总是真实的及一个“否定透明性”论点，将对简单否定的“可能”主张的认识归纳为没有情态内容的一个认知主张。我们提出了一个策略来回应这种权衡：保留真实性和（广义的）否定透明性，同时放弃反对命题的一般有效性。我们回顾并批评了将真实性纳入到领域语义学中的各种方法，领域语义学是一个表达否定透明性和更一般的带有认知情态的句子的非经典行为的范例性“信息敏感”框架。然后，我们提出了一个成功执行我们所偏好的策略的新型信息敏感语义学：稳定接受语义学。
作者：Peter Hawke (Lingnan University)
论文ID：2307.05064
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-12