On the Methodology of Paraconsistent Logic
On the Methodology of Paraconsistent Logic
复制标题
论次相容逻辑方法论
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
S. Odintsov
中科院分区：
文献类型：
--
作者：
H. Wansing;S. Odintsov
本说明包含了一个关键的讨论方法的次协调逻辑一般和“中央优化问题的次协调逻辑”特别。认为有几个原因不认为经典逻辑是开发次协调逻辑系统的参考逻辑，并建议削弱可能被视为“优化”所必需的某种极大性条件，这是牛顿达科斯塔传统的方法论。本文认为，指导次协调逻辑发展的动机既不是认识论的，也不是本体论的，而是信息论的。此外，它指出，还有其他的最大化的概念和其他方法。一种方法，由于格雷厄姆普里斯特和理查德Bullley和另一种方法，侧重于一个最小的收缩相对于一个给定的参考逻辑的表达被认为是在一些细节。
The present note contains a critical discussion of the methodology of paraconsistent logic in general and “the central optimisation problem of paraconsistent logics” in particular. It is argued that there exist several reasons not to consider classical logic as the reference logic for developing systems of paraconsistent logic, and it is suggested to weaken a certain maximality condition that may be seen as essential for “optimisation”, which is a methodology in the tradition of Newton da Costa. It is argued that the guiding motivation for the development of paraconsistent logics should be neither epistemological nor ontological, but informational. Moreover, it is pointed out that there are other notions of maximality and other methodologies. A methodology due to Graham Priest and Richard Routley and another methodology that focuses on a minimal shrinkage of expressiveness relative to a given reference logic are considered in some detail.