🔢 mathematics

Possibly Relevant Translations

Dit artikel ontwikkelt vertalingen van relevante logica's naar normale modale logica's om hun structurele verbanden te verduidelijken, bijkomende resultaten af te leiden en vragen voor toekomstig onderzoek voor te stellen.

Oorspronkelijke auteurs: Søren Brinck Knudstorp

Gepubliceerd 2026-07-01

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Søren Brinck Knudstorp

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een vertaler bent die probeert twee zeer verschillende steden te overbruggen. De ene stad is Relevantie-logica, waar elke bewering strikt verbonden moet zijn met de vorige (zoals een gesprek waarbij je niet zomaar kunt zeggen "De lucht is blauw", tenzij het gerelateerd is aan het vorige onderwerp). De andere stad is Modale Logica, een flexibelere plek waar beweringen vrij kunnen rondzweven en op bredere, meer abstracte manieren verbonden zijn.

Lama een tijd lang spraken deze twee steden verschillende talen. Dit artikel, geschreven door Søren Brinck Knudstorp, is als een nieuw, zeer geavanceerd woordenboek en een reeks kaarten die mensen uit beide steden in staat stellen elkaar perfect te begrijpen.

Hier is een uitsplitsing van wat het artikel doet, met behulp van alledaagse analogieën:

1. Het Probleem: Twee Verschillende Architecturen

Beschouw Relevantie-logica als een gebouw met een strikte regel: elke kamer moet verbonden zijn door een gang. Je kunt geen kamer hebben die in de ruimte zweeft; ze moet verbonden zijn met de vorige. Dit maakt het gebouw erg stevig, maar moeilijk te navigeren als je de regels niet gewend bent.

Modale Logica is als een gebouw met een magische lift. Je kunt gemakkelijk tussen verdiepingen springen en de verbindingen liggen losser.

De auteur vraagt: Kunnen we de strikte regels van het "Relevante" gebouw vertalen naar de taal van het "Modale" gebouw zonder de betekenis te verliezen?

2. De Eerste Poging: Een Basiswoordenboek (De "Ster"-vertaling)

De auteur begint met het maken van een eenvoudig vertaalinstrument (de $\star$ -vertaling).

Hoe het werkt: Het neemt een zin uit de Relevante stad en herschrijft deze in de taal van de Modale stad.
Het Resultaat: Voor eenvoudige zinnen werkt het perfect. Als een zin waar is in de Relevante stad, is de vertaling ervan waar in de Modale stad, en vice versa.
De Haken en ogen: Dit woordenboek werkt alleen goed voor de "basis" (zoals "en", "of", en eenvoudige "als-dan"-beweringen). Het begint te struikelen wanneer de zinnen ingewikkelder worden, specifelijk wanneer je "als-dan"-beweringen hebt die genest zijn binnen andere "als-dan"-beweringen (zoals een Russische matroesjka-pop).

3. De Tweede Poging: Een Dieper Woordenboek (De "Geneste" Vertaling)

Om het nestelingsprobleem op te lossen, creëert de auteur een tweede, complexere vertaling (de $*$ -vertaling).

De Analogie: Stel je voor dat het eerste woordenboek bedoeld was voor losse woorden. Dit nieuwe woordenboek is voor hele paragrafen. Het voegt een speciale "verpakking" toe rond complexe zinnen om ervoor te zorgen dat de strikte regels van de Relevante stad gerespecteerd worden, zelfs wanneer ze diep binnen de Modale structuur zitten.
Het Resultaat: Dit creëert een perfecte brug voor de basisversie van de Relevante logica. Het bewijst dat de Relevante stad eigenlijk gewoon een speciale, striktere sectie van de Modale stad is.

4. De Beperking: De "Ontbrekende Lift"

De auteur ontdekt dat deze perfecte vertaling vastloopt wanneer men probeert de sterkere versies van de Relevante logica te vertalen (zoals het beroemde systeem R).

