Università degli Studi di Urbino Carlo Bo / Portale Web di Ateneo


LOGICA

A.A. CFU
2012/2013 12
Docente Email Ricevimento studenti
Gino Tarozzi prima e dopo la lezione.

Assegnato al Corso di Studio

Lettere e beni culturali (L-1 / L-10) Filosofia (L-5)
Giorno Orario Aula

Obiettivi Formativi

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.

 


 

 

Programma

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.

 

Attività di Supporto

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, Obblighi, Testi di Studio e Modalità di Accertamento

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.

Informazioni Aggiuntive per Studenti Non Frequentanti

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.

Note

Il Corso è mutuato da Logica e Retorica

« torna indietro Ultimo aggiornamento: 25/06/2012


Il tuo feedback è importante

Raccontaci la tua esperienza e aiutaci a migliorare questa pagina.

Il tuo 5x1000 per sostenere le attività di ricerca

L'Università di Urbino destina tutte le risorse che deriveranno da questa iniziativa alla ricerca scientifica ed al sostegno di giovani ricercatori.

15 22

Se sei vittima di violenza o stalking chiama il 1522, scarica l'app o chatta su www.1522.eu

Il numero, gratuito è attivo 24 h su 24, accoglie con operatrici specializzate le richieste di aiuto e sostegno delle vittime di violenza e stalking.

Posta elettronica certificata

amministrazione@uniurb.legalmail.it

Social

Università degli Studi di Urbino Carlo Bo
Via Aurelio Saffi, 2 – 61029 Urbino PU – IT
Partita IVA 00448830414 – Codice Fiscale 82002850418
2024 © Tutti i diritti sono riservati

Top