Oplossingen voor het Free Choice probleem binnen de Kratzer-semantiek en STIT-logica en hoe deze invloed op elkaar hebben.

Abstract

Het Free Choice probleem is een probleem binnen de logica dat te maken heeft met de vertaalslag vanuit natuurlijke taal naar de logica, waarbij een ‘mis-match’ tussen de natuurlijke taal en de logica ontstaat. Er is onderzocht hoe twee logische kaders (Kratzer en STIT) omgaan met Free Choice door middel van literatuuronderzoek. Per kader wordt besproken op welke manier Free Choice te zien is en de oplossingen die hiervoor geboden worden. Hierna zijn de oplossingen vergeleken en zijn de oplossingen vanuit de stit-logica toegepast binnen de Kratzer-semantiek. Er is gebleken dat een oplossing binnen de stit-logica nuttig kan zijn binnen de Kratzersemantiek. Het kan helpen bij het benaderen van het probleem, wat zorgt voor een betere omgang met Free Choice. Er komen wel andere problemen boven water. Al met al is er meer inzicht in wat nodig is om goed om te gaan met Free Choice en welke problemen er nog meer zijn met betrekking tot Free Choice.