Switch to: References

Add citations

You must login to add citations.
  1. Existential-Import Mathematics.John Corcoran & Hassan Masoud - 2015 - Bulletin of Symbolic Logic 21 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Aristotelian Logic Axioms in Propositional Logic: The Pouch Method.Enrique Alvarez-Fontecilla & Tomas Lungenstrass - 2018 - History and Philosophy of Logic 40 (1):12-21.
    A new theoretical approach to Aristotelian Logic based on three axioms has been recently introduced. This formalization of the theory allowed for the unification of its uncommunicated traditional branches, thus restoring the theoretical unity of AL. In this brief paper, the applicability of the three AL axioms to Propositional Logic is explored. First, it is shown how the AL axioms can be applied to some simple PL arguments in a straightforward manner. Second, the development of a proof method for PL (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Existential Import and an Unnecessary Restriction on Predicate Logics.George Boger - 2018 - History and Philosophy of Logic 39 (2):109-134.
    Contemporary logicians continue to address problems associated with the existential import of categorical propositions. One notable problem concerns invalid instances of subalternation in the case of a universal proposition with an empty subject term. To remedy problems, logicians restrict first-order predicate logics to exclude such terms. Examining the historical origins of contemporary discussions reveals that logicians continue to make various category mistakes. We now believe that no proposition per se has existential import as commonly understood and thus it is unnecessary (...)
    Download  
     
    Export citation  
     
    Bookmark