Switch to: References

Add citations

You must login to add citations.
  1. Judgments vs Propositions in Alexander of Aphrodisias' Conception of Logic.Zoe McConaughey - forthcoming - History and Philosophy of Logic:1-15.
    This paper stresses the importance of identifying the nature of an author's conception of logic when using terms from modern logic in order to avoid, as far as possible, injecting our own conception of logic in the author's texts. Sundholm (2012. “‘Inference versus consequence” revisited: Inference, conditional, implication’, Synthese, 187, 943–956) points out that inferences are staged at the epistemic level and are made out of judgments, not propositions. Since it is now standard to read Aristotelian sullogismoi as inferences, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotle on the Individuation of Syllogisms.Phil Corkum - forthcoming - Ancient Philosophy.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristote et la question de la complétude.Clément Rahman Lion - 2018 - Philosophie Antique 18:219-243.
    Avec l’article « Aristotle’s natural deduction system », publié en 1974, J. Corcoran a contribué à diffuser une nouvelle perspective sur les écrits logiques d’Aristote et sur la théorie du syllogisme en particulier. Dans cet article, Corcoran affirme que, dans les premiers chapitres des Premiers Analytiques, Aristote ne propose pas un système axiomatique, qui supposerait une logique sous-jacente, ainsi que le pensait Łukasiewicz, mais plutôt un système de déduction naturelle, avec des dimensions métalogiques. Notre propos est ici basé sur une (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Framing the Epistemic Schism of Statistical Mechanics.Javier Anta - 2021 - Proceedings of the X Conference of the Spanish Society of Logic, Methodology and Philosophy of Science.
    In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • What did Frege take Russell to have proved?John Woods - 2019 - Synthese 198 (4):3949-3977.
    In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth of arithmetic is re-expressible without relevant loss as a provable truth about a purely logical object. Frege was persuaded that Russell had exposed a pathology in logicism, which faced him with the task of examining its symptoms, diagnosing its cause, assessing its seriousness, arriving at a treatment option, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Resemblance Structure of Natural Kinds: A Formal Model for Resemblance Nominalism.Javier Belastegui Lazcano - 2021 - Dissertation, Universidad Del País Vasco
    Download  
     
    Export citation  
     
    Bookmark  
  • Dialogue Types, Argumentation Schemes, and Mathematical Practice: Douglas Walton and Mathematics.Andrew Aberdein - 2021 - Journal of Applied Logics 8 (1):159-182.
    Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.
    Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mereology in Aristotle's Assertoric Syllogistic.Justin Vlasits - 2019 - History and Philosophy of Logic 40 (1):1-11.
    How does Aristotle think about sentences like ‘Every x is y’ in the Prior Analytics? A recently popular answer conceives of these sentences as expressing a mereological relationship between x and y: the sentence is true just in case x is, in some sense, a part of y. I argue that the motivations for this interpretation have so far not been compelling. I provide a new justification for the mereological interpretation. First, I prove a very general algebraic soundness and completeness (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Štyri antické argumenty o budúcich nahodnostiach (Four Ancient Arguments on Future Contingencies).Vladimir Marko - 2017 - Bratislava, Slovakia: Univerzita Komenského.
    Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument -/- The book is devoted to the ancient logical theories, reconstruction of their semantic proprieties and possibilities of their interpretation by modern logical tools. The Ancient arguments are frequently misunderstood in modern interpretations since authors usually have tendency to ignore their historical proprieties and theoretical background what usually leads to a quite inappropriate picture of the argument’s original form and mission. Author’s primary intention was to draw attention to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
    The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Aristotle’s Prototype Rule-Based Underlying Logic.John Corcoran - 2018 - Logica Universalis 12 (1-2):9-35.
    This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstrated, known premises from which the theorem is to be deduced, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).
    Download  
     
    Export citation  
     
    Bookmark  
  • Equivalential Structures for Binary and Ternary Syllogistics.Selçuk Topal - 2018 - Journal of Logic, Language and Information 27 (1):79-93.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Completed System for Robin Smith’s Incomplete Ecthetic Syllogistic.Pierre Joray - 2017 - Notre Dame Journal of Formal Logic 58 (3):329-342.
    In this paper we first show that Robin Smith’s ecthetic system SE for Aristotle’s assertoric syllogistic is not complete, despite what is claimed by Smith. SE is then not adequate to establish that ecthesis allows one to dispense with indirect or per impossibile deductions in Aristotle’s assertoric logic. As an alternative to SE, we then present a stronger system EC which is adequate for this purpose. EC is a nonexplosive ecthetic system which is shown to be sound and complete with (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Cláusula Final da Definição Geral do Silogismo e suas funções na silogística e nos Primeiros Analíticos I de Aristóteles.Felipe Weinmann - 2014 - Dissertation, University of Campinas
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Causality and attribution in an Aristotelian Theory.Srećko Kovač - 2015 - In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziauvol. 1, Cham, Heidelberg, etc.: Springer-Birkhäuser. Springer-Birkhäuser. pp. 327-340.
    Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.
    Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (2 other versions)Aristotle's logic at the university of buffalo's department of philosophy.John Corcoran - 2009 - Ideas Y Valores 58 (140):99-117.
    We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Establishing Connections between Aristotle's Natural Deduction and First-Order Logic.Edgar José Andrade & Edward Samuel Becerra - 2008 - History and Philosophy of Logic 29 (4):309-325.
    This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and ?ukasiewicz's axiomatization of the syllogistic. We show that by translating the former into a first-order theory, which we call T RD, we can establish a precise relationship between the two systems. We prove within the framework of first-order logic a number of logical properties about T RD that bear upon the same properties (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Logic and Metaphor.James Gasser - 1999 - History and Philosophy of Logic 20 (3-4):227-238.
    In this work, attention is drawn to the abundant use of metaphor and analogy in works of logic. I argue that pervasiveness of figurative language is to be counted among the features that characterize logic and distinguish it from other sciences. This characteristic feature reflects the creativity that is inherent in logic and indeed has been demonstrated to be a necessary part of logic. The goal of this paper, in short, is to provide specific examples of figurative language used in (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Aristotle'S natural deduction reconsidered.John M. Martin - 1997 - History and Philosophy of Logic 18 (1):1-15.
    John Corcoran’s natural deduction system for Aristotle’s syllogistic is reconsidered.Though Corcoran is no doubt right in interpreting Aristotle as viewing syllogisms as arguments and in rejecting Lukasiewicz’s treatment in terms of conditional sentences, it is argued that Corcoran is wrong in thinking that the only alternative is to construe Barbara and Celarent as deduction rules in a natural deduction system.An alternative is presented that is technically more elegant and equally compatible with the texts.The abstract role assigned by tradition and Lukasiewicz (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • An Essay on Knowledge and Belief.John Corcoran - 2006 - International Journal of Decision Ethics (2):125-144.
    This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)The Founding of Logic: Modern Interpretations of Aristotle’s Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
    Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Aristotle's demonstrative logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
    Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Aristotle’s Syllogistic as a Form of Geometry.Vangelis Triantafyllou - 2023 - History of Philosophy & Logical Analysis 27 (1):30-78.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Formal System of Categorical Syllogistic Logic Based on the Syllogism AEE-4Long Wei - 2023 - Open Journal of Philosophy 13 (1):97-103.
    Adopting a different method from the previous scholars, this article deduces the remaining 23 valid syllogisms just taking the syllogism AEE-4 as the basic axiom. The basic idea of this study is as follows: firstly, make full use of the trichotomy structure of categorical propositions to formalize categorical syllogisms. Then, taking advantage of the deductive rules in classical propositional logic and the basic facts in the generalized quantifier theory, we deduce the remaining 23 valid categorical syllogisms by taking just one (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Handbook of Argumentation Theory.Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij & Jean H. M. Wagemans - 2014 - Dordrecht, Netherland: Springer.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Analysis in Prior Analytics I.45.Igor Martinjak - 2022 - History and Philosophy of Logic 43 (3):207-231.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Division, Syllogistic, and Science in Prior Analytics I.31.Justin Vlasits - forthcoming - Ergo: An Open Access Journal of Philosophy.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Foundations and Kant's Principles of Formal Logic.Srećko Kovač - 2020 - History and Philosophy of Logic 41 (1):48-70.
    The abstract status of Kant's account of his ‘general logic’ is explained in comparison with Gödel's general definition of a formal logical system and reflections on ‘abstract’ (‘absolute’) concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a sort (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Logics of Transitive Verbs With and Without Intersective Adjectives.Selçuk Topal - 2018 - Studia Humana 7 (1):31-43.
    The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R containing transitive verbs and a more expressive logical system R containing both transitive verbs and intersective adjectives. The paper offers three different set-theoretic semantics which are equivalent for the logics.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logics for the relational syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • The Arithmetical dictum.Paolo Maffezioli & Riccardo Zanichelli - 2023 - History and Philosophy of Logic 44 (4):373-394.
    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’.
    Download  
     
    Export citation  
     
    Bookmark  
  • Natural Density and the Quantifier “Most”.Selçuk Topal & Ahmet Çevik - 2020 - Journal of Logic, Language and Information 29 (4):511-523.
    This paper proposes a formalization of the class of sentences quantified by most, which is also interpreted as proportion of or majority of depending on the domain of discourse. We consider sentences of the form “Most A are B”, where A and B are plural nouns and the interpretations of A and B are infinite subsets of \. There are two widely used semantics for Most A are B: \ > C \) and \ > \dfrac{C}{2} \), where C denotes (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dialectic, the Dictum de Omni and Ecthesis.Michel Crubellier, Mathieu Marion, Zoe Mcconaughey & Shahid Rahman - 2019 - History and Philosophy of Logic 40 (3):207-233.
    In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms.Marko Malink & Anubav Vasudevan - 2019 - Review of Symbolic Logic 13 (1):141-205.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics.M. Marion & H. Rückert - 2016 - History and Philosophy of Logic 37 (3):201-229.
    In this paper we provide an interpretation of Aristotle's rule for the universal quantifier in Topics Θ 157a34–37 and 160b1–6 in terms of Paul Lorenzen's dialogical logic. This is meant as a contribution to the rehabilitation of the role of dialectic within the Organon. After a review of earlier views of Aristotle on quantification, we argue that this rule is related to the dictum de omni in Prior Analytics A 24b28–29. This would be an indication of the dictum’s origin in (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Selected Bibliography on Aristotle's Theory of Categorical Syllogism.Raul Corazzon - unknown
    "However that may be, Aristotelian syllogistic concerned itself exclusively with monadic predicates. Hence it could not begin to investigate multiple quantification. And that is why it never got very far. None the less, the underlying grammar of Aristotle's logic did not in itself..
    Download  
     
    Export citation  
     
    Bookmark  
  • Models for modal syllogisms.Fred Johnson - 1989 - Notre Dame Journal of Formal Logic 30 (2):271-284.
    A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Completion, reduction and analysis: three proof-theoretic processes in aristotle’s prior analytics.George Boger - 1998 - History and Philosophy of Logic 19 (4):187-226.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900.James Van Evra - 2000 - History and Philosophy of Logic 21 (2):115-134.
    One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What Is Aristotelian Ecthesis?Robin Smith - 1982 - History and Philosophy of Logic 3 (2):113-127.
    I consider the proper interpretation of the process of ecthesis which Aristotle uses several times in the Prior analytics for completing a syllogistic mood, i.e., showing how to produce a deduction of a conclusion of a certain form from premisses of certain forms. I consider two interpretations of the process which have been advocated by recent scholars and show that one seems better suited to most passages while the other best fits a single remaining passage. I also argue that ecthesis (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Infinite Regress Arguments as per impossibile Arguments in Aristotle: De Caelo 300a30–b1, Posterior Analytics 72b5–10, Physics V.2 225b33–226a10. [REVIEW]Matthew Duncombe - 2022 - Rhizomata 10 (2):262-282.
    Infinite regress arguments are a powerful tool in Aristotle, but this style of argument has received relatively little attention. Improving our understanding of infinite regress arguments has become pressing since recent scholars have pointed out that it is not clear whether Aristotle’s infinite regress arguments are, in general, effective or indeed what the logical structure of these arguments is. One obvious approach would be to hold that Aristotle takes infinite regress arguments to be per impossibile arguments, which derive an infinite (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Existential-Import Mathematics.John Corcoran & Hassan Masoud - 2015 - Bulletin of Symbolic Logic 21 (1):1-14.
    First-order logic haslimitedexistential import: the universalized conditional ∀x[S(x) → P(x)] implies its corresponding existentialized conjunction ∃x[S(x) & P(x)] insome but not allcases. We prove theExistential-Import Equivalence:∀x[S(x) → P(x)] implies ∃x[S(x) & P(x)] iff ∃xS(x) is logically true.The antecedent S(x) of the universalized conditional alone determines whether the universalized conditionalhas existential import: implies its corresponding existentialized conjunction.Apredicateis a formula having onlyxfree. Anexistential-importpredicate Q(x) is one whose existentialization, ∃xQ(x), is logically true; otherwise, Q(x) isexistential-import-freeor simplyimport-free. Existential-import predicates are also said to beimport-carrying.How (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic. [REVIEW]Catarina Dutilh Novaes & Edgar Andrade-Lotero - 2012 - Journal of Philosophical Logic 41 (2):387 - 418.
    We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations