From Paraconsistent Logic to Dialetheic Logic
From Paraconsistent Logic to Dialetheic Logic
复制标题
从次相一致逻辑到辩证逻辑
DOI：
10.1007/978-3-319-40220-8_8
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Hitoshi Omori
中科院分区：
文献类型：
--
作者：
Hitoshi Omori
逻辑次协调的唯一条件是使所谓的爆炸无效。然而，对爆炸中唯一涉及的连接词--否定--的理解，在次协调论者中并不一致。通过回到次协调逻辑的现代起源，本文提出了对否定的解释，并探讨了它的一些含义。接下来是对辩证法理论基本逻辑的思考，特别是那些遵循劳拉·古德菲尔建议的理论。更具体地说，我将引入一种特殊的次协调逻辑，称为次协调逻辑，通过对格雷厄姆·普里斯特的悖论逻辑的扩展，提出一个新的次协调逻辑系统，它是双重论的。新逻辑是由不同次协调传统的连接词组合而成的，具有命题片段后完备性等特点。在Hilbert型演算中给出了逻辑，并建立了可靠性和完备性结果。
The only condition for a logic to be paraconsistent is to invalidate the so-called explosion. However, the understanding of the only connective involved in the explosion, namely negation, is not shared among paraconsistentists. By returning to the modern origin of paraconsistent logic, this paper proposes an account of negation, and explores some of its implications. These will be followed by a consideration on underlying logics for dialetheic theories, especially those following the suggestion of Laura Goodship. More specifically, I will introduce a special kind of paraconsistent logic, calleddialetheiclogic, and present a new system of paraconsistent logic, which is dialetheic, by expanding the Logic of Paradox of Graham Priest. The new logic is obtained by combining connectives from different traditions of paraconsistency, and has some distinctive features such as its propositional fragment being Post complete. The logic is presented in a Hilbert-style calculus, and the soundness and completeness results are established.
基于LP的朴素集合论评述
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Ryutaro Miyagi;Yohey Terai;Mitsuto Aibara;Shinji Mizoiri;Tohru Sugawara;Hiroo Imai;Hidenori Tachida;Takashi Okitsu;Akimori Wada;Norihiro Okada;大森仁
通讯作者：
大森仁
某些次一致逻辑系统中的一致性传播
DOI：
--
发表时间：
--
期刊：
Logic, Reasoning and Rationality
影响因子：
--
作者：
Omori;H.;Waragai;T.
通讯作者：
T.