Journal
JOURNAL OF PHILOSOPHICAL LOGIC
Volume 33, Issue 4, Pages 379-388Publisher
KLUWER ACADEMIC PUBL
DOI: 10.1023/B:LOGI.0000036831.48866.12
Keywords
chunking; infinitesimal calculus; paraconsistent logic
Categories
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available