Аналитики. Никомахова этика. Аристотель
«есть бледный человек» – «не есть бледный человек», а не «есть не бледный человек», ибо если относительно всего правильно утверждение или отрицание, то правильно будет сказать о куске дерева, что он есть не бледный человек); если это так, то и в тех высказываниях, в которых «быть» не прибавляется, то же самое выполняет то, что сказано вместо «быть» (например, отрицанием [высказывания] «человек идет» будет не [высказывание] «не-человек идет», а «человек не идет», ибо нет никакой разницы, сказать ли «человек идет» или «человек есть идущий»). Поэтому если это везде так, то и отрицанием [выражения] «могущее быть» будет «могущее не быть», а не «не могущее быть». Однако полагают, что одно и то же может и быть, и не быть, ибо все, что может быть разрезано или что может ходить, может и не ходить, и не быть разрезанным; основание же этого – то, что все могущее в таком смысле не всегда осуществляется, так что ему присуще и отрицание, ибо то, что способно к хождению, может и не ходить, и можно не видеть то, что доступно зрению. Но не могут быть истинными противолежащие друг другу высказывания об одном и том же. Стало быть, отрицанием [выражения] «могущее быть» не будет «могущее не быть». Ибо из сказанного следует или что можно в одно и то же время утверждать и отрицать одно и то же относительно одного и того же, или же что утверждения и отрицания получаются не прибавлением [к «могущему» глаголов] «быть» и «не быть». Поэтому если первое невозможно, то нужно выбрать второе; стало быть, отрицанием [выражения] «могущее быть» будет «не могущее быть», а не «могущее не быть». То же самое можно сказать и о «возможно быть», а именно: его отрицанием также будет «не возможно быть», и сходным образом обстоит дело и с другим, [подобным этому], например с необходимым и немогущим. Ибо так же как в тех [выражениях] «быть» и «не быть» составляют прибавления, а подлежащие суть в одном случае бледное, а в другом – человек, так и здесь «быть» и «не быть» составляют как бы подлежащее, а «мочь» и «быть возможным» – прибавления, которые, так же как в тех высказываниях «быть» и «не быть» указывали истинное и ложное, указывают здесь то же самое относительно «могущего быть» и «не могущего быть». Итак, отрицание [выражения] «могущее не быть» есть не [выражение] «могущее быть», а «не могущее не быть», а отрицание [выражения] «могущее быть» – не [выражение] «могущее не быть», а «не могущее быть». Поэтому может казаться, что «могущее быть» и «могущее не быть» следуют одно из другого, ведь одно и то же может быть и не быть; в таком случае «могущее быть» и «могущее не быть» не противоречат друг другу; но «могущее быть» и «не могущее быть» никогда не могут относительно одного и того же быть истинными в одно и то же время, ибо они противолежат друг другу. Так же и «могущее не быть» и «не могущее не быть» никогда не могут относительно одного и того же быть истинными в одно и то же время. Равным образом и отрицание [выражения] «необходимо быть» есть не [выражение] «необходимо не быть», а «не необходимо быть»; отрицание же [выражения] «необходимо не быть» – «не необходимо не быть». И отрицание