Словарь по логике

 

Предикат (атрибутивного высказывания)
Термин, обозначающий то свойство, о наличии или отсутствии которого у некоторого объекта или объектов идет речь в атрибутивном высказывании.

При записи схем атрибутивных высказываний предикат обычно располагается после силлогистической связки и обозначается прописной латинской буквой P (от латинского praedicatum – предикат), как, например, в схемах: SaP, SeP, SoP, SeP и др.

При формализации силлогистик предикат обычно трактуется не как обозначающий некоторое свойство, а как обозначающий класс всех объектов, обладающих соответственным свойством.

В силлогистике обычно не рассматриваются высказывания с квантифицированным предикатом. Систематическая теория таких высказываний была построена У. Гамильтоном;.

Шиян Т.А.

© Автор статьи.