Paraconsistent Measurement of the Circle

  • Zach Weber University of Otago
  • Maarten McKubre-Jordens University of Canterbury

Abstract

A theorem from Archimedes on the area of a circle is proved in a setting where some inconsistency is permissible, by using paraconsistent reasoning. The new proof emphasizes that the famous method of exhaustion gives approximations of areas closer than any consistent quantity. This is equivalent to the classical theorem in a classical context, but not in a context where it is possible that there are inconsistent innitesimals. The area of the circle is taken 'up to inconsistency'. The fact that the core of Archimedes's proof still works in a weaker logic is evidence that the integral calculus and analysis more generally are still practicable even in the event of inconsistency.

Author Biography

Zach Weber, University of Otago
Lecturer, Department of Philosophy
Published
2017-04-11
How to Cite
WEBER, Zach; MCKUBRE-JORDENS, Maarten. Paraconsistent Measurement of the Circle. The Australasian Journal of Logic, [S.l.], v. 14, n. 1, apr. 2017. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4034>. Date accessed: 15 nov. 2019. doi: https://doi.org/10.26686/ajl.v14i1.4034.