Natural syllogisms are expressed in terms of classes and properties of the real world. They exploit a categorisation present in semantic memory that provides a class inclusion structure. they are enthymematic and typically occur within a dialogue. Their form is identical to a formal syllogism once the minor premise is made explicit. It is claimed that reasoners routinely execute natural_syllogisms in an effortless manner based on ecthesis, which is primed by the class inclusion structure kept in long term memory.

Aristotle's General Definition of the Syllogism may be taken as consisting of two parts: the Inferential Conditions and the Final Clause. Although this distinction is well known, traditional interpretations neglect the Final Clause and its influence on syllogistic. Instead, the aforementioned tradition focuses on the Inferential Conditions only. We intend to show that this neglect has severe consequences not just on syllogistic but on the whole exegesis of Aristotle's Prior Analytics I. Due to these consequences, our objective is to analyse (...) the General Definition's Final Clause and its consequences on syllogistic. We propose a reading of the Final Clause as an additional criterion for distinguishing some arguments as properly syllogistic ones and as a main theme which connects all parts of the Prior Analytics I into one coherent piece of work. (shrink)

Aristotle's theory of demonstration, developed in the Posterior Analytics, is not restricted to determining the formal requirements for formulating probative arguments that establish properly the results of scientific investigation. To the probative aspect of demonstration it shall be added its primarily explanatory character, orientated by theses of strong ontological and metaphysical content and involving notions like substance, essence and causation. We shall analyze the relation between those two ranges of Aristotle's philosophy of science and investigate how the formal features of (...) demonstration maintain an affinity with the metaphysical background to which scientific activity is conditioned. (shrink)

This article is intended to examine the structure and scope of the argumentation drawn in Metaphysics Γ 4, 1006a18-b34. As we shall see, though this passage does not bring a complete proof of the Principle of Non-Contradiction, it corresponds to its first step, which consists in determining the conditions of meaning necessary for discourse. That passage encloses in nuce the reasons which underlie Aristotelian conviction con- cerning the conventional nature of names and also brings to light the way this conven- (...) tional nature of names must be understood according to Aristotle. (shrink)

I argue that Topics VI does not contain any serious theory about definitions, but only a collection of advices for formulating definitions in a dialectical context, namely, definitions aiming to catch what the opponent means. Topics VI is full of inconsistencies that can be explained away by this approach: the inconsistencies reflect "acceptable opinions about definitions" that distinct groups of interlocutors accept. I also argue that the "topoi" need not be pieces of serious theory Aristotle is commited to. The "topoi" (...) must also be considered as "endoxa", namely, as accepted opinions about how it is legitimate to draw an inference. (shrink)

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

Aristotle's explanation of what is said ‘of every’ and ‘of none’ has been interpreted either as involving individuals, or as regarding exclusively universal terms. I claim that Alexander of Aphrodisias endorsed this latter interpretation of the dictum de omni et de nullo. This interpretation affects our understanding of Alexander's syllogistic: as a matter of fact, Alexander maintained that the dictum de omni et de nullo is one of the core principles of syllogistic.

In his 1910 book On the principle of contradiction in Aristotle, Jan Łukasiewicz claims that syllogistic is independent of the principle of contradiction . He also argues that Aristotle would have defended such a thesis in the Posterior Analytics. In this paper, we first show that Łukasiewicz's arguments for these two claims have to be rejected. Then, we show that the thesis of the independence of assertoric syllogistic vis-à-vis PC is nevertheless true. For that purpose, we first establish that there (...) is no possibility to account for Aristotle's original views on syllogistic without using per impossibile deductions. At last, following an idea due to Smith 1983, we prove that there is a complete reconstruction of assertoric syllogistic using ecthesis instead of reductio ad absurdum. Contrary to what is claimed in Smith 1983, we show that Smith's system SE has to be improved for such a reconstruction. This results in an ecthetic system which is complete with respect to syllogistic arguments, not explosi.. (shrink)

This paper examines how the work of Frege was known and received in Poland in the period 1910–1935 (with one exception concerning the later work of Suszko). The main thesis is that Frege's reception in Poland was perhaps faster and deeper than in other countries, except England, due to works of Russell and Jourdain. The works of Łukasiewicz, Leśniewski and Czeżowski are described.

