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 the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. (...) It is shown that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

Decision theory explains weakness of will as the result of a conflict of incentives between different transient agents. In this framework, self-control can only be achieved by the I-now altering the incentives or choice-sets of future selves. There is no role for an extended agency over time. However, it is possible to extend game theory to allow multiple levels of agency. At the inter-personal level, theories of team reasoning allow teams to be agents, as well as individuals. I apply team (...) reasoning at the intra-personal level, taking the self as a team of transient agents over time. This allows agents to ask, not just “what should I-now do?’, but also ‘What should I, the person over time do?’, which may enable agents to achieve self-control. The resulting account is Aristotelian in flavour, as it involves reasoning schemata and perception, and it is compatible with some of the psychological findings about self-control. (shrink)

Since at least late antiquity, Aristotle’s Prior Analytics B 23 has been misread. Aristotle does not think that an induction is a syllogism made good by complete enumeration. The confusion can be eliminated by considering the nature of the surviving text and watching very closely Aristotle’s moving back and forth between “induction” and “syllogism from induction.” Though he does move freely between them, the two are not synonyms.

Aristotle's syllogistic theory, as developed in his Prior Analytics, is often regarded as the birth of logic in Western philosophy. Over the past century, scholars have tried to identify important precursors to this theory. I argue that Platonic division, a method which aims to give accounts of essences of natural kinds by progressively narrowing down from a genus, influenced Aristotle's logical theory in a number of crucial respects. To see exactly how, I analyze the method of division as it was (...) originally conceived by Plato and received by Aristotle. I argue that, while Plato allowed that some divisions fail to rigorously investigate the essence, he began a program continued by Aristotle (and others in antiquity and the middle ages) of seeking norms for division that would apply in any domain whatsoever. This idea of a rigorous, general method was taken up and developed by Aristotle in his syllogistic. Aristotle also used Plato's conception of predication as parthood in his semantics for syllogistic propositions. As part of my argument, I prove that a semantics based on Platonic divisional structures is sound and complete for the deduction system used in the literature to model Aristotle's syllogistic. (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 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)

Groarke is surely right that Aristotle believed the cognitive hierarchy he described in Posterior Analytics B 19 is central to, and not antithetical to, validating the syllogism described in Prior Analytics B 23. But did Aristotle really believe induction ultimately relies on what Groarke calls “a stroke or leap of understanding,” “immediate illumination,” “moment of immediate cognition,” “a direct insight,” “moment of illumination,” and so on? . . . Overall, what Groarke says here is provocative and inviting, even if (...) not definitive. (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)

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)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

The aim of this paper is to show how the invention of imaginary logic by Nikolaj A. Vasil’ev, forerunner of various logical and metaphysical theories appeared in the 20th century, is grounded on a revaluation of Aristotelian ontology. I shall introduce the reason why Aristotle believes that the study of the principle of contradiction is part of ontology (§ 2); I shall explain why Vasil’ev considers the law of contradiction an empirical law, and not a logical one (§ 3.1). (...) I will show his conception of contradiction (§ 3.2) and I will discuss how he believes that it’s possible to renounce this law; (§ 3.3). I shall then explain the fundamental features of imaginary logic (§ 4.1 and § 4.2); and, finally I shall claim how, in spite of a convergence from the logical point of view (§ 5.1), the incompatibility of the two authors takes place on an ontological level (§ 5.2). In order to do so, I shall implement the analysis of the Aristotelian syllogistic conducted by the Polish logician and philosopher Jan Łukasiewicz, together with a crucial distinction between two concepts: the one of ‘law’ and the one of ‘principle’. -/- . (shrink)

