David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 26 (2):75-91 (2005)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
M. Bekkali (1994). Chains and Antichains in Interval Algebras. Journal of Symbolic Logic 59 (3):860-867.
Robert Bonnet & Matatyahu Rubin (2002). On Essentially Low, Canonically Well-Generated Boolean Algebras. Journal of Symbolic Logic 67 (1):369-396.
R. I. G. Hughes (1982). The Logic of Experimental Questions. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:243 - 256.
Luiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Lei-Bo Wang (2010). Congruences on a Balanced Pseudocomplemented Ockham Algebra Whose Quotient Algebras Are Boolean. Studia Logica 96 (3):421-431.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Sakaé Fuchino (1994). Some Remarks on Openly Generated Boolean Algebras. Journal of Symbolic Logic 59 (1):302-310.
James Cummings & Saharon Shelah (1995). A Model in Which Every Boolean Algebra has Many Subalgebras. Journal of Symbolic Logic 60 (3):992-1004.
Rod Downey & Carl G. Jockusch Jr (1999). Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank. Journal of Symbolic Logic 64 (1):45-52.
Added to index2010-08-10
Total downloads8 ( #241,105 of 1,696,514 )
Recent downloads (6 months)1 ( #342,645 of 1,696,514 )
How can I increase my downloads?