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

ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in (...) different authors. For instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

Discussion of the Aristotelian syllogistic over the last sixty years has arguably centered on the question whether syllogisms are inferences or implications. But the significance of this debate at times has been taken to concern whether the syllogistic is a logic or a theory, and how it ought to be represented by modern systems. Largely missing from this discussion has been a study of the few passages in the Prior Analytics where Aristotle provides explicit guidance on how to (...) individuate syllogisms. I argue that syllogisms are individuated by unordered premise pairs and so may be fruitfully thought of as multi-succedent sequents. I conclude by drawing a few consequences for the representation of the syllogistic. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows (...) from the premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

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

In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all the possible valid antecedents or (...) premises conjunction for an expression proposed as a conclusion). The results are numerically expressed, with their equivalents in the propositional language of bivalent logic. (shrink)

Aristotle’s aitiai are middle terms in Aristotelian syllogisms. I argue that stating the aitia of a thing therefore amounts to re-describing this same thing in an alternative and illuminating way. This, in turn, means that a thing and its aitiai really are one and the same thing under different descriptions. The purpose of this paper is to show that this view is implied by Aristotle’s account of explanation, and that it makes more sense than one might expect.

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he (...) call any arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine (...) understood as a sign. A modification of Łukasiewicz's logic Ł3 with the inclusion of justification terms is proposed in order to formally analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy". (shrink)

The main aim of the French logician and philosopher Petrus Ramus was to provide a method of teaching the liberal arts enabling the completion of the undergraduate program of studies in 7 years. This method was based on a new logic, in which the complex structure of Aristotle’s Organon and of the Summulae logicales of Peter of Spain is reduced to two main doctrines: the invention of arguments, by which it is possible to find the notions for reasoning and disputing (...) in any discipline, and the disposition of arguments in judgment, i.e., in propositions and syllogisms. Since this logic applies both to demonstrative and to probable reasoning, Ramus and Rudolph Agricola, who first introduced it, labeled it as dialectic. Ramus completed this twofold dialectic with a method, according to which disciplines have to be taught by providing general definitions, to be explained by subsequent dichotomous divisions. According to Ramus, this method ensures a well-ordered hierarchy and division of disciplines, and an efficient means to teach them in a shorter time than in the pedagogical programs of Juan Luis Vivès, Johann Sturm, and Philipp Melanchthon. This method had its main diffusion in the pre-university institutions such as the German gymnasia and gymnasia illustria (e.g., of Herborn), while in Reformed and Catholic universities the acceptance of Ramism was hindered by the predominance of the Aristotelian curriculum. (shrink)

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

ABSTRACT: Galen’s Institutio Logica is the only introduction to logic in Greek that has survived from antiquity. In it we find a theory that bears some resemblance to propositional logic. The theory is commonly understood as being essentially Stoic. However, this understanding of the text leaves us with a large number of inconsistencies and oddities. In this paper I offer an comprehensive alternative interpretation of the theory. I suggest that it is Peripatetic at base, and has drawn on Stoic elements, (...) but adapted them to an overall decidedly non-Stoic conception of logic and language, a conception indebted to Aristotelian logic in many respects. This interpretation makes it possible to reduce the seeming inconsistencies dramatically. The Peripatetic theory on which Galen draws was possibly developed in the first century BCE. Importantly, it differs from Stoic logic in that it shuns the latter’s syntactic approach, and considers certain linguistic assumptions and language conventions as part of the logical theory itself. My reconstruction of the theory results in a logic of propositions which differs wildly both from Stoic logic and from the ‘classical’ propositional logic of the 20th century. Interestingly, though, the theory in Galen shows that the ancients grappled with a number of logico-linguistic problems that over the last two decades have again become a matter of debate among contemporary logicians and linguists. (shrink)

The article deals with the Aristotelian doctrine of induction and its influence on the theory of induction of Al-Farabi. Inductive syllogisms of antiquity and the Middle Ages are compared with modern inferences by induction.

