Contents \t\t\t\t\t \tTRANSLATOR'S INTRODUCTION \t\t1 \t \tNOTE ON THE TRANSLATION \t\t39 \t OBSERVATIONS ON THE FEELING OF THE BEAUTIFUL AND SUBLIME \t\t\t\t\t \tSECTION ONE: \t\t\t\t \t\tOf the Distinct Objects of the Feeling of the Beautiful and Sublime \t\t45 \tSECTION TWO: \t\t\t\t \t\tOf the Attributes of the Beautiful and Sublime.

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)

Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer this question, the reasoning behind the different positions taken, and their far-reaching implications. Aristotle had claimed that scientific knowledge, which includes mathematics, is provided by syllogisms of a special sort: 'scientific' ('demonstrative') syllogisms. In ancient Greece and in the Middle Ages, the claim that Euclid's theorems could be recast syllogistically was accepted without further scrutiny. Nevertheless, as (...) early as Galen, the importance of relational reasoning for mathematics had already been recognized. Further critical voices emerged in the Renaissance and the question of whether mathematical proofs could be recast syllogistically attracted more sustained attention over the following three centuries. Supported by more detailed analyses of Euclidean theorems, this led to attempts to extend logical theory to include relational reasoning, and to arguments purporting to reduce relational reasoning to a syllogistic form. Philosophical proposals to the effect that mathematical reasoning is heterogenous with respect to logical proofs were famously defended by Kant, and the implications of the debate about the adequacy of syllogistic logic for mathematics are at the very core of Kant's account of synthetic a priori judgments. While it is now widely accepted that syllogistic logic is not sufficient to account for the logic of mathematical proof, the history and the analysis of this debate, running from Aristotle to de Morgan and beyond, is a fascinating and crucial insight into the relationship between philosophy and mathematics. (shrink)

This book presents the first study of the development of the theory of modal syllogistic in the Middle Ages.

This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: Allxareyand Somexarey, There are at least as manyxasy, and There are morexthany. Herexandyrange over subsets (not elements) of a giveninfiniteset. Moreover,xandymay appear complemented (i.e., as$\bar{x}$and$\bar{y}$), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. (...) There are efficient algorithms for proof search and model construction. (shrink)

This book uncovers and examines the confusion in antiquity between Aristotle's hypothetical syllogistic and Stoic logic, and offers a fresh perspective on the ...

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)

This article describes a specific pedagogical context for an advanced logic course and presents a strategy that might facilitate students’ transition from the object-theoretical to the metatheoretical perspective on logic. The pedagogical context consists of philosophy students who in general have had little training in logic, except for a thorough introduction to syllogistics. The teaching strategy tries to exploit this knowledge of syllogistics, by emphasizing the analogies between ideas from metalogic and ideas from syllogistics, such as existential import, the distinction (...) between contradictories and contraries, and the square of opposition. This strategy helps to improve students’ understanding of metalogic, because it allows the students to integrate these new ideas with their previously acquired knowledge of syllogistics. (shrink)

This paper reviews current psychological theories of syllogistic inference and establishes that despite their various merits they all contain deficiencies as theories of performance. It presents the results of two experiments, one using syllogisms and the other using three-term series problems, designed to elucidate how the arrangement of terms within the premises affects performance. These data are used in the construction of a theory based on the hypothesis that reasoners construct mental models of the premises, formulate informative conclusions about the (...) relations in the model, and search for alternative models that are counterexamples to these conclusions. This theory, which has been implemented in several computer programs, predicts that two principal factors should affect performance: the figure of the premises, and the number of models that they call for. These predictions were confirmed by a third experiment. Dans cet article sont passées en revue les théories psychologiques du traitement des syllogismes. On établit qu'en dépit de leurs mérites variés toutes sont en défaut en tant que théories de la performance. On présente les résultats de deux expériences, une utilisant des syllogismes et l'autre des problémes avec des séries de trois termes conçues pour élucider comment l'arrangement des termes dans les premises affecte la performance. Ces données sont utilisées pour construire une théorie fondée sur l'hypothése que les gens construisent des modèles mentaux des premises, formulent des conclusions explicites sur les relations dans le modèle et cherchent des modèles qui seraient des contre-exemples pour leurs conclusions. Cette théorie, utilisée dans plusieurs programmes d'ordinateur, prédit que deux principaux facteurs affectent la performance: la figure des premises et le nombre de; modèles qu'ils mettent en jeu. Cette prédiction est confirmée dans les trois expériences. (shrink)