The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences. The concept of a rejected sentence (...) was introduced by J. Łukasiewicz in the course of his inquiry into Aristotelian Syllogistic. It was essentialy generelized by J. Słupecki who, with reference to Tarski's axiomatic theory of deductive systems (1930), gave the formal definition of the rejection function Cn' according to which a sentence y is rejected on the base of a set of sentences X iff at least one sentence which belongs to X can be deduced from the sentence y. Słupecki proved (1959) that the function Cn', which assignes to the set X the set of sentences rejected on the basis of X, is additive and satisfies the axioms of Tarski's general theory of deductive systems. Work (1) uses not only Tarski's general theory of systems but also his the so-called enlarged theory of systems (1930). It constructs a theory T of rejected sentences (propositions), which is created from Tarski's richer theory of systems by adding one axiom and a number of definitions; among them the definition of the rejection function Cn' is fundamental one. Cn' is a function which assignes to every set X of false sentences the set Cn'X whose members are exclusively false senteces. A number of theorems which describes properties of defined concepts have been proved in T. Some of them are necessary for conducting considertions of the concluding section of (1) devoted to the empirical sentences. Section 2 of (1) deals with the theory of the unit consequenses. It is characterized by an axiom from which follow all axioms of Tarski's general theory of deductive systems, additivity and the property that the unit consequence of the set X of sentences is a unit consequence only one sentence of X. An example of unit consequence is the rejection consequence Cn'. In section 3 of (1) the dual theory T' equivalent to T is presented. In T' the primitive concept is the rejection function Cn'. The fundamental axiom of T' states that Cn' is a unit consequence. The concluding section brings a few examples of applications of the definitions and theorems of T in the domain of the scientific methodology. Work (2) corresonds to J. Słupecki paper (1959) and the theory T of rejected propositions given in work (1). In this paper some suplements of the theory T are given. Work (3) is an extension of the theory of rejected propositios given in the paper (1). It is an attempt of formalization some problems of methodology of the empirical sciences which concern to such concepts as: empirical sentence, similar sentence, generalization, inductive conclusion etc. (shrink)

When Aristotle introduces the perfect moods, he refers back to the dictum de omni et nullo, a semantic condition for universal affirmations and negations. There recently has been renewed interest in the question whether the dictum validates the assertoric syllogistic. I rehearse evidence that Aristotle provides a mereological semantics for universal affirmations and negations, and note that this semantics entails a nonstandard reading of the dictum, under which the dictum, in the presence of a minimal logical apparatus, indeed validates the (...) assertoric syllogistic. I argue that this mereological validation offers advantages over recent discussions in Morison, Malink, Ebert and Vlasits. (shrink)

In La Silogística de Aristóteles, Antonio Benítez (i) offers a critical analysis of two contemporary interpretations of Aristotle's syllogistic of assertoric propositions (Corcoran and Łukasiewicz), and (ii) proposes to demonstrate the benefits of a mereological interpretation of the non-modal Aristotelian syllogistic.

The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.

The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...) this view, this dissertation, in a strict sense, investigates evidences that leads to the distinction of the inferentially expressivist tradition of syllogistic. In this semantic inferentialism, logic is the “organ of semantic self-consciousness”. In this sense, logic does not define the rational, in the most basic sense, but allows us to be aware, through inferential articulation, of the conceptual contents, which govern all our thoughts. Evidences presented in the work of this dissertation seek to show that the syllogism is marked by the logical-elucidative character of this semantic self-consciousness, because of its expressive role as inseparable from the notion of inference. In the first part of this dissertation, then, the tradition of syllogistics is examined, in which the expression is the main notion. This study is based on the tradition of syllogistics, composed of the Aristotelian school of Campinas, organized by Angioni (2014a), the logical economist Keynes (1906), and the “formalist” schools, represented mainly by the logician Łukasiewicz (1957, 1929/1963) and by Corcoran (1972, 1974, 2009, 2015). The main claims of the Campinas school are analyzed: the non-epistemological, but explanatory, exposition of (scientific) knowledge, in the syllogism, the secondary role of the notion of truth, the priority of the predicative structure, and the suggestion of approaching of the syllogistic to the relevant system of logic. In this analysis, we add the discussion about the reasoning of the epagogic type, important to the practical understanding of the “first principles”. The key points of Keynes are also discussed: the semantic priority of propositional judgment and the explanatory role of deductive inference. The second part of this dissertation discusses the relation between expression, inference and the expressive role of logic, based on the semantic inferentialism of Brandom. In order to discuss this relationship, propaedeutic questions are raised, related to the semantic role of sentences and subsentences (terms and predicates) in language, to different conceptions of logical validity, beyond the truth-functional aspect, to the logical demarcation of symbolic rules, to demarcation of logic, the idea of “formal logic”, and the removal of formal semantics from natural language concern. Next, the theoretical framework of Brandom's semantic inferentialism is presented. In this framework, the idea of philosophical semantics, pragmatisms of the semantic and conceptual type, expressivisms of the rationalist, logical and propositional conceptual type, and the semantically primitive notion of incompatibility come into play. Thus, to those who are interested in the correspondence between ancient logic and modern logic, the work of this dissertation offers a useful contribution, especially to projects of formalization of the syllogistics, which need not appeal against or in favor of a strictly formal approach to logic. (shrink)

