Jusletter IT

Modallogik ist die Logik, die mit Ausdrücken im Sinne von «notwendig» und «möglich» operiert. Aus Sätzen wie «Heute wird es mit Sicherheit regnen» und «Sicher ist: wenn es regnet, wird unser Dach nass» kann man modallogisch schließen: «Heute wird mit Sicherheit unser Dach nass». Es gibt verschiedene Ansätze, die Modallogik mit der Standardlogik in Verbindung zu bringen; der einfachste und für Anwendungen brauchbarste ist wohl der von Carnap, wonach synthetische Sätze, die «notwendige» Geltung beanspruchen, solche sind, die aus Naturgesetzen logisch folgen. Dass es «heute mit Sicherheit regnen wird», ist eine Aussage, die aus Naturgesetzen folgt, und dass dann «mit Sicherheit bei Regen unser Dach nass wird», ergibt sich ebenfalls aus einem Naturgesetz. «Möglich» ist alles, was nicht zu Naturgesetzen in Widerspruch steht. Wenn die Meteorologie für heute nicht ausschließt, dass trotz Regen gelegentlich die Sonne durchkommt, so ist das «möglich».

Carnap hatte Naturgesetze im Auge, doch lässt sich sein Gedanke auch auf Rechtsgesetze erstrecken. Dass man keine fahrlässige Körperverletzung begehen soll, folgt aus dem Strafgesetzbuch, und dass der Autofahrer, der es im Straßenverkehr trotzdem tut, dann eine Zeitlang an der Unfallstelle zu warten hat, ergibt sich ebenfalls aus dem StGB. Vielen anderen Verhaltensweisen stehen keine Rechtsnormen entgegen: sie sind «erlaubt».

Eine Schwester der Modallogik, die statt mit dem Ausdruck «notwendig» mit «geboten» operiert und statt mit «möglich» mit «erlaubt», ist die deontische Logik.¹ Bei aller Familienähnlichkeit empfindet man die Schwestern manchmal als höchst unterschiedlich. Werfen wir einen Blick auf das Standardsystem der deontischen Logik: Es ruht im wesentlichen auf zwei Axiomen. Eines von ihnen lautet (das «O» darin spielt auf das Wort «obligatio» und seine Nachkommen in den europäischen Sprachen an):

Wenn es geboten ist, wenn man A tut, auch B zu tun, so ist es, wenn es geboten ist, A zu tun, auch geboten, B zu tun.

Während der Satz in symbolischer Schreibweise ästhetischen Charme hat, klingt er in natürlicher Sprache eher dunkel. Nehmen wir einmal an, es werde verlangt, dass jemand B tue. (Juristen sind gewohnt, stets von dem auszugehen, was verlangt wird.) Warum? Vielleicht hat er A getan, und – so sagt es das Axiom in seiner linken Hälfte –es ist geboten, wenn man A tut, auch B zu tun. Wie aber, wenn er A unterlassen hat? (Vielleicht hatte er das Gefühl, in dieser Welt werde ohnehin zu oft A getan und hinterher kommt man aus B nicht mehr heraus.) A zu unterlassen, hilft dem Verweigerer aber auch nicht, falls esgeboten ist, A zu tun; denn auch dann – so sagt das Axiom in seiner rechten Hälfte – soll man B tun, also auch ohne dass man A getan hätte. Seltsam. Glücklicherweise gibt es aber eine Erläuterung durch einen bekannten Logiker:²

Wenn es z.B. geboten ist, falls man die linke Fahrbahn einer Autobahnstrecke benützt, schneller als 80 km/h zu fahren, so ist es geboten, schneller als 80 km/h zu fahren, sofern es geboten ist, die linke Fahrbahn zu benützen.

Nun haben wir es konkreter: Wenn es geboten ist auf der linken Fahrbahn schneller als 80 km/h zu fahren, so ist es darüber hinaus geboten, schneller als 80 km/h zu fahren, wenn es geboten ist, auf der linken Fahrbahn zu fahren.

Kann das richtig sein? Man stelle sich vor, das Langsamfahren auf der linken Fahrbahn sei mit einer spezifischen Geldstrafe verknüpft. Sollte tatsächlich jemand wegen Fahrens mit weniger als 80 km/h bestraft werden, wenn er auf der rechten Fahrbahn geblieben ist und insofern keinen rechtlichen Grund zum Schnellfahren hatte? Dass man schneller als 80 km/h fahren soll , möchte man meinen, wird erst dann aktuell, wenn man die linke Fahrbahn benutzt, sie tatsächlich benutzt, nicht bloß sie benutzen soll. Und wenn man auf der rechten Fahrbahn bleibt? Das ist in dem Standardsystem der deontischen Logik nicht vorgesehen! Oskar Becker, neben Georg Henrik von Wright einer der Schöpfer dieser Logik, schreibt: «Illegale Handlungen oder Unterlassungen sollen grundsätzlichnicht in den Kreis unserer Betrachtungen gezogen werden.»³ Doch so billig, mit dem Trumpf «Illegales zählt nicht!», sollte eine Normlogik nicht davonkommen.⁴ Vergleichen wir sie wieder einmal mit ihrer Schwester, der Modallogik. Dies ist das Axiom der Modallogik, das dem soeben erörterten der deontischen Logik entspricht (so wie das O auf «obligatio» hindeutet, so spielt hier das N auf «necessitas» und seine Verwandten an):

Wenn notwendigerweise A zu B führt, so folgt daraus, dass wenn A notwendigerweise eintritt, auch B notwendigerweise eintritt.

Der symbolische Ausdruck und seine Übersetzung sind diesmal leicht verständlich und inhaltlich einleuchtend. Man stelle sich ein computergesteuertes Auto vor, das auf eine Teststrecke geschickt wird. Die Strecke teilt sich irgendwann in zwei Fahrbahnen, und der Wagen ist so programmiert, dass er sich dann für die linke entscheidet. Sobald er das tut, wird er programmgemäß schneller als mit 80 km/h fahren. Wie aber, wenn der Wagen trotz Programmierung auf der rechten Fahrbahn bleibt, mit welcher Geschwindigkeit auch immer? Dann reden wir nicht von «illegalem Verhalten», sondern suchen in Software und Hardware nach einem Fehler.

In Naturvorgängen glaubt man einen fugenlosen Kausalstrang wahrzunehmen, vom heranziehenden Tiefdruckgebiet bis zum nassen Dach, vom Starten des Autos bis zu seinem Verhalten bei der Teilung der Fahrbahnen. Handlungen dagegen nimmt man als abgegrenzt wahr, man sieht sie förmlich jedesmal neu aus Willensakten eines Subjekts hervorgehen, so dass man beispielsweise mehrere Handlungen unterscheidet, wenn ein Verkehrsunfall mit anschließender Fahrerflucht –hit and run – sich in einem Zug vollzieht. (Die herrschende Lehre im deutschen Strafrecht nimmt demgemäß Realkonkurrenz an.) Auch empfindet man enttäuschte Erwartungen unterschiedlich. Wenn es entgegen der Wettervorhersage heute nicht regnet, sondern den ganzen Tag über strahlend die Sonne scheint, dann sagt man sich, dass die meteorologischen Grundlagen der Prognose unzulänglich waren. Wenn dagegen jemand eine Fahrerflucht begeht, sieht man das in der Entscheidungsfreiheit eines Menschen begründet. Man hält den Fahrer für «schuldig» und möchte vermutlich, dass er bestraft werde.

