Выделяющие и исключающие суждения.

(в таких суждениях уточняется объём предиката)

Термин считается распределённым(+), если его объём полностью включается в объём другого или полностью исключается из него.

Нераспределённым (–), если частично включен или частично исключён из другого термина.

 

Общеутвердительное(А) «все S есть P» ,

если выделяющее, то объёмы S и P совпадают «Все S и только S есть P»

Общеотрицательное(E ) «ни один S не есть P»

 

Частновыделяющие – суждение, где уточняется объём предиката

 

Частноутвердительное(I) «Некоторые S есть P»

если выделяющее, то P(+) «некоторые S, и только S, есть P»

Частноотрицателное(О) «некоторые S не есть P»

если выделяющее, то P(+) «некоторые S, и только, S не есть P»

Исключающие – суждения, в которых отражается принадлежность признака всем предметам, за исключением некоторой части. «Все S, за исключением , суть P»