Zeno of Sidon vindicatus: a mereological analysis of the bisection of the circle

Abstract

I provide a mereological analysis of Zeno of Sidon’s objection that in Euclid’s Elements we need to supplement the principle that there are no common segments of straight lines and circumferences. The objection is based on the claim that such a principle is presupposed in the proof that the diameter cuts the circle in half. Against Zeno, Posidonius attempts to prove the bisection of the circle without resorting to Zeno’s principle. I show that Posidonius’ proof is flawed as it fails to account for the case in which one of the two circumferences cut by the diameter is a proper part of the other. When such a case is considered, then either the bisection of the circle is false or it presupposes Zeno’s principle, as claimed by Zeno.