Eine Logik von Handlungen und Überzeugungen

Abstract

Eine Logik von Handlungen betrachten zu wollen, hat eine lange Tradition von Anselm von Canterbury bis in die Gegenwart. Was kennzeichnet eine Handlung? Wann beschreibt ein Satz eine Handlung? Und wie lässt sich dies in einem logischen System beschreiben? Die Stit-Theorie gibt eine einfache Antwort auf die beiden zuletzt gestellten Fragen. Ein Satz varphi drückt eine Handlung aus, wenn es einen Akteur gibt, so dass sich der Wahrheitswert des Satzes nicht ändert, wenn er durch "der Akteur sorgt dafür, dass varphi " paraphrasiert wird. In diesem Buch wird gezeigt, warum diese Ansicht nicht nur einfach und praktisch ist, um eine solche Handlungslogik um Operatoren für Überzeugungen, Wünsche und Intentionen zu erweitern, sondern auch warum sich diese Beschreibung mit der Ansicht Donald Davidsons vereinen lässt, dass Handlungen Ereignisse zugrunde liegen. So wird versucht, eine Brücke zwischen der Stit-Theorie und Davidsonscher Handlungstheorie zu schlagen, bei der der Begriff der Intention eine Rolle spielt. Dabei wird der Intentionsoperator in dem logischen System bdi-stitâ dint, bestehend aus Handlungsoperatoren und den Operatoren für die mentalen Zustände, alternativ axiomatisiert.