A taxonomy for controlling (in)consistency

Probleemstelling

De auteurs adresseren een fundamentele lacune in de bestaande theorie van Logica's van Formele Inconsistentie (LFI's). Hoewel LFI's in staat zijn om inconsistentie te formaliseren door een consistentie-operator ($\circ$) in te voeren, ontbreekt er een gestructureerde hiërarchie die verschillende graden van "paraconsistente toewijding" (paraconsistent commitment) kan vertegenwoordigen.

• De beperking van bestaande systemen: Systemen zoals mbC (de minimale LFI) staan inconsistentie toe op elk niveau van consistentie (meta-consistentie), terwijl systemen zoals mbCci eisen dat consistentie altijd consistent is (geen inconsistentie op meta-niveau).
• Het ontbrekende spectrum: Er is een gebrek aan logische systemen die het gedrag van de consistentie-operator kunnen "controleren" op specifieke iteratieniveaus ($n$). In realistische scenario's (zoals juridische getuigenissen of spelletjes) kan het zinvol zijn om de betrouwbaarheid van een oordeel te betwijfelen, maar niet de betrouwbaarheid van de criteria die dat oordeel ondersteunen, of vice versa.
• De uitdaging: Er is behoefte aan een familie van logica's die zowel de sterkte van de negatie als het niveau waarop consistentie zichzelf als consistent moet gedragen, systematisch kan variëren.

Methodologie

De auteurs introduceren een tweedimensionale hiërarchie van logica's, genaamd Logica's van Gecontroleerde Consistentie (LCC), aangeduid als $L^k_n$.

1. De Hiërarchie ($L^k_n$):

   • Dimensie $n$ (Controlerend niveau): Bepaalt op welk niveau de consistentie-operator zichzelf consistent moet gedragen. Dit wordt geregeld door het axioma $(cc_n): \circ^{n+2}\alpha$.
     • $n=0$: Geen beperking (inconsistentie mogelijk op elk niveau, zoals in mbCciw).
     • $n=1$: Inconsistentie is toegestaan tot niveau 1, maar niet hoger.
     • $n=k$: Consistentie is gegarandeerd vanaf iteratie $k+2$.
   • Dimensie $k$ (Kracht van negatie): Bepaalt hoe deterministisch de negatie ($\neg$) en de interactie met consistentie zijn.
     • $k=0$: Basis negatie.
     • $k=1$: Toevoeging van axioma's voor dubbele negatie ($\neg\neg\alpha \leftrightarrow \alpha$).
     • $k \ge 2$: Toevoeging van axioma's die de interactie tussen negatie en consistentie deterministisch maken (bijv. $\neg\circ\neg\alpha \leftrightarrow \neg\circ\alpha$).

2. Semantische Benaderingen:

   • Swap Structure Semantics: De auteurs gebruiken swap structuren (niet-deterministische matrices met "snapshots" van truth-values) om de basislogica's te modelleren. Een snapshot is een tuple die de waarden van $\alpha$, $\neg\alpha$ en $\neg\circ\alpha$ vertegenwoordigt.
   • RNmatrices (Restricted Nmatrices): Voor de volledige hiërarchie wordt een uniforme semantiek ontwikkeld met behulp van RNmatrices. Dit zijn Nmatrices met een beperkte verzameling toegestane waarderingen ($F$), waardoor specifieke axioma's (zoals $(cc_n)$) geldig worden zonder de complexiteit van grote deterministische tabellen.
   • Twist Structures: Voor de specifieke uitbreiding LFI3 (een 5-waardige logica) wordt een deterministische twist-structuur gebruikt, afgeleid van Karnaugh-kaarten, om de connectieven deterministisch te definiëren.

Belangrijkste Bijdragen

1. De $L^k_n$ Hiërarchie:
   De paper introduceert een systematische familie van logica's die de filosofische posities van scepticisme (geen grenzen aan betwisting, zoals mbCciw) tot dogmatisme (geen betwisting van criteria, zoals mbCci) dekt, met een continuüm van pragmatische tussenposities.

