Paraconsistent Differential Calculus (Part I): First-Order Paraconsistent Derivative

João Inácio Da Silva Filho

Group of Applied Paraconsistent Logic, Santa Cecília University-UNISANTA, Santos, Brazil.

DOI: 10.4236/am.2014.56086                

Abstract

A type of Inconsistent Mathematics structured on Paraconsistent Logic (PL) and that has, as the main purpose, the study of common mathematical objects such as sets, numbers and functions, where some contradictions are allowed, is called Paraconsistent Mathematics. The PL is a non-Classical logic and its main property is to present tolerance for contradiction in its fundamentals without the invalidation of the conclusions. In this paper (part 1), we use the PL in its annotated form, denominated Paraconsistent Annotated Logic with annotation of two values—PAL2v for present a first-order Paraconsistent Derivative. The PAL2v has, in its representation, an associated lattice FOUR based on Hasse Diagram. This PAL2v-Lattice allows development of a Para-consistent Differential Calculus based on fundamentals and equations obtained by geometric interpretations. In this first article it is presented some examples applying derivatives of first-order with the concepts of Paraconsistent Mathematics. In the second part of this work we will show the Paraconsistent Derivative of second-order with application examples.

Keywords

Paraconsistent Logic, Paraconsistent Annotated Logic, Paraconsistent Mathematics, Paraconsistent Differential Calculus

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Stroyan, K.D., and Luxemburg, W.A.J. (1976) Introduction to the Theory of Infinitesimals. Academic Press, New York.
[2]	Bell, J.L. (1998) A Primer of Infinitesimal Analysis. Cambridge University Press, Cambridge.
[3]	Baron, M.E. (1969) The Origins of the Infinitesimal Calculus. Pergamon Press, Hungary.
[4]	Keisler, H.J. (1976) Elementary Calculus: An Infinitesimal Approach. 1st Edition, Prindle, Weber & Schmidt, Boston.
[5]	Kleene, S.C. (1952) Introduction to Metamathematics. North Holland/Van Nostrand, Amsterdam/New York.
[6]	Da Silva Filho, J.I., Lambert-Torres, G. and Abe, J.M. (2010) Uncertainty Treatment Using Paraconsistent Logic: Introducing Paraconsistent Artificial Neural Networks. IOS Press, Amsterdam, 328.
[7]	D’Ottaviano, I.M.G. and Carvalho, T.F. (2005) Da Costa’s Paraconsistent Differential Calculus and the Transference Theorem. 2nd Indian International Conference on Artificial Intelligence (II CAI-05), Pune, 1659-1678.
[8]	Jas’kowski, S. (1969) Propositional Calculus for Contradictory Deductive Systems. Studia Logica, 24, 143-157. http://dx.doi.org/10.1007/BF02134311
[9]	Da Silva Filho, J.I. (2011) Paraconsistent Annotated Logic in Analysis of Physical Systems: Introducing the Paraquantum hψ Factor of Quantization. Journal of Modern Physics, 2, 1397-1409. http://dx.doi.org/10.4236/jmp.2011.211172
[10]	Da Costa, N.C.A. (1986) On Paraconsistent Set Theory. Logique et Analyse, 115, 361-371.
[11]	Da Costa, N.C.A. (2000) Paraconsistent Mathematics. In: Batens, D., Mortensen, C., Priest, G., van Bendegen, J.P., Eds., Frontiers in Paraconsistent Logic: Proceedings. King’s College Publications, London, 165-179.
[12]	Da Silva Filho, J.I. (2011) Paraconsistent Annotated Logic in Analysis of Physical Systems: Introducing the Paraquantum γψ Gamma Factor. Journal of Modern Physics, 2, 1455-1469. http://dx.doi.org/10.4236/jmp.2011.212180
[13]	Arruda, A.I. (1989) Aspects of the Historical Development of Paraconsistent Logic. In: Priest, G., Routley, R. and Norman, J., Eds., Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, 99-130.
[14]	Da Costa, N.C.A. (1974) On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic, 15, 497-510. http://dx.doi.org/10.1305/ndjfl/1093891487
[15]	Krause, D. and Bueno, O. (2007) Scientific Theories, Models, and the Semantic Approach. Principia, 11, 187-201.
[16]	Rogers, D.F. and Adams, J.A. (1990) Mathematical Elements for Computer Graphics. 2nd Edition, McGraw-Hill, New York.
[17]	Da Silva Filho, J.I. (2012) Analysis of the Emissions Spectral line of the Paraquantum with Hydrogen Atom. Journal of Modern Physics, 3, 233-254. http://dx.doi.org/10.4236/jmp.2012.33033
[18]	Da Silva Filho, J.I. (2012) An Introductory Study of the Hydrogen Atom with Paraquantum Logic. Journal of Modern Physics, 3, 312-333. http://dx.doi.org/10.4236/jmp.2012.34044
[19]	Da Silva Filho, J.I. (2012) Study of the Interactions between Particles Based in Paraquantum Logic. Journal of Modern Physics, 3, 362-376. http://dx.doi.org/10.4236/jmp.2012.35051
[20]	Pl Tipler, A. and Llewellyn, R.A. (2007) Modern Physics. 5th Edition, W. H. Freeman and Company, New York.
[21]	Diethelm, K. and Ford, N. (2004) Multi-Order Fractional Differential Equations and Their Numerical Solution. Applied Mathematics and Computation, 154, 621-640. http://dx.doi.org/10.1016/S0096-3003(03)00739-2