A diagrammatic proof-theoretic semantics for the Greimas semiotic square

Technische Samenvatting: Een Diagrammatische Bewijstheoretische Semantiek voor het Semiotisch Vierkant van Greimas

Probleemstelling
Het artikel adresseert het gebrek aan formele specificatie in de structurele semiotische methode ontwikkeld door Algirdas Julien Greimas, specifiek met betrekking tot het semiotisch vierkant. Hoewel het semiotisch vierkant een veelgebruikt heuristisch hulpmiddel is voor het analyseren van narratieve structuren en betekenisgeving, blijven de operationele procedures voor het vaststellen van "homologaties" (structurele analogieën) en het construeren van meta-termen (complexe, neutrale en deictische termen) ondergespecificeerd. Traditionele formuleringen vertrouwen op informele combinatorische operaties (aangeduid als '+') en binaire opposities die vaak ambigu zijn wat betreft hun logische status (bijvoorbeeld het onderscheid tussen contrariteit en tegenstrijdigheid). Bovendien wordt de standaardinterpretatie van ontkenning in deze context vaak verward met de Booleaanse complement, waardoor het relationele, niet-exhaustieve karakter van oppositie in de structurele semiotiek niet wordt vastgelegd. Het artikel streeft naar een rigoureuze, bewijstheoretische reconstructie van deze operaties om de generatieve processen die ten grondslag liggen aan het semiotisch vierkant te formaliseren.

Methodologie
De auteurs ontwikkelen een diagrammatisch bewijssysteem gebaseerd op unitaire spinnendiagrammen (Howse et al., 2005), waarbij ze dit formalisme aanpassen om semantische configuraties weer te geven in plaats van verzamelingstheoretische extensies.

1. Aanpassing van het Formalisme:

   • Contouren representeren semes (basiseenheden van betekenis) of sememen.
   • Spinnen (existentiële stippen) coderen de actualisatie (bepaalde existentie) of virtualisatie (onbepaalde existentie) van semes. Een spin die meerdere zones overspant, vertegenwoordigt een virtualiseerde toestand (semantische onbepaaldheid), terwijl een spin die beperkt is tot een enkele zone een bepaalde actualisatie vertegenwoordigt.
   • Zones vertegenwoordigen semantische regio's binnen een universum $X$, die deelverzamelingen van meta-termen ($M$) en specifieke semeklassen ($S_1, S_2$) bevatten.

