Obiettivi formativi
Obiettivo del corso triennale è quello di fornire una conoscenza generale dello sviluppo storico della logica e delle metodologie storiografiche da applicare nell'analisi dei testi (in particolare di quelli antichi e medievali).
Prerequisiti
nessuno
Contenuti dell'insegnamento
Storia della logica da Aristotele a Leibniz
Programma esteso
La logica di Aristotele:
Categorie e De interpretatione: l'enunciato categorico; soggetto e predicato; condizioni di verità; teoria degli opposti e negazione. Analitici Primi: la definizione del sillogismo; sillogismi perfetti e imperfetti; modi e figure; leggi di conversione; prove dei sillogismi imperfetti; la sillogistica dal punto di vista della logica formale moderna; i limiti della formalizzazione
La logica degli stoici:
sintassi logica; elementi di teoria del significato; la sillogistica ipotetica, assiomi e regole di inferenza; esempi di derivazioni sillogistiche.
La logica di Boezio:
I commenti al De Interpretatione; elementi di semantica; forma logica; sillogismi categorici e ipotetici.
La teoria medievale della supposizione:
Significato e 'supposizione' dei termini; aspetti sintattici e semantici; una proto-teoria della quantificazione.
La dottrina dell'inferenza non sillogistica:
dalla Topica alla teoria delle conseguenze.
La logica del 600:
Hobbes, Logica di Port Royal, Leibniz.
Bibliografia
Le dispense sono disponibili all'indirizzo web: http://www.slprbo.unipr.i/Documenti/
Metodi didattici
Lezioni orali
Modalità verifica apprendimento
esame orale
Altre informazioni
- - -