Two stories have dominated the historiography of early modern philosophy: one in which a seventeenth century Age of Reason spawned the Enlightenment, and another in which a skeptical crisis cast a shadow over subsequent philosophy, resulting in ever narrower "limits to knowledge." I combine certain elements common to both into a third narrative, one that begins by taking seriously seventeenth-century conceptions of the topics and methods central to the rise of a "new" philosophy. In this revisionist story, differing approaches to (...) the central subject matter of early modern metaphysics--knowledge of substances through their essences and causal powers--arise as a result of disagreements about the powers of the human cognitive faculties. Methodological writings are seen as attempts to direct readers in the proper use of their cognitive faculties. The early modern rejection of the Aristotelian theory of cognition ranks equally in importance with rejection of Aristotelian doctrines about nature. Skepticism is more often than not a tool to be used in teaching the reader the proper use of the cognitive faculties, or indeed in convincing the reader of the existence or inexistence of certain cognitive faculties or powers. Instead of early modern "epistemology" or "theory of knowledge," one speaks, with seventeenth century writers, of theories of the cognitive faculties and their implications for the possibility of human knowledge. The early modern rejection of Aristotelian logic can then be seen as reflecting a negative assessment about the fit between syllogistic reasoning and logic as an art of reasoning or thinking which refines the use of the cognitive faculties. -/- Central to this new historiography is the story of the relation between the intellect and senses as cognitive faculties or powers. The development of philosophy from Descartes to Kant can be portrayed as a series of claims about the power of the intellect to know the essences of things, with resulting consequences for ontology and the foundations of natural philosophy. I illustrate this revised narrative by comparing three conceptions of the intellect in three philosophical settings, provided by several late scholastic Aristotelians, Descartes, and Locke. I have two aims: first, to exhibit the central role played by the conception of intellect or understanding in these authors, and, second, to locate their discussions of the cognitive faculties in relation to recent understandings of psychology, epistemology, logic, mind, and their relations. Early modern writings do not easily fit into the modern categories of epistemology and psychology; more generally, the early modern concern with the workings of mind does not coincide with recent conceptions of naturalism. These findings can help us to see problems with our current categories. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories of the “ (...) class='Hi'>syllogism” in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery of first-order (...) quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method –which we call the McColl-Ladd (ML) system– employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz’s historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic. (shrink)

ABSTRACT: Alexander of Aphrodisias’ commentaries on Aristotle’s Organon are valuable sources for both Stoic and early Peripatetic logic, and have often been used as such – in particular for early Peripatetic hypothetical syllogistic and Stoic propositional logic. By contrast, this paper explores the role Alexander himself played in the development and transmission of those theories. There are three areas in particular where he seems to have made a difference: First, he drew a connection between certain passages from Aristotle’s Topics and (...) Prior Analytics and the Stoic indemonstrable arguments, and, based on this connection, appropriated at least four kinds of Stoic indemonstrables as Aristotelian. Second, he developed and made use of a specifically Peripatetic terminology in which to describe and discuss those arguments – which facilitated the integration of the indemonstrables into Peripatetic logic. Third, he made some progress towards a solution to the problem of what place and interpretation the Stoic third indemonstrables should be given in a Peripatetic and Platonist setting. Overall, the picture emerges that Alexander persistently (if not always consistently) presented passages from Aristotle’s logical œuvre in a light that makes it appear as if Aristotle was in the possession of a Peripatetic correlate to the Stoic theory of indemonstrables. (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)

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)

