Insegnamento
LOGICA (B)
LEN1032859, A.A. 2017/18

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea in
FILOSOFIA
LE0599, ordinamento 2008/09, A.A. 2017/18
1157376
Crediti formativi 9.0
Denominazione inglese LOGIC (B)
Dipartimento di riferimento Dipartimento di Filosofia, Sociologia, Pedagogia e Psicologia Applicata (FISPPA)
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede PADOVA

Docenti
Responsabile MASSIMILIANO CARRARA M-FIL/02

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

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

Organizzazione della didattica
Tipo ore Crediti Ore di
Corso
Ore Studio
Individuale
Turni
LEZIONE 9.0 63 162.0 Nessun turno

Calendario
Inizio attività didattiche 26/02/2018
Fine attività didattiche 01/06/2018

Commissioni d'esame
Nessuna commissione d'esame definita

Syllabus
Prerequisiti: Nessuno.
Conoscenze e abilita' da acquisire: Scopo del corso: fornire una conoscenza di base della logica deduttiva del primo ordine.
Modalita' di esame: Scritto (compito con dimostrazioni ed altri esercizi da svolgere).
Criteri di valutazione: Si valuterà la capacità dello studente di risolvere dimostrazioni in logica deduttiva del primo ordine.
Contenuti: 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 del primo ordine. Il calcolo del primo ordine (deduzione naturale ed alberi di refutazione). La logica ed il calcolo del primo ordine con identità (deduzione naturale ed alberi di refutazione). Elementi di teoria elementare degli insiemi. Elementi di semantica tarskiana (e teoria tarskiana della verità)
Attivita' di apprendimento previste e metodologie di insegnamento: Didattica frontale.
Eventuali indicazioni sui materiali di studio: E.J. Lemmon, Elementi di logica. Laterza Roma /Bari 2008.
Testi di riferimento:
  • E.J. Lemmon, Elementi di logica. Roma / Bari: Laterza, 2008. Cerca nel catalogo