The present dissertation presents an examination of the Carrollian logic through the reconstruction of its syllogistic theory. Lewis Carroll was one of the main responsible for the dissemination of logic during the nineteenth century, but most of his logical writings remained unknown until a posthumous publication of 1977. The reconstruction of the Carrollian syllogistic theory was based on the comparison of the two books on author's logic, "The Game of Logic" and "Symbolic Logic". The analysis of the Carrollian syllogistics starts (...) from a study of the historical context of development of the logic and the developments of syllogistics previous to the contribution of the author. Situated in the historical period of algebraical logic, Carrollian syllogistics is characterized as a conservative extension of the Aristotelian syllogistics, the main innovation is the use of negative terms and the introduction of a diagrammatic method suitable for the representation of negative terms. The diagrammatic method of the Carrollian syllogistics presents advances in relation to the methods of Euler and Venn. The use of negative terms also requires a redefinition of the notion of syllogism, simplifying and expanding the amount of arguments amenable to logical treatment. Carroll does not use four, but only three categorical propositions in his syllogistic, with interpretation of existential presuppositions congruent with a syntactic-existential reading. Carrollian syllogistics uses some techniques found in the work of algebraists of logic and also made the same confusions between notions of "class" and "member" that were common in the period. Convinced of the social utility of logic and dedicated to popularize it, Carroll priorized a creation of new didactics for the teaching of logic in his works, where he can include his diagrammatic method of solving syllogisms. Carroll made only scant considerations of his conception of logic. Based on the small considerations found throughout the study and on the constant claim of the social utility of logic, it is suggested that Carroll is close to the so-called pragmatic position, which considers a logic as an instrument of regulation of discourse. (shrink)

Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.

Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons are (...) given for claiming that syllogistic validity is relevant validity. (shrink)

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

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world (...) and are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

It is commonly assumed that Aristotle's ethical theory shares deep structural similarities with neo-Aristotelian virtue ethics. I argue that this assumption is a mistake, and that Aristotle's ethical theory is both importantly distinct from the theories his work has inspired, and independently compelling. I take neo-Aristotelian virtue ethics to be characterized by two central commitments: (i) virtues of character are defined as traits that reliably promote an agent's own flourishing, and (ii) virtuous actions are defined as the sorts (...) of actions a virtuous agent reliably performs under the relevant circumstances. I argue that neither of these commitments are features of Aristotle's own view, and I sketch an alternative explanation for the relationship between virtue and happiness in the Nicomachean Ethics. Although, on the interpretation I defend, we do not find in Aristotle a distinctive normative theory alongside deontology and consequentialism, what we do find is a way of thinking about how prudential and moral reasons can come to be aligned through a certain conception of practical agency. (shrink)

McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.

This chapter defends an Aristotelian account of patriotism that differs from, and improves upon, the ‘extreme’ account of Aristotelian patriotism defended by Alasdair MacIntyre in a famous lecture. The virtue of patriotism is modeled on Aristotle’s account of the virtue of friendship; and the resulting account of patriotism falls between MacIntyre’s extreme patriotism and Marcia Baron’s moderate patriotism. The chapter illustrates how this plausible Aristotelian account of patriotism can avoid the dilemma that Baron has pressed against MacIntyre’s (...) extreme account. It also illustrates why the virtue of patriotism cannot coexist with willful forms of ignorance. In its discussion of patriotism and ignorance the chapter draws on a recent study (2018) of the especially strong connection in the United States between patriotism and poverty. (shrink)

Neo-Aristotelian naturalism purports to explain morality in terms of human nature, while maintaining that the relevant aspects of human nature cannot be known scientifically. This has led some to conclude that neo-Aristotelian naturalism is not a form of ethical naturalism in the standard, metaphysical sense. In this paper, I argue that neo-Aristotelian naturalism is in fact a standard form of ethical naturalism that is committed to metaphysical naturalism about moral truths and presents a distinctive and underappreciated argument (...) for it. I reconstruct the neo-Aristotelian argument for ethical naturalism in terms of a continuity between the ethical domain and the natural domain of life. I argue that clarifying the meta-ethical import of neo-Aristotelian naturalism not only helps to situate it among other positions in meta-ethics, but also facilitates better critical engagement with the view. (shrink)

This document diagrams the forms OOA, OOE, OOI, and OOO, including all four figures. Each form and figure has the following information: (1) Premises as stated: Venn diagram showing what the premises say; (2) Purported conclusion: diagram showing what the premises claim to say; (3) Relation of premises to conclusion: intended to describe how the premises and conclusion relate to each other, such as validity or contradiction. Used in only a few examples; (4) Distribution: intended to create a system in (...) which each syllogism has a unique code. In each premise and conclusion, the terms are each assigned a one or a zero, based on whether the term is distributed; (5) Rules: lists the rules of the syllogism and shows whether that particular syllogism follows, violates, or is unaffected by, each rule. (shrink)

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

