КВАНТИФИКАЦИЯ ПРЕДИКАТА

(лат. quantum — сколько, англ. quantity — количество) — установление объема предиката суждения. В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждении: общие (напр., “Все квадраты — четырехугольники”) и частные (напр., “Нек-рые студенты — спортсмены”). Гамильтон предложил учитывать также объем предиката. Т. обр., кроме двух видов утвердительных суждений, в к-рых предикат взят не во всем объеме и к-рые Гамильтон называет обще-частным и частно-частным, выделяются еще два вида: обще-общее (напр., “Все равносторонние треугольники суть равноугольные треугольники”) и частно-общее (напр., “Нек-рые деревья—дубы”), в к-рых предикат берется во всем объеме. Такая К. п. позволила рассматривать суждение как уравнение. Операции К. п. в математической логике в нек-рой степени соответствует операция связывания кванторами переменных предикатов.