Logica - Sllsf - Frascolla - Let0040

Transcript

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]