Insegnamenti 2017/18


    Istituzioni di logica

    Settore: M-FIL/02   Codice: 338MM   Crediti: 6   Semestre: 2
    Modulo unico: Lezioni, 36 ore, docente Luca Bellotti

    Prerequisiti

    Nessuno.

    Obiettivi

    Analisi ciritica della correttezza di semplici argomentazioni.

    Verifica

    Discussione di esempi in aula.

    Conoscenze

    Conoscenze di base di logica formale moderna.

    Verifica conoscenze

    Esame orale.

    Comportamenti

    Nessuno.

    Verifica comportamenti

    Nessuna.

    Programma

    Il corso è un'introduzione alla logica formale contemporanea. A partire dall'analisi della struttura logica degli enunciati, si introdurranno i primi elementi della logica proposizionale e di quella predicativa. Il corso è di livello elementare e non presuppone alcuna conoscenza filosofica o matematica.

    Indicazioni metodologiche

    Lezioni frontali con ampia discussione di esempi.

    Modalità di esame

    Prova orale, con discussione di esempi e semplici esercizi. La prova orale è superata se lo studente è in grado di argomentare correttamente nella discussione. E' necessario aver partecipato alle lezioni.

    Non frequentanti

    Il corso deve essere frequentato. Nel caso, contattare il docente per email.

    Bibliografia

    Manuale: Palladino, D.: Corso di logica, Carocci, Roma 2002 (le parti in programma saranno indicate durante il corso).

    Note

    Nessuna.

    Collegamenti esterni

    Nessuno.


    Fonte: Portale esami