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. (shrink)

The Prior Analytics marks the beginning of formal logic, and is one of the most influential works in the history of thought. It is here that Aristotle sets out his system of syllogistic reasoning. The first book, to which this volume is devoted, offers a coherent presentation of Aristotle's logic as a general theory of deductive argument.

Aristotle was the first and one of the greatest logicians. He not only devised the first system of formal logic, but also raised many fundamental problems in the philosophy of logic. In this book, Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to contemporary debates in the philosophy of logic. No background knowledge of Aristotle is assumed.