The purpose of this paper is to discuss conditions of rationality for scientific research (SR) where "conditions" are understood as "necessary conditions". This will be done in the following way: First, I shall deal with the aim of SR since conditions of rationality (for SR) are to be understood as necessary means for reaching the aim (goal) of SR. Subsequently, the following necessary conditions will be discussed: Rational Communication, Methodological Rules, Ideals of Rationality and its Realistic Aspects, Methodological and Ontological (...) Conditions (Universality, Rules for Experiments, Causality), and Metaphysical Presuppositions and Extrapolations. (shrink)

Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be (...) familiar with the medieval logicians and their work. In this article we give an overview of Prior's work in ancient and medieval logic. (shrink)

This article is primarily concerned with Aristotle’s theory of the syllogistic, and the investigation of the hypothesis that logical symbolism and methodology were in these early stages of a geometrical nature; with the gradual algebraization that occurred historically being one of the main reasons that some of the earlier passages on logic may often appear enigmatic. The article begins with a brief introduction that underlines the importance of geometric thought in ancient Greek science, and continues with a short exposition of (...) Aristotle’s views and methods in regard to logic. We then offer an interpretation of syllogisms, as well as of the main proof methods that are utilized by Aristotle, in terms of diagrams that can be seen as analogous to those of Euclidean geometry; where the various proofs proceed by appropriately manipulating an initially drawn diagram, in a way parallel to constructions that occur in Euclid’s Elements. In this way, logic is presented as following, to a large degree, methodological tenets established by the practice of geometry. Finally, we present a diagrammatic decision procedure that allows one to directly read off the validity of syllogisms from a corresponding diagram, in a way such that no further manipulation of it is necessitated. (shrink)

The aim of this paper is to provide a contribution to the natural logic program which explores logics in natural language. The paper offers two logics called \ \) and \ \) for dealing with inference involving simple sentences with transitive verbs and ditransitive verbs and quantified noun phrases in subject and object position. With this purpose, the relational logics are introduced and a model-theoretic proof of decidability for they are presented. In the present paper we develop algebraic semantics of (...) the logics using congruence theory. (shrink)

Among the two rival views on the outside world, preference was historically given to the substantial point of view. The success of Aristotle’s logic was due to the simple substantial ontology built by him. In that logic, the subject is characterized by an instant set of properties. The change of objects leads to the change of properties. The reduction of processes to substances causes a number of problems. The construction of procedural logic should be started with the construction of the (...) most abstract procedural ontology. The main difference of processes from substances is their extension. Each item, as a process, can be considered as a bundle of parallel processes. The relation the individual S has the property P is the main relation in the substantial ontology. In the procedural ontology, one of the main ones is the relation process R is a sub-process of the process Q. This relation is sufficient for the interpretation of the main syllogistic constants. As a result, we get Łukasiewicz syllogistic for reasoning about parallel processes. The extension of the processes allows us to talk about their parts. The second main relation of procedural ontology is the relation process P consists of two successive processes Q and R. If the processes Q and R are successive, it is natural to make use of the relation earlier-later. In procedural ontology, time does not emerge through external postulation but exists within it. In the ontology of processes, one can naturally define the concept of causality, which becomes a logical concept. However, the success of the procedural view of the outside world is only possible if the new ways of reasoning prove to be a more effective tool for intellectual cognitive activity than the existing ones. (shrink)

En el presente trabajo analizaremos los procedimientos metodológicos implementados por Aristóteles en el fragmento 16 de Sobre la filosofía, en los que postula cierta entidad que caracteriza como divina y eterna. Para dar cuenta de esa entidad, Aristóteles se vale de un argumento factible de dividirse en tres momentos: en el primero, presenta el razonamiento por el cual se debe aceptar su eternidad; en el segundo, establece la identificación entre lo divino y lo óptimo y se focaliza en las posibles (...) causas por las cuales algo cambia, y, finalmente, sobre la base de este último resultado, en el tercer momento, se centra en demostrar que lo divino es inmutable. Para hacer esto, se vale de lo que suele llamar “silogismos a partir de hipótesis”. Nuestro objetivo es examinar el uso dialéctico de este tipo de silogismos, que en la primera parte del fragmento son equiparables con lo que en la terminología de la lógica actual conocemos como modus ponens y, hacia el final del fragmento, adquieren la forma de una reducción a lo imposible. (shrink)

