Eine Logik von Handlungen und Überzeugungen
Caroline Willkommen
Diese Publikation zitieren
Caroline Willkommen, Eine Logik von Handlungen und Überzeugungen (2013), Logos Verlag, Berlin, ISBN: 9783832589769
91
Accesses
Accesses
5
Quotes
Quotes
Beschreibung / 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 varphidrü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.
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.
Inhaltsverzeichnis
- BEGINN
- Einleitung
- 1 Eine Logik für Handlungsätze - Stit-Theorie
- 1.1 Branching Time
- 1.2 Stit-Operatoren: Achievement oder Deliberativ
- 1.3 Das Problem der konfligierenden Historie
- 2 Zust ände, Sachverhalte und Ereignisse
- 2.1 Zustände und Sachverhalte
- 2.2 Ein Zustand und das Vorliegen des Zustandes
- 2.3 Zustände und Ereignisse
- 3 Handlungen oder die Frage †Actions as Events“
- 3.1 Handlung und das darunter liegende Ereignis
- 3.2 Klassifikation von Ereignissen
- 3.3 Mentale Zustände und mentale Ereignisse
- 4 überzeugungen, Wünsche und Absichten
- 4.1 überzeugungen und Wünsche
- 4.2 Wünsche und Absichten
- 4.3 Absichten und Handlungen
- 5 Von Stit und BDI zu bdi-stit
- 5.1 Von BDI zu bdi-stit
- 5.2 Die bdi-stit Logik
- 5.3 Eine Generalisierung von Stit-Theorie
- 6 Vollst ändigkeit und Erweiterungen von bdi-stit
- 6.1 Vollständige Axiomatisierung der bdi-stit
- 6.2 Ein Tableaukalkül für bdi-stit
- 6.3 Temporale Operatoren in der bdi-stit Logik
- 6.4 bdi-stitdint†”Interaktionen zwischen Stit- und Intentionsoperatoren
- 7 Zusammenfassung