Аналитики. Первая и Вторая

В последней фигуре заключение будет о необходимо (присущем), когда (оба крайних) термина взяты по отношению к среднему в общих (посылках), причем обе посылки утвердительные и одна из них, все равно какая, есть (суждение) о необходимо (присущем). Если же одна из посылок будет отрицательной, а другая — утвердительной, то заключение будет о необходимо (присущем), когда (суждением) о необходимо (присущем) является отрицательная (посылка); если же утвердительная, то не получится заключения о необходимо (присущем). Пусть сперва обе посылки будут утвердительными, то есть пусть и А и Б будут присущи всем В, и о необходимо (присущем) пусть будет (большая) посылка АВ. Так как, далее, Б присуще всем В, то и В будет присуще некоторым Б, ибо обще(утвердительное) суждение при обращении становится частно(утвердительным). Поэтому, если А необходимо присуще всем В, а В — некоторым Б, то и А необходимо присуще некоторым Б, ибо Б подчинено В. Таким образом, получается первая фигура[116]. Подобным же образом доказывается и в том случае, когда (суждением) о необходимо (присущем) является (посылка) БВ, ибо В допускает обращение с некоторыми А[117]. Поэтому, если Б необходимо присуще всем В, то оно необходимо присуще и некоторым А[118]. С другой стороны, пусть (посылка) АВ будет отрицательной, а БВ — утвердительной. (Суждением) о необходимо (присущем) пусть будет отрицательная. Так как утвердительное (суждение) обратимо и В, (следовательно), будет присуще некоторым Б и так как А будет необходимо не присуще ни одному В, то и А будет необходимо не присуще некоторым Б, ибо Б подчинено В[119]. Но если (суждением) о необходимо (присущем) будет утвердительная посылка, то не получится заключения о необходимо (присущем). Пусть БВ будет утвердительной посылкой о необходимо (присущем), а посылка АВ — отрицательной и не выражающей необходимости; так как утвердительное (суждение) обратимо, то В будет необходимо присуще некоторым Б, и, следовательно, если А не присуще ни одному В, а В присуще некоторым Б, то А не будет присуще некоторым Б, однако не необходимо, ибо относительно первой фигуры уже было доказано, что если отрицательная посылка не является (суждением) о необходимо (присущем), тоне получится заключения о необходимо (присущем)[120]. Это стало бы, кроме того, очевидным через термины. Пусть А означает благо, Б — живое существо, В — лошадь. Вполне возможно, что благо не присуще никакой лошади, но быть живым существом необходимо присуще каждой лошади; однако не необходимо, чтобы некоторым живым существам не было присуще благо, поскольку даже возможно, что — всем живым существам присуще благо. Или если это невозможно, то нужно взять (такие) термины, как бодрствовать или спать, ибо эти состояния могут быть у каждого живого существа[121].