Matter of Trust: Dynamic Attitudes in Epistemic Logic
Ben Rodenhäuser

Samenvatting:
Propositionele attitudes, zoals kennis en geloof, verwijzen naar de opvattingen van een agent over een bepaald stuk informatie. Dynamische attitudes, zoals we het begrijpen in dit proefschrift, verwijzen naar de opvattingen over een bepaalde bron van informatie. Met andere woorden, deze dynamische attitudes duiden aan hoe een agent de betrouwbaarheid van de informatiebron inschat. Het plan in dit proefschrift is om deze notie van dynamische attitudes te bestuderen vanuit een algemeen kwalitatieve invalshoek. Het voorstel in dit werk is om zulke beoordelingen over de betrouwbaarheid formeel weer te geven door gebruik te maken van operaties op informatietoestanden. Dynamische attitudes hier worden beschreven als strategieën voor "belief change" die uitdrukken hoe een agent van plan is om haar opvattingen te wijzigen van zodra ze een specifiek stuk informatie van een bepaald (type) informatiebron ontvangt. Op deze wijze brengt dit proefschrift een verbinding tot stand met de bestaande literatuur over "information dynamics", literatuur die ook belangrijk is voor het werk in belief revision theory, dynamische epistemische logica en de dynamische semantiek. In dit werk wordt de aandacht helemaal gericht op de studie van de relatie tussen dynamische attitudes en de gekende propositionele attitudes.
  In het hoofdstuk 1 tonen we aan dat (introspectieve) propositionele attitudes op natuurlijke wijze tot stand komen als de "fixed points" van dynamische attitudes. Anderzijds kunnen we dynamische attitudes ook zien als zijnde gekozen met een specifieke propositionele attitude in gedachten: deze vormt het doel van de geloofsverandering.
  Het hoofdstuk 2 richt zich op de studie van verschillende vormen van "trust" en "disdrust", evenals tussenvormen van "semi-trust". Meer bepaald identificeren we een aantal klassen van dynamische attitudes en de typische vertegenwoordigers voor elke klasse, deze die gezien kunnen worden als natuurlijke wijzen om de betrouwbaarheid van een informatiebron te beoordelen. We verbinden dit dan op systematische wijze met de klassen van propositionele attitudes door gebruik te maken van de notie van "fixed point".
  In hoofdstuk 3 gaan we in op het onderwerp van de "minimale verandering" dat traditioneel ook binnen de belief revision theory een fundamentele rol speelde. De aanpak die we voorstellen laat toe om de vraag te bestuderen naar de wijze waarin de typische dynamische attitudes (die worden geïdentificeerd in de vorige hoofdstukken) echt speciaal zijn (en inderdaad, in veel gevallen, "canonical", i.e. uniek optimaal voor hun "fixed point").
  In hoofdstuk 4 veranderen we het perspectief, we bestuderen de robuustheid (of het "behoud") van propositionele attidues onder bepaalde klassen van transformaties. Hierbij richten we onze aandacht op het behoud onder "substructures", een vorm van robuustheid die traditioneel van belang is binnen de model theorie.
  Hoofdstuk 5 bespreekt de link tussen het statische en het dynamische niveau die binnen de dynamisch epistemische logica to nu toe de meeste aandacht heeft gekregen. In dit hoofdstuk bestuderen we modale talen, uitgebreid met dynamische modaliteiten en tonen we hoe de statische basistaal reeds het dynamisch deel kan definëren. Dit laat ons toe om volledigheidsstellingen te bewijzen voor onze logische systemen.
  In het finale hoofdstuk 6, bestuderen we de formele setting vanuit een andere invalshoek: we merken op dat de dynamische attitudes waarmee we tot nu toe gewerkt hebben niet enkel geïnterpreteerd kunnen worden als "reliability assessments" voor een agent, maar ook als denotaties voor "epistemic modals" in de natuurlijke taal. Ons belangrijkste punt is dat de resultaten in dit proefschrift ook van potentieel belang zijn voor de gemeenschap die actief is in de semantiek van de natuurlijke taal.