Schaltungen, Aussagenlogik und Denken

Zusammenfassung

Heutige Computer sind Folge einer langen Reihe von Bemühungen, sich durch Maschinen im logisch-mathematischen Denken zu entlasten. Mit den Entwürfen für elektrische bzw. elektronische Schaltungen erreichte die Entwicklung auch insofern ein neues Stadium, als hierdurch die Verarbeitungskapazität außerordentlich gesteigert werden konnte und immer noch wird. Die Entwicklung der grundlegenden Schaltungszusammenhänge fand zunehmend in enger Verbindung mit der modernen Logik statt.¹ Die mathematische Logik in der Gestalt der Aussagenlogik² spielte hierbei eine wesentliche Rolle. Dies führte so weit, daß technische Grundschaltungen als “logische” bezeichnet und mit Ausdrücken wie “UND-Schaltung” oder “ODER-Schaltung” versehen werden. In der philosophischen Diskussion wurde besonders in der Aufbauphase das Verhältnis von moderner Aussagenlogik zu technischen Schaltungen als Objektivation³ oder Anwendung⁴ aufgefaßt.⁵ Für das psychophysische Problem könnte die Klärung dieses Verhältnisses von grundlegender Bedeutung sein. Nachdem die Hardware-Phase in der philosophischen Erörterung von der softwareorientierten überlagert worden ist, trat die These von der Objektivation bzw. Anwendung in den Hintergrund. Doch es bleibt zu fragen, ob sie hinreichend diskutiert worden ist. Stegmüller hat sie als Entsprechungs- bzw. Simulationsthese aus der ersten Auflage seines Buches von 1969 in die zweite Auflage von 1983 unverändert übernommen:

“Zu den bedeutendsten Einsichten der modernen Automatentechnik gehört es, daß sich auch höhere geistige Leistungen durch Maschinen simulieren lassen. Seit es geglückt war, die logischen Denkprozesse zu formalisieren, bestand die prinzipielle Möglichkeit, sie durch geeignete Automaten nachzuvollziehen.” (W. Stegmüller 1969: 607/608, 1983: 728/729)