Общая качественно-количественная классификация категорических суждений

В целом к числу разновидностей категорических высказываний относятся суждения следующих логических форм: 1). «Данное S есть P» — единично-утвердительное, т. е. такое, в котором содержащему только один элемент в своём объёме предмету мысли предицируется наличие какого-либо признака. 2). «Данное S не есть P» — единично-отрицательное, т. е. такое, в котором содержащему только один элемент в своём объёме предмету мысли предицируется отсутствие какого-либо признака. 3). «Все S есть P» — общеутвердительное, т. е. такое, в котором всем элементам предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется наличие какого-либо признака. 4). «Ни одно S не есть P» — общеотрицательное, т. е. такое, в котором всем элементам предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется отсутствие какого-либо признака. 5). «Некоторые S есть P» — частноутвердительное, т. е. такое, в котором части элементов предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется наличие какого-либо свойства («некоторые» в силлогистике берётся в смысле — «по крайней мере, некоторые», а не в смысле «только некоторые»). 6). «Некоторые S не есть P» — частноотрицательное, т. е. такое, в котором части (в означенном смысле) элементов предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется отсутствие какого-либо признака.