In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

Authenticates approximately 500 lines of Aristotle's lost work the Protrepticus (Exhortation to Philosophy) contained in the circa third century AD work by Iamblichus of Chalcis entitled Protrepticus epi philosophian. Includes a complete English translation of the authenticated material.

Aristotle’s dialogue Protrepticus is not only his earliest work of ethics but also the root of all his subsequent investigations into ethics. Here we explore the various ways Aristotle retained in memory the contents of the Protrepticus and redeployed them in the Eudemian Ethics, including the common books. Since Aristotle himself does not explicitly acknowledge the foundational significance of the Protrepticus to his later works, our exploration must proceed on the basis of our knowledge of the earlier work, which (...) can then related to comparable passages in the treatises. But the Protrepticus is a lost work, unlike the EE and the EN, in the sense that no medieval manuscripts of it have survived. And so it first needs to be reconstructed on the basis of the streams of reception that deposited information in surviving works by later ancient authors. We begin in part 1 by reviewing the surviving evidence of the Protrepticus before presenting our wider reconstruction and conception of the work as a dialogue in part 2. In part 3, we discuss ideas and arguments in the reconstructed dialogue that are retained and redeployed in the Eudemian Ethics, focussing on the account of intellectual virtues in EE v and the introduction and methodological framework in EE i-ii.1. (shrink)

We hope to show that the overall protreptic plan of Aristotle's ethical writings is based on the plan he used in his published work Protrepticus (Exhortation to Philosophy), by highlighting those passages that primarily offer hortatory or protreptic motivation rather than dialectical argumentation and analysis, and by illustrating several ways that Aristotle adapts certain arguments and examples from his Protrepticus. In this essay we confine our attention to the books definitely attributable to the Nicomachean Ethics (thus excluding the common books).

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying due attention to (...) this contrast and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

Aristotle contrasts episteme and doxa through the key notions of universal and necessary. These notions have played a central role in Aristotle’s characterization of scientific knowledge in the previous chapters of APo. They are not spelled out in APo I.33, but work as a sort of reminder that packs an adequate characterization of scientific knowledge and thereby gives a highly specified context for Aristotle’s contrast between episteme and doxa. I will try to show that this context introduces a (...) contrast in terms of explanatory claims: on the one hand, episteme covers those claims which capture explanatory connections that are universal and necessary and thereby deliver scientific understanding; on the other hand, doxa covers the explanatory attempts that fail at doing so. (shrink)

This is a brief introduction to the origin and development of Protestant ethical works in the tradition of Aristotle’s Nicomachean Ethics.

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)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

Aristotle's primary perspective on the concept of justice is founded on knowledge of the good, which is related to the ethical virtues in Nicomachean Ethics and is separated into two parts: universal justice and specialized justice. In Politics, on the other hand, Aristotle identifies justice as the intrinsic nature of just citizens, noting in both Nicomachean Ethics and Politics, "The political good is justice, and this is a common advantage.".

ABSTRACT: In this paper I show that, contrary to the prevalent view, in his De Interpretatione chapter 8, Aristotle is concerned with a kind of ambiguity, i.e. with homonymy; more precisely, with homonymy of linguistic expressions as it may occur in dialectical argument. The paper has two parts. In the first part, I argue that in the Sophistici Elenchi 175b39-176a5 Aristotle indubitably deals with homonymy in dialectical argument; that De Interpretatione 8 is a parallel to Sophistici Elenchi 175b39-176a5; that De (...) Interpretatione 8 is concerned with dialectical argument; that, hence, De Interpretatione 8, too, deals with homonymy in dialectical argument. In the second part I discuss objections that have been put forward against the view that De Interpretatione 8 is about homonymy and demonstrate that they do not succeed. (shrink)

In Aristotle's cosmology, the nature of the elements is defined by their place in the Totality. Their cosmic motions keep the whole in motion, and this is their nature. Thus, the cosmos is an organized whole, a single substance directed to the good; this body constitutes together with its Prime Mover a composite substance that can be regarded as a self-mover.

This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

