Libri di Michele Pra Baldi

Lo scopo di "Percorsi di logica" è guidare il lettore alla scoperta di alcuni tra i temi più importanti della logica formale classica. Il volume mira a esporre in modo rigoroso ed esauriente, agevolando la costruzione di percorsi tematici personalizzati, i concetti e i risultati di base impiegati in questa disciplina, senza trascurarne l’accessibilità da parte di un pubblico non specialista. A tal fine, il testo è corredato di una sezione riservata ai preliminari matematici e alle tecniche dimostrative più comuni. Il volume presenta la logica proposizionale e predicativa, considerandole da una prospettiva semantica e sintattica. Particolare attenzione è riservata alla loro metateoria. Percorsi di Logica è pensato per le esigenze dei nuovi corsi di laurea in discipline umanistiche e scientifiche. Tuttavia, il volume è accessibile anche ai lettori autodidatti che intendono approfondire autonomamente i temi classici e alcuni degli sviluppi più recenti della logica formale.

Questo secondo eserciziario completa il percorso avviato con il primo, pubblicato nel 2024. Raccoglie esercizi sulla sillogistica, sulla sintassi e sulla semantica della logica del primo ordine, sulle forme prenesse e sulla Skolemizzazione, nonché su modelli e validità. Un capitolo è dedicato alle dimostrazioni in deduzione naturale e mediante il calcolo dei sequenti. Il volume si conclude con un ampio capitolo dedicato ai puzzle logici - dai classici «cavalieri e furfanti» al test di Wason. Come nel primo eserciziario, anche in questo ogni capitolo è introdotto da brevi richiami teorici che orientano le lettrici e i lettori, accompagnandoli nella risoluzione degli esercizi.