Chunk and Permeate,a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus |
| |
| Authors: | Brown Bryson Priest Graham |
| |
| Institution: | (1) Department of Philosophy, University of Lethbridge, Australia;(2) Department of Philosophy, University of Melbourne, Australia;(3) Department of Logic and Metaphysics, University of St Andrews, Australia |
| |
| Abstract: | 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. |
| |
| Keywords: | chunking infinitesimal calculus paraconsistent logic |
| 本文献已被 SpringerLink 等数据库收录！ |
|
