💻 computer science

A diagrammatic proof-theoretic semantics for the Greimas semiotic square

This paper presents a diagrammatic proof-theoretic semantics for the Greimas semiotic square using spider diagrams, where meta-term formation is captured as a constructive derivation process and negation is reinterpreted as a restricted semantic counter-position rather than a Boolean complement.

Original authors: Michael Fowler

Published 2026-05-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Michael Fowler

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand how meaning works in a story, not just by looking at individual words, but by looking at how those words push and pull against each other. This is the world of Greimas's Semiotic Square, a tool used by literary scholars to map out the hidden relationships between ideas like "life" vs. "death" or "masculine" vs. "feminine."

However, for a long time, this tool was a bit like a sketch on a napkin: it showed the relationships, but it didn't have strict rules for how you get from one idea to another. It was hard to prove exactly how you combine "life" and "death" to get a new concept like "transcendence."

This paper by Michael D. Fowler acts like a rulebook and a construction kit for that sketch. He turns the abstract square into a rigorous, step-by-step game using a visual language called Spider Diagrams.

Here is the breakdown of how he does it, using simple analogies:

1. The Building Blocks: Spiders and Zones

Instead of using complex math symbols, the author uses Spider Diagrams.

The Contours (Lines): Imagine drawing circles on a piece of paper. Each circle represents a concept (a "seme"), like a circle for "Life" and a circle for "Death."
The Spiders (Dots): Imagine little black dots (spiders) sitting inside or straddling these circles.
- If a spider sits entirely inside the "Life" circle, it means "Life" is definitely happening.
- If a spider has legs touching both "Life" and "Death" (or the space outside both), it represents uncertainty or virtualization. It's like saying, "It's either life, or death, or something in between, but we aren't sure which yet."

2. The Rules of the Game: Moving the Spiders

The paper introduces a set of inference rules (like the rules of chess) that tell you how to move these spiders to change the meaning.

Contrariety (The Rivalry): You start with two spiders that are strictly enemies. One is in "Life," the other in "Death." They can never touch. This represents the basic opposition.
Negation (The Expansion): In normal logic, "Not Life" just means "Everything that isn't Life." But in this paper's system, "Not Life" is more like a fuzzy cloud. The spider representing "Not Life" stretches its legs to touch "Death" and the empty space outside. It says, "It's not Life, but it could be Death, or it could be something else entirely." This captures the idea that in stories, opposites aren't just black and white; there's a gray area.
Implication (The Resolution): This is the reverse. If you have a fuzzy "Not Life" spider, you can use a rule to shrink its legs until it lands firmly on "Death." You are resolving the uncertainty into a specific fact.

3. Building the "Meta-Terms" (The Big Concepts)

The most important part of the paper is how it builds the Meta-Terms (the complex ideas at the top of the square).