In this paper, I examine Aristotle's notion of potentiality as it applies to the beginning of life. Aristotle’s notion of natural kinēsis implies that we should not treat the entity at the beginning of embryonic development as human, or indeed as the same as the one that is born. This leads us to ask: When does the embryo turn into a human? Aristotle’s own answer to this question is very harsh. Bracketing the views that lead to this harsh (...) answer, his theory of kinēsis still gives us reason for searching for a replacement answer. Aristotle’s own work unfortunately gives us no help in finding this answer. (shrink)

At least since Foster (2002), scholars interested in Aristotle’s views about environmental ethics have focused primarily upon his teleological account of non-human animals as the basis for an Aristotelian environmental virtue ethics. But although Aristotle’s scientific account of non-human animals can serve as the basis for a form of environmental ethics akin to “nature preservation,” one finds in his account of “household management” (or oikonomikē) a very different sort of environmental ethic, one that looks much more like a (...) form of “nature conservation.” My paper argues that for Aristotle, oikonomikē is indeed both “environmental” and an “ethic.” The first part of my chapter shows that oikonomikē is fundamentally environmental insofar as it concerns what Aristotle in Politics 1.8 calls “property acquisition in accord with nature” or “true wealth” (Pol. 1.8.1256b26–27, 30–31), namely the prudential use of natural resources in a way that recognizes the dependence of ways of life upon different habitats or environments. The second part of my chapter shows that oikonomikē is also an “ethic” insofar as it embeds three different kinds of limit on the use of animate and inanimate natural resources, namely that natural resource use is subordinate to expertise about the happiness of the political community (or what Aristotle calls “politics” [πολιτική]); that natural resource use, as an instrumental good, is limited and governed by the craft or expertise of oikonomikē; and that notions of unlimited commercial “wealth acquisition” (χρηματιστική) are based on ethically problematic ways of life. After showing that Aristotle’s account of oikonomikē is indeed an environmental ethic, the third part of my chapter considers the objection that oikonomikē is a weak environmental ethic insofar as it is exploitatively or axiological anthropocentric. I respond that Aristotle’s account of non-human animal domestication provides conceptual resources for thinking about non-human animals as subordinate members in one’s ecological-political community, especially with respect to his invocation of the craft analogy (in the example of shepherds) and inter-species utility friendships. Although Aristotle has multiple sources relevant for understanding environmental ethics, his account of oikonomikē is both a neglected source and a potentially fruitful one. (shrink)

I discuss the argument Aristotle ascribes to Parmenides at Physics 186a23-32. I discuss (i) the reasons why Aristotle considers it as eristic and inconclusive and (i) the solution (lusis) Aristotle proposes against it.

Aristotle’s Motivation for Matter Why does Aristotle make matter so central to his account of the natural world, making it a principle of nature and one of the four causes? Although there is considerable interest in how Aristotle conceives of matter, scholars rarely investigate why he thinks of it as fundamental to the natural world. Some simply ask why Aristotle thinks there must be matter. Other interpreters do not even agree that we should ask this question; they claim that (...) Aristotle does not give reasons for needing matter because matter is an everyday notion we need not motivate. I think that in Physics I Aristotle gives us good reasons – perhaps even compelling ones – for thinking that matter is necessary for any understanding of the natural world. We, as interpreters, can use these reasons to understand what matter is for Aristotle, making progress where scholars have offered many incompatible interpretations. The first chapter of the dissertation presents my basic account of why Aristotle needs matter and what it is. I argue that Aristotle makes matter central to his natural philosophy because it is needed in order to understand change. Specifically, in order for there to be change, there must be something whose very nature is to undergo change. This is what matter is for Aristotle: the thing whose very nature is to undergo change. Since matter is picked out by its role in change, the very same thing will be matter and other things, based on what other roles it has. Just as the same person can be a doctor and a builder, so the same person can be a doctor and matter. This chapter also highlights the strength of my account by arguing against a rival interpretation of Aristotle’s motivation for matter, according to which matter is needed so that something persists through change. The second chapter argues for my interpretation through a close reading of Aristotle’s Physics I. (shrink)

Isocrates' Antidosis ("Defense against the Exchange") and Aristotle's Protrepticus ("Exhortation to Philosophy") were recovered from oblivion in the late nineteenth century. In this article we demonstrate that the two texts happen to be directly related. Aristotle's Protrepticus was a response, on behalf of the Academy, to Isocrates' criticism of the Academy and its theoretical preoccupations. -/- Contents: I. Introduction: Protrepticus, text and context II. Authentication of the Protrepticus of Aristotle III. Isocrates and philosophy in Athens in the 4th century IV. (...) The Protrepticus of Aristotle as a response to the Antidosis of Isocrates V. Conclusion: dueling conceptions of philosophy, still dueling. (shrink)

I discuss an important feature of the notion of cause in Post. An. 1. 13, 78b13–28, which has been either neglected or misunderstood. Some have treated it as if Aristotle were introducing a false principle about explanation; others have understood the point in terms of coextensiveness of cause and effect. However, none offers a full exegesis of Aristotle's tangled argument or accounts for all of the text's peculiarities. My aim is to disentangle Aristotle's steps to show that he is arguing (...) in favour of a logical requirement for a middle term's being the appropriate cause of its explanandum. Coextensiveness between the middle term and the attribute it explains is advanced as a sine qua non condition of a middle term's being an appropriate or primary cause. This condition is not restricted either to negative causes or to middle terms in second‐figure syllogisms, but ranges over all primary causes qua primary. (shrink)

Aristotle’s discussions of natural slavery, ‘barbarian kingship’, and the natural characteristics of barbarians or non-Greeks are usually read as calling into question the intellectual, ethical, and political accomplishments of non-Greeks. Such accounts of non-Greek inferiority or inability to self-govern also appear to presuppose a climatic or environmental account that on the whole would imply severe limitations on the possibility of political flourishing for peoples living outside the Greek Mediterranean basin. In light of such accounts, it is somewhat astounding to (...) find Aristotle praising the social and political institutions of Carthage within his discussion of the best constitution in the second book of the Politics. In the 4th century BCE, Carthage (modern day Tunis) was a Phoenician commercial empire that culturally and linguistically was Semitic and clearly non-Greek. That Aristotle contrasts Carthage, a non-Greek polis, favorably with both Sparta and Crete undermines both the claim that Aristotle embraced a categorical opposition between Greeks and non-Greeks and the claim that he was dismissive of the achievements of non-Greeks. (shrink)

This paper examines Aristotle’s vocabulary of pain, that is the differences and relations of the concepts of pain expressed by synonyms in the same semantic field. It investigates what is particularly Aristotelian in the selection of the pain-words in comparison with earlier authors and specifies the special semantic scope of each word-cluster. The result not only aims to pin down the exact way these terms converge with and diverge from each other, but also serves as a basis for further (...) understanding Aristotle’s philosophical conception of pain. (shrink)

how does one inquire into the truth of first principles? Where does one begin when deciding where to begin? Aristotle recognizes a series of difficulties when it comes to understanding the starting points of a scientific or philosophical system, and contemporary scholars have encountered their own difficulties in understanding his response. I will argue that Aristotle was aware of a Platonic solution that can help us uncover his own attitude toward the problem.Aristotle's central problem with first principles arises from the (...) fact that they cannot be demonstrated in the same way as other propositions. Since demonstrations proceed from prior and better-known principles, if the principles themselves were in need of... (shrink)

For Aristotle, demonstrative knowledge is the result of what he calls ‘intellectual learning’, a process in which the knowledge of a conclusion depends on previous knowledge of the premises. Since demonstrations are ultimately based on indemonstrable principles (the knowledge of which is called ‘νοῦς’), Aristotle is often described as advancing a foundationalist doctrine. Without disputing the nomenclature, I shall attempt to show that Aristotle’s ‘foundationalism’ should not be taken as a rationalist theory of epistemic justification, as if the first (...) principles of science could be known as such independently of their explanatory connections to demonstrable propositions. I shall argue that knowing first principles as such involves knowing them as explanatory of other scientific propositions. I shall then explain in which way noetic and demonstrative knowledge are in a sense interdependent cognitive states – even though νοῦς remains distinct from (and, in Aristotle’s words, more ‘accurate’ than) demonstrative knowledge. (shrink)

