Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

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

Inhaltsverzeichnis 1 Biographie 2 Booles Originalkalkül 3 Modifikationen von Booles Kalkül 4 Quellen 5 Schriften 6 Literatur 7 Weblinks

Biographie

Ursprünglich als Lehrer tätig, wurde Boole auf Grund seiner wissenschaftlichen Arbeiten 1848 Mathematikprofessor am Queens College in Cork (Irland). George Boole ist der Vater der Schriftstellerin Ethel Lilian Voynich, die 1864 geboren wurde.

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 traditionellen 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.^[1] 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. Aus Booles Logikkalkül wurden später die sogenannte boolesche Algebra und der boolesche Ring entwickelt.

Booles Originalkalkül

Boole benützte 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 interpretierte. Es handelt sich dabei um eine echte Einbettung, in der nicht alle Terme einen logischen Sinn haben (die Addition x+y und Negativterme -x sind logisch sinnlos); für die logisch bedeutsamen Terme forderte er die Idempotenz xx=x, die in der Algebra nicht allgemein gilt.

Boole entwarf seinen Kalkül primär als Klassenkalkül, in dem 1 das Universum (die Allklasse) ist und die Unbestimmten x, y, z... Klassen repräsentieren. Innerhalb dieses Klassenkalküls interpretierte er dann die traditionelle Syllogistik beziehungsweise Begriffslogik. 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 auf metalogischer Ebene herleitete.

Sekundär interpretierte Boole seinen Kalkül auch als Aussagenkalkül, in dem die Unbestimmten x, y, z... Aussagen repräsentieren. Die Disjunktion „x oder y“ interpretierte er durch den Term x+y–xy und die Alternative „entweder x oder y“ durch 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 setzte hier also 0 und 1 erstmals als Wahrheitswerte ein. Sein logisches Entscheidungsverfahren über eine Normalform ergänzte er durch ein gleichwertiges semantisches Entscheidungsverfahren mit Wahrheitstafeln; er sprach dabei von Modulen einer Funktion, das sind Wahrheitwert-Einsetzungen in boolesche Funktionen, die jedem belegten logischen Term einen Wahrheitwert zuordnen. Mit diesem Entscheidungsverfahren können also immer-wahre Tautologien ermittelt werden.

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}. Dabei entsteht ein sogenannter boolescher Ring, den I. I. Žegalkin 1928 und Marshall Harvey Stone 1936 einführten. 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 Alternative „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 boolschen Ring ist, aber schon früher von Boole-Nachfolgern entwickelt wurde. Er ist in der Aussagenlogik und Mengenlehre weit verbreitet, und arbeitet mit der Konjunktion, Negation und Disjunktion (statt der Alternative).

In vielen Programmiersprachen sind Datentypen für logische Variablen − d. h. Variablen für Wahrheitswerte − nach Boole benannt, z.B. boolean in Pascal und Java oder bool in C++.

Siehe auch: Boolesche Variablen, Boolescher Operator, Boolesches Retrieval, Boolesche Funktion

Quellen

1. ↑ „[...] it is interesting to see that the methods Boole introduced can be applied in a mechanical fashion. In effect he has given what is now called a decision procedure“ (William und Martha Kneale: The Development of Logic. Oxford: Clarendon Press 1962, Taschenbuchausgabe 1984, ISBN 0-19-824773-7, Seite 240)

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: Investigation of The Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities, New York: Dover 1958 ISBN 0-486-60028-9 in englischer Sprache. Text bei Gutenberg.org

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
• Žegalkin (Жегалкин), I. I.: Arithmetizacija simbolitschekoj logiki (Арифметизация Символической Логики), in: Matematiccheskii 35 (1928), 311-373.
• Stone, Marshall Harvey: The Theorie of Representations for Boolean Algebras, in: Transactions of the American Mathematical Society 40 (1936), 37-111.

Weblinks

• Literatur von und über George Boole im Katalog der Deutschen Nationalbibliothek

Personendaten
NAME	Boole, George
KURZBESCHREIBUNG	englischer Mathematiker und Philosoph
GEBURTSDATUM	2. November 1815
GEBURTSORT	Lincoln, England
STERBEDATUM	8. Dezember 1864
STERBEORT	Ballintemple, Irland

pms:George Boole

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort George_Boole, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.