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

HTML  XML Download Download as PDF (Size: 1573KB)  PP. 904-916  
DOI: 10.4236/am.2014.56086    5,712 Downloads   7,726 Views  Citations

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.

Share and Cite:

Da Silva Filho, J. I. (2014) Paraconsistent Differential Calculus (Part I): First-Order Paraconsistent Derivative. Applied Mathematics, 5, 904-916. doi: 10.4236/am.2014.56086.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.