Il paradosso della temperatura, noto anche come paradosso di Partee, è un problema di semantica formale e di logica filosofica formulato da Barbara Partee. L'argomento, che sarebbe valido secondo alcune formalizzazioni, è il seguente:
- Premessa (1): La temperatura è in aumento.
- Premessa (2): La temperatura è novanta gradi.
- Conclusione: Pertanto, i novanta gradi sono in aumento.
La conclusione è errata. Il paradosso tratta l'affermazione "la temperatura è in aumento" come un'identità fra i termini "temperatura" e "in aumento". Quindi, applica la proprietà transitiva della logica formale: se A è equivalente a B e A è equivalente a C, allora B è equivalente a C.
Per prevedere correttamente l'invalidità di questo argomento, si deve prendere in considerazione il fatto che la prima premessa fa un'affermazione su come la temperatura cambia nel tempo, mentre la seconda fa un'affermazione sulla temperatura in un determinato momento. In altre parole, è vero che "la temperatura è novanta gradi adesso": l'avverbio di tempo impedisce di inferire la conclusione.
Inoltre, la prima premessa non afferma un'identità, bensì che la temperatura è uno dei molteplici enti che sono "in aumento", laddove gli altri enti in crescita non sono ulteriormente specificati.
Richard Montague assunse il paradosso a prova del fatto che i nominali denotano concetti individuali, definiti come funzioni di una coppia (tempo, mondo possibile), relativa ad un individuo.[1][2][3]
Note
[modifica | modifica wikitesto]- ^ (EN) Ilaria Frana, Concealed Questions, Oxford University Press, 2017, pp. 36–39, ISBN 978-0-19-967093-2.
- ^ (EN) L.T.F. Gamut, Logic, Language and Meaning: Intensional Logic and Logical Grammar, University of Chicago Press, 1991, pp. 203–204, ISBN 0-226-28088-8.
- ^ (EN) Richard Montague, The proper treatment of quantification in ordinary English, in R.H. Thomason (a cura di), Formal Philosophy: Selected papers by Richard Montague, Yale University Press, 1974.
Collegamenti esterni
[modifica | modifica wikitesto]- Fitting, Melvin, Intensional logic, su Zalta, Edward N. (a cura di), Stanford Encyclopedia of Philosophy.
