Podrobná bibliografie
| Název: |
Hamilton's cumular conception of quantifying particles: an exercise in third-order logic Open Access. |
| Autoři: |
Makinson, David |
| Zdroj: |
Journal of Logic & Computation; Oct2025, Vol. 35 Issue 7, p1-30, 30p |
| Témata: |
FIRST-order logic, LOGIC, PREDICATE calculus, PREDICATE (Logic), MATHEMATICAL logic |
| Abstrakt: |
Sir William Hamilton is remembered for his proposal to extend the four traditional categoricals to eight by quantifying predicate as well as subject terms. He intended the quantifying particles to be understood in a 'collective' or 'cumular' manner rather than in a 'distributive' or 'exemplar' one, but commentators from De Morgan onwards have worked primarily from the latter perspective, comforted in the 20th century by the fact that it translates readily into the language of first-order logic with identity. Formal representation of the cumular approach needs more sophisticated resources, and the paper shows how it may be carried out using selection functions in the language of third-order logic. It also reviews a number of variants, some equivalent and others not so, as well as their reductions to second-order logic, and situates historical sources, both before and after Hamilton, with respect to the web of formal constructions. [ABSTRACT FROM AUTHOR] |
|
Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Databáze: |
Complementary Index |
Nájsť tento článok vo Web of Science