Введение в логику и научный метод. Моррис Коэн

суждения можно получить и иным путем. Если нам дано суждение «приветствуются все работники», то что мы можем заключить об отношении между работниками и теми, кто приветствуется? Очевидно, что суждение «ни один работник не является не приветствующимся» будет обоснованным заключением. Эти два суждения являются эквивалентными: в первом говорится, что нет таких, кто был бы работником и не приветствовался бы; во втором суждении утверждается то же самое. Такое умозаключение называется «превращением», а каждое из этих двух суждений является обверсивным относительно другого. Субъекты в этих суждениях одни и те же, но предикативный термин одного из них является отрицанием или противоречием другого; также данные суждения являются различными по качеству. Необходимо внимательно следить за тем, чтобы предикат обверсивного суждения в заключении был противоречием предиката в посылке. Так, обверсивным суждением относительно «все листья – желтые» не будет суждение «ни один лист не является синим», т. к. «зеленый» и «синий» не противоречащие термины, а только лишь противоположные. Два термина являются противоречащими в предметной области, если их объемы не только полностью исчерпывают эту область, но и исключают друг друга; объемы противоположных терминов лишь исключают друг друга. Обверсивным суждением для суждения «все листья – зеленые» будет суждение «ни один лист не является незеленым» или, проще говоря, «нет листьев, кроме зеленых».

      Превращенными могут быть все четыре типа категорических суждений без каких-либо ограничений. Читателю следует самостоятельно удостовериться в том, что обверсивным суждением для «ни один лапландец не является образованным» будет суждение «все лапландцы – необразованные», для суждения «некоторые президенты колледжей умны» – «некоторые президенты колледжей не являются неумными», для суждения «некоторые газы не являются ядовитыми» – «некоторые газы являются неядовитыми».

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

      Противопоставление предикату (контрапозиция)

      Возьмем суждение «все разумные прошения рассматриваются». Что на его основании можно заключить об отношении нерассматриваемых вещей, с одной стороны, к разумным прошениям, а с другой стороны, к неразумным прошениям? Читатель может признать, что допустимым заключением будет суждение «ни одна нерассматриваемая вещь не является разумным прошением», а также суждение «все нерассматриваемые вещи суть неразумные прошения». Однако в случае, если читатель не усматривает, что данные заключения являются необходимыми, ему следует осуществить следующую серию превращений и обращений. Мы рассмотрим все четыре категорических суждения вместе.

      Первый ряд содержит четыре категорических