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."