Redeneren met gronden Correctheid, volledigheid en realisatie van rechtvaardigings logica

Abstract

Rechtvaardigings logica is nauw verwant aan de modale logica. In de modale logica wordt met noodzakelijkheden geredeneerd, deze zijn op slechts een manier te omschrijven, met de box. Binnen de rechtvaardigings logica wordt met gronden geredeneerd, deze worden met letters aangegeven. Er is hierin niet slechts een grond, maar er kunnen in een afleiding meerdere gronden voorkomen en er kunnen nieuwe (samengestelde) gronden ontstaan.

De rechtvaardigings logica is correct en volledig, dit wordt aangetoond in dit eindwerkstuk. Daarnaast wordt ingegaan op realisatie, de methode om van een formule uit de modale logica een formule uit de rechtvaardigings logica af te leiden en anders om. Aan de hand van voorbeelden krijgt de lezer een idee over de formules en modellen van de rechtvaardigings logica.