LOGICA MATEMATICA

Insegnamento
LOGICA MATEMATICA
Insegnamento in inglese
Settore disciplinare
M-FIL/01
Corso di studi di riferimento
FILOSOFIA
Tipo corso di studio
Laurea
Crediti
12.0
Ripartizione oraria
Ore Attività Frontale: 60.0
Anno accademico
2022/2023
Anno di erogazione
2023/2024
Anno di corso
2
Lingua
ITALIANO
Percorso
PERCORSO COMUNE
Docente responsabile dell'erogazione
BALDI PAOLO

Descrizione dell'insegnamento

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, integrandoli con letture di testi centrali della storia della disciplina.
 

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, commento di testi ed esercitazioni.

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.

a.a. 2023-2024:  19 dicembre 2023, 30 gennaio 2024,  5 aprile 2024, 14 maggio 2024 (straordinario), 25 giugno 2024, 23 luglio 2024, 10 settembre 2024,  22 ottobre 2024 (straordinario)  

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.

 

Filosofia della Scienza

 

- Il problema della demarcazione e il dibattito sul metodo scientifico: deduzione, induzione e abduzione.

-  L'evoluzione delle teorie scientifiche 

- Introduzione alla probabilità come “logica della scienza”. Il ragionamento statistico e l'approccio Bayesiano nella scienza e nella filosofia della scienza

- Il funzionamento della comunità scientifica. Scienza e società.

 

 

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

 

- Brani da testi classici di filosofia della scienza, forniti dal docente, e caricati online sul sito del corso.

 

 

Testi opzionali, di consultazione per approfondimenti.

 

Per la logica:

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

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

tre percorsi facili. Einaudi, 2023 (in corso di stampa)

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 

 

 

Semestre
Secondo Semestre (dal 26/02/2024 al 31/05/2024)

Tipo esame
Non obbligatorio

Valutazione
Orale - Voto Finale

Orario dell'insegnamento
https://easyroom.unisalento.it/Orario

Mutuato in

Scarica scheda insegnamento (Apre una nuova finestra)(Apre una nuova finestra)