LOGICA
cod. 02607

Anno accademico 2017/18
1° anno di corso - Primo semestre
Docente
Settore scientifico disciplinare
Logica e filosofia della scienza (M-FIL/02)
Field
Istituzioni di filosofia
Tipologia attività formativa
Affine/Integrativa
30 ore
di attività frontali
6 crediti
sede: PARMA
insegnamento
in ITALIANO

Obiettivi formativi

La Logica Formale come una
sorta di "analisi logica" dei linguaggi naturali e dei ragionamenti in essi
espressi.
La Logica S4 proposizionale.

Prerequisiti

Logica Proposizionale Classica soprattutto nel suo aspetto semantico.

Contenuti dell'insegnamento

Oggetto del corso il superamento della Logica Classica (già vista dagli Studenti nei Corsi Triennali) con breve excursus su Logica (proposizionale) Modale

Programma esteso

1) Interpretazioni intuitive, traduzione (in una interpretazione) nel metalinguaggio di ogni formula ben formata, proposizioni della stessa forma e ragionamenti validi in virtù della forma delle premesse e della conclusione
2) Sintassi naturale e modelli di Kripke per l'S4

Bibliografia

Le dispense relative al Corso verranno inviate via e-mail ai singoli Studenti

Metodi didattici

Lezioni frontali

Modalità verifica apprendimento

Esame orale finale

Altre informazioni

- - -