Zur Theorie der Selbstreferenz

Zusammenfassung

Schon Gödel hat versucht, den Begriff ‘beweisbar’ durch einen modalen Operator im Rahmen des Modalsystems S4 zu interpretieren. Dieser Ansatz widerspiegelt seine eigenen Resultate aber nicht adäquat. Erst nachdem die Modallogik nach 1970 einen hinreichend hohen Entwicklungsstand erreicht hatte, konnte ein entsprechendes Programm erfolgreich ausgeführt werden. Als geeignetes Instrument hat sich dafür ein meist mit G bezeichnetes System der Modallogik erwiesen. Es ermöglicht eine übersichtliche Behandlung der Gödelschen und anderer selbstbezüglicher Aussagen, d.h. Aussagen, die über ihre eigene Syntax und damit über sich selbst reden.