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

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

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

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

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

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

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

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

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

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

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

Из суждения «Чикаго расположен к западу от Нью-Йорка» можно обоснованно вывести суждение «Нью-Йорк расположен к востоку от Чикаго», из суждения «Сократ был учителем Платона» – суждение «Платон был учеником Сократа», из «семь больше пяти» – «пять меньше семи». Каждая из приведенных пар суждений представляет два эквивалентных суждения. Такие умозаключения имеют следующую форму: если а находится к Ь в определенном отношении, Ь находится к а в обратном отношении.

На данном этапе нам предстоит изучить, что такое эквивалентные формы сложных суждений.

Рассмотрим условное суждение «если треугольник – равнобедренный, то углы у его основания равны». Утверждать это суждение, как мы уже знаем, означает утверждать, что истинность антецедента предполагает истинность консеквента, или что не может быть такого, чтобы антецедент был истинным, а консеквент – ложным. Следовательно, в данном условном суждении утверждается, что конъюнктивное суждение «треугольник является равнобедренным, и углы при его основании неравны» ложно. Или же, что строго дизъюнктивное суждение «неверно, что треугольник является равнобедренным и вместе с этим углы у его основания неравны» является истинным. Таким образом, из условного суждения мы можем вывести дизъюнкцию.

Более того, из строгой дизъюнкции мы также можем вывести условное суждение. Если дано суждение «неверно, что треугольник является равносторонним и вместе с этим углы у его основания неравны», то истинность одного дизъюнкта несовместима с истинностью другого: если один дизъюнкт истинен, другой должен быть ложным. Следовательно, из этого строго дизъюнктивного суждения мы можем вывести суждение «если треугольник является равнобедренным, то углы у его основания равны». Таким образом, может быть найдена строгая дизъюнкция, эквивалентная условному суждению.