2. LFI3 (Een nieuwe 5-waardige logica):
   De auteurs presenteren LFI3, een uitbreiding van $L^2_1$.

   • Het is een 5-waardige LFI die meer onderscheidingsvermogen biedt dan de bekende 3-waardige LFI1 (J3).
   • Het biedt een paradigmatisch voorbeeld voor de ontwikkeling van veelwaardige LFI's met meer dan drie waarden.
   • Het bevat een nieuwe axiomatisering en een semantisch account via twist structuren.

3. Semantische Unificatie:
   Door het gebruik van RNmatrices bieden de auteurs een uniforme semantische beschrijving voor de hele $L^k_n$ familie. Dit lost het probleem op dat de complexiteit van Nmatrices exponentieel groeit naarmate $n$ en $k$ toenemen, en maakt de logica's toepasbaar in de praktijk.

4. Relatie tot Bestaande Logica's:
   De hiërarchie omvat en generaliseert bekende systemen als mbCci, Cbr, en Cie. Het toont aan dat deze systemen specifieke punten zijn in de ruimte van gecontroleerde consistentie.

Resultaten

• Stabiliteit en Volledigheid: De auteurs bewijzen de geluidheid (soundness) en volledigheid (completeness) van de logica's $L^k_n$ zowel ten opzichte van hun swap structure semantics als hun RNmatrix semantics.
• De "Fixed Point" Eigenschap: Er wordt bewezen dat $L^{n+1}_n = L^m_n$ voor elke $m \ge n+2$. Dit betekent dat het verhogen van de dimensie $k$ (sterkte van negatie) boven een bepaald punt geen nieuwe logische kracht toevoegt aan de controle van consistentie op niveau $n$.
• LFI3 Eigenschappen:
  • LFI3 is een sublogica van klassieke logica en van LFI1.
  • LFI3 is maximaal ten opzichte van LFI1 (het toevoegen van een niet-afleidbare stelling uit LFI1 maakt de logica equivalent aan LFI1).
  • Er worden nieuwe herstel-operatoren ($\circ^*$ en $\circ^\#$) gedefinieerd die binnen LFI3 respectievelijk klassieke logica en LFI1 redenering kunnen herstellen.
• Filosofische Toepassing: Via voorbeelden (zoals een advocaat/prosecutor scenario en een priester die God's bestaan test) wordt aangetoond hoe verschillende niveaus van $n$ en $k$ verschillende epistemologische houdingen (sceptisch vs. dogmatisch) logisch modelleren.

Significantie

De paper is significant voor de volgende redenen:

1. Herleving van da Costa's Ideeën: Het brengt de oorspronkelijke ideeën van Newton da Costa over graden van paraconsistentie (Cn-systemen) terug naar de moderne context van LFI's, maar dan met een expliciete consistentie-operator in plaats van gedefinieerde operators.
2. Pragmatische Flexibiliteit: Het biedt een logisch raamwerk dat zich aanpast aan de context. In plaats van één "beste" paraconsistente logica te kiezen, kunnen onderzoekers en filosofen de logica kiezen die past bij het niveau van betwisting dat in een specifiek domein (recht, wetenschap, alledaags redeneren) gewenst is.
3. Voortgang in Veelwaardige Logica: De ontwikkeling van LFI3 en de methode om deze te axiomatiseren via twist structuren opent nieuwe wegen voor het ontwerpen van complexe, veelwaardige paraconsistente systemen die intuïtiever zijn dan puur niet-deterministische semantiek.
4. Unificatie: Het verenigt verspreide resultaten in de literatuur (over mbCci, Cbr, etc.) onder één overkoepelende theorie, wat verdere onderzoek en vergelijkingen vergemakkelijkt.

Kortom, dit artikel levert een robuust, flexibel en semantisch onderbouwd raamwerk voor het modelleren van inconsistentie en consistentie op verschillende abstractieniveaus, wat een belangrijke stap voorwaarts is in de theorie van paraconsistente logica.