Ueber Dialoge, Protologische Kategorien Und Andere Seltenheiten

Der Verfasser hat sich die Aufgabe gestellt, die sehr verschiedenen Charakterisierungen der intuitionistischen Logik - die garbentheoretische, die kalkultheoretische, die verbandstheoretische, die operative, die spieltheoretische - unter einem einheitlichen Gesichtspunkt, namlich ihrer strukturellen Beschreibung mit Hilfe der Kategorientheorie und der dialogischen Logik, neu zu entwickeln. Er geht aus von dem immer wieder unterstellten ad-hoc-Charakter der gewahlten Spielregeln und fragt nach den Grunden fur die Wahl gerade der zur effektiven Logik fuhrenden Rahmenregeln. Die dialogische Logik lasst sich als operative dialogische Logik auszeichnen und so als der gemeinsame Kern der von jeder protologischen Kategorie jeweils induzierten Logik verstehen."