Minicorso di logica e informatica promosso dal corso di laurea in Filosofia.
I seminari si terranno il venerdì, dalle ore 15:00 alle ore 17:00, nella Sala riunioni del 1º piano di Lettere e filosofia.
Introduzione alla Logica (a cura di Francesco Panizzoli)
«L’esperienza che ci serve per la comprensione della logica, è non l’esperienza che qualcosa è così e così, ma l’esperienza che qualcosa è: ma ciò non è un’esperienza. La logica è prima d’ogni esperienza – d’ogni esperienza che qualcosa è così. Essa è prima del Come, non del Che cosa.»
Ludwig Wittgenstein
Le lezioni presenteranno i concetti fondamentali e la formalizzazione base della logica classica, nata come scienza del corretto ragionamento, mostrandone il retroterra filosofico. Si mostrerà che la logica è ben più che uno strumento formale: attraverso di essa si possono analizzare le logiche dei tanti sistemi di pensiero della storia della filosofia e chiedersi se e come essi rispecchino, in qualche modo, una logica del reale.
Connotazione/denotazione, estensionalità/intensionalità del linguaggio • Questione dell’esistenza: generalizzazione esistenziale e descrizioni • Cenni di calcolo proposizionale e predicativo • Teoremi di completezza e incompletezza: derivabilità, correttezza, decidibilità • Cenni di logica modale: necessità, possibilità e interpretazioni • La macchina di Turing
- 28 febbraio
- 6 marzo
- 13 marzo (Sala Riunioni 2º piano)
- 20 marzo
- 27 marzo
Introduzione all’Informatica (a cura di Giovanni Salmeri)
«Nella loro veste di strumenti, i computer non saranno altro che un’increspatura sulla superficie della nostra cultura. Nella loro veste di sfi da intellettuale, sono senza precedenti nella storia culturale dell’umanità.»
Edsger W. Dijkstra
L’informatica riempie in maniera crescente le nostre vite, ma più le sue applicazioni sono ricche e complesse, più diventa difficile comprenderne lo spirito, la logica, il significato umano. In queste lezioni si presenteranno alcune linee della storia dell’informatica (scienza dei computer ma soprattutto della descrizione e soluzione di problemi), dando contemporaneamente la possibilità di sperimentare in prima persona questa storia.
Dai modelli teorici alle macchine: Turing, Shannon, von Neumann • Quali problemi può risolvere un computer: computabilità e trattabilità • Linguaggi di programmazione: origini, sviluppi, principali tipi • L’informatica per la parola umana: testi, ipertesti, comunicazione, informatica umanistica • Il seminario di Darthmouth: le origini dell’intelligenza artificiale • Il Free Software Movement e il significato politico dell’informatica
- 3 aprile
- 17 aprile
- 24 aprile
- 8 maggio
- 15 maggio