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

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.