This paper considers some aspects of the early conception and use of the infinite in ancient Greece, in the spirit of recent results in the history of ancient mathematics. It follows aspects of the practice of reasoning ad infinitum from the extant corpus of and about Zeno of Elea up to early Hellenistic examples in Aristotle and Euclid. Starting with the idea of ‘reasoning from indefinite iteration’, based on the metalogical recognition of the unachievability of an inference process, it identif…
Read moreThis paper considers some aspects of the early conception and use of the infinite in ancient Greece, in the spirit of recent results in the history of ancient mathematics. It follows aspects of the practice of reasoning ad infinitum from the extant corpus of and about Zeno of Elea up to early Hellenistic examples in Aristotle and Euclid. Starting with the idea of ‘reasoning from indefinite iteration’, based on the metalogical recognition of the unachievability of an inference process, it identifies several different classes of more or less sophisticated arguments that make use of this idea, and examines the logical devices and notions required for their acceptance in the philosophical practice. Those include ‘Infinite regress’ properly speaking, where Non-Contradiction is used in the formation of indirect infinitary arguments.