De Metafoor: De Relevante stad heeft een speciale regel genaamd "Contractie" (wat is als zeggen: "Als ik deze sleutel twee keer nodig heb, kan ik hem ook één keer gebruiken"). De Modale stad heeft deze regel niet van nature. Wanneer de auteur deze regel probeert te vertalen, faalt de "lift" in de Modale stad om de "gang"-logica van de Relevante stad te repliceren.
De Gevolgen: De vertaling werkt voor sommige zwakkere relevante logica's, maar faalt voor de sterkste ervan. De auteur geeft toe dat hoewel ze een geweldige start hebben gemaakt, ze nog niet in staat zijn om alles te vertalen.

5. De Meestersleutel: "Waarheid" en "Fusie" Toevoegen

In de tweede helft van het artikel voegt de auteur meer instrumenten toe aan de vertaalset.

Nieuwe Instrumenten: Ze introduceren een "Waarheidsconstante" (een speciale knop die altijd "Waar" betekent) en een "Fusie"-operator (een manier om twee ideeën aan elkaar te lijmen).
De Doorbraak: Door deze specifieke instrumenten aan de taal van de Modale stad toe te voegen, bouwt de auteur een Meestersleutel.
Het Resultaat: Met deze Meestersleutel kunnen ze nu elke zin uit de Relevante stad (inclusclusief de lastige zinnen met negatie en fusie) vertalen naar de Modale stad. Het blijkt dat als je de Modale stad uitbouwt met deze specifieke extra regels, deze een exacte kopie wordt van de Relevante stad.

6. Waarom dit Belangrijk Is (Het deel "Wat we hebben geleerd")

Het artikel vertaalt niet alleen woorden; het bewijst dat deze twee logische systemen structureel identiek zijn wanneer je er op de juiste manier naar kijkt.

Beslisbaarheid: Omdat we de Relevante logica naar de Modale logica kunnen vertalen, kunnen we de bekende instrumenten van de Modale logica gebruiken om problemen in de Relevante logica op te lossen. De auteur laat bijvoorbeeld zien dat omdat de modale versie van bepaalde systemen onoplosbaar (onbeslisbaar) is, de Relevante versies dat ook moeten zijn.
Interpolatie: De auteur roept een vraag op over "interpolatie" (het vinden van een middenweg tussen twee andere beweringen). Omdat de vertaling werkt, kunnen we nu de kennis uit de Modale stad gebruiken om te raden of de Relevante stad deze eigenschap bezit.

Samenvatting

Het artikel is een succesvolle poging om een Rosettasteen te bouwen tussen twee logische tradities.

Het begint met een eenvoudig woordenboek dat werkt voor basiszinnen.
Het verfijnt het woordenboek om complexe, geneste zinnen te kunnen verwerken.
Het geeft toe dat het eerste woordenboek faalt voor de sterkste versies van de taal.
Ten slotte bouwt het een Meestersleutel door specifieke "Waarheid"- en "Fusie"-instrumenten toe te voegen, waarmee bewezen wordt dat het volledige systeem van de Relevante logica perfect kan worden afgebeeld op een specifieke versie van de Modale logica.

De auteur concludeert dat hoewel ze niet elk enkel puzzelstukje hebben opgelost (sommige vragen blijven open voor toekomstig werk), ze succesvol hebben aangetoond dat deze twee logische werelden veel dichtere buren zijn dan voorheen werd aangenomen.

Technische Samenvatting: Mogelijk Relevante Vertalingen

Probleem en Motivatie
Het artikel behandelt de structurele relatie tussen relevante logica's (specifiek de Anderson–Belnap-stamboom) en normale modale logica's. Terwijl de vertaling van intuïtionistische logica naar klassieke modale logica (via de Gödel–McKinsey–Tarski-vertaling) historisch gezien belangrijke uitwisselingen tussen tradities heeft bevorderd, blijft een vergelijkbare, systematische vertaling tussen relevante en modale logica's onderontwikkeld. De auteur streeft ernaar om volledige en getrouwe vertalingen van relevante logica's naar normale modale logica's te vestigen om structurele verbindingen te verduidelijken, bijkomende resultaten af te leiden en beperkingen in huidige translationale benaderingen te identificeren. Het werk richt zich aanvankelijk op het positieve fragment $\{\land, \lor, \to\}$ en breidt dit geleidelijk uit om de waarheid constante $t$ , fusie $\circ$ en negatie $\neg$ te bevatten.

Methodologie
Het artikel maakt gebruik van een semantische benadering door middel van modeltransformaties tussen twee verschillende kaders:

Routley–Meyer Frames: De standaardsemantiek voor relevante logica's, gedefinieerd als triples $(K, R, N)$ waarbij $R$ een ternaire relatie is en $N$ een verzameling normale punten, onderworpen aan specifieke ordenings- en relationele beperkingen (bijv. de "down-down-up"-conditie).
Kripke Frames: De standaardsemantiek voor normale modale logica's, gedefinieerd als paren $(W, R)$ (of tupels met aanvullende relaties voor uitgebreide talen).

De kernmethodologie bestaat uit het definiëren van een vertalingsfunctie (aangeduid als $\star$ , $\ast$ , of $\circ$ ) van relevante formules naar modale formules. Om te bewijzen dat deze vertalingen volledig zijn (als een relevante implicatie geldt, geldt de modale vertaling ook) en getrouw (als de modale vertaling geldt, geldt de relevante implicatie ook), construeert de auteur twee modeltransformaties:

$F$ : Brengt gepunteerde Kripke-modellen in kaart naar gepunteerde Routley–Meyer-modellen.
$G$ : Brengt gepunteerde Routley–Meyer-modellen in kaart naar gepunteerde Kripke-modellen.

Deze transformaties zijn ontworpen om adjunctiepatronen te vervullen waarbij verzadiging in het ene model overeenkomt met de verzadiging van de vertaalde formule in het andere model. Het artikel maakt ook gebruik van correspondentietheorie (specifiek Sahlqvist-correspondentie) om de framecondities in de Kripke-semantiek te identificeren die corresponderen met specifieke relevante axioma's.

Belangrijkste Bijdragen en Resultaten

