Предложения Рамсея: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Метки: с мобильного устройства из мобильной версии |
KrBot (обсуждение | вклад) м - изолированная статья |
||
Строка 7:
Предложение Рамсея теории <math>TC</math> на языке <math>L (Vo, Vt)</math> получается следующими двумя преобразованиями соединения <math>T</math>- и <math>C</math>-аксиом. Сначала все теоретические символы в этом соединении заменяются на переменные высшего порядка соответствующего типа. Затем эти переменные связываются с помощью экзистенциальных квантификаторов высшего порядка. В результате получается предложение высшего порядка следующего вида: <math>(TC^R) \exists X_1...\exists X_n TC(n_1,...,n_k, X_1,...,X_n)</math>
где <math>X_1,...,X_n</math> — переменные высшего порядка.
Это предложение говорит о том, что существует расширенная интерпретация теоретических терминов, которая вместе с ранее полученной интерпретацией языка наблюдения <math>L (Vo)</math>, проверяет аксиомы.
По словам Карнапа, Рамсей был озабочен тем, что термины для теоретических построений не могут описываться также, как эмпирические термины{{sfn|Карнап|2008|с=327-339}}. В итоге это приводит [[Философия науки|философию науки]] к вопросу о соответствии реального мира и теоретических терминов. Для того, чтобы снять вопрос о существовании того или иного объекта в принципе, возможно обращение к предложениям Рамсея, где элементы, описываемые научным языком, переводятся на формальный язык логики.
Строка 35:
== Развитие концепции ==
Подход Рамсея, согласно которому теоретические термины рассматриваются как скрытые определенные описания (1931), был развит Карнапом (1966), и получил свою окончательную формулировку в работе Льюиса “Как определить теоретические термины”{{sfn|Lewis D.|1970|p=427-446}} (1970). Дэвид Папино также развивает положения Рамсея{{sfn|Papineau D.|1996|p=1-20}}(1996).
Дэвид Льюис, не соглашаясь с Рамсеем и Карнапом, указывает на то, что существование наблюдаемых терминов, которые не имели бы элементы теоретичности, невозможно. Тем не менее, введение способа определения теоретических терминов, который использует только логические операции и O-термины, которые существуют до установления теории, по мнению Льюиса, позволяет сохранить концептуальную идею, которую закладывал Рамсей в свою модель.
Строка 165:
== Примечания ==
{{примечания}}
[[Категория:Философия науки|*]]
| |||