2. Definiëren van Kernrelaties:
   Het artikel herdefinieert de fundamentele relaties van het semiotisch vierkant als diagrammatische transformaties die worden geleid door inferentieregels:

   • Diagrammatische Contrariteit ($\#_{diag}$): Gedefinieerd als een statische relatie tussen twee diagrammen waarbij $S_1$ en $S_2$ wederzijds uitsluitend zijn (disjuncte zones) maar onafhankelijk geactualiseerd.
   • Diagrammatische Ontkenning ($\neg_{diag}$): In tegenstelling tot Booleaanse ontkenning (die een globaal complement oplevert), wordt dit gedefinieerd als een transformatie die het habitat van een spin uitbreidt om het contraire term en het exterieur van het semantische universum op te nemen, waardoor semantische onbepaaldheid wordt geïntroduceerd. Het is een "beperkte, zone-bepaalde semantische tegenpositie".
   • Diagrammatische Implicatie ($\Rightarrow_{diag}$): Gedefinieerd als het omgekeerde van ontkenning, waarbij het habitat van een spin wordt beperkt (verfijnd) van een reeks zones naar een enkele zone, waardoor onbepaaldheid wordt opgelost tot een bepaalde actualisatie.

3. Inferentiesysteem ($R$):
   De transformaties worden gerealiseerd als afleidingen in een formeel systeem met behulp van regels die zijn aangepast van spinnendiagram-calculi, waaronder:

   • AddFeet, SplitSpider, Combine, EraseSpider, CopySpider, ConjunctionElimination, en Idempotency.
   • Deze regels maken het mogelijk om bewijstakken te construeren die de overgang van de ene semantische configuratie naar de andere aantonen.

Belangrijkste Bijdragen en Resultaten

1. Formalisering van Meta-term Constructie:
   Het artikel bewijst dat de vier canonieke meta-termen van het Greimas-vierkant (Complexe term $S$, Neutrale term $\bar{S}$, Positieve Deixis, en Negatieve Deixis) afleidbaar zijn uit conjunctieve paren van basisconfiguraties via een uniform afleidingsschema.

   • De operatie ' + ' wordt geherinterpreteerd niet als een logische of verzamelingstheoretische som, maar als een afleidende lift.
   • Gegeven een paar diagrammen $(d_a, d_b)$, past het systeem een reeks regels toe (Combine, AddFeet, SplitSpider, enz.) om een nieuw diagram $d^+_{ab}$ te construeren dat een nieuwe spin (getuige) bevat in het meta-niveau domein $M$.
   • Deze nieuwe getuige bemiddelt de gezamenlijke representatie van de invoersemes zonder hun structurele incompatibiliteit te laten instorten.

2. Niet-Booleaanse Ontkenning:
   Het systeem toont formeel aan dat diagrammatische ontkenning in dit kader geen Booleaans complement is. Het habitat van een ontkende term $\neg_{diag}(S_i)$ is beperkt tot zones die toelaatbaar zijn ten opzichte van de semische oppositie en het meta-niveau domein, en sluit regio's uit die zouden worden opgenomen in een standaard verzamelingstheoretisch complement. Dit vangt het "relationele karakter van oppositie" op, waarbij ontkenning virtualiseerde toestanden genereert in plaats van exhaustieve uitsluiting.

3. Bewijstheoretisch Getuigen:
   Het artikel construeert expliciete bewijstakken (bijvoorbeeld $T_1$ tot en met $T_8$) die dienen als getuigen voor:

   • De overgang van geactualiseerde semes naar hun ontkenningen (bijvoorbeeld $/leven/ \to /niet-levend/$).
   • De overgang van ontkenningen terug naar geactualiseerde termen via implicatie (bijvoorbeeld $/niet-levend/ \to /dood/$).
   • De constructie van alle vier meta-termen uit hun samenstellende semeparen.

4. Uitbreiding naar Niet-Canonieke Termen:
   Het inferentiesysteem blijkt gesloten onder binaire compositie, waardoor de afleiding van niet-canonieke meta-termen mogelijk is (bijvoorbeeld het "positieve schema" $s_1 + \neg s_1$ en het "negatieve schema" $s_2 + \neg s_2$), die doorgaans worden uitgesloten in klassieke interpretaties maar binnen dit diagrammatische kader wel gedefinieerde semantische objecten zijn.

Betekenis en Aanspraken
Het artikel claimt een compositional, regelgebaseerde semantiek te bieden voor het semiotisch vierkant van Greimas. De primaire betekenis ligt in:

• Expliciteren van Impliciete Procedures: Het transformeert het "kammen" van termen en de "homologatie"-procedures, die vaak heuristisch zijn in de traditionele semiotiek, naar expliciete, formele afleidingen.
• Herverklaring van de ' + ' Operator: Het biedt een bewijstheoretisch verslag van meta-term vorming als een constructief proces (een afleidende lift) in plaats van een statische logische combinatie.
• Unificeren van Inferentiële Settings: Het illustreert hoe diagrammatisch redeneren niet-klassieke semantische operaties kan formaliseren (specifiek niet-Booleaanse ontkenning en relationele oppositie) binnen een verenigde inferentiële setting.
• Uitbreiden van Spinnendiagrammen: Het werk breidt het expressieve bereik van spinnendiagram-calculi uit buiten verzamelingstheoretisch en existentieel redeneren om complexe structurele semantische operaties te modelleren.

De auteurs concluderen dat dit kader het semiotisch vierkant toelaat om niet louter te worden beschouwd als een analytisch hulpmiddel, maar als een generatief semantisch systeem waarbij transformaties expliciet worden gemaakt door middel van formele diagrammatische inferentie.