Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus
Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus
复制标题
分块和渗透，一种副一致推理策略。
DOI：
--
复制
发表时间：
2004
影响因子：
1.5
通讯作者：
G. Priest
中科院分区：
文献类型：
--
作者：
Bryson Brown;G. Priest
本文介绍了一种副一致推理策略——块和渗透。在这种情况下，信息被分解成块，并且有限的信息被允许在块之间流动。我们首先对该策略进行抽象描述。然后应用它来模拟在原来的无穷小微积分中所使用的推理。接下来，本文建立了一些关于这种推理的合法性的结果-特别是关于保持每个块的一致性-并总结了一些其他可能的应用和技术问题。
In this paper we introduce a paraconsistent reasoning strategy, Chunk and Permeate. In this, information is broken up into chunks, and a limited amount of information is allowed to flow between chunks. We start by giving an abstract characterisation of the strategy. It is then applied to model the reasoning employed in the original infinitesimal calculus. The paper next establishes some results concerning the legitimacy of reasoning of this kind – specifically concerning the preservation of the consistency of each chunk – and concludes with some other possible applications and technical questions.