Extensions of traditional syllogistics have been increasingly researched in philosophy, linguistics, and areas such as artificial intelligence and computer science in recent decades. This is mainly due to the fact that syllogistics is seen as a logic that comes very close to natural language abilities. Various forms of extended syllogistics have become established. This paper deals with the question to what extent a syllogistic representation in CL diagrams can be seen as a form of extended syllogistics. It will be shown (...) that the ontology of CL enables numerically exact assertions and inferences. (shrink)

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

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

This paper adds comparative adjectives to two systems of syllogistic logic. The comparatives are interpreted by transitive and irreflexive relations on the underlying domain. The main point is to obtain sound and complete axiomatizations of the valid formulas in the logics.

Comparative syllogism is a type of scientific reasoning widely used, explicitly or implicitly, for inferences from observations to conclusions about effectiveness, but its philosophical significance has not been fully elaborated or appreciated. In its simplest form, the comparative syllogism derives a conclusion about the effectiveness of a factor (e.g. a treatment or an exposure) on a certain property via an experiment design using a test (experimental) group and a comparison (control) group. Our objective is to show that the comparative syllogism (...) can be understood as encoding a simulation view of counterfactuals, in that counterfactual situations are conceptual constructs that can be correctly simulated by homogeneous comparison groups. In this simulation view, the empirical data from the comparison groups play an evidential role in the evaluation of counterfactuals and in obtaining counterfactual knowledge. We further indicate how successful experimental designs can help us to obtain correct simulations, and thus to bring us to scientifically-empirically based counterfactual knowledge. (shrink)

The hypothesis of a theoretical unity between On Sophistical Refutations and Prior Analytics presents a major challenge to scholars attempting to unify the criteria of analysis. This paper examines this problem and proposes a middle ground between the perspectives of Woods and Boger to address this crucial question: If a unitary and coherent theory of deduction exists, why does not the technical apparatus of syllogistic modes for analyzing fallacies appear in SE? This paper makes useful contributions to the discussion on (...) the internal unity of Aristotle's logical writings on around categorical syllogistics and the doctrine of sophistical refutations. (shrink)

In 1883, while a student of C. S. Peirce at Johns Hopkins University, Christine Ladd-Franklin published a paper titled On the Algebra of Logic, in which she develops an elegant and powerful test for the validity of syllogisms that constitutes the most significant advance in syllogistic logic in two thousand years. Sadly, her work has been all but forgotten by logicians and historians of logic. Ladd-Franklin's achievement has been overlooked, partly because it has been overshadowed by the work of other (...) logicians of the nineteenth century renaissance in logic, but probably also because she was a woman. Though neglected, the significance of her contribution to the field of symbolic logic has not been diminished by subsequent achievements of others.In this paper, I bring to light the important work of Ladd-Franklin so that she is justly credited with having solved a problem over two millennia old. First, I give a brief survey of the history of syllogistic logic. In the second section, I discuss the logical systems called “algebras of logic”. I then outline Ladd-Franklin's algebra of logic, discussing how it differs from others, and explain her test for the validity of the syllogism, both in her symbolic language and the more familiar language of modern logic. Finally I present a rigorous proof of her theorem. Ladd-Franklin developed her algebra of logic before the methods necessary for a rigorous proof were available to her. Thus, I do now what she could not have done then. (shrink)

Traditionally, syllogisms are arguments with two premises and one conclusion which are constructed by propositions of the form “All… are…” and “At least one… is…” and their respective negated versions. Unfortunately, the practical use of traditional syllogisms is quite restricted. On the one hand, the “All…” propositions are too strict, since a single counterexample suffices for falsification. On the other hand, the “At least one …” propositions are too weak, since a single example suffices for verification. The present contribution studies (...) algebraic interpretations of syllogisms with comparative quantifiers (e.g., “Most… are…”) and quantitative quantifiers (e.g., “n/m… are…”, “all, except n… are…”). This modern version of syllogistics is intended to be a more adequate framework for argumentation theory than traditional syllogistics. (shrink)

