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.
Similar content being viewed by others
REFERENCES
Boyer, C. B. (1959) The History of the Calculus and its Conceptual Development, Dover Publications, New York.
Cajori, F. (1991) A History of Mathematics, 5th edn, Chelsea Publishing Co., New York.
Feyerabend, P. (1975) Against Method, Verso, London.
Hacking, I. (1983) Representing and Intervening, Cambridge University Press, Cambridge.
Priest, G. and Routley, R. (1989) Applications of paraconsistent logic, Ch. 13 of Priest, Routley and Norman (1989).
Priest, G., Routley, R. and Norman, J. (eds.) (1989) Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, München.
Scotch, P. K. and Jennings, R. (1980) Inference and necessity, J. Philos. Logic 9, 327–40.
Scotch, P. K. and Jennings, R. (1989) On detonating, Ch. 11 of Priest, Routley and Norman (1989).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Brown, B., Priest, G. Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus. Journal of Philosophical Logic 33, 379–388 (2004). https://doi.org/10.1023/B:LOGI.0000036831.48866.12
Issue Date:
DOI: https://doi.org/10.1023/B:LOGI.0000036831.48866.12