The advent of contemporary evolutionary theory ushered in the eventual decline of Aristotelian Essentialism (Æ) – for it is widely assumed that essence does not, and cannot have any proper place in the age of evolution. This paper argues that this assumption is a mistake: if Æ can be suitably evolved, it need not face extinction. In it, I claim that if that theory’s fundamental ontology consists of dispositional properties, and if its characteristic metaphysical machinery is interpreted within the (...) framework of contemporary evolutionary developmental biology, an evolved essentialism is available. The reformulated theory of Æ offered in this paper not only fails to fall prey to the typical collection of criticisms, but is also independently both theoretically and empirically plausible. The paper contends that, properly understood, essence belongs in the age of evolution. (shrink)

Plenitude, roughly, the thesis that for any non-empty region of spacetime there is a material object that is exactly located at that region, is often thought to be part and parcel of the standard Lewisian package in the metaphysics of persistence. While the wedding of plentitude and Lewisian four-dimensionalism is a natural one indeed, there are a hand-full of dissenters who argue against the notion that Lewisian four-dimensionalism has exclusive rights to plentitude. These ‘promiscuous’ three-dimensionalists argue that a temporalized version (...) of plenitude is entirely compatible with a three-dimensional ontology of enduring entities. While few would deny the coherence of such a position, and much work has been done by its proponents to appease critics, there has been surprisingly little by way of exploring the various forms such an ontology might take as well as the potential advantages of one plenitudinous three-dimensional ontology over another. Here I develop a novel form of plenitudinous three-dimensionalism, what John Hawthorne (Metaphysical essays, 2006a, b) has called “Neo-Aristotelian Plenitude,” and argue that if one is inclined to endorse an abundant three-dimensional ontology, one is wise to opt for a plenitude of accidental unities. (shrink)

It is widely known that Aristotle rules out the existence of actual infinities but allows for potential infinities. However, precisely why Aristotle should deny the existence of actual infinities remains somewhat obscure and has received relatively little attention in the secondary literature. In this paper I investigate the motivations of Aristotle’s finitism and offer a careful examination of some of the arguments considered by Aristotle both in favour of and against the existence of actual infinities. I argue that Aristotle has (...) good reason to resist the traditional arguments offered in favour of the existence of the infinite and that, while there is a lacuna in his own ‘logical’ arguments against actual infinities, his arguments against the existence of infinite magnitude and number are valid and more well grounded than commonly supposed. (shrink)

Syllogisms with or without negative terms are studied by using Gergonne's ideas. Soundness, completeness, and decidability results are given.

Neo-Aristotelian metaethical naturalism is a modern attempt at naturalizing ethics using ideas from Aristotle’s teleological metaphysics. Proponents of this view argue that moral virtue in human beings is an instance of natural goodness, a kind of goodness supposedly also found in the realm of non-human living things. Many critics question whether neo-Aristotelian naturalism is tenable in light of modern evolutionary biology. Two influential lines of objection have appealed to an evolutionary understanding of human nature and natural teleology to (...) argue against this view. In this paper, I offer a reconstruction of these two seemingly different lines of objection as raising instances of the same dilemma, giving neo-Aristotelians a choice between contradicting our considered moral judgment and abandoning metaethical naturalism. I argue that resolving the dilemma requires showing a particular kind of continuity between the norms of moral virtue and norms that are necessary for understanding non-human living things. I also argue that in order to show such a continuity, neo-Aristotelians need to revise the relationship they adopt with empirical science and acknowledge that the latter is relevant to assessing their central commitments regarding living things. Finally, I argue that to move this debate forward, both neo-Aristotelians and their critics should pay attention to recent work on the concept of organism in evolutionary and developmental biology. (shrink)

Although written in Japanese, 実践的三段論法について（On Practical Syllogisms）pursues a logical form of the practical syllogism.

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said (...) commitment and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

Online philosophy seminar notes, for virtual conference on the Aristotelian philosophy of mathematics, hosted by University of Geneva (organiser Ryan Miller), June 15, 2023.

