Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

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

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