Een praktische reden is een overweging ten gunste van waarom iets verplicht is. Omdat redenen centraal staan in zowel het alledaagse normatieve denken als in de normatieve theorievorming, is het hebben van precieze modellen van hoe redenen gestructureerd zijn en van hoe ermee te redeneren cruciaal om ons begrip van inhoudelijke normatieve vragen te bevorderen. Het algemene doel van dit project is om de structuur van praktische redenen te onderzoeken. Dit doel zal gerealiseerd worden door middel van een eenduidig formeel model van de optelling en aftrekking van de inhoud van redenen en deelredenen. Dit model wordt vervolgens gebruikt bij de ontwikkeling van natuurlijke logische systemen voor het redeneren met redenen, op basis van rechtvaardigingslogica en een nieuwe “truthmaker-semantiek”. In de bestaande literatuur worden redenen doorgaans louter instrumenteel benaderd. De nadruk ligt op het deliberatie proces in plaats van op de redenen zelf, en redenen als atomair beschouwd. Dit atomisme, in combinatie met voornamelijk intentionele benaderingen, veroorzaakt relevantieproblemen en maakt het in veel gevallen onmogelijk om bepaalde kwesties te onderzoeken (e.g. dubbeltelling, aftrekking, deelredenen). Het hebben van logische systemen die gebaseerd zijn op fijnmazige modellen van de structuur van redenen en redeneren. In het algemeen zal dit project bijdragen tot de formele ethiek en de logica.