Basale Positieve Vertaling ( $\star$ ):
- De auteur definieert een vertaling $\star$ voor het $\{\land, \lor, \to\}$ fragment waarbij $\to$ wordt afgebeeld op een gedefinieerde modale operator $\neg \Diamond(\cdot, \neg \cdot)$ .
- Stelling 1.4: Stelt vast dat voor de basale relevante logica $B^+$ en de basale binaire modale logica $K_2$ geldt: $\vdash_{B^+} \phi \to \psi$ iff $\vdash_{K_2} \phi^\star \supset \psi^\star$ .
- Uitbreiding naar Sterkere Logica's: De vertaling breidt zich uit naar logica's die geaxiomatiseerd zijn door subsets van axioma's 7–10 (bijv. $TW^+$ , $TWJ^+$ , $C^+$ ). Echter, het artikel demonstreert dat deze vertaling faalt voor logica's die contractie (axioma 11) of assertie (axioma 12) vereisen, zoals $R^+$ . Het falen komt voort uit het feit dat de eenvoudigere Kripke-semantiek de specifieke ordeningscondities (zoals de "down-down-up"-eigenschap) mist die inherent zijn aan Routley–Meyer-frames en die nodig zijn om deze axioma's te valideren.
Geneste Implicatie Vertaling ( $\ast$ ):
- Om formules aan te pakken waarbij het hoofdconnectief niet $\to$ is, wordt een tweede vertaling $\ast$ geïntroduceerd, die $\phi \to \psi$ afbeeldt op $\Box_\to(\phi^\star \supset \psi^\star)$ .
- Stelling 1.7: Toont aan dat $\ast$ een volledige en getrouwe inbedding van $B^+$ in $K_2$ biedt voor alle positieve formules, waardoor $B^+$ wordt gerealiseerd als een syntactisch fragment van $K_2$ .
- Net als de $\star$ -vertaling stuit ook deze benadering op beperkingen bij uitbreiding naar logica's die contractie en assertie bevatten.
Onbeslisbaarheid en Interpolatie:
- Het artikel draagt onbeslisbaarheidsresultaten van relevante logica over naar modale logica's. Specifiek bewijst het dat de modale logica's die overeenkomen met de framecondities van $TWJ^+$ en $C^+$ onbeslisbaar zijn (Stelling 1.9), wat de bestaande resultaten van Urquhart en anderen aanvult.
- De auteur roept open vragen op met betrekking tot de Craig Interpolatie Eigenschap (CIP). Hoewel $K_2$ CIP heeft, is het onbekend of $B^+$ dat ook heeft. De vertaling suggereert dat als $B^+$ geen CIP heeft, dit zou kunnen komen door het specifieke gedrag van de vertaling of het gebrek aan een bepaalde vocabulaire.
Uitgebreide Vertalingen ( $\circ$ ):
- Om de beperkingen van de vorige vertalingen met betrekking tot contractie en assertie te overwinnen, introduceert het artikel een vertaling naar een rijkere modale taal die een nullaire modaliteit $t$ en een binaire modaliteit $\circ$ bevat.
- Definitie 2.2: Definieert Modale $B^+$ ( $Mod.B^+$ ) als de kleinste normale modale logica die residuatie-axioma's en axioma's bevat die overeenkomen met de Routley–Meyer-framecondities (reflexiviteit, transitiviteit, upsets, etc.).
- Stelling 2.5: Demonstreert dat voor de taal uitgebreid met $t$ en $\circ$ , de vertaling $\circ$ volledig en getrouw is: $\vdash_B \phi$ iff $\vdash_{Mod.B^+} t \supset \phi^\circ$ . Deze vertaling legt de structurele beperkingen van Routley–Meyer-frames (inclusief de ordeningsrelatie $\leq$ ) succesvol vast binnen de Kripke-semantiek.
- Stelling 2.8: Breidt dit resultaat uit naar de volledige taal inclusief negatie $\neg$ door een unaire modaliteit $\Box_\neg$ en bijbehorende framecondities (involutie en orde-omkering) te introduceren.

Betekenis en Claims
Het artikel claimt bescheiden de structurele verbindingen tussen relevante en modale logica's te verhelderen via een reeks vertalingen. De primaire betekenis ligt in:

Het bieden van een volledige en getrouwe vertaling van de basale relevante logica $B$ (en zijn uitbreidingen met $t, \circ, \neg$ ) naar een specifieke normale modale logica ($Mod.B$), waardoor relevante logica wordt gerealiseerd als een syntactisch fragment van modale logica.
Het benadrukken van de beperkingen van eenvoudigere vertalingen (zoals $\star$ ) wanneer ze worden toegepast op sterkere relevante logica's (zoals $R^+$ ), waarbij specifiek wordt opgemerkt dat standaard Kripke-frames de noodzakelijke ordeningstheoretische eigenschappen van Routley–Meyer-frames niet kunnen vatten zonder aanvullende axioma's of modaliteiten.
Het faciliteren van de overdracht van meta-logische eigenschappen, zoals beslisbaarheid en onbeslisbaarheid, tussen de twee tradities.
Het identificeren van open vragen voor toekomstig werk, met name met betrekking tot de interpolatie-eigenschap in $B^+$ en de potentie om de structurele verbinding te verdiepen door inclusie van frame-incomplete logica's.

De auteur stelt expliciet dat het artikel "verkennend en breed in plaats van diepgaand" is, en laat een vollediger analyse van filosofische motivaties en diepere structurele relaties aan toekomstig werk over.