Manuale di logica

"Il Manuale di Logica" è una breve introduzione alla logica per studenti di filosofia. Il testo offre un corso introduttivo completo, che accompagna il lettore attraverso i temi della logica che sono più rilevanti per lo studio della filosofia. Il Manuale introduce la logica proposizionale e predicativa con e senza identità e presenta una semantica di questi linguaggi introducendo le relative definizioni di verità e soddisfazione. Il sistema di deduzione scelto è la Deduzione Naturale. Volker Halbach introduce le nozioni essenziali sia attraverso esempi e spiegazioni informali, sia utilizzando definizioni più astratte e rigorose.