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