Interpretationen der Modallogik

Das Buch beabsichtigt, mit den Mitteln einer phnomenologischen Semantik, einen Beitrag zum Verstndnis der Modallogik und ihrer philosophischen Implikationen zu liefern. Es richtet sich in erster Linie an Phnomenologen, aber auch an analytische Philosophen und an philosophisch interessierte Logiker. Bereits im vorigen Jahrhundert begannen Mathematik und Logik, sich zu abstrakten Wissenschaften zu entwickeln. Husserl nannte die schlielich resultierende Einheit beider `Mathesis Universalis'. Diese bildet nicht nur den Boden aus dem Husserls philosophische Arbeit erwuchs, sondern auch den Rahmen, in den die moderne Modallogik zu stellen ist. Als abstrakte Disziplin der Mathesis Universalis erfordert ihre phnomenologische Aufklrung detaillierte Analysen der Genese von Modalisierung, die weit in die kognitiven Strukturen von (vorsprachlicher) Wahrnehmung hineinreichen. Das so gewonnene Verstndnis von Modalisierung erbringt ein zweifaches Resultat: Zum einen kann die insbesondere im Rahmen der analytischen Philosophie gefhrte Diskussion der erkenntnistheoretischen und ontologischen Schwierigkeiten der Modallogik eine phnomenologische Aufklrung erfahren. Zum anderen erlaubt die Tatsache, da der Beweisbegriff als mathematische Modalitt zu verstehen ist, eine przise phnomenologische Bestimmung des Verhltnisses von formaler Logik und Mathematik.