Transcript
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
Programma di insegnamento ANNO ACCADEMICO: 2016/17 INSEGNAMENTO: Logica TITOLO DEL CORSO: Introduzione alla logica formale
TIPOLOGIA DI ATTIVITÀ FORMATIVA: Base
DOCENTE: Pasquale Frascolla e-mail:
[email protected] telefono: 0971-202400 Lingua di insegnamento: Italiano
sito web: cell. di servizio (facoltativo): 329-3178363
n. CFU: 6
Sede: Potenza
n. ore: 30
Semestre: Secondo
Corso di Studi: Studi Umanistici
OBIETTIVI FORMATIVI E RISULTATI DI APPRENDIMENTO Le conoscenze che il corso ha l’obiettivo di fornire riguardano la definizione delle principali nozioni della teoria dell’argomentazione e della logica (argomento valido, conseguenza logica, equivalenza logica, tautologia, schema argomentativo valido) e i metodi algoritmici di controllo della validità degli argomenti formalizzabili nel linguaggio logico enunciativo (tavole di verità e alberi di Beth). Le principali abilità acquisite dagli studenti saranno: a) capacità di formalizzare gli argomenti con gli strumenti del linguaggio della logica enunciativa; b) padronanza di alcune tecniche formali elementari, di natura semantica, per il controllo della validità delle inferenze. PREREQUISITI: Nessuno CONTENUTI DEL CORSO Blocco 1: nozioni-base della teoria dell’argomentazione (10 ore); blocco 2: formalizzazione delle inferenze con gli strumenti del linguaggio logico enunciativo (10 ore); blocco 3: controllo della validità degli schemi argomentativi vero-funzionali per mezzo di tavole di verità e alberi di Beth (10 ore). METODI DIDATTICI: Lezioni teoriche frontali (60 ore). MODALITÀ DI VERIFICA DELL’APPRENDIMENTO Esame orale con svolgimento di esercizi. La discussione orale mira a verificare il livello di acquisizione delle conoscenze fornite, lo svolgimento degli esercizi a verificare l’acquisizione delle abilità. TESTI DI RIFERIMENTO E DI APPROFONDIMENTO, MATERIALE DIDATTICO ON-LINE 1) P. Frascolla, Introduzione alla logica. Dalla teoria dell’argomentazione alla logica formale, Il Mulino, Bologna 2014, capitoli 1 e 2.
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
METODI E MODALITÀ DI GESTIONE DEI RAPPORTI CON GLI STUDENTI Orario di ricevimento: il mercoledì dalle 11 alle 13. Il docente può sempre essere contatto tramite e-mail. DATE DI ESAME PREVISTE1 20/6/2017; 18/7/2017; 12/9/2017; 17/10/2017; 23/1/2018; 27/2/2018; 10/4/2018. SEMINARI DI ESPERTI ESTERNI
SI X NO □
ALTRE INFORMAZIONI
1
Potrebbero subire variazioni: consultare la pagina web del docente o del Dipartimento/Scuola per eventuali aggiornamenti
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
COURSE: Logic ACADEMIC YEAR: 2016-17 TYPE OF EDUCATIONAL ACTIVITY: Base TEACHER: Pasquale Frascolla e-mail:
[email protected] phone: 0971-202400 Language: Italian ECTS: 6
n. of hours: 30
website: mobile (optional): 329-3178363 Campus: Potenza Dept. DiSU Program: Humanities
Semester: Second
EDUCATIONAL GOALS AND EXPECTED LEARNING OUTCOMES Students are expected to acquire the knowledge of the main concepts and methods of the argumentation theory and of the basic logical notions of consequence, equivalence, tautology, valid argument and valid argument-schema; techniques for checking the validity of arguments are presented (truth-tables and Beth trees). Students are expected to acquire the ability to formalize arguments by employing the tools of sentential logic and the mastering of the algorithmic procedures for checking the validity of argument-schemas. PRE-REQUIREMENTS None. SYLLABUS 1) elements of Argumentation Theory (10 hours); 2) formalization of arguments by using sentential logical language as a means to represent their logical form (10 hours); 3) truth-tables and Beth trees (10 hours). TEACHING METHODS Theoretical lessons (60 hours). EVALUATION METHODS Oral examination with exercises on the spot. TEXTBOOKS AND ON-LINE EDUCATIONAL MATERIAL 1) P. Frascolla, Introduzione alla logica. Dalla teoria dell’argomentazione alla logica formale, Il Mulino, Bologna 2014, chapters 1 and 2. INTERACTION WITH STUDENTS Office hours: wednesday h. 11-13. By e-mail. EXAMINATION SESSIONS (FORECAST)2 20/6/2017; 18/7/2017; 12/9/2017; 17/10/2017; 23/1/2018; 27/2/2018; 10/4/2018. SEMINARS BY EXTERNAL EXPERTS
YES X NO □
FURTHER INFORMATION
2
Subject to possible changes: check the web site of the Teacher or the Department/School for updates.