Il corso, tenuto in collaborazione con il dott. Pierluigi Graziani, assegnista di ricerca in Logica, Filosofia e Storia delle scienze nonchè titolare di contratto integrativo, si propone di introdurre gli studenti all’indagine sulle logiche delle teorie fisiche.

In modo particolare verrà dedicata attenzione alle logiche della meccanica quantistica considerandone gli aspetti storici, quelli teoretici, i limiti e le nuove prospettive, come le teorie dell’informazione e della computazione quantistica.

Il corso introdurrà gli elementi logico, matematici e fisici necessari alla comprensione dell’argomento e stimolerà la riflessione sulla metodologia di ricerca in questi ambiti interdisciplinari di conoscenze.

1)    Introduzione alla Logica Proposizionale Classica;

2)    Introduzione alla Logica dei Predicati Classica;

3)    Elementi di Teoria dei Modelli;

4)    Alcune note sulle Logiche non classiche;

5)    Elementi di Teoria della Computazione Classica;

6)    Introduzione elementare agli Spazi di Hilbert;

7)    Introduzione al formalismo della Meccanica Quantistica;

8)    Introduzione ai Fondamenti della Meccanica Quantistica;

9)    Introduzione alle Logiche Quantistiche;

10) Elementi di Informazione Quantistica;

11) Elementi di Computazione Quantistica; 

12) Problemi aperti nella filosofia della microfisica.

Le lezioni saranno integrate dalle attività seminariali denominate “Lectiones Commandinianae” e da attività seminariali tenute dagli studenti (lettura, presentazione e discussione di articoli).

Modalità didattiche

lezioni frontali e seminari

Testi di studio

M. L. Dalla Chiara e R. Giuntini e F. Paoli, Sperimentare la logica, Liguori editore, 2004.

D. Palladino e C. Palladino, Logiche non classiche, Carocci, 2007 [capitoli 2, 8, 12, 13].

R. Lupacchini, Elementi di computazione quantistica, 2004, CLUEB, Bologna

G. Tarozzi, Leggi logiche e leggi fisiche, 

Testi di approfondimento:

M. Jammer, « Quantum logic», in M. Jammer, The philosophy of quantum mechanics, John Wiley & Sons, 1974, pp. 340-416.

M. L. Dalla Chiara e R. Giuntini, “Quantum Logic”, in D. Gabbay e F. Guenthner (a cura di), Handbook of Philosophical Logic, Vol. 6, 2002, pp. 129-228.

P. Gibbins,  Particles  and  paradoxes. The  limits  of quantum  logic.  Cambridge University Press, Cambridge  1987 

 

F. Selleri, G. Tarozzi, "Is Nondistributivity for Microsystems Empirically Founded?", Nuovo Cimento 41B (1978), pp. 

D. Deutsch,  A. Ekert, R. Lupacchini, "Machines, logic & quantum physics", Bulletin of Symbolic Logic, Vol, 6, Num. 3, Sept. 2000, pp. 265-283.

 

 

Modalità di
accertamento

esame orale

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

Testi di studio

M. L. Dalla Chiara e R. Giuntini e F. Paoli, Sperimentare la logica, Liguori editore, 2004.

D. Palladino e C. Palladino, Logiche non classiche, Carocci, 2007 [capitoli 2, 8, 12, 13].

R. Lupacchini, Elementi di computazione quantistica, 2004, CLUEB, Bologna

G. Tarozzi, Leggi logiche e leggi fisiche, 

Testi di approfondimento:

M. Jammer, « Quantum logic», in M. Jammer, The philosophy of quantum mechanics, John Wiley & Sons, 1974, pp. 340-416.

M. L. Dalla Chiara e R. Giuntini, “Quantum Logic”, in D. Gabbay e F. Guenthner (a cura di), Handbook of Philosophical Logic, Vol. 6, 2002, pp. 129-228.

P. Gibbins,  Particles  and  paradoxes. The  limits  of quantum  logic.  Cambridge University Press, Cambridge  1987 

 

F. Selleri, G. Tarozzi, "Is Nondistributivity for Microsystems Empirically Founded?", Nuovo Cimento 41B(1978), pp. 

D. Deutsch,  A. Ekert, R. Lupacchini, "Machines, logic & quantum physics", Bulletin of Symbolic Logic, Vol, 6, Num. 3, Sept. 2000, pp. 265-283

Modalità di
accertamento

esame orale

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.