<<
>>

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

, раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъ-ектно-предикатной структуры предложений) правила оперирования с кванторами. См. Логика предикатов.

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ИСЧИСЛЕНИЕ ПРЕДИКАТОВ: