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.

Piano Didattico

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010 A.A. 2008/2009

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
12
A
M-FIL/03
12
A
M-FIL/01
6
F
INF/01
Lingua straniera competenza linguistica liv. b1 (informatizzato)
6
E
-
6
E
-
6
E
-
6
E
-
6
E
-
Un insegnamento a scelta
12
A
M-STO/04
12
A
M-STO/02
12
A
M-FIL/06

2° Anno  Attivato nell'A.A. 2015/2016

InsegnamentiCreditiTAFSSD
Un insegnamento a scelta
6
B
M-DEA/01
6
B
M-STO/07
6
B
M-STO/06
Uno o due insegnamenti a scelta per un totale di 12 cfu
6
B
M-FIL/03
6
B
M-FIL/01
6
B
M-FIL/04
6
B
M-FIL/01
6
B
M-FIL/02
6
B
M-FIL/03
6
B
M-FIL/05
12
B
M-FIL/03
12
B
M-FIL/01
6
B
M-FIL/01
6
B
M-FIL/07
6
B
M-FIL/06
6
B
M-FIL/06
6
B
M-FIL/08
6
B
M-FIL/06
6
B
M-FIL/06
Un insegnamento a scelta per un totale di 6 cfu
6
C
M-PED/01
6
C
M-PSI/06
6
C
M-PSI/01
6
C
M-PSI/05
6
C
SPS/07
6
C
M-STO/05
6
A
SPS/01
Un insegnamento a scelta
12
A
L-FIL-LET/02
12
A
L-FIL-LET/10
12
A
L-FIL-LET/11
12
A
L-FIL-LET/04
6
B
M-FIL/02
12
B
M-FIL/06

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

InsegnamentiCreditiTAFSSD
Da due a quattro insegnamenti a scelta per un totale di 24 cfu
6
B
M-FIL/03
6
B
M-FIL/01
6
B
M-FIL/04
6
B
M-FIL/01
6
B
M-FIL/02
6
B
M-FIL/03
6
B
M-FIL/05
12
B
M-FIL/03
12
B
M-FIL/01
6
B
M-FIL/01
6
B
M-FIL/07
6
B
M-FIL/06
6
B
M-FIL/06
6
B
M-FIL/08
6
B
M-FIL/06
6
B
M-FIL/06
Uno o due insegnamenti a scelta per un totale di 12 cfu
6
C
M-PED/01
6
C
M-PSI/06
6
C
M-PSI/01
6
C
M-PSI/05
6
C
SPS/07
6
C
M-STO/05
12
C
L-ANT/02
12
C
M-STO/01
12
C
L-ANT/03
Prova finale
6
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°- 3°
12
D
-
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.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Logica (p)  (2015/2016)

Codice insegnamento

4S02145

Docente

Ivan Valbusa

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 22 feb 2016 al 24 apr 2016.

Seminari 0

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.

Gli argomenti trattati durante il corso verranno pubblicati online nel "Diario della lezioni", che al termine delle stesse costituirà il programma dettagliato del corso, sul quale verterà l'esame finale.

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

Modalità d'esame

Prova scritta

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

Materiale e documenti