предикатов

См. также в других словарях:

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки …   Математическая энциклопедия

• ПРЕДИКАТОВ КЛАССИФИКАЦИИ — (иерархии предикатов) – методы приписывания предикатам (в формализованных исчислениях логики и математики) различных степеней конструктивности , базирующиеся на идеях и аппарате теории алгоритмов и теории рекурсивных функций и предикатов и… …   Философская энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• Логика предикатов —         раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …   Большая советская энциклопедия

• ИСЧИСЛЕНИЕ ПРЕДИКАТОВ —         раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… …   Философская энциклопедия

• логика предикатов — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. Смотри… …   Энциклопедический словарь

• логика предикатов —         ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… …   Энциклопедия эпистемологии и философии науки

• исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие …   Энциклопедический словарь

• ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См.… …   Большой Энциклопедический словарь

• ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… …   Большой Энциклопедический словарь