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

Первый ряд содержит четыре категорических суждения. Второй ряд содержит соответствующие обверсивные суждения. Третий ряд содержит конверсивные суждения относительно суждений из второго ряда. А четвертый ряд содержит обверсивные суждения относительно суждений из третьего ряда.

Суждения в третьем ряду называются частично противопоставленными (контрапозитивными) предикату суждений в первом ряду. Частично противопоставленное предикату суждение относительно какого-либо суждения – это суждение, в котором субъект является противоречием предиката исходного суждения, тогда как предикат является субъектом исходного суждения. Частично противопоставленное предикату суждение также отличается от исходного суждения по качеству. Суждения типа I не имеют частично противопоставленных предикату суждений, а суждения типа Е обретают частично противопоставленное предикату суждение только посредством ограничения. Суждения, частично противопоставленные предикату суждений типа А и О, эквивалентны исходным суждениям.

Суждения в четвертом ряду являются суждениями, полностью противопоставленными предикату соответствующих суждений из первого ряда. Суждение, полностью противопоставленное предикату некоторого другого суждения, – это суждение, в котором субъект является противоречием исходного предиката, а предикат – противоречием исходного субъекта. Полностью противопоставленное предикату суждение имеет то же качество, что и исходное суждение. Как и в случае с частично противопоставленным предикату суждением, суждения типа I не обладают суждениями, полностью противопоставленными предикату, а суждения типа Е обретают их только посредством ограничения.

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

Следует отметить, что суждения типа Е и I обладают превращенными конверсными суждениями без посредства ограничения, суждения типа А обретают превращенное конверсное суждение посредством ограничения, тогда как суждения типа О вообще таковыми не обладают.

Дано суждение «все физики являются математиками». Что можно заключить об отношении не-физиков к математикам или к не-математикам? Рассмотрим, к каким заключениям можно обоснованно прийти с помощью обращений и превращений.

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

Следовательно, если мы сначала обратим суждение типа А, мы вскоре вынуждены будем остановиться, поскольку суждение типа О не может быть обращено. Если же мы сначала превратим суждение А, то получим два суждения, которые будут удовлетворительными. «Некоторые не-физики не являются математиками» называется частично инверсивным суждением относительно исходного суждения. Его субъект является противоречием исходного субъекта, а его предикат совпадает с исходным предикатом. «Некоторые не-физики являются не-математиками» называется полностью инверсивным суждением. В нем как субъект, так и предикат противоречат исходным субъекту и предикату соответственно.

Все ли формы категорического суждения обладают инверсивным суждением? Если читатель использует указанный метод, то из суждения «ни один профессор не является недобрым» он сможет вывести суждение «некоторые не-профессора являются недобрыми» (частично инверсивное суждение) и «некоторые не-профессора не являются добрыми» (полностью инверсивное суждение). Однако из суждения типа I и О инверсивные суждения получить нельзя. Следовательно, только общие суждения обладают инверсивными суждениями, и в каждом случае инверсия осуществляется посредством ограничения.

Операция инверсии иногда может приводить к кажущимся абсурдными результатам, как, например, при получении из суждения «все честные люди смертны» инверсивного суждения «некоторые бесчестные люди бессмертны». На каком этапе вкралась ошибка? Ответ: при небрежном использовании отрицаний. Настоящим инверсивным суждением относительно исходного будет суждение «некоторые из тех, кто не является честным человеком, являются не-смертными», которое вовсе не абсурдно. Класс сущностей, не являющихся честными людьми, шире класса бесчестных людей и включает в себя треугольники и т. п., которые, разумеется, являются не-смертными.

«Одну минутку!» – может возразить читатель. «Частично инверсивным суждением для суждения «все физики являются математиками» является суждение «некоторые не-физики не являются математиками». В первом суждении предикат нераспределен, тогда как во втором – распределен. Как же можно утверждать, что второе суждение является обоснованным следствием первого? Нет ли здесь нарушения принципа о распределенности терминов?»

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

Источник сложностей с инверсией теперь прояснен. Чтобы получить инверсивное суждение из суждения «все физики – математики», нам нужно обратить суждение «все не-математики являются не-физиками». Это возможно, только если мы добавим третью посылку: «Некоторые люди являются не-физиками». Если такая посылка имеется, то частично инверсивное суждение не нарушает принципа распределенности терминов.