Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
LETTERE E FILOSOFIA
FILOSOFIA
Insegnamento
LOGICA (B)
LEN1032859, A.A. 2011/12

Informazioni valide per gli studenti immatricolati nell'A.A. 2011/12

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea in
FILOSOFIA
LE0599, ordinamento 2008/09, A.A. 2011/12
N0
porta questa
pagina con te
Crediti formativi 9.0
Tipo di valutazione Voto
Denominazione inglese LOGIC (B)
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede PADOVA
Corso singolo NON è possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Responsabile MASSIMILIANO CARRARA M-FIL/02

Mutuante
Codice Insegnamento Responsabile Corso di studio
SF04105452 LOGICA MASSIMILIANO CARRARA SF1333

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
BASE Storia della filosofia e istituzioni di filosofia M-FIL/02 9.0

Organizzazione dell'insegnamento
Periodo di erogazione Secondo semestre
Anno di corso I Anno

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
LEZIONE 9.0 63 162.0

Calendario
Inizio attività didattiche 05/03/2012
Fine attività didattiche 16/06/2012

Commissioni d'esame
Commissione Dal Al Membri
7 2017/18 01/10/2017 30/11/2018 SOAVI MARZIA (Presidente)
CARRARA MASSIMILIANO (Membro Effettivo)
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: La logica proposizionale. La logica dei predicati.
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.


Parte seconda: 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 degli insiemi.
Testi di riferimento: Lemmon, J., Elementi di logica con gli esercizi risolti. Roma Bari: Laterza, 2003. Cerca nel catalogo
Metodi didattici: lezioni frontali ed esercitazioni
Metodi di valutazione: Descrizione verifica di profitto: scritto;  dimostrazioni in calcolo della deduzione naturale.
Altro: