Aristotle's philosophically most explicit and sophisticated account of the concept of a (primary-)universal proof is found, not in Analytica Posteriora 1.4, where he introduces the notion, but in 1.5. In 1.4 Aristotle merely says that a universal proof must be of something arbitrary as well as of something primary and seems to explain primacy in extensional terms, as concerning the largest possible domain. In 1.5 Aristotle improves upon this account after considering three ways in which we may delude ourselves into thinking we have a primary-universal proof. These three sources of delusion are shown to concern situations in which our arguments do establish the desired conclusion for the largest possible domain, but still fail to be real primary-universal proofs. Presupposing the concept of what may be called an immediate proof, in which something is proved of an arbitrary individual, Aristotle in response now demands that a proof be immediate of the primary thing itself and goes on to sketch a framework in which an intensional criterion for primacy can be formulated.For the most part this article is a comprehensive and detailed commentary on Aristotle's very concise exposition in 1.5. One important result is that the famous passage 74a17-25 referring to two ways of proving the alternation of proportions cannot be used as evidence for the development of pre-Euclidean mathematics.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.