Waar verantwoordelijkheid je brengt: Logica's van agentschap, contrafactische uitspraken en normen
(Where Responsibility Takes You: Logics of Agency, Counterfactuals and Norms)
Ilaria Canavotto

Samenvatting:

Dit proefschrift bestudeert logische systemen die inzichten uit de logica van agentschap, contrafactische implicaties en normen combineren. Het doel is om instrumenten te ontwikkelen om drie algemene vragen te beantwoorden met betrekking tot een formele analyse van causale verantwoordelijkheid (dat wil zeggen, verantwoordelijkheid voor wat er is gebeurd, ongeacht iemands intenties of overtuigingen): Hoe kunnen we de keuzevrijheid van individuen en groepen modelleren met betrekking tot het veroorzaken van bepaalde resultaten in complexe multi-agent scenario's? Wat zijn de logische eigenschappen, en kentheoretische waarde, van contrafactische implicaties over wat er in de loop van tijd gedaan kan, of had kunnen, worden? Welke regels gelden voor normatief redeneren? De eerste vraag komt voort uit het feit dat agenten alleen verantwoordelijk zijn voor wat ze veroorzaakt hebben. De tweede ontstaat omdat causale verantwoordelijkheid doorgaans wordt bepaald door te overwegen wat er zou zijn gebeurd als de relevante agenten anders gehandeld hadden. De derde komt voort uit het feit dat agenten alleen verantwoordelijk zijn voor iets als wat ze doen verkeerd is volgens sommige morele of wettelijke normen.

In dit werk stellen we logische systemen voor om een begin te maken aan het beantwoorden van de bovenstaande vragen. Kenmerkend voor onze bijdrage is de centrale rol die de noties van agentschap en actie spelen in de formele kaders die we voorstellen. Het proefschrift is opgedeeld in twee delen.
In deel I ontwikkelen we logica's om te redeneren over causale verantwoordelijkheid en om de interactie tussen agentschap en contrafactisch redeneren te analyseren. Ons uitgangspunt is één van de meest prominente logica's van agentschap in de filosofische literatuur: STIT-logica (de logica van ervoor zorgen dat). We beginnen, in hoofdstuk 3, met het verfijnen van STIT-logica om er echte causale noties in op te nemen. We formaliseren drie sleuteltesten om causale verantwoordelijkheid toe te kennen, wat aanleiding geeft tot drie overeenkomstige STIT-operators en gebruiken ze om individuele- en groepsverantwoordelijkheid te analyseren in een aantal voorbeelden. Hoofdstuk 4 breidt het raamwerk uit dat in Hoofdstuk 3 is geïntroduceerd en combineert het met een logica van contrafactische implicaties. We presenteren drie nieuwe vormen van STIT-semantiek voor contrafactische implicaties en bespreken belangrijke filosofische en logische gevolgen die hieruit voortvloeien. In Hoofdstuk 5 gebruiken we technieken uit STIT-logica, epistemische logica en onderwerp-semantiek om een model te ontwikkelen van de mentale activiteit die ten grondslag ligt aan de evaluatie van contrafactische uitspraken, namelijk verbeelding geïnterpreteerd als realiteitsgerichte geestelijke simulatie. We evalueren wat de logica van een dergelijke activiteit is, wat de vrijwillige en onvrijwillige componenten ervan zijn en, gerelateerd, hoe deze kennis genereert.

In deel II bestuderen we deontische logica om de verschillende manieren waarop het doen van iets `fout' kan zijn te analyseren. Het belangrijkste kenmerk van de logische systemen die in dit deel worden ontwikkeld, is dat ze zijn gebaseerd op dynamische logica, d.w.z. logica's die acties modelleren als overgangen van een begintoestand (of model) naar een eindtoestand (of model). Hoofdstuk 6 presenteert een dynamische deontische logica die wordt gekenmerkt door de noties van idealiteit en optimaliteit. We gebruiken deze begrippen om een fijnmazige deontische classificatie te geven van toestanden, acties en opeenvolgingen van acties en om deontische operators te definiëren die zogenaamde feitelijke voorschriften uitdrukken — voorschriften die gevoelig zijn voor wat er, gegeven de omstandigheden, daadwerkelijk gedaan kan worden. Werkelijke voorschriften zijn van groot belang in situaties waarin agenten niet anders kunnen dan bepaalde normen overtreden. Hoofdstuk 7 weidt uit over een hoofdcategorie van dergelijke situaties, namelijk situaties die het gevolg zijn van een normatief conflict. Door gebruik te maken van de middelen van expliciete modale logica en dynamische epistemische logica, ontwerpen we een raamwerk om de dynamiek die aanleiding geeft tot een conflict te modelleren. We laten zien hoe het resulterende systeem kan worden gebruikt om de agenten die een conflict hebben veroorzaakt bij te houden en om onderscheidende aspecten van gevallen van gewetensbezwaren en burgerlijke ongehoorzaamheid vast te leggen.