Цитата из книги «Об истолковании»

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