Общая характеристика логикипредикатов
Определение 1
Язык логикипредикатов – это один из искусственных... Как следует из названия, язык логикипредикатов используется в конкретном разделе логики – логикепредикатов... Определение 2
Логикапредикатов – это раздел логики, исследующий рассуждения и другие языковые контексты... Элементы языка логикипредикатов
В языке логикипредикатов используются следующие символы:
Предметные... предикатов первого порядка и логикупредикатов высших порядков.
Обоснован тезис о неединственности логики предикатов. Предложена их классификация, основанная на определении уровня и характера контрадикторности логической системы.
Общая характеристика предикатов с одним переменным
Определение 1
Логикапредикатов с одним переменным... – это раздел формальной логики, занимающийся исследованием выводов, учитывающих субъектно-предикатную... Логикапредикатов расширяет логику высказываний.... Все законы, определенные в логике высказываний, сохраняют справедливость в логикепредикатов – а обратное... С этой позиции можно утверждать, что логикапредикатов отличается большей фундаментальностью, чем логика
Автор статьи сопоставляет представление о предикате и предикативности, сложившееся в логике и в лингвистике, и приходит к выводу, что понятие предикативности обладает более широким значением, чем понятие предиката, так как предикативность выходит за рамки традиционной грамматики и является экстралингвистическим термином.
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
