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 (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   239 citations  
  • Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   231 citations  
  • The mathematical analysis of logic.George Boole - 1948 - Oxford,: Philosophical Library.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • A treatise of formal logic.Jørgen Jørgensen - 1931 - New York,: Russell & Russell. Edited by William W. Worster.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The laws of thought.George Boole - 1854 - Amherst, N.Y.: Prometheus Books.
    This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic and Metaphysics, but Logic and (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
    SYMBOLIC LOGIC. CHAPTER I. ON THE FORMS OF LOGICAL PROPOSITION. IT has been mentioned in the Introduction that the System of Logic which this work is ...
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Categoricals and hypotheticals in George Boole and his successors.Arthur N. Prior - 1949 - Australasian Journal of Philosophy 27 (3):171 – 196.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Boole's philosophy of logic.Mary B. Hesse - 1952 - Annals of Science 8 (1):61-81.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • III.--Symbolical reasoning.H. Mccoll - 1880 - Mind (17):45-60.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan.Luis M. Laita - 1979 - Annals of Science 36 (1):45-65.
    This paper studies the possible influences on Boole's logic of the writings related to the controversy over the quantification of the predicate between the philosopher William Hamilton and the mathematician Augustus De Morgan. As Boole himself testified in the introduction to his book The mathematical analysis of logic , this controversy was the external agent that stimulated him into writing up his earlier thoughts about a new conception of logic. But in addition to the external role that was played by (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The logical calculus. I. general principles.W. E. Johnson - 1892 - Mind 1 (1):3-30.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Essay Review.John Corcoran - 1986 - History and Philosophy of Logic 7 (1):65-75.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Notes and discussions.George Bruce Halsted - 1878 - Mind (9):134-137.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Preliminary Discourse on the Study of Natural Philosophy.William Stanley Jevons - 1996 - Palala Press.
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps, and other notations in the work. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Institutes of metaphysic.James Frederick Ferrier - 1875 - New York: Garland.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Les Logiciens Anglais Contemporains.Louis Liard - 1878 - Germer Bailliere Et Cie.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Logic.William Stanley Jevons - 1876 - Macmillan.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Die Grundlagen Der Arithmetik: Eine Logisch-Mathematische Untersuchung Über Den Begriff Der Zahl.Friedrich Ludwig Gottlob Frege - 1884 - W. Koebner.
    Die Grundlagen der Arithmetik. Eine Ionisch mathematische UoterciicboDn über den Begriff der Zahl Dr. 0. Frege, ao Profeuor an der Univer»ität Jena. -. ...
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Symbolic Logic.John Venn - 1881 - Mind 6 (24):574-581.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Wallaschek, R. -Primitive Music.G. B. Halstead - 1878 - Mind 3:134.
    Download  
     
    Export citation  
     
    Bookmark   1 citation