Switch to: Citations

Add references

You must login to add references.
  1. Studies in logic and probability.George Boole - 1952 - Mineola, N.Y.: Dover Publications.
    Appropriate for upper-level undergraduates and graduate students, this volume includes a variety of Boole's writings on logical subjects, along with papers on related questions of probability. His earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes Boole made on his own interleaved copy. In addition, the appendices contain relevant papers by contemporaries with whom the author engaged in discussion, making it possible to trace interesting developments in Boolean reasoning-particularly in regard to his extended (...)
    $20.00 used    View on Amazon.com
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   112 citations  
  • A reassessment of George Boole's theory of logic.James W. van Evra - 1977 - Notre Dame Journal of Formal Logic 18 (3):363-377.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
    This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   77 citations  
  • An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 2009 - [New York]: Cambridge University Press.
    Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as a (...)
    $12.24 new    View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   118 citations  
  • Aristotle's natural deduction system.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 85--131.
    This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   57 citations