💻 computer science

A diagrammatic proof-theoretic semantics for the Greimas semiotic square

Dieser Beitrag stellt eine diagrammatische beweistheoretische Semantik für das semiotische Quadrat von Greimas mittels Spinnendiagrammen vor, wobei die Bildung von Metatermen als konstruktiver Ableitungsprozess erfasst und die Negation als eingeschränkte semantische Gegenposition und nicht als boolesches Komplement neu interpretiert wird.

Ursprüngliche Autoren: Michael Fowler

Veröffentlicht 2026-05-08

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Michael Fowler

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie versuchen zu verstehen, wie Bedeutung in einer Geschichte funktioniert, nicht nur durch das Betrachten einzelner Wörter, sondern indem Sie sehen, wie diese Wörter gegeneinander drängen und ziehen. Dies ist die Welt des semiotischen Quadrats nach Greimas, eines Werkzeugs, das Literaturwissenschaftler nutzen, um die verborgenen Beziehungen zwischen Ideen wie „Leben" versus „Tod" oder „männlich" versus „weiblich" zu kartieren.

Doch lange Zeit war dieses Werkzeug eher wie eine Skizze auf einer Serviette: Es zeigte die Beziehungen, hatte aber keine strengen Regeln dafür, wie man von einer Idee zur anderen gelangt. Es war schwer zu beweisen, wie man genau „Leben" und „Tod" kombiniert, um ein neues Konzept wie „Transzendenz" zu erhalten.

Dieser Artikel von Michael D. Fowler fungiert wie ein Regelbuch und ein Bausatz für diese Skizze. Er verwandelt das abstrakte Quadrat in ein rigoroses, schrittweises Spiel unter Verwendung einer visuellen Sprache namens Spinnendiagramme.

Hier ist die Aufschlüsselung, wie er dies mit einfachen Analogien erreicht:

1. Die Bausteine: Spinnen und Zonen

Anstelle komplexer mathematischer Symbole verwendet der Autor Spinnendiagramme.