In this paper, I argue that Plotinus does not limit the sphere of free human agency simply to intellectual contemplation, but rather extends it all the way to human praxis. Plotinus’s goal in the first six chapters of Ennead 6.8 is, accordingly, to demarcate the space of freedom within human practical actions. He ultimately concludes that our external actions are free whenever they actualize, in unhindered fashion, the moral principles derived from intellectual contemplation. This raises the question of how the (...) freedom of practical actions might relate to the freedom of intellectual contemplation. After considering two previously offered models—a model of double activity, and an Aristotelian model of practical syllogism—I offer a third alternative, namely a model of moral attunement, according to which our rational desires assume a kind of ‘care of the soul’ through active supervision. Practical life is thus imbued with freedom to the extent that the soul supervises its actions to conform to its will and choice of the good. (shrink)

Few elements of Aristotle’s practical philosophy have been more discussed than the so-called “practical syllogism”. But there are also few as suggestive to the commentators as this one. In this article I intend to define what the theory of practical syllogism would consist in, as a separated element within the Aristotelian ethical theory (or, more precise-ly, within his theory of action). It is not properly a demonstration of the existence of such a theory, but rather of the (...) possibility that it can take its place, even a necessary one, into the Stagirite’s general theory of action, in spite of some difficulties that I try to solve. This conclusion is reached through an analysis of the main elements of this theory. (shrink)

This essay advances the following set of arguments: First, that we must take seriously Hobbes's claim in Behemoth that "the science of just & unjust" is a demonstrable science, accessible to those of even the meanest capacity. Second, that Leviathan is the work in which this science, intended as a serious project in civic education, is set out. Third, that Hobbes is prepared to accept, like Plato & Aristotle, "giving to each his own," as a preliminary definition of justice, from (...) which however, he draws some very un-Aristotelian conclusions. Fourth, that though in Hobbes's theory "just & unjust" are equivalent of "lawful & unlawful," this is far from being a simple statement of legal positivism, but rather the conclusion of a practical syllogism. Fifth, that the impediments to this demonstrable science of justice being universally accepted, on Hobbes's account, are twofold, explained in terms of religion & the role of preachers & educators produced by the universities, on the one hand, & by the activity of "democratical gentlemen" & classical republicans dominating parliament, on the other. Sixth, that Hobbes's account of the transition from jus to lex, specified in terms of a transition from the state of nature to that of civil society, although Epicurean in origin, is much closer to a conventional civil law position. Adapted from the source document. (shrink)

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)

Standard responses to the question of the nature of logic can be broadly classified into two, namely: logical monists that privilege traditional logic above non-traditional logic and logical pluralists who recognize the legitimacy of many-valued logic and use same to argue for some form of logical relativity. The line of distinction appears to be fairly clear as traditional, Aristotelian, two-valued and standard logic maintains fidelity with the principle of bivalence and the traditional laws of thought while non-traditional, non-Aristotelian, (...) many-valued, non-standard or alternative logics somehow break their fidelity to the principle of bivalence and the traditional laws of thought. It appears to be settled that relativity typically belongs only to non-traditional logics. Contrary to this understanding, this paper argued that some level of relativity Is presupposed in traditional logic by the legitimacy enjoyed by syllogistic, propositional and predicate logics as a body of systems that make up traditional logic. This paper called for the revision of monistic approaches to traditional logic. Since there is some measure of relativity among traditional systems of logic, de-emphasizing the differences among syllogistic, propositional and predicate logics while stressing their unity as 'traditional logic' leads to the fallacy of accent. This fallacy occurs when theorists place vocal emphasis on the unity among traditional logical systems while ignoring their differences. (shrink)

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

I present Aristotle’s theory of causation in a way that privileges a comparison with contemporary discussion on causation. I do so by selecting in Aristotle’s theory points that are interesting to contemporary discussion and by translating Aristotle in the contemporary philosophical terminology. I compare Aristotle’s views with Mackie’s (1993/1965) and Sosa’s (1993/1980). Mackie is a humean regularist regarding the metaphysics of causal necessity, but his theory postulates some formal aspects of the causal relation which are similar to the Aristotelian (...) theory. By introducing the notion of causal field as a third causal relatum – a sample in which the cause must be picked out as a explanation coextensive to the effect –, Mackie holds a point very similar to Aristotle, inasmuch as both defend that the causal relation is triadic and both have the extensional desideratum. Sosa (1993/1980) defends that every cause necessitates its effect, arguing against classical Humeanism, and he also proposes a causal pluralism. Both these theses are clearly Aristotelian. Aristotle comprehends that the causal relation has three relata: a subjacent C, a property of that subjacent A and a cause B that explains why such property is attributed to that subjacent. The subjacent is similar to Mackie’s notion of causal field, for in regard to it the cause must be coextensive to the property. But Aristotle also says that for each explanandum (property attributed to a subjacent of which one aims to investigate a cause) there is only one cause, which necessitates it. Sosa and Aristotle are similar because both develop a causal pluralism from a theory of causes as having intrinsic necessitation. For Aristotle, causes/explanations [aitiai] are central for attaining scientific knowledge, and its triadic structure determines the syllogistic structure of scientific demonstrations. Aristotle’s theory of causation also involves comprehending the actualisation of capacities (dispositional properties of objects) affirming that the causal relation is resultant from intrinsic properties of the objects, and the cause B is the essence of the explanandum. (shrink)

In this article, I develop an Aristotelian account of akrasia as a primary failure of intentional agency in contrast to a phenomenon I refer to as ‘ordinary weakness of will’: I argue that ordinary weakness of will is best understood as a secondary failure of intentional agency, that to tackle akrasia.

Our aim is to argue for a deflationary interpretation of Aristotelian dialectic in the Topics, showing that dialectic is, for Aristotle, a specific sort of regulated debate, in contrast to a widely spread kind of interpretation which conceives dialectic as a method of philosophical investigation. Our claim is that an analysis carefully conducted of certain key texts does provide us with sufficient evidences for defending that the Topics is a handbook which codifies an existent art. This codification has a (...) descriptive character and reveals the rules of the debate, what is the specific kind of argument used in it, how premises are obtained and the predicative relation of the propositions used by the debaters. The mastery of the techniques required by the debate is not grounded in any sort of particular knowledge, rather in linguistic competence. It is by doing a technical usage of this competence that the Topics can be useful for philosophy. (shrink)

The most prominent arguments for scepticism in modern epistemology employ closure principles of some kind. To begin my discussion of such arguments, consider Simple Knowledge Closure (SKC): (SKC) (Kxt[p] ∧ (p → q)) → Kxt[q].1 Assuming its truth for the time being, the sceptic can use (SKC) to reason from the two assumptions that, firstly, we don’t know ¬sh and that, secondly, op entails ¬sh to the conclusion that we don’t know op, where ‘op’ and ‘sh’ are shorthand for ‘ordinary (...) proposition’ and ‘sceptical hypothesis’ respectively. (SKC), however, fails for familiar reasons: since knowledge entails belief (KB), we can derive the falsity (F) from (SKC) by hypothetical syllogism, and thus reduce (SKC) to absurdity: (KB) Kxt[p] → Bxt[p]. (F) (Kxt[p] ∧ (p → q)) → Bxt[q]. (shrink)

ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental (...) rules which establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)

