溫度悖論帕蒂悖論是形式語義學和哲學邏輯中的經典難題。它由芭芭拉·帕蒂英語Barbara Partee20世紀70年代提出。其中包含的以下論點,英語使用者認為它們完全無效

  1. 溫度是九十度。
  2. 溫度在升高。
  3. 因此,九十正在升高。 (無效結論)

儘管該結論明顯無效,但該論點在大多數基於傳統外延邏輯系統的形式化中都是有效的。例如,以下一階謂詞邏輯的形式化通過萊布尼茨定律有效的:

  1. t=90
  2. R(t)
  3. R(90)(此形式化中的有效結論)

為了在不放棄萊布尼茨定律的情況下正確預測論證的無效性,形式化工作必須注意到這樣一個事實,即第一個前提聲名了特定時間點的溫度,而第二個前提則描述它如何隨時間變化。理察·蒙塔古 (Richard Montague)提出的一種方法是採用自然語言的內涵邏輯,從而允許「溫度」在第一個前提中表示其外延,在第二個前提中表示其內涵

  1. 延伸(t)=90
  2. R(強度(t))
  3. R(90)(無效結論)

因此,蒙塔古認為以下函數為悖論:該函數表示個體概念,然而其定義為從時間對應到個體。後來的分析建立在此總體思路之上,但在形式化的細節上有所不同。 [1] [2] [3] [4]

參考資料

編輯
  1. ^ Frana, Ilaria. Concealed Questions. Oxford University Press. 2017: 36–39. ISBN 978-0-19-967093-2. 
  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. 
  3. ^ Montague, Richard. The proper treatment of quantification in ordinary English. Thomason, R.H. (編). Formal Philosophy: Selected papers by Richard Montague. Yale University Press. 1974. 
  4. ^ 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). 

外部連結

編輯