ем об искусстве мышления и утверждал, что она, "поскольку вообще есть наука, является частью психологической дисциплины", "отдельной психологической дисциплиной", "не чем иным, как психологией мышления", "практической психологией очевидности". Г. идет дальше и отвергает все попытки построить логику как непсихологическую, нормативную дисциплину "должного" мышления, если для такого построения необходимо выбрать первоначальным фундаментом психологическое исследование. Таким образом, Г. понимает субъективизм не только как индивидуалистический субъективизм, характерный, в частности, для античных софистов и скептиков, но и как субъективизм, опирающийся на "общечеловеческое сознание", свойственный Канту и неокантианцам. Если понятие субъективистского релятивизма очерчено формулой Протагора: "Человек есть мера всех вещей" (мера всякой истины есть индивидуальный человек), то формулой родового субъективизма, по Г., служит кантовское "потому что мы, люди, так устроены". Основная ошибка психологизма любого вида в том, что он не допускает никакого содержания знания, не зависящего от субъективной организации познающего. Г. выдвигает идею объективности человеческого мышления: содержание познавательных актов, если они истинны, не зависит ни от человека, ни от человечества, то есть что истина не может быть субъективной. "Что истинно, то абсолютно, истинно "само по себе"; истина тождественно едина, воспринимают ли ее в суждениях люди или чудовища, ангелы или боги". Г. формулирует такую аргументацию против психологизма: 1 ) признание логики частью психологии или основание и обоснование логики на психологии является смешением двух совершенно чуждых друг другу сфер познания. Психология и логика различаются по "предмету". Психология исследует факты, совершающиеся во времени, явления, которые изменяются и эволюционируют, логика же имеет своим предметом смысл познавательных актов, внутренние связи смыслов друг с другом и их единство, то есть предмет логики не само мышление, а то, что мыслится, - "мнимое" в мышлении. Предмет психологии есть нечто реальное; предмет логики идеальное, в себе неизменное и безвременное. Необходимо проводить строгое различие между суждением как происходящим душевным переживанием и тем смыслом, который в этом суждении переживается. Так, сумма операций, производящих умножение двух на два, не одно и то же с самим положением 2x2=4. Первая представляет собой связь познавательных переживаний, в которых наука осуществляется субъективно, в которых протекает деятельность математического исчисления, при помощи которых выявляется эта истина 2x2=4. Само же положение 2x2=4 есть
274
логическая связь, то есть своеобразная связь теоретических идей, внутреннее единство самих чисел. 2) Точно такое же различие существует между психологическим законом и логическим законом. Первый регулирует явления, получается из наблюдений над фактами и по своей природе эмпиричен, индуктивен и имеет характер вероятностный (например, закон ассоциации). Логический же закон регулирует связи положений друг с другом, управляет идеальным единством познавательных содержаний. Логический закон не имеет никакого отношения ни к каким фактам, логические связи не фактичны, а идеальны. По своей природе логический закон априорен и познается не индуктивно, а непосредственным усмотрением (например, закон тождества, который и нечего доказывать, индуцировать, он ручается сам за себя). 3) Таким же образом различаются между собой признание чего-то за истинное и сама истина как таковая. Признание истины может осуществляться и не осуществляться: оно может быть интенсивнее и слабее, оно может изменить свою природу. Истина же вечна, неизменна по самому своему смыслу. 2x2=4 не может перестать быть тем, что оно есть, ни при каких условиях. Если бы истина зависела от нашего обычного мышления, от нашего психологического склада, то она возникала бы и исчезала вместе с движениями нашего ума, а если даже и не вместе с отдельными индивидуумами, то с человеческим родом вообще. А это бы, согласно Г., означало, что оно и не истина вовсе, ибо по своей природе истина лежит вне сферы понятий возникновения и исчезновения, вне сферы времени: истина "значит" (gelten), истина представляет собой некоторое единство значимости во вневременном и абсолютном царстве идей. Г. пишет: "Мы постигаем истину не как эмпирическое содержание, которое обнаруживается и снова исчезает в потоке психических переживаний; она не является феноменом среди феноменов, но она является переживанием в ином смысле - в каком переживанием будет общее, идея". Итак, утверждать, что логика основывается на психологии, с точки зрения Г., - полный абсурд. Чтобы избежать подобных заявлений, необходимо четко понимать, что акт познания и содержание познания не одно и то же и что логика (как и математика) имеет дело только с содержанием нашего познания. Именно такого различия между самим психологическим актом познания и чисто логическим содержанием познания и не проводят психологисты. Признание логики частью психологии или наукой, основанной на психологии, приводит и к чисто эмпирическому истолкованию логической очевидности. Психологисты низводят очевидность на степень какого-то добавочного чувства, которое случайно или с естественной необходимостью сопровождает определенные суждения. Г. решительно
возражает: это неправильно прежде всего потому, что логическое познание не эмпирично, не индуктивно и не ограничено простой вероятностью, как те познания, которые сопровождаются вышеобозначенным чувством. "Не через индукцию, а через аподиктическую очевидность получают логические законы обоснование и оправдание. Проникновенно оправдывается не простая вероятность их значения, а само это значение или сама истина... Мы постигаем непосредственно не простую вероятность, а самую истинность логических законов". И эта истинность и переживается нами именно как очевидность, а не как эмпирическая и психологическая вероятность. Более того, очевидными могут быть и такие утверждения, которые эмпирически или психологически совершенно невозможны (например, разрешение "проблемы X /неопределенного количества - B.C./ тел" или операции с огромными числами, или ряд учений высшей математики). Очевидность здесь имеет чисто идеальный характер, она совсем не равна некому "добавочному чувству", а является непосредственным следствием самих логических законов. Это у Г. - чисто логическая очевидность. Г. пишет: "Очевидность... есть не что иное, как "переживание" истины. Истина... переживается только в том смысле, в каком вообще может быть пережито идеальное в реальном акте... То, о чем судят как об очевидном, не только обсуждается (то есть мыслится в суждении, высказывании, утверждении), но и присутствует в самом переживании суждения. .. Переживание совпадения мыслимого с присутствующим, пережитым, которое мыслится - между пережитым смыслом высказывания и пережитым соотношением вещей, есть очевидность, а идея этого совпадения - истина". Итак, истина должна быть общезначимой, трансцендентной, не зависеть от мнения, от действительности и социальности. Истина не есть факт о каких-то предметах, истина не есть нечто определенное во времени. Истина выше временного, ей нельзя приписывать ни возникновения, ни уничтожения. Г. подчеркивает в истине очевидность, уверенность, непосредственное усмотрение ее, ее способность самораскрываться вопреки, вне какого-либо дискурсивного мышления. Логические истины - сфера идеального, они не имеют "человеческого" характера. Идеальное не обладает статусом существования, это мир чистых сущностей. Идеальность истины заключается в ее единстве. Истина всегда есть абсолютная истина. Логические истины, их идеальное бытие означают всеобщность, абсолютную обязательность в самих себе, единство их значений. Истина обладает обязательностью в себе. "Каждая истина сама по себе остается такою, какова она есть, сохраняет свое идеальное бытие. Она не находится "где-то в пустом пространстве", а
275
есть единство значения в надвременном царстве истины. Она принадлежит к области абсолютно обязательного, куда мы относим все, обязательность чего для нас достоверна или, по меньшей мере, представляет обоснованную догадку, а также и весь смутный для нашего представления круг косвенных и неопределенных догадок о существовании, стало быть, круг всего того, что обязательно, хотя мы этого еще не познали и, может быть, никогда не познаем". В конце первого тома "Логических исследований" Г. формулирует основные идеи для построения проекта чистой логики. На психологической базе логика не может вырасти как строгая, соответствующая своим собственным принципам и предмету наука. Не может она оставаться и чисто нормативным учением об искусстве мыслить. Уже Лейбниц, Кант, а за ними Гербарт и Больцано стремились построить логику прежде всего как теоретическую, чисто формальную науку. Это должна быть наука, на которой бы базировалось, основывалось здание всех остальных, как теоретических, так и практических, дисциплин. Г., следуя заветам Больцано, разрабатывает программу будущей чистой логики. Чистая логика есть "наука о науке", "теория теории": она задается вопросом об условиях возможности науки или теории вообще. Под наукой Г. понимает не субъективную связь познавательных актов, суждений и методов, а объективную, идеальную связь истинных положений, причем эта связь является коррелятом связи самих вещей: это такая связь, которая создает объективное единство науки или теории. Эта связь характеризуется как необходимая и абсолютно значимая, именно ею осуществляется закономерное познание из оснований. Именно эта связь истин, единство связи обоснования и создает единство науки. "Чистая логика" у Г. ставит перед собой следующие задачи: 1) чистая логика должна установить первичные понятия, которые конструируют идею теоретического единства познания, теории вообще. Это простейшие и первичные категории смысла, принадлежащие к двум классам: а) элементарные формы соединения (формы гипотетического, дизъюнктивного соединения положений в новые положения, различные формы подлежащего, сказуемого); б) формально-предметные категории: понятия предмета, содержания, единства, множества, числа, отношения, связи. 2) Чистая логика должна установить законы, которые имеют свое основание в указанных категориальных понятиях. Эти законы касаются объективной значимости создаваемых из них теоретических единств. На основе этих законов и строятся теории: теории умозаключений, силлогистики, теория множества, чистого числа и т.д. Эти законы образуют как бы тот идеальный фонд, из которого каждая определенная теория заимствует идеальные основа