💻 computer science

The Varieties of Ought-Implies-Can and Deontic STIT Logic

Dit artikel presenteert een modulair raamwerk voor deontische STIT-logica dat tien verschillende interpretaties van het principe 'ought implies can' formaliseert, complete afleidingsystemen biedt en hun onderlinge logische relaties analyseert.

Oorspronkelijke auteurs: Kees van Berkel, Tim S. Lyon

Gepubliceerd 2026-04-02

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Kees van Berkel, Tim S. Lyon

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 filosoof bent die probeert een heel oude, maar belangrijke vraag te beantwoorden: "Als je iets moet doen, betekent dat dan dat je het kunt doen?"

In de filosofie noemen ze dit het principe van "Ought-implies-Can" (Wat je moet doen, kun je doen). Als iemand zegt: "Je moet naar de maan vliegen," maar je hebt geen raket, dan is die opdracht onredelijk. Maar hoe precies trek je die grens? Wat betekent "kunnen"? Is het genoeg om het theoretisch te kunnen, of moet je het nu kunnen? En moet je de keuze hebben om het niet te doen?

Dit paper van Kees van Berkel en Tim Lyon is als het ware een grote bouwset voor logische regels. Ze nemen een bestaand systeem (de "STIT" logica, wat staat voor "I zorg ervoor dat...") en bouwen er een modulaire uitbreiding op om al die verschillende manieren van "kunnen" te testen.

Hier is de uitleg, vertaald naar alledaagse taal met een paar creatieve vergelijkingen:

1. De Basis: Het Spel van de Keuzes

Stel je een groot, complex bordspel voor. In dit spel zijn er spelers (agenten) en momenten. Op elk moment hebben de spelers een aantal kaarten (keuzes) die ze kunnen spelen.

STIT is de regel die zegt: "Als ik een kaart speel, zorg ik ervoor dat het resultaat gebeurt."
Deontische logica is de regel die zegt: "Je moet een bepaalde kaart spelen."

Het probleem is dat de oude regels van dit spel te simpel waren. Ze zeiden alleen: "Als je moet spelen, moet het mogelijk zijn." Maar dat is vaag. Kun je het nu? Kun je het altijd? Heb je de kracht om het te doen?

2. De 10 Manieren om "Kunnen" te interpreteren

De auteurs hebben 10 verschillende versies van de regel "Wat je moet doen, kun je doen" verzameld uit de filosofiegeschiedenis. Ze vergelijken dit met verschillende soorten sleutels die je nodig hebt om een deur (je plicht) te openen:

Logische Mogelijkheid: De deur is niet vergrendeld door de natuurwetten (je kunt het niet doen als het wiskundig onmogelijk is, zoals een vierkante cirkel).
Actuele Mogelijkheid: De deur staat op dat moment niet op slot (je kunt het niet doen als je vastgebonden zit aan een stoel, ook al is het theoretisch mogelijk).
Vermogen (Ability): Je hebt de spierkracht of het gereedschap om de deur open te duwen.
Schendbaarheid (Violability): Je kunt de deur niet openen als je dat wilt. Als je verplicht bent om de deur open te houden, moet je ook de kracht hebben om hem dicht te duwen. Als je het niet kunt veranderen, is het geen echte plicht.
Afzien (Refrainability): Je moet bewust kunnen kiezen om de plicht te negeren. Je moet kunnen zeggen: "Ik ga het niet doen," en dat ook echt kunnen doen.
Kans (Opportunity): De omstandigheden moeten goed zijn. Je moet niet alleen de kracht hebben, maar ook de juiste situatie.
Vermogen + Kans: Je hebt de kracht én de juiste situatie. Dit is een zeer strenge regel.
Controle: Je hebt de volledige macht. Je kunt de deur openen, maar je kunt hem ook dichtdoen. Je bent de baas over de situatie.
Normatief Kunnen: Het zou moeten mogelijk zijn dat je het kunt. (Een beetje zoals: "Het is moreel verkeerd om een plicht te geven die onmogelijk is.")
Normatief Vermogen: Het zou moeten mogelijk zijn dat je de kracht hebt om het te doen.

3. De Bouwset: Labelled Sequent Calculi

Hoe testen ze welke regels werken? Ze gebruiken een soort bouwset voor logica (genaamd "Labelled Sequent Calculi").

Stel je voor dat je een architect bent die een huis bouwt.

De regels (de calculi) zijn de blauwdrukken.
De regels van het spel (de frame properties) zijn de fundering.

De auteurs hebben bewezen dat je voor elke van de 10 bovenstaande "sleutels" een specifiek type fundering nodig hebt.

Als je een heel simpele plicht wilt (alleen logisch mogelijk), heb je een simpele fundering nodig.
Als je een super-strenge plicht wilt (volledige controle), heb je een heel stevige, complexe fundering nodig.

