Switch to: Citations

Add references

You must login to add references.
  1. Aristotle and Logical Theory.Jonathan Lear - 1980 - Cambridge, England: Cambridge University Press.
    Aristotle was the first and one of the greatest logicians. He not only devised the first system of formal logic, but also raised many fundamental problems in the philosophy of logic. In this book, Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to contemporary debates in the philosophy of logic. No background knowledge of Aristotle is assumed.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
    In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...)
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • Aristotle's compactness proof.Jonathan Lear - 1979 - Journal of Philosophy 76 (4):198-215.
    Download  
     
    Export citation  
     
    Bookmark   4 citations