温度悖论 温度悖论或帕蒂悖论是形式语义学和哲学逻辑中的经典难题它由芭芭拉帕蒂英语Barbara Partee在世纪年代提出其中包含的以下论点英语使用者认为它们完全无效 温度是九十度 温度在升高 因此九十正在升高 无效结论 尽管该结论明显无效但该论点在大多数基于传统外延逻辑系统的形式化中都是有效的例如以下一阶谓词逻辑的形式化通过莱布尼茨定律是有效的 t Rt R此形式化中的有效结论 为了在不放弃莱布尼茨定律的情况下正确预测论证的无效性形式化工作必须注意到这样一个事实即第一个前提声名了特定时间点的温度而第二个前提则描述它如何随时间变化理查德蒙塔古 Richard Montague提出的一种方法是采用自然语言的内涵逻辑从而允许温度在第一个前提中表示其外延在第二个前提中表示其内涵 延伸t R强度t R无效结论 因此蒙塔古认为以下函数为悖论该函数表示个体概念然而其定义为从时间对应到个体后来的分析建立在此总体思路之上但在形式化的细节上有所不同