Ze hebben voor elke combinatie van regels een werkende blauwdruk gemaakt. Dit is belangrijk omdat het bewijst dat deze logische systemen niet alleen mooi klinken, maar ook wiskundig kloppen (ze zijn "sound en complete").

4. De "Goedkeuring" (Endorsement Principle)

Dit is misschien wel het coolste deel. De auteurs hebben een ladder gemaakt van deze regels.

Stel je voor dat je een ladder beklimt:

Als je zegt: "Ik kies voor de strenge regel Controle (nummer 8)," dan zit je hoog op de ladder.
Omdat je zo hoog zit, moet je automatisch ook akkoord gaan met alle regels onder je (zoals "Logische Mogelijkheid" of "Vermogen"). Je kunt niet zeggen "Ik kies voor controle, maar ik wil niet dat het logisch mogelijk is." Dat klopt niet.

Dit noemen ze het Endorsement Principle: Als je één versie van "Wat je moet doen, kun je doen" accepteert, dan accepteer je automatisch ook de zwakkere versies eronder. Maar als je een zwakke versie kiest, hoef je de sterke versies niet te accepteren.

5. Waarom is dit nuttig?

Vroeger was het lastig om te zeggen welke versie van deze regel "de juiste" is. Filosofen discussieerden er eeuwenlang over.
Dit paper zegt: "Laten we stoppen met ruziën en kijken naar de logica."

Ze laten zien welke regels logisch afhankelijk zijn van elkaar.
Ze laten zien welke regels onafhankelijk zijn (je kunt de ene hebben zonder de andere).
Ze bieden een gereedschap (de bouwset) waarmee computers en filosofen in de toekomst precies kunnen berekenen of een plicht redelijk is of niet.

Kortom:
De auteurs hebben een logische toolbox gebouwd. Hiermee kunnen we precies meten hoe streng of mild een plicht is. Ze hebben bewezen dat als je kiest voor een strenge plicht (waarbij je alles zelf in de hand moet hebben), je automatisch ook akkoord gaat met de basisregels. Maar als je een milde plicht kiest, hoef je niet zo streng te zijn. Het is als het kiezen van een auto: als je een Ferrari kiest, moet je ook akkoord gaan met de regels voor snelheid. Maar als je een fiets kiest, hoef je die regels niet te volgen. Ze hebben nu de exacte lijst gemaakt van welke regels bij welk voertuig horen.

Probleemstelling

Deontische logica (de logica van plichten en verboden) is fundamenteel verbonden met de theorie van handeling (praxeologie). Een centraal meta-ethisch principe hierin is "Ought-implies-Can" (OiC): "wat een agent moet doen, kan de agent ook doen". Hoewel dit principe een lange geschiedenis heeft (van Aristoteles tot Kant), is er in de filosofische literatuur geen consensus over de precieze interpretatie ervan.

Bestaande formele frameworks, zoals de traditionele deontische STIT-logica (Seeing To It That), zijn vaak gebaseerd op een utilitaristische benadering die slechts één specifieke, minimale versie van OiC ondersteunt. Dit maakt het moeilijk om de vele alternatieve interpretaties van OiC die in de filosofie worden besproken (zoals verschillen tussen 'mogelijkheid', 'vermogen', 'controle' en 'normatieve capaciteit') formeel te analyseren en met elkaar te vergelijken. Er ontbreekt een modulair raamwerk dat deze diversiteit aan principes kan accommoderen en hun onderlinge logische relaties kan blootleggen.

Methodologie

De auteurs hanteren een tweeledige methodologische aanpak:

Modulaire Semantiek: In plaats van de traditionele, complexe utilitaristische STIT-semantiek te gebruiken, introduceren de auteurs een relationele semantiek voor deontische STIT.
- Ze definiëren een minimale logica ( $DS_n$ ) gebaseerd op frames met wereldverzamelingen ( $W$ ), een relatie voor 'vastgestelde waarheid' ( $R_2$ ), keuzerelaties voor agenten ( $R_{[i]}$ ), en idealiteitsrelaties voor plichten ( $R_{\otimes_i}$ ).
- Ze introduceren vier extra frame-eigenschappen ( $D2$ t/m $D5$ ) die de gedragingen van de plichtoperator ( $\otimes_i$ ) verfijnen. Door verschillende combinaties van deze eigenschappen te selecteren, kunnen ze een scala aan deontische STIT-logica's genereren die variëren in sterkte.
- Ze definiëren ook 'deliberatieve' plichtoperatoren ( $\otimes^d_i$ en $\otimes^c_i$ ) om onderscheid te maken tussen plichten die kunnen worden geschonden en plichten die door de agent zelf geschonden kunnen worden.
Labelled Sequent Calculi: Voor elke gegenereerde logica ( $DS_nX$ ) construeren de auteurs een gelabeld sequent calculus ( $G3DS_nX$ ).
- Deze calculus is een bewijstheoretisch systeem dat semantische informatie (zoals relaties tussen werelden) expliciet in de bewijsregels integreert.
- Ze bewijzen dat deze calculi sound (juist) en compleet zijn ten opzichte van de gedefinieerde semantiek.
- De calculus maakt het mogelijk om via 'proof-search' (bewijszoektocht) te bepalen of een principe geldig is, en bij falen direct een tegenmodel te construeren om onafhankelijkheid aan te tonen.

