Выводимое из условий распределённости понятий правило обращения общеотрицательных суждений в свою очередь выводится из отношения содержания субъекта к содержанию предиката в общеотрицательных суждениях. В суждениях этих весь объём предиката находится вне всего объёма субъекта только потому, что субъект и предикат — несовместимые понятия. Так, например, объём понятия «звёзды» находится вне объёма понятия «планеты». Именно в силу этой несовместимости данных понятий ни планеты не могут входить в число звёзд, ни, обратно, звёзды — в число планет (см. рис. 27).
Рис. 27
Из рисунка видно, что ни одна часть объёма понятия «планеты», представленного кругом S, не совпадает ни с одной частью объёма понятия «звёзды», представленного кругом Р. Именно это отношение между понятиями S и Р мыслится в исходной — необращённой — форме суждения: «ни одно S не есть Р».
Но из того же рисунка видно, что и наоборот: ни одна часть объёма понятия «звезды» не совпадает ни с одной частью объёма понятия «планеты». Именно это отношение между понятиями мыслится в обращённом суждении: «ни одна звезда не есть планета», или — в общей форме: «ни одно Р не есть S».
§ 20. Частноотрицательное суждение на практике обычно не обращается. Рассмотрим, например, суждение «некоторые композиторы — не пианисты» (О). Попытаемся обратить его. При обращении его предикат («пианисты») должен стать субъектом обращённого суждения, а его субъект («некоторые композиторы») — предикатом. Но предикат частноотрицательного суждения, как мы знаем, всегда распределён, т. е. мыслится во всём объёме. В нашем случае обращаемое суждение высказывает, что вне какой-то части объёма понятия «композиторы» находится не часть, но весь объём понятия «пианисты». Поэтому при обращени у нас должно получиться общее суждение, т. е. суждение о всех пианистах. Суждение это должно быть по качеству отрицательным. Так как обращаемое суждение отрицательно, т. е. ставит какую-то часть класса композиторов вне всего класса пианистов, то при высказывании о пианистах, — если мы не хотим изменить смысл суждения, — мы, очевидно, должны будем поставить весь класс пианистов вне той же части класса композиторов, которая мыслилась в обращаемом суждении.
При этом, однако, субъект обращаемого суждения («некоторые композиторы») оставляет совершенно невыясненным, какая именно часть класса композиторов мыслится в данном случае. Поэтому при обращении, когда субъект этот становится предикатом, мы, очевидно, должны будем мыслить всех пианистов вне какой-то совершенно неопределённой части композиторов. Это значит, что обо всём классе пианистов мы сможем сказать только то, что в него не входят некоторые композиторы. Иными словами, обращённое суждение должно здесь принять следующий вид: «ни один пианист не принадлежит к числу некоторых композиторов».
Так как предикат обращённого таким образом суждения слишком неопределённый, то на практике частноотрицательное суждение не обращается. Возможное формально и в этом случае обращение лишается здесь своего смысла. Ведь целью обращения является не просто перестановка субъекта и предиката в суждении, но лишь такая перестановка их, которая, не изменяя содержания суждения, способствует более отчётливому пониманию отношений между понятиями суждения.
Именно эта цель не достигается в случае обращения частноотрицательного суждения. Такое суждение до обращения оказывается более понятным и определённым, чем после обращения. Сказать «некоторые композиторы — не пианисты» значит сказать нечто более определённое, чем если сказать «ни один пианист не принадлежит к некоторым композиторам». Здесь сейчас же возникает вопрос: к каким «некоторым композиторам» не принадлежит ни один пианист? И только вернувшись к исходному — необращённому — суждению, мы видим, что это — те композиторы, которые не являются пианистами (см. рис. 28).
Рис. 28
Рисунок этот показывает, что часть объёма понятия «композиторы», представленного кругом S, находится вне объёма понятия «пианисты», представленного кругом Р. Именно этот смысл выражает исходная — необращённая — форма суждения «некоторые композиторы — не пианисты» или — в общей форме — «некоторые S не являются Р».