This special issue centers around Aristotelian metaphysics, construed broadly to cover both scholarly research on Aristotle’s metaphysics, as well as work by contemporary metaphysicians on Aristotelian themes. It focuses on two themes in Aristotelian metaphysics, namely essence and grounding, and their connections. A variety of related questions regarding dependence, priority, fundamentality, explanation, causation, substance, and modality also receive attention.

Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositions and a number of controversial metaphysical theses, and also by confining his theory to alethic modality, (...) Suhrawardi makes his modal syllogism simple in a way that is without precedent. (shrink)

In some influential histories of ancient philosophy, teleological explanation and mechanistic explanation are assumed to be directly opposed and mutually exclusive alternatives. I contend that this assumption is deeply flawed, and distorts our understanding both of teleological and mechanistic explanation, and of the history of mechanistic philosophy. To prove this point, I shall provide an overview of the first systematic treatise on mechanics, the short and neglected work Mechanical Problems, written either by Aristotle or by a very early member of (...) his school. I will argue that the work is thoroughly Aristotelian in methodology, and that taking it seriously can deepen our understanding of Aristotle’s discussion of animal and human self-motion in the Physics and On the Movement of Animals. (shrink)

In his work on Gender and Salvation, Jaini delves into the intricacies of Digambara arguments and Śvētāmbara objections regarding the possibility of women attaining moksha. At the heart of this debate lies the contentious issue of attire. Both Jain sects acknowledge that Mahāvīra and his early adherent mendicants practiced nudity. However, their perspectives diverge significantly. For Digambaras, the act of going naked is considered fundamental and indispensable in the pursuit of liberation. According to their beliefs, one cannot achieve moksha without (...) embracing this practice, which is seen as a manifestation of perfection in one of the three jewels of Jainism: right conduct. (shrink)

