FRASCOLLA Logica SU LET0040 - DiSU

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.