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

Температурный парадокс или парадокс Парти — это классическая головоломка формальной семантики и философской логики . Сформулированный Барбарой Парти в 1970-х годах, он состоит из следующего аргумента, который носители английского языка считают совершенно несостоятельным .

1. Температура девяносто.
2. Температура повышается.
3. Поэтому девяносто растет. (недействительный вывод)

Несмотря на очевидную несостоятельность этого аргумента, он будет справедлив в большинстве формализаций, основанных на традиционных экстенсиональных системах логики. Например, следующая формализация в логике предикатов первого порядка будет справедливой в соответствии с законом Лейбница :

1. т=90
2. Р(т)
3. R(90) (действительный вывод в этой формализации)

Чтобы правильно предсказать несостоятельность аргумента, не отказываясь при этом от закона Лейбница, формализация должна учитывать тот факт, что первая посылка утверждает о температуре в конкретный момент времени, а вторая утверждает о том, как она меняется с течением времени. Один из способов сделать это, предложенный Ричардом Монтегю , состоит в том, чтобы принять интенсиональную логику естественного языка, позволяя, таким образом, «температуре» обозначать его протяженность в первой посылке и ее интенсионал во второй.

1. расширение(т)=90
2. R(намерение(т))
3. R(90) (недействительный вывод)

Таким образом, Монтегю воспринял парадокс как свидетельство того, что номиналы обозначают отдельные понятия , определяемые как функции от пары мир -время к индивидууму. Более поздние анализы основываются на этой общей идее, но отличаются особенностями формализации.

Внешние ссылки

• Фиттинг, Мелвин . «Интенсиональная логика» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .