George Boole

George Boole [ˌdʒɔːdʒ ˈbuːl] (* 2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer Mathematiker (Autodidakt), Logiker und Philosoph.

George Boole (um 1860)

Leben

Boole war ursprünglich als Lehrer tätig. Auf Grund seiner wissenschaftlichen Arbeiten wurde er 1848 Mathematikprofessor am Queens College in Cork (Irland). Von der Royal Society wurde er 1844 mit der Royal Medal ausgezeichnet. 1857 wurde er zum Mitglied („Fellow“) der Royal Society gewählt.

Boole's Grabstein auf dem Friedhof von St Michael's, Blackrock, Irland

George Boole ist der Vater der Schriftstellerin Ethel Lilian Voynich (1864–1960) und von Alicia Boole Stott (1860–1940), der es als Amateur-Mathematikerin ohne formale Vorbildung gelang, die regulären Polyeder in vier Dimensionen zu klassifizieren.

George Booles Haus, Bachelor's Quay, Cork

Hauptwerk

Boole schuf in seiner Schrift The Mathematical Analysis of Logic von 1847 den ersten algebraischen Logikkalkül und begründete damit die moderne mathematische Logik, die sich von der bis dato üblichen philosophischen Logik durch eine konsequente Formalisierung abhebt. Er formalisierte die klassische Logik und Aussagenlogik und entwickelte ein Entscheidungsverfahren für die wahren Formeln über eine disjunktive Normalform. Boole nahm damit – da aus der Entscheidbarkeit der klassischen Logik ihre Vollständigkeit und Widerspruchsfreiheit folgt – schon gut 70 Jahre vor Hilberts Programm für ein zentrales Logikgebiet die Lösung der von David Hilbert gestellten Probleme vorweg. Als Verallgemeinerungen von Booles Logikkalkül wurden später die sogenannte boolesche Algebra und der boolesche Ring nach ihm benannt.

Booles Originalkalkül

Boole benutzte für seinen Logikkalkül die damals bekannte Algebra, die heute als Potenzreihen-Ring über dem Körper der reellen Zahlen präzisiert wird. In diese Algebra bettete er die klassische Logik ein, indem er die Konjunktion „x und y“ als Multiplikation xy und die Negation „nicht x“ als 1−x formalisierte. Es handelt sich dabei um eine echte Einbettung, in der nicht alle Terme einen logischen Sinn haben; für die logisch bedeutsamen Terme forderte er die Idempotenz xx = x, die in der Algebra nicht allgemein gilt, zum Beispiel nicht für die übliche Addition x+y, weshalb Boole sie uninterpretierbar nannte. Er gebrauchte somit partielle Operationen und sprach bei den logisch bedeutsamen Termen und Operatoren von elective symbols, elective functions, elective equations.

Boole entwarf seinen Kalkül primär als Klassenlogik, in dem 1 das Universum (die Allklasse) ist und die Unbestimmten x, y, z... Klassen repräsentieren. Innerhalb dieses Klassenkalküls stellte er dann die traditionelle Syllogistik dar. Die zwei grundlegenden Syllogistik-Prädikate repräsentierte er durch Gleichungen, nämlich „Alle x sind y“ durch x = xy und „Keine x sind y“ durch xy = 0. Diese Gleichungen dienten ihm als Regeln, mit denen er die aristotelisch-scholastischen Syllogismen in Form von Gleichungssystemen auf metalogischer Ebene herleitete.

Sekundär gebrauchte Boole seinen Kalkül auch als Aussagenlogik, in dem die Unbestimmten x, y, z... Aussagen repräsentieren. Die einschließende Disjunktion „x oder y“ formalisierte er durch den Term x+y−xy und die ausschließende Disjunktion „entweder x oder y“ durch x−2xy+y. Sie entstehen über folgende algebraische Herleitungen:

Die einschließende Disjunktion „x oder y“ definiert als „nicht (nicht x und nicht y)“ liefert bei seiner Einbettung

1−(1−x)(1−y) = 1−(1−x−(y−xy)) = x+y−xy

Die ausschließende Disjunktion „entweder x oder y“ definiert als „(x oder y) und nicht (x und y)“ liefert bei seiner Einbettung mit der Idempotenz

(x+y−xy)(1−xy) = x+y−xy−(xy+xy−xy) = x−2xy+y

Mit Gleichungen erfasste er die Wahrheit und Falschheit von Aussagen, nämlich „x ist wahr“ durch x = 1 und „x ist falsch“ durch x = 0. Er benutzte hier also 0 und 1 als Wahrheitswerte. Sein logisches Entscheidungsverfahren über eine Normalform ergänzte er durch ein gleichwertiges semantisches Entscheidungsverfahren mit Wahrheitswert-Einsetzungen in boolesche Funktionen, die jedem belegten logischen Term einen Wahrheitswert zuordnen. Dieses Verfahren entspricht dem Entscheidungsverfahren mit Wahrheitstafeln, das zur Ermittlung von Tautologien dient.

Modifikationen von Booles Kalkül

Booles Originalkalkül lässt sich so modifizieren, dass keine logisch sinnlosen Terme mehr vorkommen, nämlich als Potenzreihenring über dem idempotenten Körper aus den Bits {0,1} mit Booles Idempotenzgesetz xx=x. Dabei entsteht ein sogenannter boolescher Ring, den Iwan Iwanowitsch Schegalkin 1927 einführte und dem Marshall Harvey Stone 1936 den Namen gab. In ihm kann man auf das Minuszeichen verzichten, da er selbstinvers ist und −x=x und x+x=0 gelten; dies macht die Addition synonym zur ausschließenden Disjunktion „entweder x oder y“. Boolesche Ringe sind rechnerisch elegant, weil hier die schulbekannten Rechenregeln gelten. Die zur Entscheidbarkeit einer Formel notwendige Normalform entsteht hier einfach durch distributives Ausmultiplizieren und Streichen doppelter Faktoren und Summanden mit xx=x und x+x=0.

Unter der booleschen Algebra wird heute nicht Booles originale Algebra verstanden, sondern der sogenannte boolesche Verband, der gleichwertig zum booleschen Ring ist, aber schon früher von Boole-Nachfolgern entwickelt wurde, besonders von Ernst Schröder 1877 und Giuseppe Peano 1888. Der boolesche Verband ist in der Aussagenlogik und Mengenlehre weit verbreitet und arbeitet mit der Konjunktion, Negation und einschließenden Disjunktion.

Schriften

• George Boole: The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning, 1847
  • Aus dem Englischen übertragen, kommentiert und mit einem Nachwort versehen von Tilman Bergt: Die mathematische Analyse der Logik. Hallescher Verlag 2001. pp 195. ISBN 3-929887-29-0
  • gekürzt und aus dem Englischen übertragen abgedruckt in Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 4. Aufl. 1986, Seite 25-28
• George Boole: An Investigation of The Laws of Thought, London 1854.
  • George Boole: An Investigation of The Laws of Thought, New York: Dover 1958 ISBN 0-486-60028-9.

Literatur

• James Gasser (Hrsg.): A Boole Anthology. Recent and Classical Studies in the Logic of George Boole, Kluwer Academic Publishers Dordrecht 2000, ISBN 0-7923-6380-9. Aktueller Forschungsstand
• Marshall Harvey Stone: The Theory of Representations for Boolean Algebras. In: Transactions of the American Mathematical Society. Band 40. 1936, S. 37–111
• Desmond MacHale: George Boole: His Life and Work. Boole Press, Dublin 1985
• P. D. Barry (Hrsg.): George Boole: a miscellany. Cork 1969
• R. Harley: George Boole: an essay, biographical and expository. London 1866
• G. C. Smith: The Boole-De Morgan correspondence, 1842–1864. New York 1982

Weblinks

 Commons: George Boole – Sammlung von Bildern, Videos und Audiodateien

• Boole: The mathematical analysis of logic, 1847 Digitalisat
• Boole: An Investigation of The Laws of Thought, London 1854, Digitalisat
• Boole: An Investigation of The Laws of Thought, E-Book, 2005 bei Gutenberg.org
• Stanley Burris: „George Boole“ in der Stanford Encyclopedia of Philosophy (englisch, inklusive Literaturangaben)
• Eintrag zu Boole: George (1815 - 1864), Mathematician im Archiv der Royal Society, London (englisch)
• George Boole. In: MacTutor History of Mathematics archive (englisch)
• Autoren-Profil in der Datenbank zbMATH

Siehe auch

• Boolesche Variable
• Boolescher Operator
• Boolesches Retrieval
• Boolesche Funktion
• Boolesche Hierarchie