This paper presents Aristotle’s method of understanding the first principles of natural things in the Physics I.1 and analyzes the three stages of which this method consists. In the Physics I.1, Aristotle suggests that the natural proper route which one has to follow in order to find out the first principles of natural things is to proceed from what is clearer and more knowable to us to what is more knowable and clear by nature. In the Physics I.1, the (...) terms καθόλου and καθ΄ ἕκαστα are not used in their usual meaning. This paper examines the Physics I.1 in comparison with the Posterior Analytics II. 19 in order to elucidate the meaning of καθόλου in the first chapter of Aristotle’s Physics. Furthermore, it reaches the conclusion that the structure of the natural world to which we belong determines the structure and the form of our knowledge. On the one hand, natural things are composite and, on the other hand, perception is involved in the initial grasping of natural things as composites. Thus, since perceptual knowledge is more accessible to us than any other kind of knowledge it is natural to reach knowledge of simple things, i.e., of the principles, starting our inquiry with the composites. (shrink)

Aristotle is said to have held that any kind of actual infinity is impossible. I argue that he was a finitist (or "potentialist") about _magnitude_, but not about _plurality_. He did not deny that there are, or can be, infinitely many things in actuality. If this is right, then it has implications for Aristotle's views about the metaphysics of parts and points.

Discussions of Aristotle’s Metaphysics Z tend to treat it either as an independent treatise on substance and essence or as preliminary to the main conclusions of the Metaphysics. I argue instead that Z is central to Aristotle’s project of first philosophy in the Metaphysics: the first philosopher seeks the first causes of being qua being, especially substances, and in Z, Aristotle establishes that essences or forms are the first causes of being of perceptible substances. I also argue that (...) the centrality of Z to first philosophy is compatible with its status as theology. (shrink)

This book investigates what change is, according to Aristotle, and how it affects his conception of being. Mark Sentesy argues that change leads Aristotle to develop first-order metaphysical concepts such as matter, potency, actuality, sources of being, and the teleology of emerging things. He shows that Aristotle’s distinctive ontological claim—that being is inescapably diverse in kind—is anchored in his argument for the existence of change. -/- Aristotle may be the only thinker to have given a noncircular definition of change. (...) When he gave this definition, arguing that change is real was a losing proposition. To show that it exists, he had to rework the way philosophers understood reality. His groundbreaking analysis of change has long been interpreted through a Platonist lens, however, in which being is conceived as unchanging. Offering a comprehensive reexamination of the relationship between change and being in Aristotle, Sentesy makes an important contribution to scholarship on Aristotle, ancient philosophy, the history and philosophy of science, and metaphysics. (shrink)

There seems to be an inconsistency at the heart of Aristotle’s Metaphysics: a differentia is said both to presuppose its genus (in vii 12) and to be logically independent from it (in x 7). I argue that the relation of analogy resolves this inconsistency, restores the coherence of the concepts of differentia and species, and gives x 7 its rightful place in the development of the Metaphysics.

This paper investigates the identity and function of τὰ μεταξύ in Aristotle and the Early Academy by focussing primarily on Aristotle’s criticisms of Xenocrates of Chalcedon, the third scholarch of Plato’s Academy and Aristotle’s direct competitor. It argues that a number of passages in Aristotle’s Metaphysics (at Β 2, Μ 1-2, and Κ 12) are chiefly directed at Xenocrates as a proponent of theories of mathematical intermediates, despite the fact that Aristotle does not mention Xenocrates there. Aristotle (...) complains that the advocates for mathematical intermediates produce theories that are ontologically and epistemologically inefficient (related to, but not confined by, the “Uniqueness Problem”); that their so-called “intermediates” feature properties opposed to those of the forms on which those intermediates are thought to depend; and that what is μεταξύ must be between objects of a different genus. In all three cases, Aristotle’s criticisms are shown to be reactions to the metaphysics and cosmology of Xenocrates, especially his doctrine of the intermediary demonic isosceles triangle souls. Xenocrates emerges as a prime candidate for Aristotle’s critique of Platonist τὰ μεταξύ theories – equal to, and possibly even exceeding, Plato as target. (shrink)

