FILOSOFIA DELLA SCIENZA
cod. 1000330

Anno accademico 2023/24
3° anno di corso - Secondo semestre
Docente
Alessandro TORZA
Settore scientifico disciplinare
Logica e filosofia della scienza (M-FIL/02)
Ambito
Discipline filosofiche
Tipologia attività formativa
Caratterizzante
30 ore
di attività frontali
6 crediti
sede: PARMA
insegnamento
in INGLESE

Obiettivi formativi

Il corso si propone di fornire agli studenti un'introduzione alla pratica della filosofia con gli strumenti della logica di ordine superiore, cioè di quella logica che permette la quantificazione in posizione di termini singolari, predicati, enunciati, operatori enunciativi, ecc.
L'obiettivo sarà quello di (i) fornire agli studenti gli strumenti per comprendere le nozioni, le strategie e la direzione generale del dibattito (molto vivo e in evoluzione) sulla metafisica di ordine superiore; (ii) mostrare, attraverso casi specifici, come il pensiero di ordine superiore possa costituire un netto miglioramento rispetto al pensiero standard di primo ordine nella risoluzione dei problemi metafisici; (iii) valutare la fattibilità del programma di ricerca sulla metafisica di ordine superiore attraverso un'analisi costo-beneficio.

Prerequisiti

- - -

Contenuti dell'insegnamento


Nella seconda metà del XX secolo, la filosofia è stata ampiamente influenzata dalla duplice tesi metaontologica di W. V. O. Quine secondo cui (i) la nozione di esistenza dovrebbe essere formalizzata in termini di quantificatore esistenziale e (ii) la quantificazione dovrebbe essere del primo ordine. (La quantificazione del primo ordine è la quantificazione in posizione di termine singolare).
La condizione i, anche se occasionalmente messa in discussione, è sostanzialmente sopravvissuta indenne. La condizione ii, invece, è stata messa in discussione da una recente e sofisticata svolta metodologica associata alla cosiddetta "metafisica di ordine superiore". In parole povere, la metafisica di ordine superiore è una metafisica sviluppata con gli strumenti della logica di ordine superiore.
I teorici della logica di ordine superiore ritengono, contrariamente a Quine, che la quantificazione in posizione di predicato o di enunciato sia legittima e indispensabile. È legittima nella misura in cui non è concettualmente meno problematica della quantificazione in posizione di termine singolare. È indispensabile perché ci permette di chiarire o risolvere una serie di problemi classici della metafisica, della logica e della filosofia in generale.
Il presente corso fornirà un'introduzione sia alla logica di ordine superiore che alla metafisica di ordine superiore, attraverso la lettura, l'analisi e la discussione di alcuni dei lavori più significativi degli ultimi vent'anni sull'argomento, nonché dei lavori in corso di autorevoli logici e metafisici. L'obiettivo generale è capire fino a che punto sia possibile, oltre che auspicabile, riformulare gran parte della filosofia analitica in un linguaggio di ordine superiore, abbandonando così un principio fondamentale della tradizione quineana.

Programma esteso


INTRODUZIONE ALLA LOGICA DI ORDINE SUPERIORE
Letture: Sider, T. (ms1).

MOTIVARE LA METAFISICA DI ORDINE SUPERIORE
Letture: Goodman (FORTHCOMING), Bacon (FORTHCOMING).

PROPRIETÀ E METAFISICA DI ORDINE SUPERIORE
Letture: Hale (2013), Jones (2018), Liggins (2021).

IDENTITÀ E METAFISICA DI ORDINE SUPERIORE
Letture: Urbaniak (2009).

QUANTIFICAZIONE E METAFISICA DI ORDINE SUPERIORE
Letture: Williamson (2003), Skiba (FORTHCOMING).

MODALITÀ E METAFISICA DI ORDINE SUPERIORE
Letture: Goodman (2016).

METODOLOGIA DELLA METAFISICA DELL'ORDINE SUPERIORE
Letture: Sider (ms2), Hofweber (2022).

Bibliografia


TESTI ESSENZIALI

Bacon, Andrew (forth). A Case For Higher-Order Metaphysics. In Peter Fritz & Nicholas K. Jones (eds.), Higher-order Metaphysics.
Goodman, Jeremy (2016). An Argument For Necessitism. Philosophical Perspectives 30 (1):160-182.
Goodman, Jeremy (forthcoming). Higher-order logic as metaphysics. In Peter Fritz & Jones Nicholas (eds.), Higher-Order Metaphysics. Oxford University Press.
Hale, B. (2013). Properties and the Interpretation of Second-Order Logic. Philosophia Mathematica 21 (2):133-156.
Hofweber, Thomas (2022). The case against higher-order metaphysics. Metaphysics 1 (5):29-50.
Jones, Nicholas K. (2018). Nominalist Realism. Noûs 52 (4):808-835.
Liggins, David (2021). Should a higher-order metaphysician believe in properties? Synthese 199 (3-4):10017-10037.
Sider, T. (ms1). Crash course on higher-order logic <https://tedsider.org/teaching/higher_order_20/higher_order_crash_course.pdf>
Sider, Ted (ms2). Higher order metametaphysics. <https://tedsider.org/papers/higher_order_metametaphysics.pdf>
Skiba, Lukas (forthcoming). Engineering Existence? Inquiry: An Interdisciplinary Journal of Philosophy.
Urbaniak, Rafal (2009). A Note on Identity and Higher Order Quantification. Australasian Journal of Logic 7:48-55.
Williamson, Timothy (2003). Everything. Philosophical Perspectives 17 (1):415– 465.

TESTI FACOLTATIVI

Fritz, Peter & Jones, Nicholas K. (eds.) (forthcoming). Higher-order Metaphysics. Oxford University Press.
Krämer, Stephan (2014). Semantic values in higher-order semantics. Philosophical Studies 168 (3):709-724.
Skiba, Lukas (2021). Higher-order metaphysics. Philosophy Compass 16 (10):1-11.
Trueman, Robert (2020). Properties and Propositions: The Metaphysics of Higher- Order Logic. Cambridge: Cambridge University Press.

Metodi didattici


Il metodo di insegnamento si atterrà agli standard della filosofia analitica, che prevede la presentazione di teorie e modelli per mezzo di definizioni chiare e rigorose, che vengono poi discusse e messe alla prova con una serie di dati e risultati formali. Il metodo è concepito per ottimizzare la comprensione di un importante cambiamento ora in corso, ossia il passaggio a una concezione di ordine superiore della metafisica.

Modalità verifica apprendimento


Oral examination.

Altre informazioni

- - -