De Morgan's Formal Logic, which was published on virtually the same day in 1847 as Boole's The Mathematical Analysis of Logic, contains a logic of complex terms (LCT) which has been sadly neglected. It is surprising to find that LCT contains almost a full theory of Boolean algebra. This paper will: (1) provide some background to LCT; (2) outline its main features; (3) point out some gaps in it; (4) compare it with Boole's algebra; (5) show that it is a lattice-theoretical formulation of Boolean algebra; (6) discuss some issues of historical priority; and (7) conclude with the puzzle of LCT's lack of influence
...MoreSimilar Citations
Chapter
Peckhaus, Volker;
(2009)
The Mathematical Origins of Nineteenth-Century Algebra of Logic
(/isis/citation/CBB001210344/)
Article
Abeles, Francine F.;
(2014)
Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication
(/isis/citation/CBB001213926/)
Article
Donal Murphy;
(2016)
George Boole and Walsh's Delusions
(/isis/citation/CBB926782871/)
Article
Laita, Luis M.;
(1979)
Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan
(/isis/citation/CBB000008037/)
Article
Verburgt, Lukas M.;
(2015)
The Objective and the Subjective in Mid-Nineteenth-Century British Probability Theory
(/isis/citation/CBB001553591/)
Article
Strong, John V.;
(1976)
The infinite ballot box of nature: De Morgan, Boole, and Jevons on probability and the logic of induction
(/isis/citation/CBB000022464/)
Article
Simmons, Charlotte;
(2008)
William Rowan Hamilton and George Boole
(/isis/citation/CBB000931920/)
Chapter
Cohen, Daniel J.;
(2005)
Reason and Belief in Victorian Mathematics
(/isis/citation/CBB000740675/)
Book
Desmond MacHale;
Yvonne Cohen;
(2018)
New Light on George Boole
(/isis/citation/CBB196236062/)
Thesis
David E. Dunning;
(2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937
(/isis/citation/CBB517005733/)
Book
Brendan Dooley;
(2018)
The Continued Exercise of Reason: Public Addresses by George Boole
(/isis/citation/CBB539223859/)
Article
Bar-Am, Nimrod;
(2004)
Extensionalism and Induction in Boole
(/isis/citation/CBB000630825/)
Article
Barrett, Lindsay;
Connell, Matthew;
(2005-2006)
Jevons and the Logic “Piano”
(/isis/citation/CBB000931937/)
Chapter
Storari, Gian Pietro;
(1995)
Newtonianesimo e scienza della mente: George Boole e le leggi del pensiero
(/isis/citation/CBB000067606/)
Article
Panteki, Maria;
(2003)
French “Logique” and British “Logic”: On the Origins of Augustus De Morgan's Early Logical Inquiries, 1805--1835
(/isis/citation/CBB000340653/)
Article
Valente, K. G.;
(2010)
Giving Wings to Logic: Mary Everest Boole's Propagation and Fulfilment of a Legacy
(/isis/citation/CBB000933057/)
Book
Boole, George;
De Morgan, Augustus;
(1982)
The Boole-De Morgan correspondence, 1842-1864. [Edited by] Smith, G. C.
(/isis/citation/CBB000002427/)
Article
Richards, Joan L.;
(2002)
“In a rational world all radicals would be exterminated”? Mathematics, Logic and Secular Thinking in Augustus De Morgan's England
(/isis/citation/CBB000202840/)
Book
Davis, Martin;
(2000)
The Universal Computer: The Road from Leibniz to Turing
(/isis/citation/CBB000102163/)
Article
Amirouche Moktefi;
(2018)
Did Lewis Carroll Own a Copy of George Boole's Laws of Thought? An Argument from the Sale Catalogues
(/isis/citation/CBB764672821/)
British Society for the History of Mathematics Bulletin
British Journal for the History of Mathematics
Science in Context
Rutherford Journal: The New Zealand Journal for the History and Philosophy of Science and Technology
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association
Be the first to comment!