I argue that Aristotelian decisions (προαιρέσεις) cannot be conceived of as based solely on wish (βούλησις) and deliberation (βούλευσις), as the standard picture (most influentially argued for in Anscombe's "Thought and Action in Aristotle", in R. Bambrough ed. New Essays on Plato and Aristotle. London: Routledge, 1965) suggests. Although some features of the standard view are correct (such as that decisions have essential connection to deliberation and that wish always plays a crucial role in the formation of a decision), (...) Aristotelian decisions sometimes must include non-rational desires such as appetite. Consequently, any exegetical account of Aristotle’s notion of decision must be able to accommodate this feature. (shrink)

Two central accounts of human cognition emerge over the course of the Middle Ages: the theory of divine illumination and an Aristotelian theory centered on abstraction from sense data. Typically, these two accounts are seen as competing views of the origins of human knowledge; theories of divine illumination focus on God’s direct intervention in our epistemic lives, whereas Aristotelian theories generally claim that our knowledge derives primarily (or even entirely) from sense perception. In this paper, I address an (...) early attempt to reconcile these two accounts—namely, Robert Grosseteste’s commentary on Aristotle’s Posterior Analytics—and I argue that Grosseteste’s efforts to bring Aristotle’s account of human cognition into harmony with a theory of divine illumination proves both philosophically interesting and largely successful. Grosseteste’s claim that God does not directly illumine our intellects in this life opens his theory to the worry that Grosseteste leaves the divine out of his theory of divine illumination in the CPA. Steven Marrone, for example, holds that Grosseteste’s Aristotelian focus in this work causes him to abandon the theory of divine illumination he advocated in the earlier De veritate in favor of a modified theory of “human” illumination. I argue in contrast that Grosseteste does give God a role in human knowledge in the CPA—a role that allows human beings to remain largely responsible for the acquisition of knowledge while still requiring God’s illumination for actual cognition. In short, I conclude that, although human bodies interfere with God’s direct illumination of our intellects, God nevertheless plays a crucial ideogenic role in human cognition by illuminating the objects of our intellection and making them intelligible to us. (shrink)

The Kantian strain of practical constructivism (through Rawls, Korsgaard, and others) has been so influential that it is tempting to identify the constructivist approach in practical domains with the Kantian development of the outlook. In this essay, I explore a different variety of practical constructivism, what I call “Aristotelian constructivism”. My aim is to establish conceptual space for this form of constructivism by indicating in what ways Aristotelian constructivism agrees with its Kantian counterparts and in what ways it (...) differs. I claim that it is, in one sense, more faithful to the constructivist enterprise than the Kantian varieties, in that its understanding of both the establishment of practical truth and the vindication of the theory itself is constructivist. (shrink)

For an Aristotelian observer, the halo is a puzzling phenomenon since it is apparently sublunary, and yet perfectly circular. This paper studies Aristotle's explanation of the halo in Meteorology III 2-3 as an optical illusion, as opposed to a substantial thing (like a cloud), as was thought by his predecessors and even many successors. Aristotle's explanation follows the method of explanation of the Posterior Analytics for "subordinate" or "mixed" mathematical-physical sciences. The accompanying diagram described by Aristotle is one of (...) the earliest lettered geometrical diagrams, in particular of a terrestrial phenomenon, and versions of it can still be found in modern textbooks on meteorological optics. (shrink)

Abstract: This chapter examines the role of the virtuous agent in the acquisition of virtue. It rejects the view of the virtuous agent as a direct model for imitation and instead focuses on recent research on the importance of phronesis. Phronesis is understood as a type of moral ‘know how’ expertise that is supported by a variety of abilities, from emotional maturity, to self-reflection, to an empathic understanding of what moves others, to an ability to see beyond the surface and (...) understand the complexities of human behaviour. If we want to acquire virtue instead of focusing on the virtuous agent as such we should be trying to understand the abilities exemplified by his phronesis. As part of this project, I also consider philosophers who seek inspiration from the empirical sciences to shed light on how phronetic expertise is developed and what relevance this may have for moral education. (shrink)

It is standardly assumed that there are three — and only three — ways to solve problem of temporary intrinsics: (a) embrace presentism, (b) relativize property possession to times, or (c) accept the doctrine of temporal parts. The first two solutions are favoured by endurantists, whereas the third is the perdurantist solution of choice. In this paper, I argue that there is a further type of solution available to endurantists, one that not only avoids the usual costs, but is structurally (...) identical to the temporal-parts solution preferred by perdurantists. In addition to providing a general characterization of this new type of solution, I discuss certain of its anticipations in the literature on bundle theory, as well as provide a detailed development of it in terms of my own preferred metaphysics of ordinary objects — namely, a distinctive form of substratum theory tracing to Aristotle. (shrink)

Must we choose between reducing material substances to collections of properties, a’ la Berkeley and Hume or positing bare particulars, in the manner of Locke? Having repudiated the notion that a substance could simply be a collection of properties existing on their own, is there a viable alternative to the Lockean notion of a substratum, a being essentially devoid of character? E.J. Lowe and Michael Loux would answer here in the affirmative. Both recommend hylomorphism as an upgrade on the metaphysics (...) of the British empiricists: treating a material substance as its essential 'form,' this embodied 'substance' universal being, in turn, the substratum in which its 'accidents' inhere. Here, I evaluate this Aristotelian metaphysics, identifying the advantages it enjoys over the empiricist's alternatives pertaining to dependence, unity, identity, change, and the distinction between essential and accidental properties. I also develop solutions to the two problems that Loux sees it posing. (shrink)

The ways in which the Aristotelian sciences are related to each other has been discussed in the literature, with some focus on the subalternate sciences. While it is acknowledged that Aristotle, and Plato as well, was concerned as well with how the arts were related to one another, less attention has been paid to Aristotle's views on relationships among the arts. In this paper, I argue that Aristotle's account of the subalternate sciences helps shed light on how Aristotle saw (...) the art of rhetoric relating to dialectic and politics. Initial motivation for comparing rhetoric with the subalternate sciences is Aristotle's use of the language of boundary transgression, germane to the Posterior Analytics, when discussing rhetoric’s boundaries, as well as the language of "over" and "under" found in APo. First, I discuss three passages in Rhetoric Book I and argue that Garver's (1988) account cannot be correct. Second, I look to the subalternate sciences, especially focusing on optics and the distinction between "unqualified" optics and mathematical optics. Third, I discuss rhetoric's dependence on both dialectic and politics. (shrink)

Bowin begins with an apparent paradox about Aristotelian infinity: Aristotle clearly says that infinity exists only potentially and not actually. However, Aristotle appears to say two different things about the nature of that potential existence. On the one hand, he seems to say that the potentiality is like that of a process that might occur but isn't right now. Aristotle uses the Olympics as an example: they might be occurring, but they aren't just now. On the other hand, Aristotle (...) says that infinity "exists in actuality as a process that is now occurring" (234). Bowin makes clear that Aristotle doesn't explicitly solve this problem, so we are left to work out the best reading we can. His proposed solution is that "infinity must be...a per se accident...of number and magnitude" (250). (Bryn Mawr Classical Review 2008.07.47). (shrink)

Myles Burnyeat maintains that Aristotelian epistêmê, in so far as it deals with explanations, is properly identified as understanding rather than as knowledge. Although Burnyeat is right in thinking that the cognitive achievement Aristotle typically has in mind is not justified true belief, Aristotelian epistêmê cannot be equated with understanding. On some occasions in Aristotle's writings (e.g. Apo 71a4), the term designates a particular science such as mathematics; on others (e.g. Apo 72b18-20), it designates the grasp of a (...) first principle; on others (e.g. Apo 94a20) it is a systematic grasp of fact and explanation that is properly termed understanding; and on still others (e.g. N. Ethics 1147a22) it is that combination of factual knowledge and competency in demonstration that qualifies as expertise or disciplinary mastery. (shrink)

In this paper, I argue that cognitive enhancement cannot be epistemically beneficial since getting things right in particular and epistemic agency in general both presuppose a kind of achievement. Drawing on Aristotle’s ethics, I distinguish four categories of actions: caused, attributable, responsible, and creditable. I conclude that to the extent that cognitive enhancement is incompatible with the latter category it undermines rather than strengthens autonomous agency in the realm of cognition.

In this paper I examine what exactly is ‘Aristotelian metaphysics’. My inquiry into Aristotelian metaphysics should not be understood to be so much concerned with the details of Aristotle's metaphysics. I am are rather concerned with his methodology of metaphysics, although a lot of the details of his metaphysics survive in contemporary discussion as well. This warrants an investigation into the methodological aspects of Aristotle's metaphysics. The key works that we will be looking at are his Physics, Metaphysics, (...) Categories and De Interpretatione. Perhaps the most crucial features of the Aristotelian method of philosophising are the relationship between science and metaphysics, and his defence of the principle of non-contradiction (PNC). For Aristotle, natural science is the second philosophy, but this is so only because there is something more fundamental in the world, something that natural science – a science of movement – cannot study. Furthermore, Aristotle demonstrates that metaphysics enters the picture at a fundamental level, as he argues that PNC is a metaphysical rather than a logical principle. The upshot of all this is that the Aristotelian method and his metaphysics are not threatened by modern science, quite the opposite. Moreover, we have in our hands a methodology which is very rigorous indeed and worthwhile for any metaphysician to have a closer look at. (shrink)

The notion of habit used in neuroscience is an inheritance from a particular theoretical origin, whose main source is William James. Thus, habits have been characterized as rigid, automatic, unconscious, and opposed to goal-directed actions. This analysis leaves unexplained several aspects of human behavior and cognition where habits are of great importance. We intend to demonstrate the utility that another philosophical conception of habit, the Aristotelian, may have for neuroscientific research. We first summarize the current notion of habit in (...) neuroscience, its philosophical inspiration and the problems that arise from it, mostly centered on the sharp distinction between goal-directed actions and habitual behavior. We then introduce the Aristotelian view and we compare it with that of William James. For Aristotle, a habit is an acquired disposition to perform certain types of action. If this disposition involves an enhanced cognitive control of actions, it can be considered a “habit-as-learning”. The current view of habit in neuroscience, which lacks cognitive control and we term “habit-as-routine”, is also covered by the Aristotelian conception. He classifies habits into three categories: (1) theoretical, or the retention of learning understood as “knowing that x is so”; (2) behavioral, through which the agent achieves a rational control of emotion-permeated behavior (“knowing how to behave”); and (3) technical or learned skills (“knowing how to make or to do”). Finally, we propose new areas of research where this “novel” conception of habit could serve as a framework concept, from the cognitive enrichment of actions to the role of habits in pathological conditions. In all, this contribution may shed light on the understanding of habits as an important feature of human action. Habits, viewed as a cognitive enrichment of behavior, are a crucial resource for understanding human learning and behavioral plasticity. (shrink)