ЛОГИКА ПРЕДИКАТОВ

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

Источник: Большой энциклопедический словарь на Gufo.me


Значения в других словарях

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