Nessuno

Il corso si propone di offrire un’introduzione ai metodi della logica e del ragionamento scientifico. La prima metà del corso verterà sulla logica, e si introdurranno elementi di base di logica classica, sia proposizionale che del primo ordine.

Si passerà poi alla filosofia della scienza, per cui si presenteranno in maniera sistematica i temi fondamentali del dibattito contemporaneo, in particolare riguardo al metodo e all'incertezza nell'inferenza scientifica.
 

Capacità di argomentare in maniera rigorosa e competenza nella traduzione tra linguaggio naturale e linguaggi formali. Competenza di base nel formalismo matematico della logica, e capacità di ragionare con i suoi aspetti sintattici e semantici. Conoscenza dei diversi aspetti del metodo scientifico, e degli argomenti fondamentali di dibattito nella filosofia della scienza del ‘900.

- Didattica frontale.

- Esercitazioni in classe, svolte dal docente e dagli studenti, allo scopo di familiarizzare coi concetti principali di logica e probabilità e chiarire eventuali incomprensioni.

- Discussione su tematiche fondamentali del metodo scientifico e il suo impatto.

Le lezioni verranno registrate e caricate online, ma la frequenza è fortemente consigliata.

Prova scritta per la parte di Logica, con discussione orale dei risultati. Si verificherà la conoscenza delle nozioni principali e la capacità di utilizzare i formalismi sintattici e semantici della logica proposizionale e del primo ordine.

Esame orale, per la parte di filosofia della scienza, in cui verrà valutata la capacità argomentativa ed espositiva, e la conoscenza dei metodi e delle idee fondamentali della disciplina.

Logica

Introduzione alla logica e all’argomentazione. Rapporto tra linguaggio naturale e linguaggio formale.

Logica proposizionale: semantica e sistemi di deduzione.

Logica del primo ordine: semantica e sistemi di deduzione.

Cenni di logiche non-classiche.

Filosofia della Scienza

- Il problema della demarcazione e le inferenze scientifiche. Deduzione, Induzione,inferenza alla migliore spiegazione, conferma.

- Introduzione alla probabilità come “logica della scienza”.

-  L'evoluzione delle teorie scientifiche: progresso e rivoluzioni.

- La scienza oggi: problemi metodologici e  funzionamento della comunità scientifica.

Logica:

- D. Palladino, M.Frixione (cura).  Corso di logica. Introduzione elementare al calcolo dei predicati. Carrocci Editore, 2021.

- Dispense fornite dal docente, caricate online sul sito dopo le lezioni.

Filosofia della Scienza:

- P. Godfrey Smith. Teoria e Realtà. Introduzione alla filosofia della scienza. Raffaello Cortina Editore, 2022

- Dispense fornite dal docente, caricate online sul sito dopo le lezioni.

- Brevi estratti da testi classici di filosofia della scienza (Carnap,Popper,Kuhn).

Testi opzionali, di consultazione per approfondimenti.

Per la logica:

- A. Varzi, J.Nolt, D.Roatyn. Logica. McGraw-Hill

- A. Ciabattoni, A. Asperti. Logica ad Informatica. McGraw-Hill

- M.D’Agostino, H. Hosni. Logica. Idee , metodi e applicazioni in

tre percorsi facili. Einaudi 2024

Per la filosofia della scienza di impostazione Bayesiana:

- C. Howson, P. Urbach. Scientific Reasoning: The Bayesian Approach. Open Court, 2006.

Antologia di brani classici di Filosofia della scienza:

- G. Boniolo, M. Dalla Chiara, C. Sinigaglia, G. Giorello, S. Tagliagambe. Filosofia della scienza. Raffaello Cortina Editore, 2002