a) Illustrare i concetti basilari della filosofia della scienza e suscitare la capacità di argomentare su di essi;
b) far comprendere, per mezzo di un esempio appositamente selezionato, le modalità operative della ricerca scientifica;
c) introdurre i concetti basilari della logica del primo ordine.
Nozioni di base sulla filosofia analitica
Facoltativa
a) Concetti fondamentali della disciplina: spiegazione causale, verificazione, falsificazione, induzione, legge scientifica, paradigma, controversia scientifica;
b) simulazione al computer;
c) concetti fondamentali della logica del primo ordine: argomentazioni, operatori, tavole di verità, calcolo proposizionale e dei predicati.
A Questioni Istituzionali di Filosofia della Scienza (3 CFU).
Testi:
- Okasha S., Il primo Libro di filosofia della scienza, Einaudi, 2006.
B Filosofia della scienza e modelli computazionali (2 CFU).
Testi:
- Parisi, D., Simulazioni, Il Mulino, 2001.
C Elementi di Logica (4 CFU).
Testi:
- A. Varzi, J. Nolt, D. Rohatyn, Logica, Mc-Graw Hill, 2007, pp. 1-217.
Si ricorda che, ai sensi dell’art. 171 della legge 22 aprile 1941, n. 633 e successive disposizioni, fotocopiare libri in commercio, in misura superiore al 15% del volume o del fascicolo di rivista, è reato penale.
Per ulteriori informazioni sui vincoli e sulle sanzioni all’uso illecito di fotocopie, è possibile consultare le Linee guida sulla gestione dei diritti d’autore nelle università (a cura della Associazione Italiana per i Diritti di Riproduzione delle opere dell’ingegno - AIDRO).
I testi di riferimento possono essere consultati in Biblioteca.
Argomenti | Riferimenti testi | |
1 | Il neo-empirismo e la filosofia della scienza | okasha |
2 | leggi e teorie scientifiche | okasha |
3 | verificazione e falsificazione delle teorie | okasha |
4 | leggi di copertura | okasha |
5 | tavole di verità | varzi |
6 | criteri per la valutazione delle argomentazioni | varzi |
7 | equivalenze | varzi |
8 | calcolo proposizionale e regole del calcolo | varzi |
9 | esperimenti e simulazioni virtuali | parisi |
10 | struttura fisica e formale dei simboli | parisi |
11 | reti neurali e modelli computazionali | parisi |
Tradizionale
Due prove in itinere, durata 60 minuti. Massimo di 10 quesiti, a risposta multipla e aperti.
Prova orale
Per la valutazione dell’esame si terrà conto della padronanza dei contenuti e delle competenze acquisite, dell’accuratezza linguistica e proprietà lessicale, nonché della capacità argomentativa dimostrata dal candidato.