The Hamiltonian syllogistic

DOI10.1007/S10849-011-9144-YzbMATH Open1305.03027arXiv1011.2973OpenAlexW1624348059MaRDI QIDQ2255182FDOQ2255182

Authors: Ian Pratt-Hartmann 

Publication date: 9 February 2015

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

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.

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

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

zbMATH Keywords

complexityproof theorysyllogismsnatural language and logic

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

• Title not available (Why is that?)
• What is a syllogism?
• Aristotle'S natural deduction reconsidered
• Completeness of an ancient logic
• 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

Cited In (4)

• A bitstring semantics for calculus \textit{CL}
• Elements for a history of artificial intelligence
• The syllogistic with unity
• Euler-type diagrams and the quantification of the predicate

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)