Wir haben – in Modallogik und deontischer Logik – zwei Axiome von derselben Struktur. Doch unser Weltverständnis ist derart, dass wir einen erheblichen Unterschied spüren. («Weltverständnis», nicht «Weltbild»; denn der Unterschied steht einem nicht vor Augen, sondern man spürt ihn beim Sprechen oder Schreiben.) Doch in dieser scharfen Gegensätzlichkeit von Sein und Kausalität einerseits und Sollen und Freiheit andererseits wird der Unterschied wohl nicht mehr lange bestehen bleiben. Denn Computer und Roboter werden in ihren Entscheidungen immer «autonomer». Experimentelle Autos ohne Fahrer finden bereits selbstständig ihren Weg durch ausgedehnte Wüstenlandschaften. Die Vorstellung, dass sie, wenn sie A tun, auch notwendigerweise B tun werden und dass sie defekt sind, wenn sie es nicht tun, passt längst nicht mehr zu ihnen. Autonome Roboter können, wie menschliche Subjekte, mit dem Anschein der Ursachlosigkeit operieren, und ihre Handlungen nimmt man deshalb, wie die eines Menschen, als abgegrenzt wahr. Und man wird ihr Verhalten, wie das eines Menschen, bald unter dem Gesichtpunkt von Normen bewerten, also auch als Normwidrigkeit.

Autonome Roboter werden nicht programmiert, sondern trainiert. Ihre Schöpfer entwerfen für sie zunächst ein «neuronales Netz». Es besteht aus Ein- und Ausgängen, zwischen denen «hidden units» liegen. Die Units sind, wie Neuronen im Gehirn, durch «Synapsen» verbunden. Der Roboter wird zunächst auf typische Situationen angesetzt, mit denen er zu tun haben wird, und er wird trainiert, darauf in gewünschter Weise zu reagieren. Durch die Einübung verändert sich das Netz: manche Synapsen verstärken sich, andere schwächen sich ab. Der Roboter reagiert jetzt nicht nur auf Situationen, wie sie ihm vorgegeben wurden – das ließe auch durch Programmierung erreichen –, sondern möglichst sachgerecht auch auf solche, die jenen nur analog sind.⁵ Wie er reagiert, lässt sich aber im Einzelfall nicht voraussagen. Und wenn der Roboter in seiner Autonomie eine Fehlentscheidung trifft? Vielleicht mit fatalen Folgen? Damit muss man rechnen. Die Rechtsordnung braucht nun einen Zurechnungspunkt, um daran die Rechtsfolge des Schadensersatzes zu knüpfen. Ein Informatiker kommt dafür längst nicht immer in Betracht; er kann sich exkulpieren, wenn er bei der Herstellung des Roboters die «im Verkehr erforderliche Sorgfalt» beachtet hat. Bleibt also nur der Roboter selber. Der allerdings sollte versichert sein.⁶

Autonome Roboter werden von Normen geleitet, manchmal auch von ethischen Normen, – und es lässt sich nicht ausschließen, dass sie die Normen manchmal übertreten. Das ist nicht spekulativ, sondern höchst real. Das Pentagon gibt viele Milliarden Dollars für die Entwicklung von autonomen Kampfrobotern aus, die auch Moralnormen gehorchen sollen. «This is not ‚Terminator’-style science fiction but grim reality.»⁷ Die Begründung dafür mag überraschen: Das Kampfgeschehen soll humaner werden. «It is not my belief that an unmanned system will be able to be perfectly ethical in the battlefield, but I am convinced that they can perform more ethically than human soldiers are capable of.»⁸ Ein Roboter gerät nicht in Blutrausch, kennt keinen Rachedurst, nimmt es hin, wenn er beschädigt wird, er leidet auch nicht unter posttraumatischen Störungen (ganz sicher bin ich mir dabei aber nicht), und er hinterlässt keine trauernden Angehörigen. Roboter haben die meistzitierte Tugend unserer Zeit: Sie sindcool .

Die Entwickler von Kampfrobotern wollen ihren Maschinen ausdrücklich den Unterschied zwischen gut und böse beibringen. Mir kommt dabei noch eine andere Bibelstelle in den Sinn (Apostelgesch. 5,9), die sich an die Menschheit richten könnte:Die Füße derer, die dich hinaustragen werden, stehen schon vor der Tür.

---

Lothar Philipps, Prof. (em.), Institut für Strafrecht, Rechtsphilosophie und Rechtsinformatik der Juristischen Fakultät der Ludwig-Maximilians-Universität München. Prof.-Huber-Platz 2, D-80539 München,loth@jura.uni-muenchen.de

---