- Oggetto:
- Oggetto:
Logica
- Oggetto:
Anno accademico 2013/2014
- Codice dell'attività didattica
- LET0310 - 6 cfu
- Docente
- Prof. Andrea Iacona (Titolare del corso)
- Corso di studi
- laurea triennale in Filosofia
- Tipologia
- Di base
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- M-FIL/02 - logica e filosofia della scienza
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Scritto
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso è un'introduzione alla logica e si rivolge a studenti di filosofia (o di altre discipline) che non abbiano mai incontrato questa materia. Il suo scopo è quello di spiegare alcune nozioni logiche fondamentali, come quelle di argomento, validità e forma logica, e di fornire i rudimenti della logica enunciativa e della logica predicativa.
The course is an introduction to logic, and it is addressed to students who have never encountered this subject. Its aim is to explain some fundamental logical notions, such as argument, validity and logical form, and to provide the rudiments of propositional logic and predicate logic.
- Oggetto:
Risultati dell'apprendimento attesi
Per verificare le conoscenze acquisite, agli studenti sarà chiesto di svolgere prove scritte che prevedono esercizi e domande teoriche. Le prove scritte saranno mirate ad accertare la comprensione delle nozioni presentate nel corso e la capacità di fare alcune operazioni logiche elementari.
To verify the knowledge acquired, students will be asked to do written tests that include exercises and theoretical questions. The written tests will be intended to check their understanding of the notions presented in the course and their capacity to carry out some elementary logical operations.
- Oggetto:
Programma
Il corso si divide in tre parti. Nella prima saranno introdotte alcune nozioni logiche fondamentali: sarà chiarito che cos'è un argomento, in che cosa consiste la validità di un argomento, e in che senso un argomento può essere valido in virtù della sua forma.
Nella seconda parte sarà presentato un linguaggio enunciativo, spiegando il significato dei connettivi che rappresentano negazione, congiunzione, disgiunzione, e condizionale, e sarà definito un sistema di deduzione naturale basato su quel linguaggio.
Nella terza parte sarà presentato un linguaggio predicativo, e saranno evidenziate alcune importanti differenze sintattiche e semantiche rispetto al linguaggio enunciativo.
The course has three parts. In the first, some fundamental logical notions will be introduced: it will explained what is an argument, what it is for an argument to be valid, and in what sense an argument can be valid in virtue of its form.
In the second part, a propositional language will be outlined, explaining the meaning of the connectives that represent negation, conjunction, disjunction and the conditional, and a system of natural deduction based on that language will be defined.
In the third part, a predicate language will be outlined, and some important syntactic and semantic differences from the propositional language will be shown.
Testi consigliati e bibliografia
- Oggetto:
- dispense (saranno distribuite dal docente)
- E. J. Lemmon, Elementi di logica, Laterza.
- lecture notes
- E. J. Lemmon, Elementi di logica, Laterza.
- Oggetto:
Note
- Oggetto: