Vai al contenuto principale
Oggetto:
Oggetto:

Logica - 2015/2016

Oggetto:

Logic - 2015/2016

Oggetto:

Anno accademico 2015/2016

Codice dell'attività didattica
S2444
Docente
Prof. Andrea Iacona (Titolare del corso)
Corso di studi
laurea triennale in Filosofia
Anno
1° anno 2° anno 3° anno
Periodo didattico
Primo semestre
Tipologia
Caratterizzante
Crediti/Valenza
6 cfu (LET0310)
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
Prerequisiti
Nessuno
Propedeutico a
Filosofia del linguaggio, Filosofia della scienza, Filosofia della mente, Logica (magistrale)
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.

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.

Oggetto:

Risultati dell'apprendimento attesi

Al termine dell'insegnamento lo studente dovrà sapere:

- che cos'è un argomento, e come si esplicita un argomento contenuto in un testo

- quali sono le principali fallacie

- in che cosa consiste la validità formale

- come è definito l'apparato simbolico della logica enunciativa

- come si usano le tavole di verità

- come si deriva una formula da un insieme di formule in un sistema di deduzione naturale

At the end of the course the student will know:

- what is an argument, and how to extract an argument from a text

- the main fallacies

- what is formal validity

- the symbolic apparatus of propositional logic

- how to use truth tables

- how to derive a formula from a set of formulas in a natural deduction system

Oggetto:

Modalità di insegnamento

Lezioni della durata di 36 ore complessive (6 CFU), che si svolgono in aula con l’ausilio della lavagna; sono previste anche esercitazioni a casa e in classe. 

Lectures (36 hours), homework and exercises.

Oggetto:

Modalità di verifica dell'apprendimento

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:

Attività di supporto

A questo corso sarà collegato un seminario di approfondimenti ed esercizi di logica. Coloro che seguiranno il seminario potranno, mediante una prova scritta in itinere, ottenere un esonero di 1 CFU.

Oggetto:

Programma

Il corso si divide in due 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 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.

The course has two 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, 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.

Testi consigliati e bibliografia

Oggetto:

Andrea Iacona, 'Elementi di logica', 2015, capitoli 1-8.

Questo testo sarà disponibile sulla pagina campusnet relativa al corso e sulla pagina personale del docente, https://unito.academia.edu/AndreaIacona, alla voce 'teaching documents'.

Andrea Iacona, 'Elementi di logica', 2015, capitoli 1-8. 

This text will be available on the campusnet page of the course and on the teacher's homepage, https://unito.academia.edu/AndreaIacona, under 'teaching documents'.



Oggetto:

Orario lezioni

GiorniOreAula
Lunedì16:00 - 18:00Aula 36 Palazzo Nuovo - Piano primo
Martedì16:00 - 18:00Aula 36 Palazzo Nuovo - Piano primo
Mercoledì16:00 - 18:00Aula 36 Palazzo Nuovo - Piano primo
Lezioni: dal 28/09/2015 al 28/10/2015

Nota:

A decorrere da lunedì 26/10/2015 cambio aula di lezione: ---> Aula 36, primo piano Palazzo Nuovo.

Oggetto:
Ultimo aggiornamento: 13/05/2015 10:24

Non cliccare qui!