The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific classifications are identified together with the (...) conditions for the lattice of closed subsets describing information to allow its existence. The structures can be used for logical analysis outside of language at the more general level of information, which in turn can be applied to the description of semantic relations in the context of information. (shrink)

Charles Peirce incorporates modality into his Existential Graphs by introducing the broken cut for possible falsity. Although it can be adapted to various modern modal logics, Zeman demonstrates that making no other changes results in a version that he calls Gamma-MR, an implementation of Jan Łukasiewicz's four-valued Ł-modal system. It disallows the assertion of necessity, reflecting a denial of determinism, and has theorems involving possibility that seem counterintuitive at first glance. However, the latter is a misconception that arises from overlooking (...) the distinction between the intermediate truth values that are assigned to possibly true propositions as either X-contingent or Y-contingent. Any two propositions having the same ITV are possible together, while any two propositions having different ITVs, including those that are each other's negation, are possible individually yet not possible together. Porte shows that Ł-modal can be translated into classical logic by defining a constant for each ITV such that its implication of another proposition asserts the latter's possibility, while its conjunction with another proposition asserts the latter's necessity. These are expressed in the Alpha part of EG without broken cuts, simplifying derivations and shedding further light on Łukasiewicz's system, as long as graphs including either of the constants are properly interpreted. Ł-modal and Gamma-MR thus capture the two-sided nature of possibility as the limit between truth and falsity in Peirce's triadic conception. (shrink)

In the nineteenth century, philosophy was at a crossroads. While the natural and technical sciences were developing in an unprecedented fashion, philosophy seemed to be stalled. Inspired by the progress of the natural sciences, many philosophers attempted to make such progress in philosophy and make philosophy a truly scientific discipline. This effort was also reflected in the philosophy of the Lvov-Warsaw school. While its founder, Kazimierz Twardowski, following his teacher Franz Brentano, promoted psychology as a method of scientific philosophy, one (...) of his first students, Jan Łukasiewicz, was convinced that mathematical logic was such a method. To use mathematical logic as a tool, Łukasiewicz had to, however, argue convincingly that logic is an independent science and hence is not a part of psychology, i.e., arguing for anti-psychologism in logic. He initially adopted the arguments provided by Husserl, then celebrated as a proponent of anti-psychologism, and Frege’s views. When Łukasiewicz developed, however, his systems of many-valued logic, he denied almost all the principles that characterise Husserl and Frege’s anti-psychologism, i.e., the objectivity of the laws of logic, the existence of apodictic propositions, and the distinction between a priori and empirical sciences. He was, however, a proponent of anti-psychologism up to the end of his life. The aim of my paper is to introduce Łukasiewicz’s unique concept of anti-psychologism that significantly affected the views of mathematical logic in the Lvov-Warsaw School, and the views of his colleagues which helped him develop the concept. (shrink)

AbstractŁukasiewicz introduced a new methodological approach to the history of logic. It consists of the use of modern formal logic in the research of the history of logic. Although he was not the first to use formal logic in his historical research, Łukasiewicz was the first who used it consistently and formulated it as a requirement for a historian of logic. The aim of this paper is to present Łukasiewicz's contribution and the history of its formulation. In addition, the paper (...) will present its reception. There are two main themes in Łukasiewicz’s work on the history of logic. He discussed Stoic logic and Aristotle’s syllogistic. The second part of the paper focuses on current reception of Łukasiewicz’s contribution and on the question of whether there is a difference between knowledge about his contribution to Stoic logic and to Aristotle’s syllogistic, given that it has been hypothesised that Łukasiewicz’s contribution is currently more known among Aristotelian scholars than among those who focus on Stoic logic. Based on the papers that have appeared in the last five years at Web of Science and Scopus this hypothesis has not been confirmed. (shrink)

This paper presents the link between Arthur N. Prior and logicians that belonged to the Lvov-Warsaw School. Although certain members of the Lvov-Warsaw School influenced Prior’s views, the amount and the form of the impact are still under discussion. Prior also cooperated with some of them in the development of his systems of logic. This paper focuses on four main areas in which Prior admitted adopting ideas from the Lvov-Warsaw School: systems of propositional logic, the history of logic, modal and (...) temporal logic and ontology. Prior’s published works as well as his correspondence, which is stored in Prior’s Nachlass, are used to describe the influence. (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)

We show how a semantics based on Aristotle’s texts and ecthetic proofs can be reconstructed. All truth conditions are given by means of set inclusion. Perfect syllogisms reveal to be valid arguments that deserve a validity proof. It turns out of these proofs that transitivity of set inclusion is the necessary and sufficient condition for the validity and perfection of a syllogism. The proofs of validity for imperfect syllogisms are direct proofs without conversion in a calculus of natural deduction. Transitivity (...) of set inclusion turns out to be a necessary condition for the validity of imperfect syllogisms. As a consequence, it can be established what the main metalogical difference between a perfect and an imperfect syllogism is. The validity of the laws of conversion is also obtained by direct proofs. Finally, it is shown that and explained why some imperfect syllogisms satisfy the definition of a perfect syllogism. (shrink)

Abstract“Natural syllogisms” are arguments formally identifiable with categorical syllogisms that have an implicit universal affirmative premise retrieved from semantic memory rather than explicitly stated. Previous studies with adult participants (Politzer, 2011) have shown that the rate of success is remarkably high. Because their resolution requires only the use of a simple strategy (known as ecthesis in classic logic) and an operational use of the concept of inclusion (the recognition that an element that belongs to a subset must belong to the (...) set but not vice versa), it was hypothesized that these syllogisms would be within the grasp of non‐adult participants, provided they have acquired the notion of deductive validity. Here, 11‐year‐old children were presented with natural syllogisms embedded in short dialogs. The first experiment showed that their performance was equivalent to adults' highest level of performance in standard experiments on syllogisms. The second experiment, while confirming children's proficiency in solving natural syllogisms, showed that they outperformed children who solved non‐natural matched syllogisms in the same experimental setting. The results are also in agreement with the argumentation theory of reasoning. (shrink)

Modern logicians have complained that Aristotelian logic lacks a distinction between predication and assertion, and that predication, according to the Aristotelians, implies assertion. The present paper addresses the question of whether this criticism can be levelled against Aristotle’s logic. Based on a careful study of the De interpretatione, the paper shows that even if Aristotle defines what he calls simple assertion in terms of predication, he does not confound predication and assertion. That is because, first, he does not understand compound (...) assertion in terms of predication, and secondly, he acknowledges non-assertive predicative thoughts that are truth-evaluable. Therefore, the implications of Aristotle’s ‘predication theory of assertion’ are not as devastating as the critics believe. (shrink)

[full article, abstract in English; only abstract in Lithuanian] The paper deals with the problem of the “two Barbaras” in the Aristotelian modal syllogistic. The problem consists in Aristotle’s differing views on two at a first sight similar in nature syllogisms of mixed assertoric and necessary premises: Barbara LXL and Barbara XLL. The fact that Aristotle believed the first syllogism to be valid and the second one – not, has been received either 1) negatively, because both Barbaras have been held (...) to be invalid, or 2) negatively, because both Barbaras have been held to be valid, or 3) positively, by giving a reason why the two Barbaras differ. We commit ourselves to the position by proving that modal propositions for Aristotle have their modalities de dicto and that Aristotelian modal operators act according to their own separate rules where only the type of the modality of a major premise is relevant for the modal status of the conclusion. (shrink)

Three distinctly different interpretations of Aristotle’s notion of a sullogismos in Prior Analytics can be traced: (1) a valid or invalid premise-conclusion argument (2) a single, logically true conditional proposition and (3) a cogent argumentation or deduction. Remarkably the three interpretations hold similar notions about the logical relationships among the sullogismoi. This is most apparent in their conflating three processes that Aristotle especially distinguishes: completion (A4-6)reduction(A7) and analysis (A45). Interpretive problems result from not sufficiently recognizing Aristotle’s remarkable degree of metalogical (...) sophistication to distinguish logical syntax from semantics and, thus, also from not grasping him to refine the deduction system of his underlying logic. While it is obvious that Aristotle most often uses ‘sullogimos’ to denote a valid argument of a certain kind, we show that at Prior Analytics A4-6, 7, 45 Aristotle specifically treats a sullogismos as an elemental argument pattern having only valid instances and that such a pattern then serves as a rule of deduction in his syllogistic logic. By extracting Aristotle’s understanding of three proof-theoretic processes, this paper provides new insight into what Aristotle thinks reasoning syllogistically is and, moreover, it resolves three problems in the most recent interpretation that takes a sullogismos to be a deduction. (shrink)

