Предмет знания

εχομεν οόν και τα εϊδη δίχως, εν μέν φυχτ) <اهأت’ άνειλιγμένα και ات>اه' κεχωρισμένα, έν δέ νω تآه^ة τάντα.

Плотин, Ennead. I,8 ,ا.

1. Изложенное выше отношение между знанием, выраженным в системе определенностей, и исконным единством, из которого оно проистекает, легко может вызвать одно возражение. Что такое есть это единство, выраженное нами в символе ab, в его отношении к определенностям А и В? Казалось бы, мы стоим здесь перед неизбежной дилеммой: либо это ab действительно содержит элементы, качественно тождественные определенностям А и В и тогда мы в его лице дали только ненужное удвоение системы определенностей; либо же оно есть что‑то совсем иное, и тогда происхождение из него определенностей необъяснимо. Эта дилемма неустранима, пока мы мыслим отношение между двумя указанными областями в категориях тождества и различия. Тогда в силу «закона исключенного третьего» мы обязаны сказать: ab или тождественно определенностям А и В, или отлично от них; и в обоих случаях «выведение» из него этих определенностей оказывается мнимым. Мы видели, однако, что сама проблема «выведения» одного из другого, синтетической связи между разными определенностями, неразрешима, пока мы мыслим содержания исключительно в категориях тождества и различия; и результат, к которому мы пришли, в том и заключается, что обладание отдельными определенностями А и В, отличными друг от друга, т. е. подчиненными категориями тождества и различия, предполагает наличность области, которая как бы возвышается над этими категориями; в этой области нет ни В ни В как обособленных определенностёй, а есть такое их единство, которое, с одной стороны, не тождественно им и, с другой стороны, содержит в себе их источник. Естественно, что указанное возражение здесь не имеет силы: так как область «единства» по существу своему схош над сферой действия категорий тождества и различия, то отношение ее к области знания, выраженного в системе определенностей, также не подчинено этим категориям, а должно мыслиться в какой‑то принципиально иной форме.

Отсюда, однако, ясно, что рассматриваемая нами проблема не может быть до конца разрешена и отчетливо выражена, пока остаются необъяснимыми сами эти понятия тождества и различия. Лишь объяснив эти понятия и показав, что можно и должно мыслить их не универсальными, а, напротив, подчиненными области, к которой они неприменимы, мы можем надеяться внести полную ясность в изложенный нами анализ знания и тем оправдать его.

Смысл категорий тождества и различия издавна выражается в логике в так называемых «законах мышления» (точнее было бы сказать: «законах мыслимости»): законе тождества, законе противоречия и законе исключенного третьего.[102]

Закон тождества определяет, что все мыслимое тождественно себе самомуА естьА Закон противоречия выражает, что всему мыслимому присуща черта несовместимости с иным, т. е. отличия от иного: А не есть ηοη–А Наконец, закон исключенного третьего выражает универсальность первых двух соотношений: все мыслимое без остатка распадается на «такое» и «иное», нал и ηοη–В и третьего отношения быть не может.

Несмотря на долгую историю, которую имеют за собой эти законы, они далеки от окончательной выясненности. Нам нет надобности разбирать по отдельности многообразные формулировки, в которых были выражаемы в истории логики эти законы. Нам достаточно показать, что основная мысль, высказываемая в этих законах, не может быть удовлетворительно, т. е. непротиворечиво и осмысленно, выражена, поскольку мы выражаем ее в каких‑либо суждениях о свойствах или отношениях, присущих готовым определенностямА и поп–А.

Обратимся сначала к формуле закона тождества «А естьА». Ей присуще редкое свойство — сочетать в себе бессмысленную тавтологию с явным противоречием. В самом деле, в ней мы имеем суждение, которое, как всякое суждение, содержит в себе связь двух терминов. Но если обычно суждение имеет смысл только когда оно соединяет два разных термина и когда связь между ними не тождественна с самими связуемыми терминами, то здесь мы имеем суждение, которое связывает два тождественных понятия и притом связью, не отличной от связываемых терминов. <А есть А» должно значить: А тождественноА Но так как под символомА мы понимаем не что иное, как любую определенность, и так как в силу универсальности закона тождества всякая определенность не может мыслиться иначе, как с самого начала подчиненной этому закону, тоА, в качестве определенности, есть «нечто тождественное». А в таком случае суждение «А есть А» значит: «нечто тождественное тождественно тому же тождественному нечто». Вместо объяснения или выражения понятия тождества мы имеем только бессмысленное его повторение. С другой стороны, с этой тавтологией сочетается противоречие. «А есть А» означает, что у нас каким‑то образом имеются два разных А, между которыми мы устанавливаем отношение тождества. Но кжразное может быть тождественным! Или как при тождественности A самому себе может иметься вообще второеA? Закон тождества означает, что всякая определенность имеется необходимо только в единственном числе. Когда же мы выражаем его в суждении "А естъА» (А тождественно А), то мы говорим, что два А суть одно А т. е. противоречим сами себе. Или первое А отлично от второго, и тогда оно не тождественно ему, или же оно тождественно, и тогда не может быть двухВ между которыми можно было бы установить это тождество.[103]