In the paper, a new syllogistic system is built up. This system simulates a massive-parallel behavior in the propagation of collectives of parasites. In particular, this system simulates the behavior of collectives of trematode larvae.

We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.

Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantifiers, while completeness for syllogistic theory is proved by direct inspection of the valid syllogisms. Next, the valid syllogisms are decomposed in terms of the (...) rules they involve. The implementation uses Haskell [8], and is given in ‘literate programming’ style [9]. (shrink)

In this paper, we discuss the syllogisms from both fronts : Aristotle and Boethius. We mainly focus on the differences with respect to categorical and hypothetical syllogisms in Aristotle and Boethius. Regarding Aristotle’s works on logic, it is not unusual to claim that Aristotle extensively worked on categorical syllogisms. In Prior Analytics, Aristotle gave proofs for many valid moods. However we cannot find a similar treatment for hypothetical syllogism in his works. Thus, it might be a reason for his students (...) to improve Aristotle’s theory of syllogisms by filling the gaps in hypothetical syllogisms. As Boethius already emphasized in the Book I of De Hypotheticis Syllogismis, the Peripatetic School only initiated the start. The remaining and detailed treatise was due to Boethius himself. The impression we got from Boethius’s and Aristotle’s works on syllogisms is that the categorical syllogism is almost entirely developed by Aristotle himself, whereas the extensive and the detailed study of the hypothetical syllogism was carried out by Boethius, although he was not the first figure in the history who gave concise expositions on hypothetical syllogism. Boethius’s translations of syllogisms in medieval era were the primer resource and textbook for Aristotelian logic during the early Medieval ages. Therefore, the scholars of those times had no other chance but to work from Boethius’s commentaries. So, the evident properties of Aristotelian figures were not then visible. Boethius wrote several textbooks in logic. A detailed investigation might yield significant information on Boethius’s logic compared with the influence of Aristotle on Boethius. (shrink)

