Температурный парадокс
Температурный парадокс или парадокс Парти — это классическая головоломка формальной семантики и философской логики . Сформулированный Барбарой Парти в 1970-х годах, он состоит из следующего аргумента, который носители английского языка считают совершенно несостоятельным .
- Температура девяносто.
- Температура повышается.
- Поэтому девяносто растет. (недействительный вывод)
Несмотря на очевидную несостоятельность этого аргумента, он будет справедлив в большинстве формализаций, основанных на традиционных экстенсиональных системах логики. Например, следующая формализация в логике предикатов первого порядка будет справедливой в соответствии с законом Лейбница :
- т=90
- Р(т)
- R(90) (действительный вывод в этой формализации)
Чтобы правильно предсказать несостоятельность аргумента, не отказываясь при этом от закона Лейбница, формализация должна учитывать тот факт, что первая посылка утверждает о температуре в конкретный момент времени, а вторая утверждает о том, как она меняется с течением времени. Один из способов сделать это, предложенный Ричардом Монтегю , состоит в том, чтобы принять интенсиональную логику естественного языка, позволяя, таким образом, «температуре» обозначать его протяженность в первой посылке и ее интенсионал во второй.
- расширение(т)=90
- R(намерение(т))
- R(90) (недействительный вывод)
Таким образом, Монтегю воспринял парадокс как свидетельство того, что номиналы обозначают отдельные понятия , определяемые как функции от пары мир -время к индивидууму. Более поздние анализы основываются на этой общей идее, но отличаются особенностями формализации. [1] [2] [3] [4]
Примечания [ править ]
- ^ Франа, Илария (2017). Скрытые вопросы . Издательство Оксфордского университета. стр. 36–39. ISBN 978-0-19-967093-2 .
- ^ Гамут, ЛТФ (1991). Логика, язык и значение: интенсиональная логика и логическая грамматика . Издательство Чикагского университета. стр. 203–204. ISBN 0-226-28088-8 .
- ^ Монтегю, Ричард (1974). «Правильное обращение с количественной оценкой в обычном английском языке». В Томасоне, Р.Х. (ред.). Формальная философия: Избранные статьи Ричарда Монтегю . Издательство Йельского университета.
- ^ Лёбнер, Себастьян (2020). «Парадокс партии. Рост температуры и цифр» (PDF) . Wiley Companion to Semantics . Уайли Пресс.
Внешние ссылки [ править ]
- Фиттинг, Мелвин . «Интенсиональная логика» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
 | Эта о семантике статья незавершена . Вы можете помочь Википедии, расширив ее . |