In the first book of the Prior Analytics, Aristotle sets out, for the first time in Greek philosophy, a logical system. It consists of a deductive system (I.4-22), meta-logical results (I.23-26), and a method for finding and giving deductions (I.27-29) that can apply in “any art or science whatsoever” (I.30). After this, Aristotle compares this method with Plato’s method of division, a procedure designed to find essences of natural kinds through systematic classification. This critical comparison in APr I.31 raises an (...) interpretive puzzle: how can Aristotle reasonably juxtapose two methods that differ so much in their aims and approach? What can be gained by doing so? Previous interpreters have failed to show how this comparison is legitimate or what important point Aristotle is making. The goal of this paper is to resolve the puzzle. In resolving this puzzle we not only learn more about the relationship be- tween division and the syllogistic in Aristotle. We will also learn something about the motivation for the syllogistic itself, by seeing the role that it plays in his philosophy of science. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 864-886, December 2021.

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)

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

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)

Moti Mizrahi (2013) presents some novel counterexamples to Hypothetical Syllogism (HS) for indicative conditionals. I show that they are not compelling as they neglect the complicated ways in which conditionals and modals interact. I then briefly outline why HS should nevertheless be rejected.

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)

The purpose of this paper is an attempt to delimitate what the dialectical syllogism looks like in Aristotle’s Topics. Aristotle never gave an example of a dialectical syllogism, but we have some clues spread over books I and VIII of the Topics which make it possible to understand at least what within a dialectical debate is a dialectical syllogism. The interpretation advanced here distinguishes the logical order of the dialectical argumentation from the order of the debate. This (...) distinction enables us to have a better understand of what is and how the dialectical syllogism is identified in the debate. In addition, we can solve some interpretative difficulties other interpretations could not solve, and have a more solid grasp of how endoxa are used in a dialectical debate. (shrink)

The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of material cause that (...) can be expressed as the middle term of an explanatory syllogism. (3) If geometrical proof is viewed as a complex construction built on simpler constructions, it can in effect be described as a case of purely material constitution. (shrink)

This article proposes a metaethical route from neo-Aristotelian naturalism, as developed in particular by Philippa Foot, to virtue-ethical longtermism. It argues that the metaethical assumptions of neo-Aristotelian naturalism inherently imply that a valid description of the life-form of a species must satisfy a formal requirement of internal sustainability. The elements of a valid life-form description then serve as a normative standard. Given that humans have the ability to influence the fate of future generations and know about their influence, (...) this article posits that our future as a species becomes a part of the description of the human life-form. Consequently, in our case, the sustainability requirement is extended into the future, leading to a minimal and humanist version of longtermism. As in Rosalind Hursthouse’s naturalistic virtue ethics, the focus of the proposed virtue-ethical longtermism remains on developing virtues as the only reliable way for the agent to achieve the good life. However, since what can count as virtue must be compatible with a life-form description that, taken as a whole, facilitates the long-term survival of our species, this position still implies a genuine longtermism, although it contrasts with the quantifying and maximizing logic of consequentialism. (shrink)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical (...) Syllogism. The improved proof relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

ABSTRACT: This paper traces the evidence in Galen's Introduction to Logic (Institutio Logica) for a hypothetical syllogistic which predates Stoic propositional logic. It emerges that Galen is one of our main witnesses for such a theory, whose authors are most likely Theophrastus and Eudemus. A reconstruction of this theory is offered which - among other things - allows to solve some apparent textual difficulties in the Institutio Logica.

This article explores the ambivalent relationship of neo-Aristotelian naturalism to ethical supervenience. One of the main proponents of this approach, Michael Thompson, holds a position that leads to a rejection of local ethical supervenience. It is argued that this rejection implicitly undermines a premise held by other prominent neo-Aristotelian naturalists, such as Philippa Foot or Rosalind Hursthouse, who implemented Thompson’s species-relative logic of ethical evaluations into their theories. This premise—that there is a systematic connection between the virtuous life (...) and the benefit of the individual—could be re-established if neo-Aristotelian naturalism abandoned the species-essentialist understanding of life-forms and instead accepted local ethical supervenience as an ethical frame of reference. Although this article derives its problem from the main works of the aforementioned authors, its interest lies not mainly in exegesis, but in the systematic discussion of the logical status and the functionality of the concept of life-form in neo-Aristotelian naturalism. This discussion will be enriched by the inclusion of the logical distinctions and insights from modern philosophical biology. (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)