No one influenced and shaped our thinking about dispositions and causal properties more than Aristotle. What he wrote about power (dynamis), nature (physis) and habit (hexis) has been read, systematised and criticised again and again during the history of philosophy. In this chapter I sketch Aristotle's thoughts about dispositions and argue that his theory can still be regarded as a good one.

I argue that these inconsistencies in wording and practice reflect the existence of two distinct Aristotelian views of inquiry, one peculiar to the Posterior Analytics and the other put forward in the Physics and practiced in the Physics and in other treatises. Although the two views overlap to some degree (e.g. both regard a rudimentary understanding of the subject as an essential first stage), the view of the syllogism as the workhorse of scientific investigation and the related view of inquiry (...) as a search for the ‘missing middle terms’ turn out to be ideas peculiar to the Analytics. Conversely, the techniques of analysis and differentiation highlighted in the Physics account receive only cursory attention in the Analytics. However, when we consider the character of Aristotle’s own inquiries, on both scientific and philosophical topics, it becomes clear that it is the Physics rather than the Posterior Analytics that gives us Aristotle’s considered view the path to knowledge. (shrink)

Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state (...) this argument, it is the best argument that he could use to defend some of his statements in the second paragraph of Γ 4. Since the argument relies on only a few of Aristotle’s core views about truth, I propose that it is faithful to his considered position throughout his corpus, and it may be the strongest argument he could offer for the indemonstrability of the PNC. (shrink)

