Seminarleitung: Prof. Dr. Katharina Zweig
Thema: In diesem Semester ging es konkret um die sogenannte Sprechakttheorie des Sprachphilosophen Austin und was wir daraus für die Informatik lernen können. Daher wurde gemeinsam „How to do things with words“ von John L. Austin gelesen. Austin war aufgefallen, dass nicht alle Äußerungen von Menschen sinnvoll auf ihren Wahrheitsgehalt geprüft werden können. Wenn jemand beispielsweise sagt: „Hiermit taufe ich Dich auf den Namen …“, dann ist das eher eine Handlung, die durch ihren Vollzug die Welt verändert: Das getaufte Baby wird mit diesem Ritual in die Kirche aufgenommen. Natürlich kann die Äußerung inkorrekt sein, z.B. wenn die Person, die sie äußert, kein:e Priester:in oder Pfarrer:in ist. Austin beschreibt, woran man solche Äußerungen erkennen kann, die eigentlich Handlungen sind, und unter welchen Bedingungen sie gelingen oder nicht gelingen. Seine Theorie wurde gemeinsam im Lichte von KI-Systemen diskutieren, die menschliches Verhalten vorhersagen oder bewerten sollen.
Terminplan mit Literatur:
| 29.04.2022 | Einführung |
| 06.05.2022 | Vorlesungen I + II |
| 13.05.2022 | Vorlesung III |
| 20.05.2022 | Vorlesung IV |
| 27.5.2022 | Vorlesung V (Austin) und Social Processes and Proofs of Theorems and Programs (De Millo Lipton & Perlis) |
| 03.06.2022 | Vorlesung VI |
| 10.06.2022 | Vorlesungen VII + VIII |
| 17.06.2022 | Vorlesung IX |
| 24.06.2022 | Vorlesungen X + XI |
| 06.07.2022 | Ausflug nach Landau |
| 08.07.2022 | Vorlesung XII |
| 15.07.2022 | Diskussion |