George Boole entwickelt eine algebraische Behandlung logischer Aussagen. Wahrheitswerte und logische Verknüpfungen können dadurch formal dargestellt und mit Regeln bearbeitet werden. Für die spätere Informatik wird diese Denkweise zentral, weil digitale Schaltungen, Bedingungen, Abfragen und Programmlogik auf formalen Wahrheitsstrukturen beruhen. Boole zeigt, dass Denken, Aussagen und Schlussformen in eine symbolische Kalkülform gebracht werden können.
D-Book-Wiki · Ereignisartikel
Boole und formale Logik
Logik wird algebraisch formalisierbar.
Booles Arbeit verbindet Logik und Algebra und schafft eine wichtige Grundlage für formale Systeme. Sie zeigt, dass nicht nur Zahlen, sondern auch Aussagen operativ bearbeitet werden können. Damit wird eine Grundlinie zu Schaltalgebra, Programmbedingungen, Datenbankabfragen und theoretischer Informatik sichtbar.
Kurzüberblick
Logik wird algebraisch formalisierbar.
Überblick
Abgrenzung
Aus dem bestehenden Ereigniskern materialisierte Standardfassung. Relationen, Quellen und didaktische Vertiefung werden separat geprüft.
Sachanalyse
Überblick
Logik wird algebraisch formalisierbar.
Historischer und fachlicher Prozess
George Boole entwickelt eine algebraische Behandlung logischer Aussagen. Wahrheitswerte und logische Verknüpfungen können dadurch formal dargestellt und mit Regeln bearbeitet werden. Für die spätere Informatik wird diese Denkweise zentral, weil digitale Schaltungen, Bedingungen, Abfragen und Programmlogik auf formalen Wahrheitsstrukturen beruhen. Boole zeigt, dass Denken, Aussagen und Schlussformen in eine symbolische Kalkülform gebracht werden können.
Bedeutung
Booles Arbeit verbindet Logik und Algebra und schafft eine wichtige Grundlage für formale Systeme. Sie zeigt, dass nicht nur Zahlen, sondern auch Aussagen operativ bearbeitet werden können. Damit wird eine Grundlinie zu Schaltalgebra, Programmbedingungen, Datenbankabfragen und theoretischer Informatik sichtbar.
Quellen
Weitere Quellen
- +
Boole: An Investigation of the Laws of Thought, 1854
[history-appstore-boole-v1-2026-07-21] Digitalisierte Ausgabe von Booles Hauptwerk. Das Titelblatt weist ihn als Professor of Mathematics in Queen’s College, Cork aus.
- +
MacTutor: George Boole Biography
Mathematikhistorische Quelle zu Boole, algebraischer Logik und formaler Symbolisierung.
- +
University College Cork: Professor George Boole
[history-appstore-boole-v1-2026-07-21] Offizieller historischer Nachweis für George Boole als ersten Mathematikprofessor am Queen’s College Cork von 1849 bis 1864.
- +
Computer History Museum: Timeline of Computer History
Überblicksquelle zur Computergeschichte; für formale Logik später durch spezifischere Quelle zu ergänzen.
Bedeutungsschichten im D-BookLineages, Concepts, Ort und Statistik als nachgeordnete Kontextdimensionen.2 Bezüge
Bedeutungsschichten im D-Book
Einordnung
Booles formale Logik gehört in das 19. Jahrhundert als Zeit der Mathematisierung, Symbolisierung und Systematisierung. Seine Algebra der Logik ist zunächst keine Computertechnik, bereitet aber eine Denkform vor, die später für Schaltungen, Programmlogik und theoretische Informatik zentral wird. Der Kontext zeigt, dass Informatik nicht nur aus Maschinen entsteht, sondern ebenso aus der Geschichte formaler Sprachen, Symbole und Operationen.
Verbindungen im D-Book
Die folgenden Fachbegriffe ordnen das Ereignis relational in das D-Book-Wissensnetz ein. Die Beziehungsbeschreibungen stammen aus den kuratierten Concept-Zuordnungen des Ereignisdatensatzes.
Fachliche Concepts
Concepts binden das Ereignis an den fachlichen Begriffskern und fuehren bei vorhandenen Ankern ins Glossar.
Operator
logische Operatoren als formale Grundlage symbolischer Berechnung — Aus V1-Altzuordnung fachlich kuratiert reaktiviert.
Räumliche Verortung
Der Ereignisknoten wird über Booles institutionellen Forschungs- und Arbeitskontext am damaligen Queen’s College Cork verortet. Die Hochschule besteht heute als University College Cork fort.
Geografischer Kontext
Orte markieren raeumliche Entstehungs-, Institutions- oder Infrastrukturbezuege und fuehren weiter zum GeoAsset.
Queen’s College Cork / University College Cork
[history-appstore-boole-v1-2026-07-21] Institutioneller Arbeits- und Forschungskontext George Booles im Jahr 1854: Boole war Professor für Mathematik am Queen’s College Cork. Der institutionelle Bezug wird für den Ereignisknoten Boole und formale Logik als primäre Kartenrelation verwendet.
Medien und ZusatzassetsPrimärmedium, Atlas-Preview, Statistikansichten und kuratierte Asset-Abschnitte.5 Assets
Datenpfad und RelationenRelationale Vorlinien, Fortsetzungen und Kontextpfade aus den History-Daten.4 Relationen
Relationspfade
Vorlinien
- Frege: Begriffsschrift1879setzt fort
Boole und Frege bilden eine formallogische Entwicklungslinie.
Fortsetzungen
- Frege: Begriffsschrift1879setzt fort
Frege vertieft die formallogische Linie nach Boole.
- Shannons Informationstheorie1948beeinflusst
V1-related-Verweis aus lokalem Datensatz
- Turingmaschine1936beeinflusst
V1-related-Verweis aus lokalem Datensatz