Paraconsistent Measurement of the Circle
AbstractA 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.
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.