Die Konturen (Linien): Stellen Sie sich vor, Sie zeichnen Kreise auf ein Blatt Papier. Jeder Kreis repräsentiert ein Konzept (ein „Sem"), wie ein Kreis für „Leben" und ein Kreis für „Tod".
Die Spinnen (Punkte): Stellen Sie sich kleine schwarze Punkte (Spinnen) vor, die innerhalb dieser Kreise sitzen oder diese überbrücken.
- Wenn eine Spinne vollständig innerhalb des „Leben"-Kreises sitzt, bedeutet dies, dass „Leben" definitiv stattfindet.
- Wenn eine Spinne Beine hat, die sowohl „Leben" als auch „Tod" (oder den Raum außerhalb beider) berühren, repräsentiert sie Unsicherheit oder Virtualisierung. Es ist, als würde man sagen: „Es ist entweder Leben oder Tod oder etwas dazwischen, aber wir sind noch nicht sicher, welches."

2. Die Regeln des Spiels: Die Spinnen bewegen

Der Artikel führt eine Reihe von Schlussfolgerungsregeln (wie die Regeln des Schachs) ein, die Ihnen sagen, wie Sie diese Spinnen bewegen müssen, um die Bedeutung zu verändern.

Kontrarität (Die Rivalität): Sie beginnen mit zwei Spinnen, die strikte Feinde sind. Eine befindet sich in „Leben", die andere in „Tod". Sie dürfen sich niemals berühren. Dies repräsentiert die grundlegende Opposition.
Negation (Die Expansion): In der normalen Logik bedeutet „Nicht Leben" einfach „Alles, was nicht Leben ist". Doch in diesem System des Artikels ist „Nicht Leben" eher wie eine unscharfe Wolke. Die Spinne, die „Nicht Leben" repräsentiert, streckt ihre Beine aus, um sowohl „Tod" als auch den leeren Raum außerhalb zu berühren. Sie sagt: „Es ist nicht Leben, aber es könnte Tod sein, oder es könnte etwas ganz anderes sein." Dies erfasst die Idee, dass in Geschichten Gegensätze nicht nur schwarz und weiß sind; es gibt einen Graubereich.
Implikation (Die Auflösung): Dies ist das Umgekehrte. Wenn Sie eine unscharfe „Nicht Leben"-Spinne haben, können Sie eine Regel anwenden, um ihre Beine einzuschrumpfen, bis sie fest auf „Tod" landet. Sie lösen die Unsicherheit in eine spezifische Tatsache auf.

3. Aufbau der „Meta-Terme" (Die großen Konzepte)

Der wichtigste Teil des Artikels ist, wie er die Meta-Terme (die komplexen Ideen an der Spitze des Quadrats) aufbaut.

Der alte Weg: Wissenschaftler sagten früher: „Nehmen Sie ‚Leben' und ‚Tod' und addieren Sie sie (+), um ein neues Konzept zu erhalten." Aber wie addiert man sie? Das war vage.
Der neue Weg (Die Behauptung des Artikels): Der Autor zeigt, dass man sie nicht einfach wie Zahlen „addiert". Man konstruiert sie.
- Stellen Sie sich eine Spinne für „Leben" und eine Spinne für „Tod" vor.
- Sie verwenden die Regeln, um sie zu kombinieren.
- Die Magie geschieht, wenn Sie eine neue Spinne in einer speziellen „Meta-Ebene"-Zone erstellen (ein höheres Regal im Diagramm).
- Diese neue Spinne sitzt nicht einfach nur auf den alten; sie fungiert als Vermittler. Sie erkennt an, dass sowohl „Leben" als auch „Tod" existieren, schafft aber eine neue Identität, die sie zusammenhält, ohne dass sie sich gegenseitig aufheben.

Die Analogie: Denken Sie an „Leben" und „Tod" als zwei verschiedene Farben von Farbe.

Alte Sichtweise: Das Mischen ergibt Grau.
Die Sichtweise dieses Artikels: Sie nehmen die beiden Farben, aber anstatt sie zu einem Durcheinander zu mischen, bauen Sie eine neue, höhere Skulptur, die beide Farben verwendet, um zu stehen. Die Skulptur ist ein neues Objekt (der Meta-Term), das wegen der Spannung zwischen den beiden Farben existiert, nicht nur als Mischung aus ihnen.

4. Die „Beweisbäume" (Der Beleg)

Jedes Mal, wenn Sie eine Spinne bewegen oder ein neues Konzept aufbauen, generiert der Artikel einen Beweisbaum.

Denken Sie daran wie an einen Kassenbon oder ein Rezept.
Er beweist, dass Sie eine neue Bedeutung nicht einfach magisch erfunden haben. Er zeigt die exakten schrittweisen Bewegungen (die Regeln), die Sie verwendet haben, um von den einfachen Ideen zur komplexen zu gelangen.
Dies verwandelt das „semiotische Quadrat" von einem statischen Bild in eine dynamische Maschine, in der Bedeutung schrittweise und gemäß strengen Regeln aufgebaut wird.

Zusammenfassung der Hauptbehauptung

Der Artikel behauptet, die vagen, philosophischen Ideen des semiotischen Quadrats nach Greimas erfolgreich in ein rigoroses, visuelles Logiksystem übersetzt zu haben.

Es beweist, dass komplexe Bedeutungen (wie „Transzendenz" oder „Der Vampir") nicht einfach logische Summen einfacherer Teile sind.
Stattdessen werden sie durch einen spezifischen Prozess der Erweiterung von Unsicherheit (Negation) und anschließender Auflösung (Implikation) konstruiert.
Das „Plus"-Zeichen (+) im Quadrat ist keine einfache Addition; es ist ein Konstruktionsaufzug, der ein neues, höherstufiges Konzept baut, das zwischen den gegensätzlichen Kräften vermittelt.

Kurz gesagt hat der Autor einen visuellen Rechner für Bedeutung gebaut, der genau zeigt, wie Geschichten komplexe Ideen aus einfachen Oppositionen generieren, unter Verwendung eines Systems aus bewegenden Punkten und Linien, das wie ein mathematisches Problem überprüft und verifiziert werden kann.

Technisches Fazit: Eine diagrammatische beweis-theoretische Semantik für das semiotische Quadrat von Greimas

Problemstellung
Der Beitrag adressiert das Fehlen einer formalen Spezifikation in der von Algirdas Julien Greimas entwickelten struktural-semiotischen Methode, insbesondere hinsichtlich des semiotischen Quadrats. Während das semiotische Quadrat ein weit verbreitetes heuristisches Werkzeug zur Analyse narrativer Strukturen und Bedeutungsgebung ist, bleiben die operativen Verfahren zur Etablierung von „Homologationen" (strukturellen Analogien) und zur Konstruktion von Metatermini (komplexen, neutralen und deiktischen Termini) unzureichend spezifiziert. Traditionelle Formulierungen stützen sich auf informelle kombinatorische Operationen (bezeichnet als „+") und binäre Oppositionen, deren logischer Status oft mehrdeutig ist (z. B. die Unterscheidung zwischen Kontrarietät und Widerspruch). Darüber hinaus wird die Standardinterpretation der Negation in diesem Kontext häufig mit dem booleschen Komplement verwechselt, wodurch die relationale, nicht-ausschließende Natur der Opposition in der strukturalen Semiotik nicht erfasst wird. Der Beitrag zielt darauf ab, eine rigorose, beweis-theoretische Rekonstruktion dieser Operationen zu liefern, um die dem semiotischen Quadrat zugrunde liegenden generativen Prozesse zu formalisieren.

