Journal of Logic, Language and Information

, Volume 20, Issue 4, pp 445–474 | Cite as

The Hamiltonian Syllogistic

  • Ian Pratt-Hartmann


This paper undertakes a re-examination of Sir William Hamilton’s doctrine of the quantification of the predicate. Hamilton’s doctrine comprises two theses. First, the predicates of traditional syllogistic sentence-forms contain implicit existential quantifiers, so that, for example, All p is q is to be understood as All p is some q. Second, these implicit quantifiers can be meaningfully dualized to yield novel sentence-forms, such as, for example, All p is all q. Hamilton attempted to provide a deductive system for his language, along the lines of the classical syllogisms. We show, using techniques unavailable to Hamilton, that such a system does exist, though with qualifications that distinguish it from its classical counterpart.


Syllogisms Natural language and logic Complexity Proof-theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Aristotle. (1989). Prior analytics. Indianapolis, IN: Hackett (Robin Smith, Tr.).Google Scholar
  2. Bentham G. (1827) Outline of a new system of logic, with a critical examination of Dr. Whately’s “Elements of Logic”. Hunt and Clarke, LondonGoogle Scholar
  3. Corcoran J. (1972) Completeness of an ancient logic. Journal of Symbolic Logic 37(4): 696–702CrossRefGoogle Scholar
  4. Dutilh Novaes C. (2004) The Buridanian account of inferential relations between doubly quantified propositions: A proof of soundness. History and Philosophy of Logic 25(3): 225–243CrossRefGoogle Scholar
  5. Fogelin R. J. (1976) Hamilton’s quantification of the predicate. The Philosophical Quarterly 26(104): 217–228CrossRefGoogle Scholar
  6. Fogelin R. J. (1976) Hamilton’s theory of quantifying the predicate—A correction. The Philosophical Quarterly 26(105): 352–353CrossRefGoogle Scholar
  7. Hamilton S. W. (1853) Discussions on philosophy and literature, education and university reform. William Blackwood and Sons, EdinburghGoogle Scholar
  8. Hamilton S. W. (1860) Lectures on logic, Vol. II. William Blackwood and Sons, EdinburghGoogle Scholar
  9. Martin J. N. (1997) Aristotle’s natural deduction revisited. History and Philosophy of Logic 18(1): 1–15CrossRefGoogle Scholar
  10. McAllester D. A., Givan R. (1992) Natural language syntax and first-order inference. Artificial Intelligence 56: 1–20CrossRefGoogle Scholar
  11. Mill, J. S. (1979). An examination of Sir William Hamilton’s philosophy. Univerity of Toronto Press, Toronto and Buffalo. First published 1865.Google Scholar
  12. Pratt-Hartmann I., Moss L. S. (2009) Logics for the relational syllogistic. Review of Symbolic Logic 2(4): 647–683CrossRefGoogle Scholar
  13. Smiley T. J. (1973) What is a syllogism?. Journal of Philosophical Logic 2: 135–154CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.School of Computer ScienceUniversity of ManchesterManchesterUK

Personalised recommendations