The Horn theory of Boole's partial algebras

&
Bulletin of Symbolic Logic 19 (1):97-105 (2013)
  Copy   BIBTEX

Abstract

This paper augments Hailperin's substantial efforts to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.

Categories

Keywords

Reprint years

DOI

10.2178/bsl.1901040

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
D-algebras.Stanley Gudder - 1996 - Foundations of Physics 26 (6):813-822.
Psychologism in Logic: Some Similarities between Boole and Frege.Nicla Vassallo - 2000 - In J. Gasser (ed.), A Boole Anthology. Recent and Classical Studies in the Logic of George Boole. Kluwer Academic Publishers.
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole.James Gasser (ed.) - 2000 - Dordrecht, Netherland: Kluwer Academic Publishers.
The correspondence between george boole and stanley jevons, 1863–1864.I. Grattan-Guinness - 1991 - History and Philosophy of Logic 12 (1):15-35.
Boole's abandoned propositional logic.Theodore Hailperin - 1984 - History and Philosophy of Logic 5 (1):39-48.
The scope of logic: deduction, abduction, analogy.Carlo Cellucci - 1998 - Theoria 64 (2-3):217-242.
Analysis versus laws boole’s explanatory psychologism versus his explanatory anti-psychologism.Nicla Vassallo - 1997 - History and Philosophy of Logic 18 (3):151-163.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
George Boole. The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning by George Boole — Die mathematische Analyse der Logik. Der Versuch eines Kalküls des deduktiven Schließens von George Boole, Schriftenreihe zur Geistes- und Kulturgeschichte: Texte und Dokumente. Hallescher Verlag, Halle, Saale, 2001, 195 pp. [REVIEW]Risto Vilkko - 2004 - Bulletin of Symbolic Logic 10 (1):108-109.

Analytics

Added to PP
2013-05-17

Downloads
41 (#398,989)

6 months
5 (#707,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references