温度悖论

温度悖论或Partee悖论是形式语义和哲学逻辑中的经典难题。 它由 Barbara Partee 制定，由以下论点组成，许多形式化错误地预测该论点是有效的。

温度悖论

温度正在上升。
温度九十。
因此，九十正在上升。 （无效结论）
为了正确预测这个论点的无效性，形式化必须捕捉到这样一个事实：第一个前提断言温度如何随时间变化，而第二个前提断言特定时间点的温度。 理查德·蒙塔古将这个悖论作为名词表示个体概念的证据，定义为从世界时间对到个体的函数。

参考资料：
Frana, Ilaria (2017). Concealed Questions. Oxford University Press. pp. 36–39. ISBN 978-0-19-967093-2.
Gamut, L.T.F. (1991). Logic, Language and Meaning: Intensional Logic and Logical Grammar. University of Chicago Press. pp. 203–204. ISBN 0-226-28088-8.
Montague, Richard (1974). "The proper treatment of quantification in ordinary English". In Thomason, R.H. (ed.). Formal Philosophy: Selected papers by Richard Montague. Yale University Press.
Fitting, Melvin. "Intensional logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.