ь выводится из тождества между содержанием субъекта и содержанием предиката обращаемого суждения: «некоторые позвоночные», которых имеет в виду предикат обращаемого суждения, — это именно «птицы» и никакие другие виды того же логического класса позвоночных. Только потому, что существенные признаки этих «некоторых позвоночных» — те же, что существенные признаки «птиц», объёмы этих понятий оказываются также равными, и мы вправе обратить суждение, т. е. вместо суждения «все птицы — позвоночные» получить равнозначащее по смыслу суждение: «некоторые позвоночные — птицы».
§ 16. Если в общеутвердительном суждении субъект и предикат — понятия равнозначащие, то такое суждение даёт при обращении также общеутвердительпое суждение. Например, суждение «все гривенники — монеты десятикопеечного достоинства» правильно обращается в общеутвердительное суждение: «все монеты десятикопеечного достоинства — гривенники». И действительно, в этом суждении субъект и предикат — понятия равнозначащие. Но это значит, что объёмы их совпадают. Поэтому всё, что утверждается обо всём объёме субъекта, сохраняет силу и относительно всего объёма предиката. Иными словами, обращение, или перестановка предиката на место субъекта, производится здесь без изменения количества суждения.
Так обстоит с определениями. И действительно, суждение «все квадраты — равносторонние прямоугольники» правильно обращается — без изменения количества — в суждение: «все равносторонние прямоугольники — квадраты». Такое обращение возможно, так как, будучи определением, обращаемое суждение, как всякое правильное определение, соразмерно: объём определяющего в нём в точности равен объёму определяемого. В таком суждении, мысля весь объём субъекта («все квадраты»), мы тем самым мыслим весь объём предиката (не часть, а «все равносторонние прямоугольники»).
Всякое определение, выраженное общим суждением, может быть обращено. При этом суждение остаётся общим.
§ 17. В некоторых случаях может показаться, будто правило обращения общеутвердительного суждения нарушается, т. е. будто из общеутвердительного суждения, выражающего подчинение субъекта предикату, возможно получить посредством обращения не только частноутвердительное, но также и общеутвердительное суждение.
Случай кажущегося нарушения правил обращения представляют так называемые «обратные теоремы». Из геометрии, например, известно не только то, что во всяком треугольнике против равных сторон лежат равные углы, но также и то, что во всяком треугольнике против равных углов лежат равные стороны. В этом случае обратная теорема так же истинна, как и прямая.
Но всё дело в том, что обратная теорема получается вовсе не посредством обращения. Если бы мы знали только то, что во всяком треугольнике против равных сторон лежат равные углы, то, преобразуя форму этого суждения, мы могли бы получить из него по правилам обращения только частноутвердительное суждение: «в некоторых треугольниках против равных углов лежат равные стороны». И если мы в действительности знаем, что не только в некоторых, но и во всех треугольниках против равных углов лежат равные стороны, то истинность этого утверждения устанавливается в геометрии не путём обращения, а посредством особого доказательства.
§ 18. Частноутвердительное суждение даёт при обращении частноутвердительное суждение — при условии, если субъект и предикат — понятия перекрещивающиеся. Если же предикат подчинён субъекту, то частноутвердительное суждение обращается в общеутвердителъное.
Рассмотрим сначала обращение частноутвердительного суждения, в котором субъект и предикат — понятия перекрещивающиеся. Таково, например, суждение: «некоторые учёные — публицисты» (I). Суждение это даёт при обращении частноутвердительное суждение: «некоторые публицисты —учёные» (I). Правило это выводится из распределённости понятий в обращаемом суждении. В суждении этом не распределены ни субъект, ни предикат. То, что некоторые учёные составляют часть класса публицистов, конечно, ещё не означает, что этими некоторыми учёными исчерпывается весь объём предиката, т. е. весь класс публицистов: публицист не необходимо должен быть учёным. Так как в обращаемом суждении предикат мыслится не во всём объёме, то в обращённом суждении, где предикат этот становится субъектом, речь также не может итти о всём объёме этого субъекта. Но это и значит, что из частноутвердительного суждения этого типа при обращении должно получиться также частноутвердительное суждение.
Легко выводимое из условий распределённости субъекта и предиката правило это в свою очередь опирается на отношения между содержанием понятия субъекта и содержанием понятия предиката. И действительно: обращение возможно здесь лишь потому, что «некоторые публицисты», понятие которых мыслится в предикате обращаемого суждения, — это именно те «некоторые учёные», понятие которых мыслится в субъекте обращаемого суждения. Равны же объёмы этих двух понятий только потому, что тождественны их содержания: признаки той части публицистов, которая мыслится в предикате обращаемого суждения, — те же самые, что признаки той части учёных, которая мыслится в субъекте обращаемого суждения (см. рис. 25).
Рис. 25
Из рисунка видно, что заштрихованная часть объёма понятия «учёные», представленного кругом S, совпадает с частью объёма понятия «публицисты», представленного кругом Р. Это значит, что часть учёных являются публицистами. Именно это отношение тождества между частью объёма понятия «учёные» и частью объёма понятия «публицисты» мыслится в исходной — необращённой — форме суждения.
Но из этого же рисунка видно, что и наоборот: часть объёма понятия «публицисты» совпадает с частью объёма понятия «учёные». Это значит, что часть публицистов является учёными. Именно это отношение тождества между частью объёма понятия «публицисты» и частью объёма понятия «учёные» мыслится в обращённом суждении: «некоторые публицисты —учёные».
Рассмотрим теперь обращение частноутвердительного суждения, в котором предикат подчинён субъекту. Таково, например, суждение: «некоторые писатели — драматурги» (I). Суждение это даёт при обращении общеутвердительное суждение: «все драматурги — писатели» (А). Обращение это выводится из распределённости терминов в обращаемом суждении. В суждении этом понятие субъекта («некоторые писатели») не распределено, но понятие предиката («драматурги») распределено (см. рис. 26).
Рис. 26
Как видно из рисунка, к объёму драматургов (Р) принадлежит не весь объём писателей (S), но лишь часть этого объёма. Это — та часть объёма S, которая совпадает с объёмом Р и которая заштрихована на рисунке. Но этой частью объёма S, принадлежащей объёму Р, объём Р исчерпывается полностью: весь объём драматургов входит в объём писателей. Поэтому в обращённом суждении мыслятся не «некоторые драматурги», но «все драматурги».
Нетрудно убедиться, что отношение между объёмами субъекта и предиката, мыслимое в суждениях этого типа, основывается, как всегда, на отношении между содержанием субъекта и содержанием предиката. Так как все существенные признаки, составляющие содержание понятия «писатели», входят как часть в содержание понятия «драматурги», то весь объём понятия «драматурги» составляет часть объёма понятия «писатели».
§ 19. Общеотрицательное суждение даёт при обращении также общеотрицательное суждение. Так, суждение «ни одна планета не есть звезда» (Е) обращается в суждение «ни одна звезда не есть планета». Правило это следует из распределённости понятий в общеотрицательных суждениях. В таком суждении распределены и субъект и предикат. Во-первых, высказывание относится в нём ко всему объёму субъекта; ни о какой части объёма планет нельзя сказать, что она есть часть объёма звёзд. Во-вторых, высказывание относится и ко всему объёму предиката. Суждение «ни одна планета не есть звезда» означает, что весь логический класс звёзд не заключает ни в какой части своего объёма светил, называемых планетами.
Отсюда легко выводится правило обращения общеотрицательных суждений: так как предикат обращаемого суждения мыслится во всём своём объёме, то и при обращении, где предикат этот становится субъектом, он будет мыслиться во всём своём объёме, т. е. обращённое суждение окажется общим. Но оно окажется также и отрицательным.
И действительно: обращаемое суждение удостоверяет, что весь объём планет находится целиком вне всего объёма звёзд. Но это значит, что и наоборот: весь объём звёзд находится целиком вне всего объёма планет.
Выводимое из условий распределённости понятий правило обращения общеотрицательных суждений в свою очередь выводится из отношения содержания субъекта к содержанию предиката в общеотрицательных суждениях. В суждениях этих весь объём предиката находится вне всего объёма субъекта только потому, что субъект и предикат — несовместимые понятия. Так, например, объём понятия «звёзды» находится вне объёма понятия «планеты». Именно в силу этой несовместимости данных понятий ни планеты не могут входить в число звёзд, ни, обратно, звёзды — в число планет (см. рис. 27).
Рис. 27
Из рисунка видно, что ни одна часть объёма понятия «планеты», представленного кругом S, не совпадает ни с одной частью объёма понятия «звёзды», представленного кругом Р. Именно это отношение между понятиями S и Р мыслится в исходной — необращённой — форме суждения: «ни одно S не есть Р».
Но из того же рисунка видно, что и наоборот: ни одна часть объёма понятия «звезды» не совпадает ни с одной частью объёма понятия «планеты». Именно это отношение между понятиями мыслится в обращённом суждении: «ни одна звезда не есть планета», или — в общей форме: «ни одно Р не есть S».
§ 20. Частноотрицательное суждение на практике обычно не обращается.