Logische Maschine
Als logische Maschinen werden bzw. wurden – analog zur Rechenmaschine – Geräte bezeichnet, die logische Aufgabenstellungen behandeln und lösen.
Idealerweise sollen logische Maschinen Argumente auf ihre Gültigkeit untersuchen; in der Praxis erreichen logische Maschinen dieses Ziel häufiger mittelbar, indem sie ermitteln, welche Schlüsse sich aus gegebenen Prämissen überhaupt ziehen lassen. Konkret gebaut wurden zunächst Maschinen, die direkt oder indirekt die Gültigkeit von Syllogismen überprüfen, später allerdings vor allem solche, die mechanische Tätigkeiten der Aussagenlogik automatisieren, zum Beispiel das Aufstellen von Wahrheitstabellen oder die Bildung von Normalformen.
Mechanische logische Maschinen
Die Idee der logischen Maschine wird oft dem mallorquinischen Philosophen, Logiker und franziskanischen Theologen Ramon Llull (ca. 1232–1316) zugeschrieben, der schon Ende des 13. Jahrhunderts verschiedene rechenschieber- bzw. rechenscheibenartige Geräte zur Bildung von Begriffskombinationen vorschlug.[1] Mechanisch auf ähnlicher Stufe, aber von den logischen Grundlagen her systematischer ist Ende des 18. Jahrhunderts der Stanhope Demonstrator von Charles (dem dritten Earl) Stanhope.[2][3] Als erste mechanische Maschine gilt allerdings das „Logische Piano“, wegen seiner klaviaturähnlichen Tastatur so genannt, das 1869, also erheblich später, von William Stanley Jevons konstruiert wurde.[4]
Die meisten früheren logischen Maschinen arbeiten nach der Begriffslogik, bei der die Variablen für Begriffe stehen. Steht z. B. A für den Begriff „Schwein“ und B für den Begriff „rosa“, so können aus diesen Begriffen Sätze gebildet werden wie „Alles A ist auch B“, d. h. alles, was unter den Begriff „Schwein“ fällt, fällt auch unter den Begriff „rosa“ – kurz: „Alle Schweine sind rosa.“ Jevons verwendet Kleinbuchstaben, um die „Verneinung“ eines Begriffs auszudrücken – „a“ bedeutet in unserem Beispiel also den Begriff „Nichtschwein“, unter den alle Dinge fallen, die nicht unter den Begriff „Schwein“ (A) fallen.
Bei der Maschine von Jevons lassen sich beliebig viele begriffslogische Sätze als Prämissen eingeben. Die Maschine eliminiert auf mechanischem Weg alle Begriffskombinationen, die mit den eingegebenen Prämissen inkonsistent sind. Gibt man z. B. ein „Alle A sind B“, dann schließt die Maschine die Kombination „Ab“ („Schwein“ und „nichtrosa“) aus. So bleiben schließlich nur jene Begriffskombinationen übrig, die mit allen eingegebenen Prämissen konsistent sind. Die Maschine zeigt diese Kombinationen an – es ist der Anwenderin überlassen, aus dieser Information für sie interessante Schlüsse zu ziehen.[5]
Obwohl Jevons Maschine und sein darunterliegendes logisches System begriffslogischer Natur sind, lässt sich die Maschine schon auf aussagenlogische Fragestellungen (Aussagenlogik) anwenden, wenn man die Großbuchstaben als Satzbuchstaben (Aussagebuchstaben) und die Kleinbuchstaben als deren Verneinung interpretiert.[6]
Allan Marquand, der schon in der Zeit zwischen 1874 und 1881 – eine genauere Datierung ist wohl nicht möglich – eine mechanische logische Maschine entwickelt hatte, schlug 1885 vor, eine elektrische Version von Jevons Maschine zu bauen. Es ist zwar unbekannt bzw. sogar fraglich, ob er seine elektrische Maschine verwirklichen konnte, aber die Idee, logische Operationen durch elektrische Schaltungen zu realisieren, scheint er als erster gehabt zu haben: Unter dem Nachlass Marquands fand Alonzo Church den Schaltplan dieser Maschine.[7] Weinhart weist jedoch darauf hin, dass Jevons die Anregung hierzu von seinem Lehrer, niemand geringerem als dem US-amerikanischen Philosophen Charles Sanders Peirce erhalten habe.[8] Ketner vertritt sogar die Meinung,[9] dass dieser Schaltplan in Wahrheit von Peirce selber entworfen worden sein könnte. Diese Vermutung stützt er unter anderem auf optische Ähnlichkeiten der Beschriftung des Schaltplans zu Peircens Handschrift. Obwohl Ketners Artikel bereits 1984 erschienen ist und Handschriftenvergleiche eine gängige forensische Praxis sind, scheint diese Ähnlichkeit bis heute nicht wissenschaftlich untersucht worden zu sein und ist Ketners Vermutung bis heute weder bewiesen noch widerlegt.
Elektrische logische Maschinen
Die erste gesichert verwirklichte elektrische logische Maschine baute Benjamin Burack im Jahr 1936.[10] Der Sache nach ist Buracks Maschine ebenfalls begriffslogischer Natur, wobei sie jedoch nur die klassischen Syllogismen im Sinn von Aristoteles abdeckt, also Argumente mit genau zwei Prämissen und einer Konklusion.
Waren die frühen logischen Maschinen noch von der seit der Antike dominierenden Begriffslogik beherrscht, geschah im 20. Jahrhundert – vor allem in den späten 1940er-Jahren und mit der Verbreitung elektrischer/elektronischer Schaltungen – eine stete Verlagerung hin zur Aussagenlogik. Die erste logische Maschine mit von ihrem Konstrukteur selber gesehenem bzw. geplantem aussagenlogischen Bezug war allerdings noch ein mechanisches Gerät, die 1910 zur Patentierung eingereichte Maschine von Charles P. R. Macaulay. Funktional arbeitet auch sie so, dass sie für jeden eingegebenen Satz die mit diesem nicht vereinbaren Möglichkeiten ausschließt und schließlich die verbleibenden Varianten anzeigt.[11]
Eine stete Entwicklung Aussagenlogischer Maschinen beginnt 1947: Theodore A. Kalin und William Burkhart entwarfen nach dem Besuch einer Vorlesung bei Willard Van Orman Quine eine elektrische Maschine, die ihnen das manuelle Aufstellen von Wahrheitstabellen abnehmen sollte.[12] Das Gerät von Kalin und Burkhart ist bereits charakteristisch für die meisten ihr folgenden logischen Maschinen: Es berechnet für eine gegebene Aussage mit bis zu zwölf verschiedene Aussagenvariablen den Wahrheitswert für die Bewertung unter allen möglichen Zuordnungen von Wahrheitswerten zu den Variablen. Neben dem Aufstellen einer kompletten Tabelle konnte das Gerät auch die Belegungen ermitteln, unter denen die komplexe Aussage erfüllt oder widerlegt ist. Die Suche nach den Belegungen ist allerdings rein exhaustiv („Brute Force“), d. h., sie durchläuft wie beim Aufstellen einer Wahrheitstafel alle möglichen Zuordnungen und hält an, sobald sie auf eine den Satz bejahende bzw. verneinende Zuordnung trifft. Für das Durchrechnen einer kompletten Wahrheitstabelle für eine Aussage in zwölf Variablen – dem Limit der Maschine – benötigt sie 38 Minuten.[13]
Von den in der Folge entstandenen Maschinen hebt sich fundamental nur eine ab: Der 1951 als eine von mehreren Maschinen beim englischen Hersteller Ferranti entstandene „Feedback Logical Computor (sic!)“ Diese Maschine ist ausgelegt für das Erfüllen einer Menge von Aussagen, d. h. zum Suchen einer Zuordnung von Wahrheitswerten zu den in den Aussagen vorkommenden Satzbuchstaben, unter denen alle diese Aussagen wahr sind. Im Gegensatz zu allen anderen bekannt gewordenen logischen Maschinen arbeitet der Feedback Logical Computor nicht „Brute Force“, indem er in geordneter Reihenfolge alle nur möglichen Wahrheitswertzuordnungen durchläuft, bis er eine verifizierende gefunden hat; vielmehr versucht er, einen möglichst geschickten Weg durch die Menge aller möglichen Wahrheitswertzuordnungen zu gehen. Die Verfahrensweise ist im Originaltext von McCallum und Smith ausführlich geschildert.[14]
Bei den meisten aussagenlogischen Maschinen erfolgt die Eingabe in Peano-Russell-Notation, einer Infix-Schreibweise, bzw. einer an die Maschine angepassten Variation davon: Drehschalter bei Kalin und Burkhart, Steckschnüre etwa bei Johann Weipoltshammers „logistischer Relaisrechenmaschine“. Relativ früh wurde jedoch erkannt, dass sich für maschinelle Problemlösung (egal ob in Hard- oder Software) andere Schreibweisen wie die polnische Notation besser eignen. Die bekanntesten Maschinen, die polnische Notation verwenden, sind der Burroughs Truth Function Evaluator, 1956 von William Miehle bei Burroughs gebaut, und der Stanislaus, 1950–1951 von Friedrich Ludwig Bauer in München entworfen und 1956 fertiggestellt. Von der Bedienung her ist Bauers Stanislaus überlegen, weil die zu untersuchende Aussage auf einer komfortablen Tastatur eingegeben werden kann, während beim Burroughs-Gerät Steckschnüre verwendet werden müssen. Das Gerät von Burroughs erlaubt allerdings bis zu zehn Variable, während der Stanislaus auf deren fünf beschränkt ist und auch nur relativ kurze Formeln von bis zu elf Zeichen Länge erlaubt; dafür prüft Stanislaus, ob die eingegebene Aussage syntaktisch wohlgeformt ist, und weist sie andernfalls zurück. Funktional fallen beide Maschinen unter dieselbe Kategorie: Sie rechnen in festgelegter Reihenfolge alle Wahrheitswertzuordnungen durch und halten auf Wunsch bei Erreichen eines bestimmten Ergebnisses an.
Die 1950er-Jahre markieren gleichermaßen den Höhepunkt wie das Ende der Geschichte logischer Maschinen. In der Regel wird dieses Ende mit der Verfügbarkeit programmierbarer Computer begründet, weil sich auf diesen alle Aufgaben, die auf einer logischen Maschine fest verdrahtet sind, in Software lösen lassen.[15] Diese Erklärung ist zwar sachlich richtig, kann aber nicht vollständig sein, wenn man sich vor Augen führt, dass dasselbe Argument auf die Rechenmaschine zuträfe, die aber zu dieser Zeit mitnichten ausgestorben ist, sondern im Gegenteil erst ihre Blütezeit vor sich hatte und in Gestalt des modernen Taschenrechners bis heute vertreten ist. Es scheint vielmehr so zu sein, dass der Bedarf an der Lösung logischer Fragestellungen solcher Art, wie sie lange Zeit von logischen Maschinen gelöst werden konnten, nur sehr klein ist, bzw. dass dort, wo Bedarf nach der Lösung solcher Aufgaben besteht (Vereinfachung von Aussagen z. B. beim Schaltungsdesign) die Leistungsfähigkeit mit zeitgenössischer Technik realisierbarer logischer Maschinen bei weitem nicht ausreichte.
Siehe auch
Literatur
Sekundärliteratur
- Edmund C. Berkeley: Giant Brains or Machines that Think, New York: John Wiley and Sons 1949 (7. Aufl. 1963)
- B. V. Bowden: Faster Than Thought, London: Sir Isaac Pitman 1953
- Martin Gardner: Logic Machines and Diagrams, New York: McGraw-Hill 1958
- Karl Weinhart (Hg.): Informatik und Automatik. Führer durch die Ausstellung, München: Deutsches Museum 1990 ISBN 3-924183-14-7
- William Kneale, Martha Kneale: The Development of Logic, Oxford: Oxford University Press 1962 (1984) ISBN 0-19-824773-7
- Kenneth Lane Ketner, A. F. Stewart: The Early History of Computer Design: C. S. Peirce and Marquand’s Logical Machines, Princeton University Library Chronicle 1984 XLV 3, Seite 187–224
- Christian Gottschall: Logische Notationen und deren Verarbeitung auf elektronischen Rechenanlagen aus theoretischer, praktischer und historischer Sicht (Diplomarbeit), Wien: 2005
Quellen
- B. Burack, An Electrical Logic Machine, Science, Vol. 109, June 17, 1949, Seite 610
- R. Harley, The Stanhope Demonstrator, Mind, Vol. 4, April, 1879
- William Stanley Jevons: On the Mechanical Performance of Logical Inference, Philosophical Transactions of the Royal Society, Vol. 160, 1870, Seite 497–518
- Charles P. R. Macaulay: U.S.-Patent 1.079.504 vom 25. November 1913
- Wolfe Mays, D. G. Prinz: A Relay Machine for the Demonstration of Symbolic Logic, Nature, Vol. 165, 4. Februar 1950, Seite 197
- Wolfe Mays: The First Circuit for an Electrical Logic-Machine, Science, New Series, Vol. 118, No. 3062, 4. September 1953, Seite 281 ff.
- D. M. McCallum, J.B. Smith: Feedback Logical Computors (sic!), Electronic Engineering, Vol. 23, Dezember 1951, Seite 458–461
- D. M. McCallum, J.B. Smith: Mechanized Reasoning. Logical Computers and Their Design, Electronic Engineering, April 1951, Seite 126–133
- William Miehle: Burroughs Truth Function Evaluator, Journal of the ACM (JACM), Vol. 4, Issue 2, April 1957, pp 189–192
- Johann Weipoltshammer: Die logistische Relais-Rechenmaschine LRR1, Wien: 1954 (Diplomarbeit)
- F. L. Bauer: The Formula-Controlled Logical Computer „Stanislaus“, Math. Tabl. Aids Comp. 14 (1960), Seite 64–67.
Weblinks
- Virtuelle Ausstellung logischer Maschinen bei IBM.com
- Website des National Museum of Computing in Großbritannien mit vielen Beschreibungen und Darstellungen.
Einzelnachweise
- Martin Gardner: Logic Machines and Diagrams, New York: McGraw-Hill 1958, Seite 9ff.
- R. Harley, The Stanhope Demonstrator, Mind, Vol. 4, April, 1879
- Martin Gardner: Logic Machines and Diagrams, New York: McGraw-Hill 1958, Seite 80ff.
- William Kneale, Martha Kneale: The Development of Logic, Oxford: Oxford University Press 1962, Seite 421
- William Stanley Jevons: On the Mechanical Performance of Logical Inference, Philosophical Transactions of the Royal Society, Vol. 160, 1870, Seite 497–518
- Martin Gardner: Logic Machines and Diagrams, New York: McGraw-Hill 1958, Seite 95ff.
- Wolfe Mays: The First Circuit for an Electrical Logic-Machine, Science, New Series, Vol. 118, No. 3062, 4. September 1953, Seite 281ff.
- Karl Weinhart (Hg.): Informatik und Automatik. Führer durch die Ausstellung, München: Deutsches Museum 1990, Seite 113
- Kenneth Lane Ketner, A. F. Stewart: The Early History of Computer Design: C. S. Peirce and Marquand’s Logical Machines, Princeton University Library Chronicle 1984 XLV 3, Seite 187–224
- Martin Gardner: Logic Machines and Diagrams, New York: McGraw-Hill 1958; B. Burack, An Electrical Logic Machine, Science, Vol. 109, June 17, 1949, Seite 610
- Martin Gardner: Logic Machines and Diagrams, New York: McGraw-Hill 1958, Seite 113
- Martin Gardner: Logic Machines and Diagrams, New York: McGraw-Hill 1958, Seite 128
- Edmund C. Berkeley: Giant Brains or Machines that Think, New York: John Wiley and Sons 1949 (7. Aufl. 1963), Seite 144ff.
- D. M. McCallum, J.B. Smith: Feedback Logical Computors (sic!), Electronic Engineering, Vol. 23, Dezember 1951, Seite 458–461
- Karl Weinhart (Hg.): Informatik und Automatik. Führer durch die Ausstellung, München: Deutsches Museum 1990, Seite 114