Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea in Filosofia - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

1° Anno

InsegnamentiCreditiTAFSSD
Un insegnamento a scelta
Lingua straniera competenza linguistica liv. B1 (informatizzato) a scelta tra: INGLESE, FRANCESE, SPAGNOLO, TEDESCO, RUSSO
6
E
-

3° Anno  Attivato nell'A.A. 2017/2018

InsegnamentiCreditiTAFSSD
Uno o due insegnamenti a scelta per un totale di 12 cfu
Prova finale
6
E
-
InsegnamentiCreditiTAFSSD
Un insegnamento a scelta
Lingua straniera competenza linguistica liv. B1 (informatizzato) a scelta tra: INGLESE, FRANCESE, SPAGNOLO, TEDESCO, RUSSO
6
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°- 3°
Tra gli anni: 1°- 2°- 3°
Stage o laboratori
6
F
-

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S02145

Coordinatore

Ivan Valbusa

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA

Periodo

Sem. IIA dal 27 feb 2017 al 22 apr 2017.

Obiettivi formativi

Il corso è un'introduzione ai principali temi della logica moderna. L'obiettivo è di chiarire alcune nozioni logiche fondamentali, come quelle di forma logica, ragionamento, validità, verità, modello, interpretazione, coerenza, completezza, decidibilità.

Programma

1) Linguaggi, enunciati, ragionamenti.
Contesti non estensionali. Il problema del significato.
Formalizzazione, connettivi logici, tavole di verità. Quantificazione.

2) Teorie formali. Il calcolo della deduzione naturale.
Calcolo enunciativo e logica del primo ordine. Dimostrazioni.

3) Semantica.
Elementi di teoria degli insiemi. Teoria semantica della verità.
Modelli, interpretazioni, validità, conseguenza logica.
Paradossi.

4) Elementi di metalogica.
Teoremi di completezza. I teoremi di incompletezza di Gödel.
Decidibilità.

*****
Durante lo svolgimento delle lezioni verranno fornite indicazioni su ulteriori letture di approfondimento e sull'eventuale materiale didattico integrativo.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Francesco Berto Logica da zero a Gödel (Edizione 5) Laterza 2013

Modalità d'esame

Esame orale

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI