Insegnamento
LOGICA
SF04105452, A.A. 2010/11

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea in
SCIENZE DELL'EDUCAZIONE E DELLA FORMAZIONE (Ord. 2009)
SF1333, ordinamento 2009/10, A.A. 2010/11
1029164
Curriculum SCIENZE DELL'EDUCAZIONE [002PD]
Crediti formativi 10.0
Denominazione inglese LOGIC
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede PADOVA

Docenti
Responsabile MASSIMILIANO CARRARA M-FIL/02

Mutuazioni
Codice Insegnamento Responsabile Corso
LE07105452 LOGICA MASSIMILIANO CARRARA LE0599

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
AFFINE/INTEGRATIVA Attività formative affini o integrative M-FIL/02 10.0

Modalità di erogazione
Periodo di erogazione Secondo semestre
Anno di corso II Anno
Modalità di erogazione frontale

Organizzazione della didattica
Tipo ore Crediti Ore di
Corso
Ore Studio
Individuale
Turni
LEZIONE 10.0 72 178.0 Nessun turno

Calendario
Inizio attività didattiche 07/03/2011
Fine attività didattiche 18/06/2011

Commissioni d'esame
Commissione Dal Al Membri
6 2016/17 01/10/2016 30/11/2017 SOAVI MARZIA (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
5 2015/16 01/10/2015 30/11/2016 SOAVI MARZIA (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
4 2015/16 01/10/2015 30/11/2016 CARRARA MASSIMILIANO (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
SOAVI MARZIA (Membro Effettivo)
3 2014/15 01/10/2014 30/09/2015 CARRARA MASSIMILIANO (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
SOAVI MARZIA (Membro Effettivo)
2 Commissione 2013/2014 01/10/2013 30/09/2014 CARRARA MASSIMILIANO (Presidente)
SOAVI MARZIA (Membro Effettivo)
MINGARDO DARIA (Supplente)
01/01/2010 01/01/2012 CARRARA MASSIMILIANO (Presidente)

Syllabus
Prerequisiti: Nessuno.
Risultati di apprendimento previsti: Scopo del corso: fornire una conoscenza di base della logica deduttiva.
Contenuti: Introduzione alla logica proposizionale e predicativa. cenni di metalogica (correttezza e completezza). Estensioni e deviazioni della logica proposizionale.
Programma: Parte Prima. La logica proposizionale. Il calcolo proposizionale (deduzione naturale ed alberi di refutazione). Le proposizioni categoriche ed alcuni elementi di logica classica; la sillogistica. La logica dei predicati. Il calcolo dei predicati (deduzione naturale ed alberi di refutazione). La logica ed il calcolo predicativo con identità (deduzione naturale ed alberi di refutazione). Elementi di teoria elementare degli insiemi.
Parte seconda. Induzione matematica. Coerenza e completezza della logica proposizionale e predicativa. Deviazioni della logica proposizionale: introduzione alle logiche polivalenti (logiche trivalenti e logiche paraconsistenti). Estensioni della logica proposizionale: la logica modale. La logica modale K: sintassi, semantica e calcolo. Validità in K. Gli altri sistemi di logica modale
Testi di riferimento: E.J. Lemmon, Elementi di logica con gli esercizi risolti, Elementi di logica con gli esercizi risolti. Roma/Bari: Laterza, 1995.
J. Nolt e D. Rohatyn e A. Varzi, Logica. Milano: McGraw-Hill, 2004. (Parti) Cerca nel catalogo
D. Palladino e C. Palladino, Logiche non classiche. Roma: Carocci, 2007. (Parti Cerca nel catalogo
Note ai testi di riferimento: Appunti delle lezioni
Metodi didattici: Didatica frontale con esercitazioni.
Metodi di valutazione: Scritto (compito con dimostrazioni ed altri esercizi da svolgere)
Altro: