.png){kind=icon}
返回
Classical Logical Coherentism
.png){kind=icon}
PRE
AI
DOI：10.1007/s10992-026-09849-3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们通常通过公理演算对逻辑的解释在结构上是基础主义的。证明通过应用规则从已被证明的命题以类似线性的方式转移到新的命题，起始点是一组无需证明的命题（即公理）。相比之下，本文通过基于原始的逻辑相容性概念来解释可推导性的基本概念，发展了经典命题逻辑的融贯论方法。这是通过引入一个包含规则的计算系统来实现的，这些规则捕捉经典一致性的性质。所阐释的基本逻辑推理过程是构造一致公式的集合。我展示了如何根据原始的逻辑相容性关系来定义经典可推导性。作为应用，我使用相容性计算为经典命题逻辑的公理计算的一致性提供了一个非语义证明，展示了该系统如何避免Leitgeb所证明的语义相似的不可能性结果，展示了从相容性定义可推导性的策略对于直觉主义逻辑无效，并简要比较了我的方法与Stalnaker和Fritz提出的简单命题理论。
Keyword:
Coherentism
Maximally consistent sets
Logical consistency
Classical logic
Semantic resemblance
Philosophy of logic
Boolean algebras