ЛОГИКА ПРЕДИКАТОВ, или: Функциональная логика, теория квантификации, кванторная логика,
ЛОГИКА ЭПИСТЕМИЧЕСКАЯ (от греч. episteme - знание)
Источник:
Ивин А. А., Никифоров А. Л. Словарь по логике - М.: Туманит, изд. центр ВЛАДОС, 1997. - 384 с.