Methodik
Die Autoren entwickeln ein diagrammatisches Beweissystem auf Basis von unitären Spinnendiagrammen (Howse et al., 2005) und passen diese Formalismen an, um semantische Konfigurationen anstelle mengentheoretischer Extensionen darzustellen.

Anpassung des Formalismus:
- Konturen repräsentieren Sememe (Bedeutungseinheiten) oder Sememe.
- Spinnen (existenzielle Punkte) kodieren die Aktualisierung (determinierte Existenz) oder Virtualisierung (indeterminierte Existenz) von Sememen. Eine Spinne, die mehrere Zonen überspannt, repräsentiert einen virtualisierten Zustand (semantische Indeterminiertheit), während eine Spinne, die auf eine einzelne Zone beschränkt ist, eine determinierte Aktualisierung darstellt.
- Zonen repräsentieren semantische Regionen innerhalb eines Universums $X$ , die Teilmengen von Metatermini ( $M$ ) und spezifische Semeklassen ( $S_1, S_2$ ) enthalten.
Definition grundlegender Relationen:
Der Beitrag definiert die fundamentalen Relationen des semiotischen Quadrats neu als diagrammatische Transformationen, die durch Inferenzregeln gesteuert werden:
- Diagrammatische Kontrarietät ( $\#_{diag}$ ): Definiert als statische Relation zwischen zwei Diagrammen, wobei $S_1$ und $S_2$ sich gegenseitig ausschließen (disjunkte Zonen), aber unabhängig aktualisiert sind.
- Diagrammatische Negation ( $\neg_{diag}$ ): Im Gegensatz zur booleschen Negation (die ein globales Komplement liefert) wird dies als Transformation definiert, die den Lebensraum einer Spinne so erweitert, dass sie den konträren Term und das Äußere des semantischen Universums einschließt, wodurch semantische Indeterminiertheit eingeführt wird. Es handelt sich um eine „eingeschränkte, zonenbestimmte semantische Gegenpositionierung".
- Diagrammatische Implikation ( $\Rightarrow_{diag}$ ): Definiert als Inverse der Negation, wobei der Lebensraum einer Spinne von einer Menge von Zonen auf eine einzelne Zone eingeschränkt (verfeinert) wird, wodurch Indeterminiertheit in eine determinierte Aktualisierung aufgelöst wird.
Inferenzsystem ( $R$ ):
Die Transformationen werden als Ableitungen in einem formalen System realisiert, das Regeln verwendet, die an Kalküle für Spinnendiagramme angepasst sind, einschließlich:
- AddFeet, SplitSpider, Combine, EraseSpider, CopySpider, ConjunctionElimination und Idempotency.
- Diese Regeln ermöglichen die Konstruktion von Beweisbäumen, die den Übergang von einer semantischen Konfiguration zu einer anderen bezeugen.

Hauptbeiträge und Ergebnisse

Formalisierung der Metaterm-Konstruktion:
Der Beitrag beweist, dass die vier kanonischen Metatermini des Greimas-Quadrats (Komplexer Term $S$ , Neutraler Term $\bar{S}$ , Positive Deixis und Negative Deixis) aus konjunktiven Paaren grundlegender Konfigurationen über ein uniformes Ableitungsschema ableitbar sind.
- Die Operation „+" wird nicht als logische oder mengentheoretische Summe, sondern als ableitender Lift neu interpretiert.
- Gegeben ein Paar von Diagrammen $(d_a, d_b)$ , wendet das System eine Folge von Regeln (Combine, AddFeet, SplitSpider usw.) an, um ein neues Diagramm $d^+_{ab}$ zu konstruieren, das eine neue Spinne (Zeuge) im Metaterm-Bereich $M$ enthält.
- Dieser neue Zeuge vermittelt die gemeinsame Repräsentation der Eingabe-Sememe, ohne ihre strukturelle Inkompatibilität aufzulösen.
Nicht-boolesche Negation:
Das System zeigt formal, dass die diagrammatische Negation in diesem Rahmen kein boolesches Komplement ist. Der Lebensraum eines negierten Terms $\neg_{diag}(S_i)$ ist auf Zonen beschränkt, die in Bezug auf die semische Opposition und den Metaterm-Bereich zulässig sind, und schließt Regionen aus, die in einem standardmäßigen mengentheoretischen Komplement enthalten wären. Dies erfasst den „relationalen Charakter der Opposition", bei dem Negation virtualisierte Zustände erzeugt statt ausschließende Exklusion.
Beweis-theoretisches Zeugen:
Der Beitrag konstruiert explizite Beweisbäume (z. B. $T_1$ bis $T_8$ ), die als Zeugen dienen für:
- Den Übergang von aktualisierten Sememen zu deren Negationen (z. B. $/Leben/ \to /nicht-Leben/$ ).
- Den Übergang von Negationen zurück zu aktualisierten Termini via Implikation (z. B. $/nicht-Leben/ \to /Tod/$ ).
- Die Konstruktion aller vier Metatermini aus ihren konstituierenden Semepaaren.
Erweiterung auf nicht-kanonische Termini:
Es wird gezeigt, dass das Inferenzsystem unter binärer Komposition abgeschlossen ist, was die Ableitung nicht-kanonischer Metatermini ermöglicht (z. B. das „positive Schema" $s_1 + \neg s_1$ und das „negative Schema" $s_2 + \neg s_2$ ), die in klassischen Interpretationen typischerweise ausgeschlossen sind, aber innerhalb dieses diagrammatischen Rahmens wohldefinierte semantische Objekte darstellen.

Bedeutung und Behauptungen
Der Beitrag beansprucht, eine kompositionelle, regelbasierte Semantik für das semiotische Quadrat von Greimas zu liefern. Seine primäre Bedeutung liegt in:

Explizitmachen impliziter Verfahren: Es verwandelt das „Kämmen" von Termini und die „Homologations"-Verfahren, die in der traditionellen Semiotik oft heuristisch sind, in explizite, formale Ableitungen.
Neuinterpretation des Operators „+": Es bietet eine beweis-theoretische Rechenschaft über die Metaterm-Bildung als konstruktiven Prozess (einen ableitenden Lift) anstelle einer statischen logischen Kombination.
Vereinheitlichung inferenzieller Settings: Es illustriert, wie diagrammatisches Schließen nicht-klassische semantische Operationen (insbesondere nicht-boolesche Negation und relationale Opposition) innerhalb eines vereinheitlichten inferenziellen Settings formalisieren kann.
Erweiterung von Spinnendiagrammen: Die Arbeit erweitert den Ausdrucksumfang von Kalkülen für Spinnendiagramme über mengentheoretisches und existenzielles Schließen hinaus, um komplexe strukturelle semantische Operationen zu modellieren.

Die Autoren schließen daraus, dass dieser Rahmen es erlaubt, das semiotische Quadrat nicht nur als analytisches Werkzeug, sondern als generatives semantisches System zu betrachten, bei dem Transformationen durch formale diagrammatische Inferenz explizit gemacht werden.