Introduzione alla logica

Descrizione

Questo manuale è diretto a un pubblico a digiuno di logica, in particolare a studenti che seguono il loro primo corso di logica, tanto nelle facoltà umanistiche quanto in quelle scientifiche, come anche allo studioso autodidatta che intenda colmare una lacuna nella sua formazione. Copre un modulo oppure un semestre di insegnamento, a seconda del contesto didattico. Si tratta di una introduzione alla logica proposizionale e al calcolo dei predicati, con alcuni cenni a calcoli di ordine superiore e alla logica aristotelica. Alla fine del libro si trovano le soluzioni degli esercizi. L’idea di base è quella di introdurre tutti i simboli e le regole logiche facendo ragionare Io studente sul loro significato. A tale fine l’autore ha fatto ampio uso delle tavole dei valori di verità, un metodo che è purtroppo didatticamente sottostimato.