Il lavoro è una riesposizione della metafisica della partecipazione allo esse ut actus di Tommaso d'Aquino con l'ausilio di alcuni settori della logica formale contemporanea, la Category Theory e la Modal Logic. Si ridefiniscono così alcuni concetti notevoli della disciplina: esistenza, essenza, ente, analogia, fondazione, individuazione. L'opera dà anche un contributo in senso meta-epistemologico alla tripartizione della logica (pragmatica-sintassi-semantica).