Probabilistic logic

A.A. 2021/2022
9
Crediti massimi
60
Ore totali
SSD
M-FIL/02
Lingua
Inglese
Obiettivi formativi
The course aims at developing the logico-mathematical background to assess critically the logic and episte-mology of inductive reasoning, or "reasoning with data". In addition to making students familiar with the rel-evant elementary logical, probabilistic and statistical notions, it focusses on how the formalisation of induc-tive inference sheds crucial methodological light on the "datacentric" revolution, which is currently dotting the development of the natural and social sciences.
Risultati apprendimento attesi
Knowledge acquisition and understanding:
Students are expected to acquire a full understanding of the formal notions presented and master basic knowledge of the following topics:
- know the central concepts and reasoning tools of discrete mathematics
- know the central concepts in elementary probability theory
- know how to apply elementary logic to formalize probabilistic concepts
- understand the epistemological questions related to inductive reasoning
- understand the relevance of a proper the epistemology of inductive inference in the wider methodological discussion on "big data"

Skills acquisition and ability to apply knowledge:
Students are also expected to develop an ability to apply this basic knowledge to solve simple problems and to engage in further research within more advanced projects in specific applications of their interest. In particular at the end of the course, students will be able to
- read and evaluate the scientific literature on inductive reasoning
- apply the tools learnt to solve scientific, philosophical and practical problems
- appreciate the relevance of inductive logic in the current debate on the datacentric revolution in the methodology of the social sciences
Programma e organizzazione didattica

Edizione unica

Responsabile
Periodo
Secondo semestre
In relazione alla modalità di erogazione delle attività formative per l'a.a. 21/22 verranno date indicazioni specifiche nei prossimi mesi in base all'evoluzione della situazione sanitaria
Programma
1. Ragionare con i dati:

- Il significato dei dati
- Statistica descrittiva elementare
- Probabilità elementare

2. L'epistemologia del ragionamento sui dati: induzione

- Il problema di Hume
- Induzione e conoscenza
- Più dati oppure dato migliori?

3. La logica del ragionamento incerto

- Introduzione alla logica probabilistica
- Coerenza
- Probabilità condizionata in ambito logico
Prerequisiti
Logical Methods (LM)
Metodi didattici
Lezioni frontali e "flipped". L'impostazione è volta ad avviare le/gli studenti all'impostazione di problemi elementari e alla loro risoluzione.
Materiale di riferimento
Dispense e materiale reso disponibile dal docente
Modalità di verifica dell’apprendimento e criteri di valutazione
L'esame è orale, ma si basa su un progetto scritto (vedi dettagli sotto) che costituisce il 50% della valutazione finale.

Durante l'esame vi verrà chiesto di esporre il progetto e le domande saranno volte a valutare sia la conoscenza dell'argomento prescelto, sia dei concetti chiave introdotti nel corso.

Il corso prevede lezioni "flipped" . La partecipazione attiva ad essi varrà fino al 25\% del voto finale. Le lezioni "flipped" non sono obbligatorie per le/gli studenti frequentanti. I dettagli saranno forniti nella lezione introduttiva.

Dettagli pratici sui progetti: 5 pagine, LaTeX standard, che riassume e commenta uno a vostra scelta tra i progetti disponibili nella lista che sarà resa disponibile alla fine del corso. I progetti sono obbligatori sia per le/gli studenti frequentanti che non.

Il materiale oggetto di esame da 6 CFU comprende gli argomenti coperti dai punti 1-2 (sotto) per un totale di 40 ore.

Il materiale oggetto di esame da 9 CFU comprende tutti gli argomenti del corso.
Moduli o unità didattiche
Unita' didattica A
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore

Unita' didattica B
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore

Unita' didattica C
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore

Docente/i
Ricevimento:
Il ricevimento studenti è sospeso dal 29 luglio al 4 settembre 2021.
Piattaforma Teams previo appuntamento