Grundlagen Offener Sprachen

Menschliche Erkenntnis ist auf Sprache angewiesen, diese aber wird durch Erkenntnis gepragt und umgestaltet. Aus der Sicht der Informatik stellt sich die Frage: Wie soll Wissen, das auf einer derartigen Verklammerung beruht, in einem Computer (und das heisst formal) reprasentiert werden? Dieses Grundproblem wird hier als informatische Auspragung des -hermeneutischen Zirkels- genommen, und dieser in einer erweiterten Theorie der Berechenbarkeit ( Scott’s Domains ) modelliert. Das Resultat ist der Kern einer typenfreien approximativen Informationslogik. Jede -Aussage- einer Ebene n ist isomorph mit einem Aussagebestandteil der Ebene n+l, der den Informationsgehalt der Aussage n nichtlokal speichert. Dieser mathematische Gehalt wird aus Analysen zum Aussagebegriff bei Aristoteles entwickelt, wobei Arbeiten Martin Heideggers zur Unterstutzung herangezogen werden.