The Hamiltonian syllogistic

DOI10.1007/S10849-011-9144-YMaRDI QIDQ2255182zbMATH OpenOpenAlexFDO

Authors Ian Pratt-Hartmann

Publication date 9 February 2015

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.2973

zbMATH Keywords

complexitynatural language and logicproof theorysyllogisms

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Abstract: 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 are q" is to be understood as "All p are some q". Second, these implicit quantifiers can be meaningfully dualized to yield novel sentence-forms, such as, for example, "All p are 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.

Recommendations

• Quantification of the predicate and numerically definite syllogism. The controversy between Augustus De Morgan and William Hamilton: formal logic between algebra and syllogistics
• Aristotelian syllogisms and generalized quantifiers
• scientific article; zbMATH DE number 1778923
• The syllogistic with unity
• scientific article; zbMATH DE number 3946094

Cites work

• Aristotle'S natural deduction reconsidered
• Completeness of an ancient logic
• scientific article; zbMATH DE number 47233 (Why is no real title available?)
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Natural language syntax and first-order inference
• The Buridanian Account of Inferential Relations between Doubly Quantified Propositions: a Proof of Soundness
• What is a syllogism?

Cited in

(7)

• Euler-type diagrams and the quantification of the predicate
• The syllogistic with unity
• Caramuel and the ``quantification of the predicate
• Quantification of the predicate and numerically definite syllogism. The controversy between Augustus De Morgan and William Hamilton: formal logic between algebra and syllogistics
• A bitstring semantics for calculus \textit{CL}
• Elements for a history of artificial intelligence
• Hamilton's cumular conception of quantifying particles: an exercise in third-order logic

This page was built for publication: The Hamiltonian syllogistic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255182)