We seek to trace how the assertion–rejection dichotomy arose, as well as in what forms it was realized in logical discourse. From this viewpoint, we observe the approaches to the concept of rejection by Łukasiewicz, Carnap, and Słupecki. We also explore the controversy between rejection and negation. Our main observation is that for a correct understanding of this dichotomy, it is necessary to distinguish between the object language and metalanguages of different levels.

There have been and continue to be disagreements about how to consider the traditional square of opposition and the traditional inferences of obversion, conversion, contraposition and inversion from the perspective of contemporary quantificational logic. Philosophers have made many different attempts to save traditional inferences that are invalid when they involve empty classes. I survey some of these attempts and argue that the only satisfactory way of saving all the traditional inferences is to make the existential assumption that both the subject (...) and predicate classes and their complement classes are non-empty for all the propositions we admit. I briefly indicate the room for continued controversy over how properly to interpret Aristotle's statements regarding these inferences, but find some plausibility in the views of Manley Thompson and A.N.Prior that Aristotle had in mind a particular arrangement of existential import unfamiliar to most contemporary logicians. (shrink)

Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy for defining truth-functional (...) modal logics. The systems we define lack “Łukasiewicz type paradoxes”. Following Brady, we endow them with Belnap–Dunn type bivalent semantics. (shrink)

We elaborate on the approach to syllogistic reasoning based on “case identification” (Stenning & Oberlander, 1995; Stenning & Yule, 1997). It is shown that this can be viewed as the formalisation of a method of proof that dates back to Aristotle, namely proof by exposition ( ecthesis ), and that there are traces of this method in the strategies described by a number of psychologists, from St rring (1908) to the present day. We hypothesised that by rendering individual cases explicit (...) in the premises, the chance that reasoners would engage in a proof by exposition would be enhanced, and thus performance improved. To do so, we used syllogisms with singular premises (e.g., this X is Y ). This resulted in a uniform increase in performance as compared to performance on the associated standard syllogisms. These results cannot be explained by the main theories of syllogistic reasoning in their current state. (shrink)

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of Allwein (...) and MacCaull to a duality between complete lattices and b-frames, and we derive alternative characterizations of several classes of complete lattices from this duality. This framework is then used to obtain new results in the theory of complete Heyting algebras and the semantics of intuitionistic propositional logic. (shrink)

After presenting the rules of Eleatic antilogic, i.e., dialectic, I argue that Zeno was a practitioner, and, on the basis of key passages from Plato’s Parmenides (127e-128e and 135d-136c), that his paradoxes of divisibility and movement were notreductio ad absurdum, but simple derivation of impossibilities (adunaton) meant to ridicule Parmenides’ adversaries. Thus, Zeno did not try to prove that there is no motion, but simply derived this consequence from premises held by his opponents. I argue further that these paradoxes were (...) devised, in accordance with Eleatic antilogic, following a scheme that included hypotheses and their contradictories, within which the subject is to be treated both “in relation to itself,” and “in relation to other things”. (shrink)

Ever since ?ukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle's syllogistic is a pure term logic that does not recognize an extra syntactic category of individual symbols besides syllogistic terms and, second, (...) that Aristotelian modalities are to be understood as certain relations between terms as described in the theory of the predicables developed in the Topics. Semantics for modal syllogistic is to be based on Aristotelian genus-species trees. The reason that attempts at consistently reconstructing modal syllogistic have failed up to now lies not in the modal syllogistic itself, but in the inappropriate application of modern modal logic and extensional set theory to the modal syllogistic. After formalizing the underlying predicable-based semantics (Section 1) and having defined the syllogistic propositions by means of its term logical relations (Section 2), this paper will set out to demonstrate in detail that this reconstruction yields all claims on validity, invalidity and inconclusiveness that Aristotle maintains in the modal syllogistic (Section 3 and 4). (shrink)

