Температурный парадокс

• Температурный парадокс, или парадокс Парти, представляет собой классическую головоломку в области формальной семантики и философской логики. 
• Аргумент состоит из утверждения о том, что температура повышается, что приводит к неверному выводу о росте показателя девяносто. 
• Этот аргумент был бы справедлив в большинстве формализаций, основанных на традиционных экстенсиональных системах логики. 
• Чтобы правильно предсказать несостоятельность аргумента, формализация должна учитывать тот факт, что первая посылка утверждает о температуре в определенный момент времени, а вторая утверждает о том, как она меняется с течением времени. 
• Один из способов сделать это — применение интенсиональной логики к естественному языку, что позволяет «температуре» обозначать ее протяженность в первой посылке и ее интенсивность во второй. 
• Монтегю воспринял этот парадокс как доказательство того, что номиналы обозначают индивидуальные понятия, определяемые как функции от пары миров времени к отдельному человеку. 
• Последующие анализы основаны на этой общей идее, но отличаются спецификой формализации.