Il testo nasce dall'esperienza di insegnamento di logica a studenti di filosofia che proseguono il loro studio con la teologia. In ogni capitolo si mostra concretamente una possibile applicazione delle nozioni apprese di logica a questioni di ambito teologico. In particolare, un filo conduttore è dato dalle prove dell'esistenza di Dio. Il capitolo finale presenta il pensiero di Abelardo, in cui logica, linguaggio e teologia si presentano intelligentemente connessi.