Не многим иначе, в сущности, обстоит дело и с формулой закона противоречия «А не есть поп–А». Прежде всего, она, вместо объяснения рассматриваемого соотношения, высказывает если не совсем пустую тавтологию, то, во всяком случае, совершенно производную мысль, уже опирающуюся на само рассматриваемое отношение. Ибо что такое есть поп–А? Это есть, очевидно, «то, что не естьА»; и потому формула эта говорит: «А не есть то, что не естьА», т. е.«А отлично от всего отличного от него». Вместо объяснения отношения отличия мы имеем и здесь лишь простое его повторение, idem per idem, с присоединением лишь указания га обратимость или взаимность этого отношения (в чем может быть усмотрено единственное положительное содержание этой формулы). С другой стороны, поскольку закон противоречия в этой формуле хочет выразить не простое отличиеА от ηοη–А, а отношение несовместимости или несогласимости, «противоречия» между ними, он просто ложен, ибо А не только совместимо с ηοη–А, но настолько неразрывно с ним связано, что немыслимо вне его: А определимо именно через свое отношение к ηοη–А, т. е. через свою отрицательную связь с ним, так что ηοη–А является признаком, через который прямо определяется самоА (А есть то, что отлично от поп–А).

Наконец, последний закон — закон исключенного третьего — опять содержит коренное противоречие между своим содержанием и тем, что предполагается его собственной формулировкой. В самом деле, им утверждается, что все мыслимое может быть только либо А, либо поп–А, и что ничего третьего быть не может. Но что служит подлежащим этого суждения? Одно при двух: либо оно само есть одно из утверждаемых им содержаний (А или поп–А); тогда суждение ложно: ни к А, ни к поп–А, каждому в отдельности, неприменимо утверждение, что оно есть илиА, или ηοη–А, так как каждое из них есть только оно само и не может быть своей противоположностью. Либо же, — что очевидно, — под подлежащим этого суждения разумеется нечто, что не подходит ни под А, ни под ηοη–А в отмежду которыми мы устанавливаем отношение тождества. Но шкразное может быть тождественным! Или как при тождественности А самому себе может иметься вообще второеА? Закон тождества означает, что всякая определенность имеется необходимо только в единственном числе. Когда же мы выражаем его в суждении «А естьА» (А тождественноА), то мы говорим, что два А суть одно А, т. е. противоречим сами себе. Или первоеА отлично от второго, и тогда оно не тождественно ему, или же оно тождественно, и тогда не может быть двух А, между которыми можно было бы установить это тождество.

Не многим иначе, в сущности, обстоит дело и с формулой закона противоречия «А не есть поп–А». Прежде всего, она, вместо объяснения рассматриваемого соотношения, высказывает если не совсем пустую тавтологию, то, во всяком случае, совершенно производную мысль, уже опирающуюся на само рассматриваемое отношение. Ибо что такое есть ηοη–А? Это есть, очевидно, «то, что не естьА»; и потому формула эта говорит: "А не есть то, что не естьА», т. е. «А отлично от всего отличного от него». Вместо объяснения отношения отличия мы имеем и здесь, лишь простое его повторение, idem per idem, с при-: соединением лишь указания на обратимость или взаимность этого отношения (в чем может быть усмотрено единственное положительное содержание этой формулы). С другой стороны, поскольку закон противоречия в этой формуле хочет выразить не простое отличиеА от ηοη–В а отношение несовместимости или несогласимости, «противоречия» между ними, он просто ложен, ибо А не только совместимо с поп–Α, но настолько неразрывно с ним, — связано, что немыслимо вне его: А определимо именно через свое отношение к ηοη–А, т. е. через свою отрицательную связь с ним, так что ηοη–А является признаком, через который прямо определяется самоА (А есть то, что отлично от поп–А).

Наконец, последний закон — закон исключенного третьего — опять содержит коренное противоречие между своим содержанием и тем, что предполагается его собственной формулировкой. В самом деле, им утверждается, что все мыслимое может быть только либо А, либо ηοη–А, и что ничего третьего быть не может. Но что служит подлежащим этого суждения? Одно при двух: либо оно само есть одно из утверждаемых им содержаний (А или ηοη–А); тогда суждение ложно: ни к А, ни к поп–А, каждому в отдельности, неприменимо утверждение, что оно есть илиА, или ηοη–А, так как каждое из них есть только оно само и не может быть своей противоположностью. Либо же, — что очевидно, — под подлежащим этого суждения разумеется нечто, что не подходит ни под А, ни под ηοη–А в отдельности, т. е. нечто третье, и тогда закон исключенного третьего нарушается в своей собственной формулировке. В лице того, чему приписывается невозможность быть чем‑либо третьим между А и ηοη–В мы имеем перед собой именно это третье.[104]

2. Нетрудно усмотреть, что источник указанных трудностей в формулах законов мышления заключен в том, что, формулируя эти законы, мы выражаем их через посредство некоторых свойств или отношений, которые мы приписываем содержаниям А и ηοη–А. В действительности, однако, то, о чем говорят эти «законы», есть не какие‑либо свойства, в смысле черт, опирающихся на уже готовые содержания мысли, и не отношения между такими уже готовыми содержаниями, а условия, в силу которых впервые Становятся возможными сами эти содержания. Поэтому нельзя выражать эти законы, исходя из уже готовых А и ηοη–А, а нужно выразить их так, чтобы показать, как эти законы создают сами содержанияА и поп–А.[105]