ЛОГИКА ПРЕДИКАТОВ
ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.
Источник:
Большой энциклопедический словарь
на Gufo.me
Значения в других словарях
- ЛОГИКА ПРЕДИКАТОВ — ЛОГИКА ПРЕДИКАТОВ – раздел современной логики символической [ЛОГИКА СИМВОЛИЧЕСКАЯ], изучающий рассуждения и другие языковые контексты с учетом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально... Новая философская энциклопедия
- Логика предикатов — Раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации (См. Большая советская энциклопедия
- логика предикатов — ЛОГИКА ПРЕДИКАТОВ — раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. Энциклопедия эпистемологии и философии науки
