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
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 magistrale in Scienze filosofiche - Immatricolazione dal 2025/2026Il 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
Insegnamenti | Crediti | TAF | SSD |
---|
Piu' insegnamenti a scelta per complessivi 18 cfu
Due o tre insegnamenti a scelta per complessivi 18 cfu
2° Anno Attivato nell'A.A. 2010/2011
Insegnamenti | Crediti | TAF | SSD |
---|
Due insegnamenti a scelta tra i seguenti
Due insegnamenti a scelta
Una attivita' a scelta tra le seguenti
Insegnamenti | Crediti | TAF | SSD |
---|
Piu' insegnamenti a scelta per complessivi 18 cfu
Due o tre insegnamenti a scelta per complessivi 18 cfu
Insegnamenti | Crediti | TAF | SSD |
---|
Due insegnamenti a scelta tra i seguenti
Due insegnamenti a scelta
Una attivita' a scelta tra le seguenti
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.
Logica (m) (2009/2010)
Codice insegnamento
4S02289
Docente
Coordinatore
Crediti
6
Offerto anche nei corsi:
- Filosofia della scienza del corso Laurea magistrale in Linguistica
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA
Periodo
II semestre dal 22 feb 2010 al 5 giu 2010.
Sede
VERONA
Obiettivi formativi
Il corso, che è inteso approfondire il programma del corso elementare di Logica del triennio, riguarda principalmente la logica enunciativa. Un primo obiettivo è dunque quello di completare la preparazione nella logica di base e un secondo obiettivo è quello di presentare - parzialmente - risultati metateorici che concernono la logica enunciativa.
Programma
Questioni preliminari (solo un breve ripasso se già note agli studenti):
linguaggi e sistemi formali; linguaggio e metalinguaggio; sintassi e semantica; nozioni minimali di teoria degli insiemi.
Logica proposizionale: deduzione naturale e semantica (tavole di verità).
Logica predicativa: la traduzione formale di frammenti del linguaggio ordinario nel linguaggio della logica predicativa.
Nozioni metalogiche: coerenza e completezza del calcolo enunciativo.
Testi:
E. Lemmon, Elementi di logica, Biblioteca Universale Laterza, Roma-Bari 2009 (o edizioni precedenti): primi due capitoli e primo paragrafo del terzo capitolo.
Appunti del docente (disponibili on-line in versione sintetica al termine del corso).
Modalità d'esame
prova scritta e possibile, in generale non necessaria, integrazione orale.
Materiale e documenti
-
Appunti Corso di Logica (m) (pdf, it, 608 KB, 1/20/11)
-
Esempio di compito d'esame (pdf, it, 142 KB, 9/8/10)
-
Esempio di compito d'esame 2 (pdf, it, 107 KB, 9/8/10)