Topic: PARACONSISTENCY
Chunk and Permeate, a Paraconsistent Inference Strategy.
Part I: The Infinitesimal Calculus
By Bryson Brown & Graham 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.
Keywords:
chunking, infinitesimal calculus, paraconsistent logic
Published version (For Subscribers of the Journal of Philosophical Logic)
Posted by Tony Marmo
at 00:01 BST
Updated: Sunday, 24 October 2004 12:14 BST
