Switch to: References

Add citations

You must login to add citations.
  1. Mereology in Aristotle's Assertoric Syllogistic.Justin Vlasits - 2018 - 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  
  • Les Arguments de Zénon D’Après le Parménide de Platon.Mathieu Marion - 2014 - Dialogue 53 (3):393-434.
    Après avoir présenté les règles de l’antilogique éléatique, je soutiens que Zénon pratiquait celle-ci et, à partir de l’étude de passages duParménidede Platon, que ses paradoxes sur la divisibilité et le mouvement ne sont pas des réfutations par l’absurde, mais plutôt de simples dérivations d’impossibilités employées pour ridiculiser les adversaires de Parménide. Zénon ne cherchait donc pas à prouver l’inexistence du mouvement, mais simplement à l’inférer des prémisses de ses adversaires. Je montre en outre que ces paradoxes sont conçus, conformément (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Indirect Proof and Inversions of Syllogisms.Roy Dyckhoff - 2019 - Bulletin of Symbolic Logic 25 (2):196-207.
    By considering the new notion of the inverses of syllogisms such as Barbara and Celarent, we show how the rule of Indirect Proof, in the form 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  
  • Was Ist Ein Vollkommener Syllogismus des Aristoteles?Theodor Ebert - 1995 - Archiv für Geschichte der Philosophie 77 (3):221-247.
    This paper (1) criticizes Patzig's explanation of Aristotle's reason for calling his first figure syllogisms perfect syllogisms, i.e. the transitivity relation: it can only be used for Barbara, not for the other three moods. The paper offers (2) an alternative interpretation: It is only in the case of the (perfect) first figure moods that we can move from the subject term of the minor premiss, taken to be a predicate of an individual, to the predicate term of the major premiss. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359 - 374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
    Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Ja?kowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks?the standard conduits of (...)
    Download  
     
    Export citation  
     
    Bookmark   22 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   2 citations  
  • Preface.Andrew Schumann - 2011 - History and Philosophy of Logic 32 (1):1-8.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Alfarabi on Conditionals.Kamran Karimullah - 2014 - Arabic Sciences and Philosophy 24 (2):211-267.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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   19 citations  
  • Essay Review.Gasser James - 1991 - History and Philosophy of Logic 12 (2):235-240.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Conversion of Propositions Containing Singular or Quantified Terms in Pseudo-Scotus.Paul Thom - 1982 - History and Philosophy of Logic 3 (2):129-149.
    A formal analysis is offered of Pseudo-Scotus's theory of the conversion of (i) propositions containing singular terms (including propositions with a singular term as predicate): and (ii) propositions with a quantified predicate. An attempt is made to steer a middle course between using the Aristotelian logic as a framework for the analysis, and using a Fregean framework.
    Download  
     
    Export citation  
     
    Bookmark