.png){kind=icon}
返回
First-Order Implication-Space Semantics
.png){kind=icon}
PRE
AI
DOI：10.1007/s10992-026-09841-x.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文将蕴含空间语义学扩展以包含一阶量化。蕴含空间语义学最近被引入为一种推断主义的形式语义学，能够捕捉非单调和非传递的材料推理。然而，现有的版本仅包含命题逻辑。本文扩展该框架以恢复经典一阶逻辑。其目标是在其中制定一种理论，使得推论关系可以是非单调的且超经典的，同时遵守演绎-分离定理以及析取简化，并且还包括作为前提和反例的合取，其行为在量词规则下呈乘法性。本文解释了这些约束，并展示了如何同时满足它们。其结果是蕴含空间语义学的一阶版本，具有推断主义者和逻辑表达主义者所称赞的命题蕴含空间语义学的所有（逻辑）优点。
Keyword:
Implication-space semantics
Inferentialism
Substructural logic
Defeasible reasoning
Material inferences
Logical expressivism