1. Anselm,De Grammatico [XIth c], Latin text and English translation in D. Henry,Commentary on De Grammatico, Reidel Publishing Co., Dordrecht, Holland, 1974.

   Google Scholar 

2. Bacon, J., “Natural-deduction Rules for Syllogistic” (abstract),The Journal of Symbolic Logic, vol.31 (1966), pp. 686–687.

   Google Scholar 

3. Boole, G.,The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning, Macmillan, Barclay & Macmillan, Cambridge and George Bell, London, 1847, also reprinted 1948 by Basil Blackwell, London.

   Google Scholar 

4. Boole, G.,An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities, Macmillan, London, 1854. Pagination referred to here is from the 1954 Dover reprint.

   Google Scholar 

5. Boole, G.,A Treatise on Differential Equations, Cambridge 1859. Pagination referred to from reprint of the fifth edition by Chelsea Publishing Co., New York.

   Google Scholar 

6. Boole, G.,Studies in Logic and Probability, edited by R. Rhees, Open Court Publishing Company, LaSalle, Illinois and Watts & Co., London, 1952.

   Google Scholar 

7. Church, A.introduction to Mathematical Logic, Princeton University Press, Princeton, N.J., 1956.

   Google Scholar 

8. Cohen, P. and R. Hersh, “Non-Cantorian Set Theory”,Scientific American, vol. 217 (1967), pp. 104–116.

   Article  Google Scholar 

9. Corcoran, J., “Three Logical Theories”,Philosophy of Science, vol. 36 (1969), pp. 153–177.

   Article  Google Scholar 

10. Corcoran, J., “Completeness of an Ancient Logic”,The Journal of Symbolic Logic, vol. 37 (1972), pp. 696–702.

    Article  Google Scholar 

11. Corcoran, J., “Aristotle’s Natural Deduction System” inAncient Logic and Its Modern Interpretations, ed., J. Corcoran, Reidel Publishing Co., Dordrecht, Holland, 1974.

    Chapter  Google Scholar 

12. Corcoran, J. and S. Wood, “Validity and Invalidity: Boole’s Criteria” (abstract),The Journal of Symbolic Logic, vol. 44 (1979), p. 662.

    Google Scholar 

13. Craig, W.,Logic in Algebraic Form, North-Holland, Amsterdam, 1974.

    Google Scholar 

14. DeMorgan, A.,Formal Logic, ed., A.E. Taylor, Open Court Co., London, 1926, orig. publ. Taylor and Walton, London, 1847.

    Google Scholar 

15. Dummett, M., Review of [6],The Journal of Symbolic Logic, vol. 24 (1959), pp. 203–209. [Reprinted in this volume, pp. 79–85.]

    Article  Google Scholar 

16. Hailperin, T.,Boole’s Logic and Probability, North-Holland, Amsterdam, 1976.

    Google Scholar 

17. Henry, D.,Commentary on De Grammatico, Reidel Publishing Co., Dordrecht, Holland, 1974.

    Book  Google Scholar 

18. Kneale, W. and M. Kneale,The Development of Logic, Oxford University Press, Oxford 1962.

    Google Scholar 

19. Langer, R.E., “Differential Equations”,Encyclopedia Brittanica, 1953 edition, vol. 7, pp. 358–363.

    Google Scholar 

20. Mill, John Stuart,A System of Logic, Longmans, Green and Company, London, 1879, originally published in 1843.

    Google Scholar 

21. Smiley, T., “What Is a Syllogism?”,Journal of Philosophical Logic, vol. 2 (1973), pp. 136–154.

    Article  Google Scholar 

22. Tarski, A.,Introduction to Logic and to the Methodology of Deductive Sciences, tr., O. Helmer, Oxford University Press, New York, 1941.

    Google Scholar 

23. Van Evra, J., “A Reassessment of George Boole’s Theory of Logic”,Notre Dame Journal of Formal Logic, vol. 18 (1977), pp. 363–377. [Reprinted in this volume, pp.87–99.]

    Article  Google Scholar 

24. Whately, R.,Elements of Logic, James Munroe & Co., Boston, 1845, originally published in London, 1825.

    Google Scholar 

25. Whitehead, A.N.,Universal Algebra, vol. 1, Cambridge University Press, Cambridge, 1898.

    Google Scholar 

26. Wood, S.,George Boole’s Theory of Propositional Forms, Ph.D. Dissertation in Philosophy, SUNY/Buffalo, 1976.

    Google Scholar 

Download references