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)

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)

A new translation and edition of Aristotle's Protrepticus (with critical comments on the fragments) -/- Welcome -/- The Protrepticus was an early work of Aristotle, written while he was still a member of Plato's Academy, but it soon became one of the most famous works in the whole history of philosophy. Unfortunately it was not directly copied in the middle ages and so did not survive in its own manuscript tradition. But substantial fragments of it have been preserved in several (...) works by Iamblichus of Chalcis, a third century A.D. neo-Pythagorean philosopher and educator. On the basis of a close study of Iamblichus' extensive use and excerption of Aristotle's Protrepticus, it is possible to reconstruct the backbone of the lost work, and then to flesh it out with the other surviving reports about the work from antiquity (for example in Alexander of Aphrodisias and other ancient commentators on Aristotle). It is also possible to identify several papyrus fragments of the work, and many references and literary allusions in later authors, especially Cicero, whose own lost dialogue Hortensius was a defense of philosophy modeleld on Aristotle's. (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.

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

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

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)

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.

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)

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".

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)

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 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

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 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 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)

Aristotle’s philosophy is considered with respect to one central concept of his philosophy, viz. opposition. Far from being a mere side-effect of syllogistic, it is argued in the present paper that opposition helps to articulate ontology and logic through an account of what can be or cannot be in a systematic and structural way. The paper is divided into three main parts. In Section I, the notion of Being is scrutinized through Aristotle’s theory of categories. In Section II, (...) the notion of Non-Being is connected to Aristotle’s theory of oppositions. In Section III, the notion of essence is revisited in order to bring about a holist theory of meaning by individuating through opposite properties. In conclusion, the legacy of Aristotle is depicted as balanced between a powerful reflection around Being and a restrictive ontology of substance. (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 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)

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.

Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated logical theory for the succeeding two millenia, accounts of the syllogism evolved and changed over that time. Indeed, in the twentieth century, doctrines were attributed to Aristotle which lost sight of what Aristotle intended. One of these mistaken doctrines was the very form of the syllogism: that a syllogism consists of three propositions containing three terms arranged in four figures. Yet another was that a syllogism is (...) a conditional proposition deduced from a set of axioms. There is even unclarity about what the basis of syllogistic validity consists in. Returning to Aristotle's text, and reading it in the light of commentary from late antiquity and the middle ages, we find a coherent and precise theory which shows all these claims to be based on a misunderstanding and misreading. (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)

It is commonly assumed that Aristotle thinks that his claim that being exhibits a category-based pros hen structure, which he introduces to obviate the problem of categorial heterogeneity, is sufficient to defend the possibility of a science of being qua being. We, on the contrary, argue that Aristotle thinks that the pros hen structure is necessary only, but not sufficient, for this task. The central thesis of our paper is that Aristotle, in what follows 1003b19, raises a second problem for (...) the possibility of the science of being qua being; and that he does not think that the resolution of the first, the category-based problem, is either necessary or sufficient for resolving this problem. This is the problem: how can a plurality of apparently primary kinds and their opposites (they include to hen, to on, to auto, to homoion, to heteron and to anhomoion) be the subject-matter of the science of being qua being? It has been argued that these kinds are per se attributes of ousia and that, therefore, this problem is not different from the first problem. This, we argue, is mistaken; for nowhere in Gamma 2 does Aristotle claim that unity is a per se attribute of ousia. Rather, he says that identity, similarity, etc. are per se attributes of being qua being and unity qua unity. Aristotle’s resolution of the second problem, we argue, is that most of these kinds are reducible to a single compound principle: being-and-unity. Being and unity, moreover, are themselves related to each other as primary ousia and consequent ousia; but, we argue, Aristotle leaves it open, in Gamma 2, which of the two is primary, and which is consequent ousia. (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 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.".

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)

Although the commentary on Aristotle’s problematic discussion of slavery is vast, his discussion of nobility receives little attention. The fragments of his dialogue On Noble Birth constitute his most extensive examination of nobility, and while their similarity to the παμβασιλεύς of the Politics has recently been recognized, their relevance to natural slavery has hitherto gone unnoticed. Yet by declaring that true nobles – particularly the god-like ἀρχηγός – preternaturally possess superhuman characteristics, Aristotle precludes their easy inclusion in the kind (...) “human” in a manner inversely mirroring the preternatural subhumanity of natural slaves. Building on recent scholarship which argues that Aristotle’s “defense” of natural slaves is better understood as an indictment, On Noble Birth becomes most coherent if read as a hypothetical investigation into what would be required for “nobility” to name something true rather than equivocal, with the conclusion that “true nobility” is an empty set. (shrink)

Of all the criticisms that Aristotle gives of his predecessors’ theories of soul in De anima I.3–5, none seems more unmotivated than the ones directed against the world soul of Plato’s Timaeus. Against the current scholarly consensus, I claim that the status of Aristotle’s criticisms is philosophical rather than eristical, and that they provide important philosophical reasons, independent of Phys. VIII.10 and Metaph. Λ.6, for believing that νοῦς is without spatial extension, and that its thinking is not a physical (...) motion. (shrink)

This paper explores the anatomical foundations of Aristotle's natural philosophy. Rather than simply looking at the body, he contrives specific procedures for revealing unmanifest phenomena. In some cases, these interventions seem extensive enough to qualify as experiments. At the work bench, one can observe the parts of animals in the manner Aristotle describes, even if his descriptions seem at odds with 20th century textbooks. Manipulating animals allows us to recover his teleological thought more fully. This consideration of Aristotle as a (...) sophisticated biologist helps our reading of his writings in other areas of philosophy. (shrink)

Citizenship is the right to be a citizen of a social, political, or national community. Aristotle was the philosopher who has been talking about citizenship since ancient times. His thoughts are still historical lessons for the operation of states today. In this article, the author focuses on analyzing basic thoughts on Aristotle's citizenship; which are shown in essential points such as (i) Citizenship is clearly shown in the role of the State, (ii) Right to education, (iii) The right to participate (...) in political affairs, (iv) Citizenship is associated with civic obligations. Thereby, the article draws its historical lesson for the current building of law-governed State in Vietnam in the following aspects: (i) Building a solid-state apparatus with a coherent and unified legal system; (ii) All the State's policies must originate from the Vietnamese practice, ensure the people's mastery and protect the people's legitimate interests; (iii) Consolidating and strengthening the relationship between the State and the people. (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)