Libro adottato a Padova, Cagliari, a.a. 2026/2027 · 3 canali
«Fazio – Percorsi di logica» è adottato per Logica dal prof. Antonio Ledda (Filosofia e Forme del Sapere – sede di Cagliari – Cagliari); per Istituzioni di Logica dal prof. Francesco Paoli (Filosofia – sede di Cagliari – Cagliari); per Logica dal prof. Michele Pra Baldi (Scienze dell'Educazione e della Formazione – sede di Padova – Padova).
Come lo indica il docente: Fazio et al., Percorsi di logica, Mimesis, 2022 · D. Fazio, A. Ledda, M. Pra Baldi, Percorsi di logica, Mimesis, Milano, 2022 · Fazio, D., Ledda, A., & Pra Baldi, M. (2022). Percorsi di logica. Mimesis
Titolo
Percorsi di logica
Autori
Davide Fazio
Editore
Mimesis, 2022
ISBN
9788857586304
Chi lo adotta
Cagliari · Logica – Prof. Antonio Ledda (canale unico)Filosofia e Forme del Sapere – sede di Cagliari · Laurea magistrale (LM-78) · 1º anno · 2º semestre · 12 CFU
Padova · Logica – Prof. Michele Pra Baldi (canale unico)Scienze dell'Educazione e della Formazione – sede di Padova · Laurea triennale (L-19) · esame facoltativo · Scienze dell'Educazione · 9 CFU
Fazio – Percorsi di logicaquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
Argomenti del programma: • Nozioni di base • Tableaux analitici per la logica proposizionale • Consistenza e Completezza del sistema dei tableaux • Il Teorema di Compattezza per la logica proposizionale • Consistenza e massimalità • La logica del prim’ordine • Nozioni fondamentali • Tableaux analitici al prim’ordine • Consistenza e Completezza del sistema dei tableaux del prim’ordine • Il Teorema di Completezza per i tableaux del…
Fazio – Percorsi di logicaquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
Dispense e slides scaricabili dalla sezione “Materiali didattici” del sito Internet del docente.
Argomenti del programma: Titolo del corso: Logica classica proposizionale: semantica e sintassi. PRIMO MODULO: LOGICA PROPOSIZIONALE E ARGOMENTAZIONE. Connettivi. Tavole di verità. Argomenti. Argomenti validi. Fallacie. SECONDO MODULO: SINTASSI LOGICA. Calcoli alla Hilbert, della deduzione naturale, delle sequenze per la logica classica proposizionale. TERZO MODULO: METALOGICA. Correttezza e completezza della logica classica proposizionale.
Argomenti del programma: Il corso affronterà i seguenti temi: · Elementi di logica informale: enunciati e metodi dimostrativi più comuni. · Nozioni basilari di insiemistica: operazioni tra insiemi, relazioni e funzioni, cenni di cardinalità. · Sintassi della logica proposizionale: connettivi logici, enunciati semplici e composti, argomenti, formalizzazioni dal linguaggio naturale al linguaggio proposizionale.
Libri Universitari