Logica - mod.1

• CFU 6
• Prerequisiti

  Nessuno

• Obiettivi formativi

  Affinamento delle capacità di ragionamento formale e informale, capacità di individuare la struttura logico-semantica di tipi di enunciato di particolare interesse (traducibili nel linguaggio della logica del prim’ordine), capacità di utilizzare tavole di verità, alberi di refutazione e deduzione naturale e consapevolezza delle principali tecniche argomentative della logica informale. Conoscenza della logica classica proposizionale e del prim’ordine.

• Programma del corso

  Introduzione alla logica
  
  - Struttura delle argomentazioni e nozioni di validità e verità logica.
  - Cenni alla distinzione tra logica classica e logiche non-classiche.
  - Tavole di verità per la logica classica proposizionale.
  - Alberi di refutazione per la logica classica proposizionale.
  - Deduzione naturale per la logica classica proposizionale.
  - Deduzione naturale per la logica classica del prim’ordine.
  - Teoria dell’identità.
  - Teoria delle descrizioni.

• Testi (A)dottati, (C)onsigliati
  • 1.  (A) A. Varzi, J. Nolt, D. Rohatyn Logica (2a ed.) Mcgraw-hill 2007 » Pagine/Capitoli: pp. 1-119, 151-216, 321-324.
  • 2.  (C) F. Berto Logica Laterza 2007
  • 3.  (C) M.L. Dalla Chiara, F. Giuntini, F. Paoli Sperimentare la logica Liguori 2004
  • 4.  (C) R. Davies Gli oggetti della logica Mimesis 2009
  • 5.  (C) G. Rigamonti Introduzione alla logica bollati boringhieri 2005
• Altre informazioni / materiali aggiuntivi

  La frequenza è estremamente importante in un corso di logica. Chi intende sostenere l’esame da non frequentante è invitato a contattare il docente per opportuni consigli.
  
  Per 6 crediti, gli studenti sono tenuti a studiare le seguenti parti del libro di testo adottato:
  
  pp. 1-119, pp. 151-216 (escluse le parti su modelli e alberi di refutazione), pp. 321-324.
  
  Gli studenti che mirano ad un numero di crediti inferiore a 6, possono concordare una riduzione del programma con il docente. Gli studenti che mirano ad numero di crediti superiore a 6 devono concordare un incremento del programma con il docente.
  
  
  Gli studenti che sostengono l’esame per un numero di crediti inferiore a 6, possono concordare una riduzione del programma. Gli studenti che sostengono l’esame per un numero di crediti superiore a 6 devono concordare un incremento del programma.

• Metodi didattici
  • lezione frontale
  • agli studenti frequentanti sarà data la possibilità di sostituire l'esame orale con esercizi per casa, un esame scritto intermedio e un esame scritto finale.
• Modalità di valutazione
  • scritto agli studenti frequentanti sarà data la possibilità di sostituire l'esame orale con esercizi per casa, ed esami scritti intermedio e finale.
• Lingue, oltre all'italiano, che possono essere utilizzate per l'attività didattica

  nessuna

• Lingue, oltre all'italiano, che si intende utilizzare per la valutazione

  nessuna

MATERIALI DIDATTICI

• Esame finale - versione B 75.3 kB
• Esame finale - versione A 76.0 kB
• Risultati studenti frequentanti 43.0 kB
• Soluzioni al compito 5 77.0 kB
• Soluzioni al compito 4 58.9 kB
• Compito 5 78.4 kB
• Compito 4 60.2 kB
• Esame intermedio - Versione B 64.6 kB
• Esame intermedio - Versione A 66.2 kB
• soluzioni al compito 3 54.3 kB
• Compito 3 63.3 kB

  Esercizi da consegnare entro mercoledì 16 novembre

• soluzioni al compito 2 70.7 kB
• Compito 2 75.1 kB

  esercizi da consegnare il 2 nov.

• soluzioni al compito 1 54.6 kB
• Compito 1 59.1 kB

  esercizi da consegnare entro lunedì 17 Ott.