TY - JOUR
T1 - Chunk and Permeate, a paraconsistent inference strategy, part 1:
T2 - the infinitesimal calculus
AU - Brown, B
AU - Priest, G
PY - 2004/8
Y1 - 2004/8
N2 - 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.
AB - 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.
KW - chunking
KW - infinitesimal calculus
KW - paraconsistent logic
UR - http://www.scopus.com/inward/record.url?scp=67649389310&partnerID=8YFLogxK
U2 - 10.1023/B:LOGI.0000036831.48866.12
DO - 10.1023/B:LOGI.0000036831.48866.12
M3 - Article
SN - 0022-3611
VL - 33
SP - 379
EP - 388
JO - Journal of Philosophical Logic
JF - Journal of Philosophical Logic
IS - 4
ER -