This article considers whether and how there can be for Aristotle a genuine science of ‘pure’ psychology, of the soul as such, which amounts to considering whether Aristotle’s model of science in the Posterior Analytics is applicable to the de Anima.

In this paper I examine how Aristotle thinks syllogisms establish existence. I argue against the traditional "Instantiation" reading and in favor of an alternative "causal" or "structural" account of existential syllogisms. On my interpretation, syllogisms establish the existence of kinds by revealing that they are per se unities whose features are causally underwritten by a single cause/essence. They do so by tracing correlations between propria--peculiar, coextensive features--of the kind in question.

Translation of Aristotle's Posterior Analytics II into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2002 (with a new printing in 2004), was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

Translation of Aristotle's Posterior Analytics I into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2003/4, was preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

What lies behind Aristotle’s declarations that an attribute or feature that is demonstrated to belong to a scientific subject is proper to that subject? The answer is found in APo. 2.8-10, if we understand these chapters as bearing not only on Aristotle theory of definition but also as clarifying the logical structure of demonstration in general. If we identify the basic subjects with what has no different cause, and demonstrable attributes (the kath’ hauta sumbebēkota) with what do have ‘a different (...) cause’, the definitions of demonstrable attributes necessarily have the minor terms of the appropriate demonstrations in their definitions, for which reason the subjects and demonstrable attributes are coextensive. (shrink)

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)