Does cognition sometimes literally extend into the extra-organismic environment (Clark, 2003), or is it always “merely” environmentally embedded (Rupert, 2004)? Underlying this current border dispute is the question about how to individuate cognitive processes on principled grounds. Based on recent evidence about the active role of representation selection and construction in learning how to reason (Stenning, 2002), I raise the question: what makes two distinct, modality-specific pen-and-paper manipulations of external representations – diagrams versus sentences – cognitive processes of the same (...) kind, e.g. episodes of syllogistic reasoning? In response, I defend a “division of labor” hypothesis, according to which external representations are dependent on perceptually grounded neural representations and mechanisms to guide our behavior; these internal mechanisms, however, are dependent on external representations to have their syllogistic content fixed. Only their joint contributions qualify the extended computational process as an episode of syllogistic reasoning in good standing. (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.

The syllogism has often been criticized. Yet the theory of the syllogism cannot be omitted from logic. Even if it were not for its historical significance, its nature as a chapter of class logic assigns to it a place in any presentation of logic.The usual exposition of the theory of the syllogism, however, whether given by the use of the familiar rules of the syllogism, or by the help of diagrams, appears clumsy and lacks the lucidity of modern chapters of (...) logic. The reason seems to be given in the inefficient notation, taken over from ancient and medieval logic. In the following I should like to present an improved notation, which combines some of the traditional features with modern ones, and which is based on the criticism of the syllogistic theory which I have given elsewhere. It will be seen that in the revised form the theory of the syllogism is apt to meet the standards of modern logic. (shrink)

In elementary logic textbooks, Venn diagrams are used to analyze and evaluate the validity of syllogistic arguments. Although the method of Venn diagrams is shown to be a powerful analytical tool in these textbooks, it still has limitations. On the one hand, such method fails to represent singular statements of the form, “a is F.” On other hand, it also fails to represent identity statements of the form, “a is b.” Because of this, it also fails to give an account (...) of the validity of some obviously valid arguments that contain these types of statements as constituents. In this paper, owing to the developments in the literature on Venn diagrams, we offer a way of supplementing the rules of the Venn diagram found in textbooks, and show how this retooled Venn diagram technique could account for the problem cases. (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.

This paper presents a restructured set of axioms for categorical logic. In virtue of it, the syllogistic with indefinite terms is deduced and proved, within the categorical logic boundaries. As a result, the number of all the conclusive syllogisms is deduced through a simple and axiomatic methodology. Moreover, the distinction between immediate and mediate inferences disappears, which reinstitutes the unity of Aristotelian logic.

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

A novel theoretical formulation of Categorical Logic based on two properties of categorical propositions and three simple axioms has been introduced recently. This formulation allowed for the suppression of the distinction between immediate and mediate inferences, and also provided a theoretical framework to study opposition relations, thus restoring the theoretical unity of traditional Aristotelian logic. By using this approach, it has been reported that a total of 3072 conclusive syllogistic moods can be found when including indefinite terms in classical syllogistic, (...) but this result has yet to be proven. This paper presents an overview of the recently proposed theoretical formulation of Categorical Logic, along with the derivation of the 48 canonical syllogistic moods that are capable of generating the 3072 conclusive moods previously reported. (shrink)

Examines the concept of the enthymeme in ancient Greek rhetoric, arguing that it is a technique of storytelling aimed at eliciting from the audience an inference about a narrative.

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The author's (...) model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (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)

Originally published in 1966 On the Syllogism and Other Logical Writings assembles for the first time the five celebrated memoirs of Augustus De Morgan on the syllogism. These are collected together with the more condensed accounts of his researches given in his Syllabus of a Proposed System of Logic an article on Logic contributed to the English Cyclopaedia. De Morgan was among the most distinguished of nineteenth century British mathematicians but is chiefly remembered today as one of the founders of (...) modern mathematical logic. His writings on this subject have been little read, however since apart from his Formal Logic, they lie buried for the most part in inaccessible periodicals. De Morgan's own later amendments are inserted in the text and the editorial introduction gives a summary of the whole and traces in some detail the course of the once-famous feud with Sir William Hamilton of Edinburgh. (shrink)

A system of intermediate quantifiers (“Most S are P”, “m/n S are P”) is proposed for evaluating the rationality of human syllogistic reasoning. Some relations between intermediate quantifiers and probabilistic interpretations are discussed. The paper concludes by the generalization of the atmosphere, matching and conversion hypothesis to syllogisms with intermediate quantifiers. Since our experiments are currently still running, most of the paper is theoretical and intended to stimulate psychological studies.

Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while influential, has been disputed since antiquity--and is today widely regarded as incoherent. Combining analytic rigor with keen sensitivity to historical context, Marko Malink makes clear that the modal syllogistic forms a consistent, integrated system of logic, one that is closely related to other areas of Aristotle's philosophy. Aristotle's modal syllogistic differs significantly from modern (...) modal logic. Malink considers the key to understanding the Aristotelian version to be the notion of predication discussed in the Topics--specifically, its theory of predicables and the ten categories. The predicables introduce a distinction between essential and nonessential predication. In contrast, the categories distinguish between substantial and nonsubstantial predication. Malink builds on these insights in developing a semantics for Aristotle's modal propositions, one that verifies the ancient philosopher's claims of the validity and invalidity of modal inferences. While it acknowledges some limitations of this reconstruction, Aristotle's Modal Syllogistic brims with bold ideas, richly supported by close readings of the Greek texts. (shrink)

In this paper we investigate the locus of believability effects in syllogistic reasoning. We identify three points in the reasoning process at which such effects could occur: the initial interpretation of premises, the examination of alternative representations of them (in all of which any valid conclusion must be true), and the “filtering” of putative conclusions. The effect of beliefs at the first of these loci is well established. In this paper we report three experiments that examine whether beliefs have an (...) effect at the other two loci. In experiments 1 and 2 subjects drew their own conclusions from syllogisms that suggested believable or unbelievable ones. In the third experiment they evaluated conclusions that were presented to them. The data show that beliefs both affect the examination of alternative models and act as a filter on putative conclusions. We conclude by showing how some types of problem and some problem contents make the existence of alternative models more obvious than others. (shrink)

The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause. The logics we present are extensions of the classical syllogistic, and we pay special attention to the question of whether reductio (...) ad absurdum is needed. Thus our main goal is to derive results on the existence (or nonexistence) of syllogistic proof systems for relational fragments. We also determine the computational complexity of all our fragments. (shrink)