epubli Formale Semantikanalyse: Eine Neubegründung semantischer Systeme

Mit der Formalen Semantikanalyse (FSA) entwickelt Marko O. G. Schaumburg eine eigenständige mathematisch fundierte Theorie dynamischer Semantik, deren zentraler Ausgangspunkt eine Neubestimmung des Begriffs der Tatsache ist. Diese begriffliche Neufassung bildet die Voraussetzung dafür, Bedeutung in informationsverarbeitenden Systemen formal, zeitlich und prozessual beschreiben zu können. In der FSA sind Tatsachen keine statischen Zustände oder zeitlosen Wahrheiten, sondern ereignisbasierte semantische Einheiten, die explizit Zeit, Ort, Gültigkeit, Wahrheitsstatus und logische Kohärenz integrieren. Durch diese überraschend einfache, zugleich konsequent formale Definition wird erstmals eine dynamische Semantik möglich, die sowohl Stabilität als auch Veränderung systematisch erfassen kann. Auf der Grundlage dieses neu gefassten Tatsachenbegriffs entwickelt das Werk eine konsistente semantische Architektur zur Behandlung von Konsistenz, Versionierung, Löschung, Widersprüchen, semantischen Operatoren und Zustandsübergängen. Begriffs- und Kontextstrukturen werden dabei nicht vorausgesetzt, sondern als spezielle Projektionen aus der vollständigen Historie semantischer Ereignisse formal hergeleitet. Klassische begriffsanalytische Modelle erscheinen somit als zeitpunktbezogene Sonderfälle innerhalb eines umfassenderen semantischen Rahmens. Die Formale Semantikanalyse verbindet mathematische Präzision mit systemtheoretischer Prozesslogik und zeigt, wie aus einer einfachen begrifflichen Grundentscheidung eine tragfähige Theorie semantischer Systeme entsteht. Das Buch richtet sich an Fachleserinnen und Fachleser aus Informatik, Systemtheorie, Logik, Mathematik, Wissensrepräsentation sowie an Anwendungsfelder wie Medizin- und Verwaltungsinformatik. Es bildet den theoretischen Kern einer eigenständigen Semantikarchitektur und leistet einen grundlegenden Beitrag zur formalen Beschreibung dynamischer Bedeutungssysteme.