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