Questo manuale offre un’introduzione chiara e graduale alla logica, pensata per accompagnare chi si avvicina per la prima volta ai suoi strumenti e ai suoi concetti fondamentali. La teoria è presentata con linguaggio semplice, esempi guidati e passaggi esplicitati con cura, così da rendere accessibili nozioni spesso percepite come astratte. Il cuore del volume, però, è l’esercizio: ogni capitolo affianca alla spiegazione teorica una ricca serie di problemi e soluzioni, per mettere subito alla prova quanto appreso. Perché la logica non si assimila davvero solo leggendo, ma usandola: formalizzando enunciati, ricostruendo argomenti, verificando inferenze, imparando anche dagli errori. Un testo per capire i concetti, allenarsi con metodo e trasformare la logica in una pratica viva di ragionamento.
Giorgio Venturi è professore Associato di Logica e Filosofia della matematica presso l’Università di Pisa. I suoi interessi di ricerca spaziano tra logica, fondamenti della matematica e filosofia della scienza, con particolare attenzione alla teoria degli insiemi e alla pluralità dei sistemi logici. Ha pubblicato articoli e saggi su riviste e volumi internazionali, svolge un’intensa attività di insegnamento e formazione in ambito logico-filosofico ed è attualmente Segretario della Società Europea di Filosofia della Matematica.
Francesca Chiarelli è studentessa del corso di laurea magistrale in Filosofia e forme del sapere presso l’Università di Pisa. I suoi interessi di studio si concentrano sulla filosofia della matematica e sulla logica, in particolare sui problemi fondazionali e sulla pluralità delle prospettive teoriche. Ha svolto attività di tutorato didattico in ambito universitario. Prima di intraprendere il percorso di studi filosofici, è stata ufficiale dell’Esercito Italiano, prestando servizio nell’artiglieria da montagna e congedandosi con il grado di Maggiore.