S есть Р → aS есть аР. Пример: «Все кошки - хищники» → «Все домашние кошки - домашние хищники».

Пример: «Все кошки - хищники» → «Все домашние кошки - домашние хищники».

Как правило, ограничения в целом неправомерны, не всегда суждения, полученные с помощью прибавление признаков, являются состоятельными.

Пример: «Черепаха – животное» → «Быстрая черепаха - быстрое животное» - это не так, но если «Все черепахи – животные», то «Все морские черепахи - морские животные».

Почему в одном случае суждение правомерно, а в другом случае - нет? Логика ставит условия, при выполнении которых суждения являются правомерными. В качестве такого правила для общеутвердительных суждений (А) может быть сформулировано следующее: ограничивающий признак не может иметь никаких количественных градаций, т. е. этот признак должен быть точечным свойством. Этим свойством предмет может или обладать, или не обладать, но не может обладать в какой-то степени. В примерах «хищник», «домашний», «морской» представляют собой точечные свойства. Свойство «быстрый» - не точечное, а линейное. Такие свойства не должны выступать в качестве ограничивающих признаков.

В суждениях общеутвердительных, S - распределен, Р - нераспределен. Если же S и Р, тождественны по объему, или же суждения общеотрицательные, когда S и Р распределены, то операция ограничения всегда правомерна, независимо от характера ограничивающего признака.

Пример: «Квадраты являются равносторонними прямоугольниками» → «Значит, большие квадраты являются большими равносторонними прямоугольниками».

Вывод: ограничение простых атрибутивных суждений будут правомерны в том случае, когда S и Р - распределены.

Отрицание суждения - это операция, состоящая в преобразовании логического содержания отрицаемого суждения, конечным результатом которой является формулирование нового суждения, находящегося в отношении противоречия к исходному суждению. Отрицание атрибутивного суждения производится по закономерностям: А = О ;