Logica - SLLSF - Frascolla - LET0040

UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
A. A. 2014/2015
Dipartimento di Scienze Umane
Programma di insegnamento per l’anno accademico 2014/2015
Programma dell’insegnamento di LOGICA
SSD dell’insegnamento M-FIL/02
Sede di Potenza
Classe
L-10
L-10
LM -2/LM-15
LM-78
LM-84
Corso di Studi
Studi Umanistici
Studi Letterari, Linguistici e Storico-Filosofici
Laurea Magistrale in Archeologia e Studi Classici
Laurea Magistrale in Scienze Filosofiche e della Comunicazione
Laurea Magistrale in Storia e Civiltà europee
X
X
Sede di Matera
Classe
Corso di Studi
LM-85bis Laurea Magistrale a Ciclo Unico in Scienze della Formazione Primaria
Laurea ad esaurimento in in Scienze della Formazione Primaria
(D.M. 26/05/1998) (IV anno)
Corso Aggiuntivo per l’integrazione Scolastica degli alunni in situazione
di handicap
Cognome e Nome docente: Frascolla Pasquale
SSD docente: M-FIL/05
Titolo del corso Introduzione alla logica formale
Lingua insegnamento: Italiano
Obiettivi formativi generali (risultati di apprendimento previsti e competenze da acquisire)
(max 500 battute)
DiSU – Settore Gestione della Didattica – [email protected]
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
Il corso si propone di fornire allo studente la conoscenza delle nozioni logiche fondamentali
(conseguenza logica, argomento valido, relazione tra verità e validità) e di metterlo in grado
di padroneggiare alcune tecniche formali elementari, di natura semantica e sintattica, per il
controllo della validità delle inferenze la cui forma sia rappresentabile nel linguaggio logico
enunciativo.
Contenuti (max 500 battute)
Temi principali del corso: nozioni-base della teoria dell’argomentazione e del ragionamento
informale; formalizzazione delle inferenze con gli strumenti teorici della logica enunciativa;
precisazione rigorosa della sintassi e della semantica del linguaggio della logica enunciativa.
Controllo della validità degli schemi argomentativi vero-funzionali per mezzo di tavole di
verità e alberi di Beth. Cenni alla teoria della quantificazione.
Testi di riferimento
P. Frascolla. Introduzione alla logica. Dalla teoria dell’argomentazione alla logica formale, Il Mulino, Bologna
2014, Capitoli I e II.
Prerequisiti (ovvero Propedeuticità consigliate)
Nessuno
DiSU – Settore Gestione della Didattica – [email protected]
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
Modalità di erogazione della didattica
Lezioni frontali
Modalità d’esame
X
Prova orale

Prova scritta e prova orale
Note
DiSU – Settore Gestione della Didattica – [email protected]
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
Academic year 2014/2015
Teaching programme for the academic year 2014/2015
Syllabus of
Logic
Scientific Area M-FIL/02
Potenza
Class
Degree Course
L-10 Humanities
X
LM-2 LM-15 Archaelogical and Classical Studies
LM-78 Philosophy and Communication Sciences
LM-84 European History and Civilization
Matera
Class
Degree Course
LM-85bis Sciences of Primary Education
Sciences of Primary Education to exhaustion (D.M. 26/05/1998) (IV year)
Additional Course for the education of students with disabilities
Surname and first name of the lecturer: Frascolla Pasquale
Scientific area of the lecturer: M-FIL/05
Course subject An Introduction to Formal Logic
Language of teaching Italian
DiSU – Settore Gestione della Didattica – [email protected]
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
General educational goals (preview of acquired competences and abilities)
(max 500 battute)
The course in Logic aims at providing students with the knowledge of some basic logical notions: the
notion of valid argument, that of logical form, that of logical consequence. Moreover, it aims at enabling
students to master some elementary formal techniques, both of syntactic and semantic nature, to check
the validity of inferences whose form can be represented in the language of propositional logic.
Contents (max 500 battute)
The main themes dealt with in the course of Logic are the following: formalization of arguments in the
language of propositional logic ; basic syntax and semantics of the language of propositional logic.
Mechanical methods for checking the validity of truth-functional argument schemas: truth-tables and
Beth trees. First steps in quantificational logic.
Bibliography
P. Frascolla. Introduzione alla logica. Dalla teoria dell’argomentazione alla logica formale, Il Mulino, Bologna
2014, Capitoli I e II.
Required preparatory courses:
No one.
Instructional methods
Frontal lesson
DiSU – Settore Gestione della Didattica – [email protected]
UNIVERSITÀ DEGLI STUDI DELLA BASILICATA
DIPARTIMENTO DI SCIENZE UMANE
Modality of examination
X
Oral

Written and oral
Notes
DiSU – Settore Gestione della Didattica – [email protected]