Belangrijkste Bijdragen

Taxonomie van tien OiC-principes:
De auteurs identificeren en formaliseren tien verschillende interpretaties van OiC uit de literatuur, variërend van zwakke tot sterke versies:
- Logische Mogelijkheid (OiLP): Plichten zijn niet tegenstrijdig.
- Feitelijke Mogelijkheid (OiAP): Plichten zijn realiseerbaar in de huidige situatie.
- Vermogen (OiA): De agent heeft het vermogen om de plicht te vervullen.
- Schendbaarheid (OiV) & Terugtreden (OiR): Plichten mogen niet triviaal zijn; de agent moet ze kunnen schenden of er bewust van afzien.
- Kans/Gelegenheid (OiO): De situatie moet contingent zijn (kan waar of onwaar zijn).
- Vermogen + Gelegenheid (OiA+O): Combinatie van bovenstaande.
- Controle (OiCtrl): De agent heeft volledige controle (kan doen én nalaten).
- Normatief Kan (OiNC) & Normatief Vermogen (OiNA): Normatieve versies waarbij het 'moeten' impliceert dat het 'kunnen' ook een plicht is.
Formele Vergelijking en Hiërarchie:
Met behulp van de calculi analyseren de auteurs de logische onderlinge afhankelijkheden. Ze construeren een lattice (rooster) die de logica's rangschikt op basis van hun sterkte.
- Ze tonen aan welke logica's welke OiC-principes als theorema bevatten.
- Ze identificeren onafhankelijke principes: sommige principes (zoals OiNA) zijn logisch onafhankelijk van andere (zoals OiA), wat betekent dat het accepteren van het ene niet het accepteren van het andere impliceert.
Het "Endorsement Principle" (Aanvaardingsprincipe):
Een kernresultaat is het formuleren van een principe dat beschrijft welke logische commitment een agent maakt. Als men een sterkere versie van OiC aanvaardt (bijv. Controle), wordt men logisch gedwongen om ook de zwakkere versies (zoals Logische Mogelijkheid) te aanvaarden. De lattice visualiseert deze implicaties.

Resultaten

Formalisering: Alle tien OiC-principes zijn succesvol geïntegreerd in het STIT-raamwerk door middel van specifieke frame-eigenschappen.
Logische Relaties:
- Traditionele deontische STIT (zoals beschreven door Horty) komt overeen met een specifieke combinatie van frame-eigenschappen ( $D2, D3, D4$ ) en ondersteunt een specifieke versie van OiA.
- Sterkere principes zoals OiCtrl (Controle) vereisen striktere frame-eigenschappen dan de traditionele logica.
- Normatieve principes (OiNC, OiNA) blijken in bepaalde logica's te gelden zonder dat de sterkere, agent-gebonden versies (OiA) gelden, wat de onafhankelijkheid van deze concepten bevestigt.
Onafhankelijkheid: Door middel van gefaalde bewijszoektochten in de calculus kunnen de auteurs expliciet tegenmodellen construeren die aantonen dat bepaalde principes elkaar niet logisch impliceren. Bijvoorbeeld: het aanvaarden van OiLP (logische consistentie) dwingt niet tot het aanvaarden van OiNA (normatief vermogen).

Significantie

Dit artikel levert een fundamentele bijdrage aan de formele ethiek en deontische logica:

Unificatie: Het biedt het eerste uitgebreide, modulaire raamwerk dat de verscheidenheid aan OiC-interpretaties in één logisch systeem onderbrengt.
Methodologische Vooruitgang: Het demonstreert de kracht van labelled sequent calculi voor de analyse van deontische logica. In tegenstelling tot axioma-systemen, maken deze calculi het mogelijk om niet alleen geldigheid te bewijzen, maar ook onafhankelijkheid constructief aan te tonen via tegenmodellen.
Filosofische Kader: Het "endorsement principle" biedt filosofen een helder, logisch instrument om te analyseren welke implicaties hun voorkeur voor een specifieke versie van "Ought-implies-Can" heeft voor andere normatieve principes. Het verduidelijkt dat de keuze voor een specifieke interpretatie van "kunnen" (bijv. vermogen vs. controle) niet triviaal is en grote gevolgen heeft voor de structuur van de deontische logica.

Kortom, het werk transformeert een langdurig filosofisch debat over de aard van plichten en capaciteiten in een gestructureerde, formele taxonomie met duidelijke logische grenzen en relaties.