функция, область значений которой составляют высказывания, обладающие определенным истинностным значением. По своей структуре П. ф. сходна с грамматическим предложением, но отличается от последнего наличием переменных, которые пробегают какое-то множество объектов; П. ф. ставит в соответствие этим объектам высказывания.
Общая характеристика анализа пропозициональных установок
Определение 1
Анализ пропозициональных... Пропозициональные установки могут быть выражены в виде логических формул, которые состоят из:
пропозициональных... Связки определяют отношения между пропозициональными переменными, например, «и», «или», «не».... Впервые термин «пропозициональные предложения» употребил в 1940-е годы Б. Рассел.... Деревья вывода используются для построения логического вывода из пропозициональных установок.
В статье анализируются средства и способы языковой репрезентации концептуального поля с глагольным ядром to feel. Выявляются модели пропозициональных конструкций, обозначающих экспериенциальные ситуации и отражающих соответствующие концептуальные структуры, обеспечивающие хранение знаний о рассмотренных ситуациях в лексиконе человека.
Характеристика пропозициональных формул
Определение 2
Пропозициональные формулы - это выражения... , а используемые для их обозначения символы – пропозициональнымисвязками.... Пропозициональная формула определяется индуктивным образом:
всякая пропозициональная переменная является... связкой также будет получена формула.... пропозициональных переменных.
В статье формулируется нестандартная семантика языка позитивной силлогистики, в которой значимость элементарных формул (форм категорических высказываний) определяется в терминах релевантного следования. Эта идея реализуется в рамках предложенного В.И. Шалаком [3] подхода к построению семантики силлогистики: субъектам и предикатам категорических высказываний сопоставляются в качестве значений формулы языка пропозициональной логики, а определение значимости силлогистических формул использует отношение классической выводимости. В данной работе это отношение заменяется на отношение следования в релевантной логике FDE. Интерпретационная функция ставит в соответствие каждому общему термину некоторую формулу пропозиционального языка с исходными связками :, ^ и _. Постулируются следующие условия значимости формул силлогистики при интерпретации : SaP значима, е.т.е. из (S) релевантно следует (P); SeP значима, е.т.е. из (S) релевантно следует : (P); SiP значима, е.т.е. из (S) не следует релев...
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