The Old Way: Scholars used to say, "Take 'Life' and 'Death' and add them together (+) to get a new concept." But how do you add them? It was vague.
The New Way (The Paper's Claim): The author shows that you don't just "add" them like numbers. You construct them.
- Imagine you have a spider for "Life" and a spider for "Death."
- You use the rules to combine them.
- The magic happens when you create a new spider in a special "Meta-Level" zone (a higher shelf in the diagram).
- This new spider doesn't just sit on top of the old ones; it acts as a mediator. It acknowledges both "Life" and "Death" exist, but it creates a new identity that holds them together without them canceling each other out.

The Analogy: Think of "Life" and "Death" as two different colors of paint.

Old view: Mixing them makes gray.
This paper's view: You take the two paints, but instead of mixing them into a mess, you build a new, taller sculpture that uses both paints to stand up. The sculpture is a new object (the Meta-Term) that exists because of the tension between the two paints, not just a blend of them.

4. The "Proof Trees" (The Receipt)

Every time you move a spider or build a new concept, the paper generates a Proof Tree.

Think of this as a receipt or a recipe.
It proves that you didn't just magically invent a new meaning. It shows the exact step-by-step moves (the rules) you used to get from the simple ideas to the complex one.
This turns the "Semiotic Square" from a static picture into a dynamic engine where meaning is built, step-by-step, according to strict rules.

Summary of the Main Claim

The paper claims to have successfully translated the fuzzy, philosophical ideas of the Greimas Semiotic Square into a rigorous, visual logic system.

It proves that complex meanings (like "Transcendence" or "The Vampire") aren't just logical sums of simpler parts.
Instead, they are constructed through a specific process of expanding uncertainty (negation) and then resolving it (implication).
The "Plus" sign (+) in the square isn't simple addition; it's a construction lift that builds a new, higher-level concept that mediates between the opposing forces.

In short, the author has built a visual calculator for meaning, showing exactly how stories generate complex ideas from simple oppositions, using a system of moving dots and lines that can be checked and verified like a math problem.

Technical Summary: A Diagrammatic Proof-Theoretic Semantics for the Greimas Semiotic Square

Problem Statement
The paper addresses the lack of formal specification in the structural semiotic method developed by Algirdas Julien Greimas, specifically regarding the semiotic square. While the semiotic square is a widely used heuristic tool for analyzing narrative structures and signification, the operational procedures for establishing "homologations" (structural analogies) and constructing meta-terms (complex, neutral, and deictic terms) remain under-specified. Traditional formulations rely on informal combinatorial operations (denoted as '+') and binary oppositions that are often ambiguous regarding their logical status (e.g., distinguishing between contrariety and contradiction). Furthermore, the standard interpretation of negation in this context is often conflated with Boolean complement, failing to capture the relational, non-exhaustive nature of opposition in structural semiotics. The paper seeks to provide a rigorous, proof-theoretic reconstruction of these operations to formalize the generative processes underlying the semiotic square.

Methodology
The authors develop a diagrammatic proof system based on unitary spider diagrams (Howse et al., 2005), adapting this formalism to represent semantic configurations rather than set-theoretic extensions.

Formalism Adaptation:
- Contours represent semes (basic units of meaning) or sememes.
- Spiders (existential dots) encode the actualisation (determinate existence) or virtualisation (indeterminate existence) of semes. A spider spanning multiple zones represents a virtualised state (semantic indeterminacy), while a spider confined to a single zone represents a determinate actualisation.
- Zones represent semantic regions within a universe $X$ , containing subsets of meta-terms ( $M$ ) and specific seme classes ( $S_1, S_2$ ).
Defining Core Relations:
The paper redefines the fundamental relations of the semiotic square as diagrammatic transformations governed by inference rules:
- Diagrammatic Contrariety ( $\#_{diag}$ ): Defined as a static relation between two diagrams where $S_1$ and $S_2$ are mutually exclusive (disjoint zones) but independently actualised.
- Diagrammatic Negation ( $\neg_{diag}$ ): Unlike Boolean negation (which yields a global complement), this is defined as a transformation that expands a spider's habitat to include the contrary term and the exterior of the semantic universe, introducing semantic indeterminacy. It is a "restricted, zone-determined semantic counter-position."
- Diagrammatic Implication ( $\Rightarrow_{diag}$ ): Defined as the inverse of negation, where a spider's habitat is restricted (refined) from a set of zones to a single zone, resolving indeterminacy into a determinate actualisation.
Inference System ( $R$ ):
The transformations are realized as derivations in a formal system using rules adapted from spider diagram calculi, including:
- AddFeet, SplitSpider, Combine, EraseSpider, CopySpider, ConjunctionElimination, and Idempotency.
- These rules allow for the construction of proof trees that witness the transition from one semantic configuration to another.

Key Contributions and Results

Formalization of Meta-Term Construction:
The paper proves that the four canonical meta-terms of the Greimas square (Complex term $S$ , Neutral term $\bar{S}$ , Positive Deixis, and Negative Deixis) are derivable from conjunctive pairs of basic configurations via a uniform derivation schema.
- The operation ' + ' is reinterpreted not as a logical or set-theoretic sum, but as a derivational lift.
- Given a pair of diagrams $(d_a, d_b)$ , the system applies a sequence of rules (Combine, AddFeet, SplitSpider, etc.) to construct a new diagram $d^+_{ab}$ containing a new spider (witness) in the meta-level domain $M$ .
- This new witness mediates the joint representation of the input semes without collapsing their structural incompatibility.
Non-Boolean Negation:
The system formally demonstrates that diagrammatic negation in this framework is not a Boolean complement. The habitat of a negated term $\neg_{diag}(S_i)$ is restricted to zones admissible relative to the semic opposition and the meta-level domain, excluding regions that would be included in a standard set-theoretic complement. This captures the "relational character of opposition" where negation generates virtualised states rather than exhaustive exclusion.
Proof-Theoretic Witnessing:
The paper constructs explicit proof trees (e.g., $T_1$ through $T_8$ ) that serve as witnesses for:
- The transition from actualised semes to their negations (e.g., $/life/ \to /not-life/$ ).
- The transition from negations back to actualised terms via implication (e.g., $/not-life/ \to /death/$ ).
- The construction of all four meta-terms from their constituent seme pairs.
Extension to Non-Canonical Terms:
The inference system is shown to be closed under binary composition, allowing for the derivation of non-canonical meta-terms (e.g., the "positive schema" $s_1 + \neg s_1$ and "negative schema" $s_2 + \neg s_2$ ), which are typically excluded in classical interpretations but are well-defined semantic objects within this diagrammatic framework.

Significance and Claims
The paper claims to provide a compositional, rule-based semantics for the Greimas semiotic square. Its primary significance lies in:

Making Implicit Procedures Explicit: It transforms the "combing" of terms and the "homologation" procedures, which are often heuristic in traditional semiotics, into explicit, formal derivations.
Reinterpreting the ' + ' Operator: It offers a proof-theoretic account of meta-term formation as a constructive process (a derivational lift) rather than a static logical combination.
Unifying Inferential Settings: It illustrates how diagrammatic reasoning can formalize non-classical semantic operations (specifically non-Boolean negation and relational opposition) within a unified inferential setting.
Extending Spider Diagrams: The work extends the expressive scope of spider diagram calculi beyond set-theoretic and existential reasoning to model complex structural semantic operations.

The authors conclude that this framework allows the semiotic square to be viewed not merely as an analytic tool, but as a generative semantic system where transformations are made explicit through formal diagrammatic inference.