From arbitrary sets to social groups: group agency in multi-agent modal logic
Daniil Khaitovich

Samenvatting:
Wij maken een onderscheid tussen willekeurige verzamelingen van agenten en sociale groepen. Dit verschil is met name van belang voor ons strategisch en moreel redeneren. Wij verwachten dat groepsleden handelen in het gemeenschappelijk belang, en wij zijn geneigd individuen moreel (en zelfs juridisch) verantwoordelijk te houden voor de gezamenlijke handelingen van de groepen waarvan zij lid zijn. Het onderscheid tussen groepen en willekeurige verzamelingen van agenten wordt grotendeels veronachtzaamd door modale logici die redeneren over het formaliseren van multi-agentsystemen. In logica's van verschillende groepsnoties – gemeenschappelijke kennis, coalitiemacht in spelen, en collectief 'seeing-to-it-that' – worden groepen geïdealiseerd als niet meer dan verzamelingen van agenten. Zo'n idealisering is conceptueel twijfelachtig en voegt onnodige technische complexiteit toe aan de formalismen. Dit proefschrift is gewijd aan het opvullen van deze lacune door een filosofisch onderbouwde definitie van groepsagentschap (group agency) te introduceren in modale logica's voor multi-agentsystemen.