Aristotle frequently describes essence as a “cause” or “explanation”, thus ascribing to essence some sort of causal or explanatory role. This explanatory role is often explicated by scholars in terms of essence “making the thing be what it is” or “making it the very thing that it is”. I argue that this is problematic, at least on the assumption that “making” expresses an explanatory relation, since it violates certain formal features of explanation. I then consider whether Aristotle is vulnerable to (...) this problem by examining the explanatory role of essence in Posterior Analytics and Metaphysics Z 17. (shrink)

Aristotle’s typical procedure is to identify something's four causes. Intentional action has typically been treated as an exception: most think that Aristotle has the standard causalist account, according to which an intentional action is a bodily movement efficiently caused by an attitude of the appropriate sort. I show that action is not an exception to Aristotle’s typical procedure: he has the resources to specify four causes of action, and thus to articulate a powerful theory of action unlike any other on (...) offer. (shrink)

The notion of identity is investigated through Aristotle and Hegel as supporters of two different ontological conceptions: pluralism of substances and relational holism. Through Aristotle, I examine both the thesis according to which the identity of an object is constituted by its properties and the difficulties which this thesis encounters. Aristotle easily defines the identity in species, in genus, and in number; some problems arise regarding the identity of individuals: for these, it is not enough to indicate the definition and (...) the proper qualities, but matter is needed. Matter cannot, however, be a criterion for identifying duplicate objects: in this case, it plays at most the role of a “weak individuator.” A weak individuator involves relations with other entities. The use of relations in determining the identity of an entity is extensively treated by Hegel, according to whom, in order to define the identity of an object a multiplicity of particular objects is required and, therefore, relations among entities. I conclude by proposing a notion of the object understood not as an independent, separate, and autonomous item, but as a portion of the world, which is given in a phenomenological context and identifies a dialectical context. (shrink)

We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so that the proof really justifies its final conclusion. However, the epistemic concepts used to account for this power are in their turn usually explained in terms of the concept of proof. To get out of this circle we may (...) consider an idea within intuitionism about what it is to justify the assertion of a proposition. It depends on Heyting’s view of the meaning of a proposition, but does not presuppose the concept of inference or of proof as chains of inferences. I discuss this idea and what is required in order to use it for an adequate notion of valid inference. (shrink)

One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.

This paper examines Aristotle’s argument in Eudemian Ethics 1.8 that eudaimonia, the best practicable good, is the telos of the practicable goods. Aristotle defers to the Platonists in thinking that the best practicable good is the first practicable good and the cause of the other practicable goods’ goodness. But, on his view, it is the telos of the practicable goods that has these two properties. Aristotle’s argument for this latter claim is supported by his view, more fully discussed in Posterior (...) Analytics 2.11, of how final causes explain normative facts. (shrink)

The question as to what makes a perfect Aristotelian syllogism a perfect one has long been discussed by Aristotelian scholars. G. Patzig was the first to point the way to a correct answer: it is the evidence of the logical necessity that is the special feature of perfect syllogisms. Patzig moreover claimed that the evidence of a perfect syllogism can be seen for Barbara in the transitivity of the a-relation. However, this explanation would give Barbara a different status over the (...) other three first figure syllogisms. I argue that, taking into account the role of the being-contained-as-in-a-whole formulation, transitivity can be seen to be present in all four first figure syllogisms. Using this wording will put the negation sign with the predicate, similar to the notation in modern predicate calculus. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Aristotle was the first thinker to articulate a taxonomy of scientific knowledge, which he set out in Posterior Analytics. Furthermore, the “special sciences”, i.e., biology, zoology and the natural sciences in general, originated with Aristotle. A classical question is whether the mathematical axiomatic method proposed by Aristotle in the Analytics is independent of the special sciences. If so, Aristotle would have been unable to match the natural sciences with the scientific patterns he established in the Analytics. In this paper, I (...) reject this pessimistic approach towards the scientific value of natural sciences. I believe that there are traces of biology in the Analytics as well as traces of the Analytics’ theory in zoological treatises. Moreover, for a lack of chronological clarity, I think it’s better to unify Aristotle’s model of scientific research, which includes Analytics and the natural sciences together. (shrink)