Предложения Рамсея

---

Предложения Рамсея — формальное логическое построение, заложенное Фрэнком Рамсеем и развитое Рудольфом Карнапом. Предложения Рамсея направлены на решение вопроса об эмпирическом статусе теоретических терминов и их разграничении с метафизическими терминами. В своих работах Рамсей и Карнап стремились предоставить предложениям, состоящим из теоретических терминов, статус терминов наблюдения.

Теория должна быть сформулирована на языке ${\displaystyle L(Vo,Vt)}$, где ${\displaystyle Vt}$ — теоретические термины, ${\displaystyle Vo}$ — наблюдаемые термины. Разделение описательного словаря проводит черту между ${\displaystyle T}$- и ${\displaystyle C}$-аксиомами, где ${\displaystyle T}$-аксиомы содержат только символы ${\displaystyle Vt}$, а ${\displaystyle C}$-аксиомы содержат символы ${\displaystyle Vo}$ и ${\displaystyle Vt}$. ${\displaystyle C}$-аксиомы устанавливают связь между теоретическим и наблюдательным терминами. ${\displaystyle TC}$ обозначает соединение ${\displaystyle T}$- и ${\displaystyle C}$-аксиом.

---