Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • The Place of Reduction in Aristotle's Prior Analytics.George Boger - forthcoming - History and Philosophy of Logic:1-34.
    Studies of Aristotle’s syllogistic system, since Corcoran’s deductionist interpretation supplanted Łukasiewicz’ axiomaticist interpretation, misrepresent Aristotle’s logic in two important respects. Following Corcoran, they take indirect deduction to occur only once in a deduction discourse; they then obviate the system having a reductio rule. Second, they represent reduction as a deductive process for deriving ‘imperfect’ syllogisms from ‘perfect’ syllogisms to impose an axiomatic interpretation on the logic. Denying that Aristotle's logic admits of a reductio rule results from this misrepresentation of reduction. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotle's definition of syllogism in Prior Analytics 24b18-20.Lucas Angioni - manuscript
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • La teoría del silogismo simpliciter en las Refutaciones Sofísticas de Aristóteles.Gonzalo Llach Villalobos - 2020 - Dissertation, Pontifical Catholic University of Chile
    Download  
     
    Export citation  
     
    Bookmark  
  • A Study of the Metatheory of Assertoric Syllogistic.Maristela Rocha - 2023 - Logica Universalis 17 (3):347-371.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • 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  
  • The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic.Pierre Joray - 2014 - History and Philosophy of Logic 35 (3):219-236.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 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  
  • 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 intensional Leibniz semantics for aristotelian logic.Klaus Glashoff - 2010 - Review of Symbolic Logic 3 (2):262-272.
    Since Freges terms were meant to refer always to sets, that is, entities composed of individuals. Classical philosophy up to Leibniz and Kant had a different view on this questionBegriffes syntaxhighercorresponding to the idea which Leibniz used in the construction of his characteristic numbers. Thus, this paper is an addendum to Corcorans theory via predicate logic.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Computation of Aristotle's and gergonne's syllogisms.S. N. Furs - 1987 - Studia Logica 46 (3):209 - 225.
    A connection between Aristotle's syllogistic and the calculus of relations is investigated. Aristotle's and Gergonne's syllogistics are considered as some algebraic structures. It is proved that Gergonne's syllogistic is isomorphic to closed elements algebra of a proper approximation relation algebra. This isomorphism permits to evaluate Gergonne's syllogisms and also Aristotle's syllogisms, laws of conversion and relations in the "square of oppositions" by means of regular computations with Boolean matrices.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Indirect Proof and Inversions of Syllogisms.Roy Dyckhoff - 2019 - Bulletin of Symbolic Logic 25 (2):196-207.
    By considering the new notion of theinversesof syllogisms such asBarbaraandCelarent, we show how the rule ofIndirect Proof, in the form (no multiple or vacuous discharges) used by Aristotle, may be dispensed with, in a system comprising four basic rules of subalternation or conversion and six basic syllogisms.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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  
  • Aristoteles’ in izahat Yöntemi Hakkindaki Yorumlar.Murat Kelikli - 2014 - Kutadgubilig Felsefe-Bilim Araştırmaları Dergisi 25:115-127.
    There is very little information about the proving by Aristotle’s ecthesis method both in Aristotle’s and his commentators’ articles. Researches on ecthesis which were made by recent commentators are only on expository term. In our study, comments have been evaluated, points that are subject to contradiction have been determined, and opinions about ecthesis have been cited by giving proofs obtained by the ecthesis method.
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotelian Assertoric Syllogistic.Mohamed Amer - manuscript
    Download  
     
    Export citation  
     
    Bookmark