Conoscenza manualistica dei temi fondamentali della filosofia analitica e del neoempirismo (Frege, Russell; Wittgenstein; Carnap; Popper; Concezione standard delle teorie scientifiche)
Facoltativa.
La frequenza, anche se non obbligatoria, è comunque raccomandata.
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.
Appunti e materiali integrativi delle lezioni saranno forniti agli studenti alla fine del corso, tramite la piattaforma Studium; oppure saranno inviati per email.
* | Argomenti | Riferimenti testi | |
1 | * | Neoempirismo e filosofia analitica | Okasha |
2 | * | Leggi di copertura. | Okasha; Varzi |
3 | * | Deduzione e induzione. | Okasha; Varzi |
4 | * | Logica e scienze naturali: relazioni e differenze. | Okasha |
5 | Paradigmi e Teorie | Okasha | |
6 | Realismo e antirealismo | Okasha; Parisi | |
7 | Teorie della probabilità | Okasha | |
8 | * | Criteri di valutazione per argomentazioni | Varzi |
9 | * | Operatori logici | Varzi |
10 | * | Tavole di verità | Varzi |
11 | Alberi di refutazione | Varzi | |
12 | * | Il calcolo proposizionale e le sue regole | Varzi |
13 | * | Quantificatori | Varzi |
14 | Cenni sulla logica predicativa | Varzi | |
15 | * | Modelli formali e computazionali | Varzi; Parisi |
16 | Simboli e loro trattamento nelle simulazioni | Parisi | |
17 | * | Algoritimi; reti neurali | Parisi |
18 | Modelli computazionali per le previsioni meteorologiche | Parisi; Testo fuori programma (Stensrud) |
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.
L'esame consiste in una prova orale, di carattere sostanzialmente discorsivo. Lo studente dovrà tuttavia mostrare di saper usare gli elementi fondamentali del linguaggio formalizzato elementare trattato nell'Introduzione alla logica. Dovrà anche mostrare di saper discutere con l'insegnante i temi o gli elementi comuni ai tre argomenti/testi che costituiscono il corso. Sarà valutata come caratteristica di eccellenza la capacità del candidato di elaborare autonomamente argomenti e connessioni presenti nel corso.
Non previste
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.
I candidati dovranno rispondere su tutti e tre i testi del corso.
La nascita della filosofia della scienza. Filosofia e storia della scienza. Scienza e senso comune. Leggi di copertura. Differenza fra argomentazione logica e spiegazione scientifica. Causalità e spiegazione. Differenza fra dimostrazione in logica e verificazione nelle scienze. Inferenza deduttiva e induttiva. Verificazione e falsificazione; asimmetria fra esse. Kuhn su paradigmi e teorie scientifiche. Inferenza verso la spiegazione migliore. Teorie della probabilità. Realismo e antirealismo. Teoria dell'evoluzione. Determinismo versus indeterminazione.
Logica formale e informale. Sistemi formali e modelli. Criteri per la valutazione delle argomentazioni. Operatori logici. Tavole di verità per operatori, per formule, per forme argomentative. Alberi di refutazione. Calcolo proposizionale. Regole del calcolo. Regole Ipotetiche. Teoremi ed equivalenze. Le asserzioni categoriche. I quantificatori. Logica predicativa. Modelli. Teorie scientifiche e modelli. Modelli computazionali. Simboli e loro forma fisica. Logica e computabilità. Algoritmi. Intelligenza artificiale e vita artificiale. Reti neurali.