Open Access
Translator Disclaimer
October 1996 L'opera di Hugh MacColl alle origini delle logiche non-classiche [The works of Hugh MacColl and the origins of nonclassical logic]
Fania Cavaliere
Mod. Log. 6(4): 373-402 (October 1996).

Abstract

The Scottish logician Hugh MacColl (1837 - 1909) received his В.A. at the University of London and taught mathematics in Boulogne for most of his life.

MacColl argued that the basic relation in logic is not class inclusion, but implication between propositions, and in two series papers, the first on "The Calculus of Equivalent Statements" published in the late 1870s in Proceedings of the London Mathematical Society, the second on "Symbolic Reasoning" published in Mind from 1897 to 1906 and collected in Symbolic Reasoning and Its Applications, he developed the details for this "pure [propositional] logic". In carrying out this work he was instrumental in developing formal non-classical, particularly modal, logic, and his definition of 'p implies q' anticipated C. I. Lewis's definition of strict implication.

Citation

Download Citation

Fania Cavaliere. "L'opera di Hugh MacColl alle origini delle logiche non-classiche [The works of Hugh MacColl and the origins of nonclassical logic]." Mod. Log. 6 (4) 373 - 402, October 1996.

Information

Published: October 1996
First available in Project Euclid: 6 March 2008

zbMATH: 0985.03003
MathSciNet: MR1415810

Subjects:
Primary: 01A55
Secondary: 01A60 , 01A70 , 03-03 , 03B45 , 03B46

Rights: Copyright © 1996 The Review of Modern Logic

JOURNAL ARTICLE
30 PAGES


SHARE
Vol.6 • No. 4 • October 1996
Back to Top