Formalisering van Gettier-voorbeelden door Rechtvaardigingslogica

Abstract

Plato had het in zijn tijd al over een model van kennis: gerechtvaardigd, waar geloof. Eeuwenlang is dit model voor waar gehouden, totdat Edmund Gettier commentaar leverde op het model. In deze scriptie zullen we de voorbeelden die Gettier introduceerde bestuderen. Vervolgens zullen we de rechtvaardigingslogica van Artemov bestuderen om de logica beter te kunnen begrijpen. Tot slot zullen we de voorbeelden die Gettier introduceerde analyseren met behulp van de rechtvaardigdheidslogica van Sergei Artemov. Door de voorbeelden van Gettier te formaliseren en uit te werken in de rechtvaardigingslogica zullen we de argumenten die Gettier geeft tegen het model van Plato onderbouwen.