I reconstruct Aristotle’s analytical procedure in Prior Analytics I.45 and its metalogical implications. Aristotle’s analysis unfolds three groups of syllogisms: symmetrically analysable, asymmetrically analysable, and non-analysable syllogisms. From the first and the third group could be extracted 27 combinations of the two mutually non-derivable deductive rules. Aristotle’s reduced deductive system in APr. I.7 with the two moods in the first figure (traditionally called Barbara and Celarent) follows this pattern. I demonstrate that the deductive system with Barbara and Celarent is just (...) one of 27 possible complete deductive systems with the two mutually non-derivable syllogistic rules. On top of that, given the fact that there are two combinations of mutually non-derivable conversion rules, I conclude that Prior Analytics hides in itself 54 complete deductive systems with a minimal number of mutually non-derivable rules. Finally, it is commented what might be the role of analysis; to what extent Aristotle could be aware of possibilities presented here; why he still prefers only one deductive system to many others with the same deductive power. (shrink)

Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th (...) century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titledSpecimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule ofreductio ad absurdumin a purely categorical calculus in which every proposition is of the formA is B. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule ofreductio ad absurdum, but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic known as RMI$_{{}_ \to ^\neg }$. (shrink)

Building on previous scholarly work on the mathematical roots of assertoric syllogistic we submit that for Aristotle, the semantic value of the copula in universal affirmative propositions is the relation of divisibility on positive integers. The adequacy of this interpretation, labeled here ‘arithmetical dictum’, is assessed both theoretically and textually with respect to the existing interpretations, especially the so-called ‘mereological dictum’.

I finished my undergraduate degree at Monash University and joined Charles Hamblin’s seminar at the University of NSW in March, 1968. Phil Staines from the University of Newcastle joined at the same time, and Vic Dudman was an established member. Hamblin’s book Fallacies would be published in 1970, but the seminar discussions rarely concerned fallacies. This may have been because Hamblin had been working for so long and so closely with those ideas that he was now ready to turn elsewhere. (...) But I shall argue that the book was only part of a much broader program, other parts of which occupied us in the seminars. Hamblin never explicitly discussed the writing of Fallacies with me, and what follows is an attempt to explain how the book fitted into his overall project as a logician, drawn from his published works and from what I remember of his contributions to the seminar. (shrink)

It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the contradictory of (...) its consequent is incompatible with its antecedent’, a view which, in the opinion of S. McCall, entails the aforementioned theses of Aristotle and Boethius. Now a critical examination of the historical sources shows that the ancient logicians most likely meant their theses as applicable only to ‘normal’ conditionals with antecedents which are not self-contradictory. The corresponding restrictions of Aristotle’s and Boethius’ theses to such self-consistent antecedents, however, turn out to be theorems of ordinary modal logic and thus don’t give rise to any non-classical system of genuinely connexive logic,. (shrink)

This book presents a (new) attempt to apply the notion of an underlying logic to Aristotle’s Organon and certain passages of the Metaphysics. The author situates his approach as part of a ‘deductio...

A unified and modular falsification-aware single-succedent Gentzen-style framework is introduced for classical, paradefinite, paraconsistent, and paracomplete logics. This framework is composed of two special inference rules, referred to as the rules of explosion and excluded middle, which correspond to the principle of explosion and the law of excluded middle, respectively. Similar to the cut rule in Gentzen’s LK for classical logic, these rules are admissible in cut-free LK. A falsification-aware single-succedent Gentzen-style sequent calculus fsCL for classical logic is formalized based (...) on the proposed framework. The calculus fsCL is obtained from the existing falsification-aware single-succedent Gentzen-style sequent calculus GN4 for Nelson’s paradefinite (or paraconsistent) four-valued logic N4 by adding the rules of explosion and excluded middle. A falsification-aware single-succedent Gentzen-style sequent calculus GN3 for Nelson’s paracomplete three-valued logic N3 is also obtained from GN4 by adding the rule of explosion. The cut-elimination theorems for fsCL, GN3, and some of their neighbors as well as the Glivenko theorem for fsCL are proved. (shrink)