Квантификация предиката

КВАНТИФИКАЦИЯ ПРЕДИКАТА (лат. quantum — сколько, англ. quantity — количество) — установление объема предиката суждения. В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждений: общие (например, «Все квадраты — четырехугольники») и частные (например, «Некоторые студенты — спортсмены»), Гамильтон предложил учитывать также объем предиката. Таким образом, кроме двух видов утвердительных суждений, в которых предикат взят не во всем объеме и которые Гамильтон называет обще-частным и частно-частным, выделяются еще два вида: обще-общее (напр., «Все равносторонние треугольники суть равноугольные треугольники») и частно-общее (напр., «Некоторые деревья — дубы»), в которых предикат берется во всем объеме. Такая К. п. позволила рассматривать суждение как уравнение. Операции К. п. в математической логике в некоторой степени соответствует операция связывания кванторами переменных предикатов.