当前位置: X-MOL 学术Synthese › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Non-Boolean classical relevant logics II: Classicality through truth-constants
Synthese ( IF 1.5 ) Pub Date : 2021-03-19 , DOI: 10.1007/s11229-021-03065-z
Tore Fjetland Øgaard

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence.



中文翻译:

非布尔经典相关逻辑II:通过真常数的经典性

本文介绍了安德森(Anderson)和贝纳普(Bernap)的选择标准,以得出适当的蕴含理论。这些标准分为三类:与情态有关的标准,与相关性有关的标准以及与表达力有关的标准。的主旋律双方本文件及其前传的是言三段论的相关合法性。相关逻辑通常被认为是超一致逻辑。然而,本文证明,只要真常数称为阿克曼常数,就可以将ER扩展为满足安德森和贝纳普所有选择标准的爆炸性逻辑。可用。与表达强度有关的选择标准之一是具有“酶法”条件,并为其推导定理。我认为,这允许对安德森和贝尔纳普的逻辑结果进行新的解释,即使他们致力于关于逻辑结果的多元化

更新日期:2021-03-21
down
wechat
bug