LOGIC

Il seminario offre una prima introduzione alla logica e alle sue applicazioni. Si presenterà la logica formale---logica del primo ordine con l’identità---la logica induttiva, la teoria delle relazioni e della probabilità. Si affronteranno poi questioni logiche di assoluta rilevanza scientifica.

Il seminario rappresenta una prima introduzione all’uso di strumenti formali astratti che sono onnipresenti nella filosofia, e nella teoria e pratica scientifica.

Conoscenza e familiarità con la logica formale che rappresenta lo strumento principale per indagare rigorosamente tematiche scientifiche e filosofiche; applicazione di strumenti formali rigorosi a casi filosofici e scientifici rilevanti

Non ci sono pre-requisiti. Il necessario sarà introdotto in classe.

Il seminario consiste di 15 sessioni, 2 ore per sessione, per un totale di 30 ore. Readings in Bibliography. I contenuti preliminari includono:
Introduzione : Logica e… Scienza (Nessuna Lettura)

Cenni di teoria degli insiemi (Reading: [6], Chapter 1)

Argomenti, Strutture, Logica Proposizionale 1 (Reading: [3] Chapter 2 and Chapter 3: § 3.1-3.4)

Logica Proposizionale 2 : Tavole di Verità per Formule e Argomenti (Reading: [3] Chapter 3, § 3.5-3.6)

Logica Proposizionale 3: Conclusione (Reading: [3] Chapter 3)

Logica Predicativa 1: Nomi e Quantificatori (Reading: [3] Chapter 6, § 6.1-6.3)

Logica Predicativa 2: Teoria semantica (Reading: [3], Chapter 3, §6.4)

Logica Predicativa 3: Validità e Contromodelli
(Reading: [2], §1.1-1.6, and [5])

Preparazione all’esame (Nessuna Lettura)


Opzionale

Teoria della Relazioni (Reading:[6] Chapter 2)

Teoria delle Relazioni (Reading: [6] Chapter 2)

Applicazioni di Teoria delle Relazioni (Reading: [1])

Probabilità 1 (Reading:[3] Chapter 10)

Probabilità 2 (Reading: [6], Chapter 5)

Logica Induttiva della Conferma (Reading: [4] Chapter 12)

[1] Bliss, R. and Priest, G. 2018. The Geography of Fundamentality. In Bliss, R. and Priest, G.(eds) Reality and Its Structure. Oxford: Oxford University Press, pp. 1-34.

[2] Bricker, P. 2014. Ontological Commitment. Stanford Encyclopedia of Philosophy. At https://plato.stanford.edu/entries/ontological-commitment/

[3] Nolt, J., Rohatyn, D., Varzi, A. 1998. Logic (2nd ed.). New York: McGraw Hill.

[4] Priest G. 2017. A Very Short Introduction to Logic. Oxford: Oxford University Press.

[5] Quine, W. v. O, 1948. On What There Is. Review of Metaphysics 2(5): 21-38.

[6] Steinhart, E. 2017. More Precisely. Toronto: Broadview.

L’esame consiste in un compito scritto alla fine del semestre. Sarà strutturato attorno ad argomenti differenti trattati nel corso. L’ultima sessione è completamente dedicata alla preparazione dell’esame. In effetti, un esempio di esame sarà distribuito in classe. L’esame finale dura approssimativamente tre ore.

scritto

Il/la docente ha il dovere di vigilare affinché siano rispettate le regole di autenticità e originalità delle prove d'esame. Di conseguenza, nei casi in cui vi sia il sospetto di un comportamento irregolare, l'esame può prevedere un ulteriore approfondimento, contestuale alla prova d'esame, che potrà essere realizzato anche in modalità differente rispetto alle modalità sopra riportate.

Sarà sufficiente per passare l'esame un voto di 18/30. Il massimo voto è 30L

Il seminario è strutturato in lezioni frontali. La partecipazione degli studenti è tuttavia altamente incoraggiata.