The paper proposes a novel understanding of how Aristotle’s theoretical works complement each other in such a way as to form a genuine system, and this with the immediate (and ostensibly central) aim of addressing a longstanding question regarding Aristotle’s ‘first philosophy’—namely, is Aristotle’s first philosophy a contribution to theology, or to the science of being in general? Aristotle himself seems to suggest that it is in some ways both, but how this can be is a very (...) difficult question. My answer is in some respects a version of one that goes back at least to the middle ages—i.e., that first philosophy is concerned with the gods (and to that extent offers a theology) because the gods are causes and principles of beings precisely insofar as they are beings. The more original aspect of my position lies in my claim that the sort of tension found in the Metaphysics is likewise to be found in many of Aristotle’s physical works. Thus, for example, the De caelo is (I argue) concerned generally with natural beings (= beings susceptible of change), but its discussions are focused largely on the heavenly bodies and the Aristotelian elements insofar as they admit of change with respect to place. Here I claim that the particular objects of discussion are dealt with precisely because they are causes and principles of natural beings as such. Something similar goes, I claim, for the De generatione et corruptione, the general concern of which is a particular species of natural being—i.e., natural beings susceptible of generation and corruption. In this way, I argue, Aristotle successively deals in his theoretical works with those causes and principles of (say) a horse which attach to it insofar as it is a being, those causes and principles of a horse which attach to it insofar as it is a natural being, those causes and principles of a horse which attach to it insofar as it is a perishable natural being, and so on for the lower genera under which the species horse is subsumed. (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the (...) premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

A generally ignored feature of Aristotle’s famous function argument is its reliance on the claim that practitioners of the crafts (technai) have functions: but this claim does important work. Aristotle is pointing to the fact that we judge everyday rational agency and agents by norms which are independent of their contingent desires: a good doctor is not just one who happens to achieve his personal goals through his work. But, Aristotle argues, such norms can only be binding on individuals (...) if human rational agency as such is governed by objective teleological norms.
. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

In this paper I explore Aristotle’s views on natural kinds and the compatibility of pluralism and realism, a topic that has generated considerable interest among contemporary philosophers. I argue that, when it came to zoology, Aristotle denied that there is only one way of organizing the diversity of the living world into natural kinds that will yield a single, unified system of classification. Instead, living things can be grouped and regrouped into various cross-cutting kinds on the basis of objective (...) similarities and differences in ways that subserve the explanatory context. Since the explanatory aims of zoology are diverse and variegated, the kinds it recognizes must be equally diverse and variegated. At the same time, there are certain constraints on which kinds can be selected. And those constraints derive more from the causal structure of the world than from the proclivities of the classifier (hence the realism). This distinguishes Aristotle’s version of pluralistic realism from those contemporary versions (like Dupré’s “promiscuous realism”) that treat all or most classifications of a given domain as equally legitimate and not just a sub-set of kinds recognized by the science that studies it. By contrast, Aristotle privileges scientifically important kinds on the basis of their role in causal investigations. On this picture natural kinds are those kinds with the sort of causal structure that allows them to enter into scientific explanations. In the final section I argue that Aristotle’s zoology should remain of interest to philosophers and biologists alike insofar as it combines a pluralistic form of realism with a rank-free approach to classification. (shrink)

ABSTRACT: This is a short companion piece to my ‘Found in Translation – Aristotle’s Nicomachean Ethics III.5 1113b7-8 and its Reception’ in which I examine in close textual analysis the philosophical question whether these two lines from the Nicomachean Ethics provide any evidence that Aristotle discussed free choice – as is not infrequently assumed. The result is that they do not, and that the claim that they do tends to be based on a mistranslation of the Greek. (There is (...) some inevitable overlap with Part 1 of the 'Found in Translation' paper.). (shrink)

Aristotle‘s categories are presented as a system relying on logic and syntax instead of on meanings. His square of oppositions is found to be of crucial importance.

In the De Anima, Aristotle claims that the five senses are infallible about their proper objects. I contend that this claim means that sight is infallible about its proper object in its most specific form, i. e. sight is infallible about red or green and not merely about color in general. This robust claim is justified by Aristotle’s teleological principle that nature does nothing in vain. Additionally, drawing on Aristotle’s comparison of perception and one’s understanding of the essences, (...) I defend a conception of the senses in which the structure of their contents is simple rather than predicative and show how this coheres better with the rest of my interpretation. (shrink)

The Nicomachean Ethics is generally thought to be a “dialectical” work, aimed at resolving aporia in a set of endoxa, which it takes as its starting-point. I argue that Aristotle’s aim in the treatise is, rather, to produce definitions of key ethical terms, and that his starting-points are limited to evaluative and discriminative judgments of a certain sort, which are demanded by the nature of the discipline and are not endoxa. I discuss also how the definitions are reached (focusing (...) on the cases of the virtues of character) and the roles that aporiai do play in the process. (shrink)

Aristotle's conception of being is dynamic. He believes that a thing is most itself when engaged in its proper activities, governed by its nature. This paper explores this idea by focusing on Metaphysics , a text that continues the investigation of substantial being initiated inMetaphysics Z. Q.1 claims that there are two potentiality-actuality distinctions, one concerned with potentiality in the strict sense, which is involved in change, the other concerned with potentiality in another sense, which he says is more useful (...) for the present project. His present project is the investigation of substantial being, and the relevant potentiality is the potentiality for activity, the full manifestation of what a thing is. I explore Aristotle's two potentiality-actuality distinctions AND argue that the second distinction is modeled on the first, with one crucial modification. Whereas a change is brought about by something other than the object or by the object itself considered as other (as when a doctor cures himself), an activity is brought about byte object itself considered as itself. This single modification yields an important difference: whereas a change leads to a state other than the one an object was previously in, an activity maintains or develops what an object already is. (shrink)

This essay falls into three parts. Section 1 describes how Politics Book I, which includes Aristotle’s famous claims that the human being is by nature a political animal (politikon zōon) and that the polis (city-state) is natural and naturally prior to the individual, and his infamous claim that it is just to enslave those who are slaves by nature, may be connected with the rest of the Politics, which is about politeiai (constitutions). Section 2 examines Aristotle’s ideal politeia (...) in Politics VII-VIII in the light of his criticisms of other politeiai in Book II. Section 3 discusses non-ideal constitutions in Politics III-VI. (shrink)

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

This chapter will directly engage what I call Aristotle’s “privileged virtue thesis,” which essentially holds that only a very small number of very privileged people have access to the kind of external goods and mentors that will allow them to flourish through the acquisition of the virtues. Another way of putting this is that virtue is so rare because good formation and mentorship are rare. Aristotle’s thesis is a difficult one to refute given what we know about social (...) learning and the necessary conditions for true moral inspiration to spontaneously occur. Effective moral exemplars must be more than extraordinarily virtuous people that we fancy to imitate, they must also have a specific type of relationship with the student of virtue. Jennifer Herdt recalls this in Putting on Virtue, “What is crucial in order for one’s desires to be transformed into those of a virtuous person is that one love and be loved by the moral exemplar set before one.” As Herdt explains, this requirement is particularly poignant given that virtue is not a mechanical feat that can be produced through compliance. Instead, it requires cultivating affection for what is good. If we contend, as most virtue ethicists would, that moral exemplars are necessary for the acquisition of virtue and recognize the lack of suitable mentors among us, it is no wonder that Aristotle argues virtue is a privilege. However, this chapter will suggest that Christ provides a unique challenge to Aristotle’s privilege of virtue thesis because of the type of moral exemplar Christ is. Moreover, I contend that Peter Abelard’s theory of atonement, particularly its moral exemplarist dimensions, will be especially helpful in helping us understand why. -/- . (shrink)

David Furley's work on the cosmologies of classical antiquity is structured around what he calls "two pictures of the world." The first picture, defended by both Plato and Aristotle, portrays the universe, or all that there is (to pan), as identical with our particular ordered world-system. Thus, the adherents of this view claim that the universe is finite and unique. The second system, defended by Leucippus and Democritus, portrays an infinite universe within which our particular kosmos is only one of (...) countless kosmoi. Aristotle's argument in De caelo I.9 that the world is necessarily unique is an important contribution to this debate. This argument holds interest because it shows Aristotle wrestling with an apparent inconsistency in his own philosophy, as deeply-held convictions within his cosmology collide with an equally deeply-held conviction within his metaphysics. The following three principles, each of which Aristotle appears committed to, are inconsistent: -/- The cosmic uniqueness principle. The world is necessarily unique. The cosmic form principle. The world is an ordered, structured unity. As such, the world has a form. The possibility of multiple instantiation principle. For all F, if F is a form, it is possible that there exist multiple Fs. In De caelo I.9, Aristotle argues that we can establish the uniqueness of the universe, reject the multiple instantiation principle, yet still retain the distinction between 'this world' and 'world in general,' if the following is true (as it is): the world takes up all the matter that exists. Aristotle illustrates this argument with one of the stranger analogies in his corpus: imagine an aquiline nose that takes up all the flesh in the universe. If this were so, then there could not exist any other aquiline objects whatsoever. (For this reason, we dub the De caelo I.9 argument the 'Cosmic Nose argument.') This paper is an interpretation of how this argument is supposed to proceed and an assessment of its success. The first section states the problem Aristotle is confronted with, sorts through Aristotle's various statements of the Cosmic Nose argument, which exhibit some sloppiness, and reconstructs charitably a single argument. We also spend some time examining the significance of Aristotle's example of a gigantic aquiline nose. We argue that, even charitably reconstructed, the argument appears to commit a serious modal fallacy. The remainder of the paper explores whether this modal fallacy can be overcome. We conclude that, although not a cogent argument for the uniqueness of the world (as this would require a significant revision of our current astronomy), the Cosmic Nose argument does succeed on its own terms. However, it should not be regarded as a free-standing argument for the uniqueness of the world. Instead, it depends crucially on the earlier argument in De caelo I.8 for the universe's uniqueness; De caelo I.9 should be viewed as an attempt to extend the conclusion of De caelo I.8 and to show how this conclusion can be made consistent with Aristotle's metaphysical principles about the nature of form. (shrink)