• Boole, George. 1847.The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning. Cambridge: Macmillan, Barclay and Macmillan.

  Google Scholar 

• Boole, George. 1854.An investigation of the laws of thought on which are founded the mathematical theories of logic and probability. London: Walton and Maberley.

  Google Scholar 

• Bradley, Raymond, and Norman Swartz. 1979.Possible worlds: an introduction to logic and its philosophy. Indianapolis: Hackett.

  Google Scholar 

• Bynum, Terrell W., ed. 1972.Gottlob Frege: conceptual notation and related articles. Oxford: Clarendon Press.

  Google Scholar 

• Church, Alonzo. 1983. Dictionary entry on George Boole, in Runes (1983).

  Google Scholar 

• Corcoran, John. 1974. Aristotle’s natural deduction system. InAncient logic and its modern interpretations, edited by John Corcoran. Dordrecht: Reidel.

  Chapter  Google Scholar 

• Corcoran, John. 1987. Review of MacHale (1985).Mathematical Reviews 87c:01030.

  Google Scholar 

• Corcoran, John. 1994. The founding of logic.Ancient Philosophy 14: 9–24.

  Article  Google Scholar 

• Corcoran, John, and Michael Scanlan. 1981. Review of Englebretsen (1980).Mathematical Reviews 81k:03014.

  Google Scholar 

• Corcoran, John, and Susan Wood. 1980. Boole’s criteria for validity and invalidity.Notre Dame Journal of Formal Logic 21: 609–38. [Reprinted in this volume, pp. 101–28.]

  Article  Google Scholar 

• Dawson, John W. 1997.Logical dilemmas: the life and work of Kurt Gödel. Wellesley, Mass.: A.K. Peters.

  Google Scholar 

• Englebretsen, George. 1980. Noncategorical syllogisms in the Analytics.Notre Dame Journal of Formal Logic 21: 602–8.

  Article  Google Scholar 

• Frege, Gottlob. 1882. On the scientific justification of a conceptual notation, in Bynum (1972), 83–9.

  Google Scholar 

• Frege, Gottlob. 1883. On the aim of the “Conceptual Notation”, in Bynum (1972), 90–100.

  Google Scholar 

• Gasser, James. 1989.Essai sur la nature et les critères de la preuve. Cousset: Editions Del Val.

  Google Scholar 

• Hailperin, Theodore. 1984. Boole’s abandoned prepositional logic.History and Philosophy of Logic 5: 39–48.

  Article  Google Scholar 

• Jongsma, Calvin. 1982. Richard Whately and the revival of syllogistic logic in Great Britain in the early nineteenth century. Ph.D. Dissertation, University of Toronto.

  Google Scholar 

• Kennedy, Hubert C., ed. 1973.Selected works of Giuseppe Peano. Toronto: University of Toronto Press.

  Google Scholar 

• Kneale, William. 1948. Boole and the revival of logic.Mind 57: 149–75.

  Article  Google Scholar 

• Kneale, William, and Martha Kneale. 1962.The development of logic. Oxford: Clarendon Press.

  Google Scholar 

• Lewis, Clarence I., and Cooper H. Langford. 1932/1959.Symbolic logic. 2nd ed. New York: Dover.

  Google Scholar 

• MacHale, Desmond. 1987.George Boole: his life and work. Dublin: Boole Press.

  Google Scholar 

• Peano, Giuseppe. 1889.Principles of arithmetic, presented by a new method, in Kennedy (1973), 101–34.

  Google Scholar 

• Prior, Arthur. 1948. Categoricals and hypotheticals in George Boole and his successors.Australasian Journal of Philosophy 27: 171–96.

  Article  Google Scholar 

• Quine, Willard V.O. 1940/1951.Mathematical logic. Revised ed. Cambridge, Mass.: Harvard University Press.

  Google Scholar 

• Quine, Willard V.O. 1950/1959Methods of logic. Revised ed. New York: Holt, Reinhart and Winston.

  Google Scholar 

• Rosenbloom, Paul C. 1950.Elements of mathematical logic. New York: Dover.

  Google Scholar 

• Runes, D.D., ed. 1983.Dictionary of philosophy. Littlefield: Adams Quality Paperback.

  Google Scholar 

• Russell, Bertrand. 1903.Principles of mathematics. New York: Norton (1964).

  Google Scholar 

• Smiley, Timothy. 1994. Aristotle’s completeness proof.Ancient Philosophy 14: 25–39.

  Article  Google Scholar 

• Tarski, Alfred. 1941/1994.Introduction to logic and to the methodology of the deductive sciences. 4th ed. New York: Oxford University Press.

  Google Scholar 

• Van Evra James. 1984. Richard Whately and the rise of modern logic.History and Philosophy of Logic 5:1–18.

  Article  Google Scholar 

• Whately, Richard. 1827.Elements of logic. Delmar, N.Y.: Scholars’ Facsimiles & Reprints (1975).

  Google Scholar 

Download references