Article ID: CBB000740616

Augustus De Morgan's Boolean Algebra (2005)

unapi

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

...More
Citation URI
https://data.isiscb.org/isis/citation/CBB000740616/

Similar Citations

Article Abeles, Francine F.; (2014)
Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication (/isis/citation/CBB001213926/)

Chapter Peckhaus, Volker; (2009)
The Mathematical Origins of Nineteenth-Century Algebra of Logic (/isis/citation/CBB001210344/)

Article Donal Murphy; (2016)
George Boole and Walsh's Delusions (/isis/citation/CBB926782871/)

Chapter Cohen, Daniel J.; (2005)
Reason and Belief in Victorian Mathematics (/isis/citation/CBB000740675/)

Article Verburgt, Lukas M.; (2015)
The Objective and the Subjective in Mid-Nineteenth-Century British Probability Theory (/isis/citation/CBB001553591/)

Article Simmons, Charlotte; (2008)
William Rowan Hamilton and George Boole (/isis/citation/CBB000931920/)

Chapter Storari, Gian Pietro; (1995)
Newtonianesimo e scienza della mente: George Boole e le leggi del pensiero (/isis/citation/CBB000067606/)

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/)

Thesis David E. Dunning; (2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937 (/isis/citation/CBB517005733/)

Book Desmond MacHale; Yvonne Cohen; (2018)
New Light on George Boole (/isis/citation/CBB196236062/)

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/)

Book Davis, Martin; (2000)
The Universal Computer: The Road from Leibniz to Turing (/isis/citation/CBB000102163/)

Authors & Contributors
Donal Murphy
Dunning, David E.
Cohen, Yvonne
Verburgt, Lukas M.
Valente, K. G.
Strong, John V.
Concepts
Logic
Mathematics
Philosophy
Biographies
Science and religion
Exhibits
Time Periods
19th century
20th century, early
18th century
Places
Great Britain
North America
Germany
France
Europe
Australia
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment