Introduzione alla logica Dalla teoria dell'argomentazione alla logica formale

Partendo dalla teoria dell'argomentazione, il libro offre un quadro chiaro e accessibile dei concetti e dei metodi della logica elementare, intesa come la disciplina in cui si studiano le condizioni di validità degli argomenti e si costruiscono i linguaggi artificiali indispensabili per rappresentarne adeguatamente le caratteristiche formali da cui tale validità dipende. Nel contempo, si mette a disposizione del lettore un repertorio di tecniche di calcolo per stabilire se un argomento sia valido oppure no, se soddisfi, cioè, quel requisito che, assieme alla verità delle premesse, rende un argomento deduttivo un buon argomento.