Switch to: References

Add citations

You must login to add citations.
  1. 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   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  
  • The Fourth Figure in Aristotle.Murat Kelikli - 2018 - Entelekya Logico-Metaphysical Review 2 (2):75-98.
    This paper investigates whether Aristotle was aware of the fourth figure, and if he was aware of the fourth figure, why he excluded it from his system. Various commentators have explained why this figure does not exist in the system, so this paper compiles ane examines these arguments through a certain logical frame. By inquiring into why the fourth figure was not included in his logical system, the paper considers whether logical factors may explain this exclusion.
    Download  
     
    Export citation  
     
    Bookmark  
  • Existential-Import Mathematics.John Corcoran & Hassan Masoud - 2015 - Bulletin of Symbolic Logic 21 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark   1 citation