George Boole
Er behandelt die Logik als eine Algebra: Schlussfolgern wird zum Rechnen mit Symbolen.
Leben
Britischer Mathematiker und Logiker, Autodidakt und später Professor am Queen's College in Cork. Er zeigte, dass sich das Schlussfolgern als Algebra schreiben lässt, und begründete damit die symbolische Logik, die heute in Schaltkreisen und Computern verwendet wird (Boolesche Algebra). Er sah in diesen Gesetzen die Gesetze des Denkens selbst.
Hauptwerke
Drückt die Gesetze des Schlussfolgerns in einem algebraischen Kalkül aus.
Die erste Fassung seiner Algebra der Logik.
Ein Standardlehrbuch über Differentialgleichungen.
In seinen eigenen Worten
« Der Zweck der folgenden Abhandlung ist es, die grundlegenden Gesetze jener Operationen des Geistes zu untersuchen, durch die das Schlussfolgern vollzogen wird, sie in der symbolischen Sprache eines Kalküls auszudrücken und auf dieser Grundlage die Wissenschaft der Logik zu begründen »
Positionen
Klicke auf eine Zeile, um den Beleg zu sehenEr neigte dem Glauben an eine höchste intelligente Ursache und an einen moralischen Lenker der Welt zu, bezweifelte aber, dass die natürliche Religion ihn mit Sicherheit beweisen könne.
Boole, An Investigation of the Laws of Thought, ch. XIII (1854)