溫度悖論
外觀
此條目翻譯品質不佳。 (2023年5月8日) |
溫度悖論或帕蒂悖論是形式語義學和哲學邏輯中的經典難題。它由芭芭拉·帕蒂在20世紀70年代提出。其中包含的以下論點,英語使用者認為它們完全無效。
- 溫度是九十度。
- 溫度在升高。
- 因此,九十正在升高。 (無效結論)
儘管該結論明顯無效,但該論點在大多數基於傳統外延邏輯系統的形式化中都是有效的。例如,以下一階謂詞邏輯的形式化通過萊布尼茨定律是有效的:
- t=90
- R(t)
- R(90)(此形式化中的有效結論)
為了在不放棄萊布尼茨定律的情況下正確預測論證的無效性,形式化工作必須注意到這樣一個事實,即第一個前提聲名了特定時間點的溫度,而第二個前提則描述它如何隨時間變化。理查德·蒙塔古 (Richard Montague)提出的一種方法是採用自然語言的內涵邏輯,從而允許「溫度」在第一個前提中表示其外延,在第二個前提中表示其內涵。
- 延伸(t)=90
- R(強度(t))
- R(90)(無效結論)
因此,蒙塔古認為以下函數為悖論:該函數表示個體概念,然而其定義為從時間對應到個體。後來的分析建立在此總體思路之上,但在形式化的細節上有所不同。 [1] [2] [3] [4]
參考資料
[編輯]- ^ Frana, Ilaria. Concealed Questions. Oxford University Press. 2017: 36–39. ISBN 978-0-19-967093-2.
- ^ Gamut, L.T.F. Logic, Language and Meaning: Intensional Logic and Logical Grammar. University of Chicago Press. 1991: 203–204. ISBN 0-226-28088-8.
- ^ Montague, Richard. The proper treatment of quantification in ordinary English. Thomason, R.H. (編). Formal Philosophy: Selected papers by Richard Montague. Yale University Press. 1974.
- ^ Löbner, Sebastian. The Partee Paradox. Rising Temperatures and Numbers (PDF). The Wiley Companion to Semantics. Wiley Press. 2020 [2023-05-04]. (原始內容存檔 (PDF)於2022-10-07).
外部連結
[編輯]- Fitting, Melvin. Intensional logic. 扎爾塔, 愛德華·N (編). 《史丹福哲学百科全书》.