Paraconsistent analysis

From Wikipedia, the free encyclopedia

Paraconsistent analysis is a branch of paraconsistent mathematics, that attempts to rework mathematical analysis on a paraconsistent framework.

Chris Mortensen claims (see references):

One could hardly ignore the examples of analysis and its special case, the calculus. There prove to be many places where there are distinctive inconsistent insights; see Mortensen (1995) for example. (1) Robinson's non-standard analysis was based on infinitesimals, quantities smaller than any real number, as well as their reciprocals, the infinite numbers. This has an inconsistent version, which has some advantages for calculation in being able to discard higher-order infinitesimals. Interestingly, the theory of differentiation turned out to have these advantages, while the theory of integration did not. (2)