nLab paraconsistent mathematics

Contents

Context

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Contents

Idea

Paraconsistent mathematics is mathematics done with paraconsistent logic. Also called inconsistent mathematics.

See also

References

  • Manuel Bremer, Inconsistent Mathematics, (slides)

  • McKubre-Jordens, M. and Weber, Z. (2012). “Real analysis in paraconsistent logic”. Journal of Philosophical Logic 41 (5):901–922. doi:10.1017/S1755020309990281

  • Mortensen, C. (1995). Inconsistent Mathematics. Dordrecht: Kluwer. ISBN:0-7923-3186-9

  • Weber, Z. (2010). “Transfinite numbers in paraconsistent set theory”. Review of Symbolic Logic 3 (1):71–92. doi:10.1017/S1755020309990281

See also:

Last revised on June 4, 2022 at 05:10:00. See the history of this page for a list of all contributions to it.