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