The Logics of Strict-Tolerant Logic
The Logics of Strict-Tolerant Logic
复制标题
严格宽容逻辑的逻辑
DOI：
--
复制
发表时间：
2014
影响因子：
1.5
通讯作者：
Diego Tajer
中科院分区：
文献类型：
--
作者：
E. Barrio;Lucas Rosenblatt;Diego Tajer
在一种完全由古典逻辑支配的语言中添加一个透明的真值谓词是不可能的。众所周知，麻烦来自于《说谎者》和《咖喱》等悖论。最近，Cobreros，Egré，Ripley和van Rooij提出了一种基于非传递因果概念的方法，该方法适合于处理语义悖论，同时具有透明的真谓词和经典逻辑。尽管如此，关于由该逻辑验证的元指引集存在一些有趣的问题。在这篇文章中，我们证明了这个逻辑，一旦它被充分理解，就比经典逻辑弱。此外，该逻辑在某种程度上类似于次协调逻辑LP。
Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP.
DOI：
10.1007/978-94-017-9673-6_12
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Halbach V
通讯作者：
Halbach V