- •Раздел 1 философия и личность 20
- •Раздел 2
- •Раздел 3 понятие субъекта Харре р. (Великобритания)
- •Раздел 5 теория познания и междисциплинарные исследования
- •Раздел 1 философия и личность
- •В. И. Мудрагей третий главный
- •Дэвид Бакхарст скромное великолепие владислава лекторского
- •Е. Л. Черткова эпистемология в драме современности
- •Раздел 2
- •Рациональность, ценность, культура
- •П. П. Гайденко познание и ценности
- •Макс Вебер между Иммануилом Кантом и Фридрихом Ницше
- •Н. С. Автономова заметки о философском языке
- •И. Т. Касавин свое и чужое.
- •Ситуация эдипа глазами феноменолога
- •Персонажи и коллизии
- •Знание и социальная стратификация
- •Ставить на место сомнительной и вызывающей вопросы ситуации такую, которая сама способна дать объяснение него угодно.
- •Познание и страдание
- •Миграция как эпистемологический урок
- •В. Н. Пору с вырождение трагедии
- •В. А. Лекторскому, учителю и другу
- •В. К. Кантор о национальном мифе непонимания
- •Можно ли понимать Россию умом?
- •Европейская духовность как факт русской культуры прошлого века (от Пушкина до Менделеева)
- •Отчаяние Тютчева
- •Мифологическое знание — знание вне и помимо понимания
- •Б. Мифология как жизнь вне разума, или словесное пьянство
- •А. П. Огурцов постмодернистский образ человека и педагогика
- •Истоки постмодернизма
- •Особенности постмодернизма
- •3. Рецепция постмодернизма в педагогике: на пути к постмодернистской философии образования
- •Иоанна Кунуради права человека через 55 лет после образования оон
- •Раздел 3 понятие субъекта
- •Ром Харре понятие субъективности
- •Введение
- •Внедеятельностное представление о причинности
- •Две версии бихевиоризма
- •Концептуальное пространство понятия деятельности
- •Понятие «каузальная сила»
- •Эмпирические и теоретические понятия
- •Примеры, иллюстрирующие теоретический характер понятия «каузальная сила»
- •Дальнейшее рассмотрение понятия «каузальная сила»
- •«Позволения»
- •А. В. Брушлинский о деятельности субъекта и его критериях
- •Ф. Т. Михайлов проблема «subject-object» или поиск субъектом своих предикатов 1. Начну с небольшого ностальгического введения
- •Субъект как предмет осмысления
- •Поиск атрибутивного предиката
- •Как наш субъект сам нашел порождающий его предикат
- •И в заключение...
- •В. Е. Кемеров необходимость субъекта
- •В. Г. Федотова хороший человек
- •Т. И. Ойзерман существуют ли абстрактные истины?
- •Г. Д. Левин что есть истина?
- •Вехи истории
- •Принципы сохранения и монизма как методологическая основа теории соответствия
- •Парадокс «лжец»
- •Истинность и достоверность
- •Эвандро Агацци историческая детерминация науки
- •Понятие исторического априори
- •Релевантность и интерпретации
- •Том Рокмор
- •О знании, философской антропологии и интерпретации
- •Интерпретация как историческое.
- •Конструктивизм и история
- •Познание как историческое
- •Перспективная интерпретация
- •Ретроспективная интерпретация и историография
- •Факты и исторические факты
- •Исторические тексты, историческая интерпретация
- •Интерпретация и историческое познание
- •Историческая интерпретация и историческое познание
- •Заключение: историческая интерпретация и познавательная объективность
- •Какую теоретическую структуру выбрать для разговора о реальности?
- •Кризис репрезентации
- •Конец данного и идея множества миров
- •Т. С. Элиот
- •А. Некоторые следствия двух принципов
- •Если некто действительно знает (Knows), что р, и считает (Considers), что знает, то он обоснованно думает, что он знает (Knows)1.
- •Если некто обоснованно уверен в X и обоснованно уверен в том, что доказательность X для y также является доказательством, то он также должен иметь основания для уверенности в y.
- •Б. Пирронистская постановка проблемы
- •В. Является ли фундаментализм мифом?
- •Г. Выход, найденный Декартом
- •Раздел 5 теория познания и междисциплинарные исследования
- •Б. И. Пружинин познавательное отношение в классической и неклассической эпистемологии
- •В. П. Зинченко эмпирическое и теоретическое мышление, практический интеллект?
- •Б. Г. Юдин новые ориентиры научного познания
- •Ласло Гараи о значении и мозге Совместим ли Выготский с Выготским?
- •Философские соображения и модели мозга
- •Модель мозга Джона Экклса (Ecclis)
- •Логика естествознания
- •Модель мозга Джона Сентаготаи (Szentagothai)
- •Функциональная система
- •Концепции формирований, переступающих границы индивидуального организма
- •Теория предметной деятельности
- •Экологическая теория восприятия Гибсона
- •Территориальное поведение
- •К теории структур, производящих значения
- •Исторический пролог:
- •«Знание о том, как узнать» у Гумбольдта
- •Свои механические способности. Таким образом, он занят двумя делами: он учится, а также учится тому, как учиться»540.
- •Выготский: овладение собственным поведением как обращенное действие и самореферентность
- •Критика современных применений подхода Выготского и понятие желания
- •Произведения изобразительного искусства как обращенные артефакты потенциала искусства в плане рефлексивного изучения'
- •В. Н. Садовский общая теория систем л. Фон берталанфи: некоторые итоги полувекового развития Введение
- •«О принципах исследования систем»
- •Теория открытых систем и общая теория систем
- •Методы построения общей теории систем
- •Общая теория систем как путь построения единой науки
- •В. И. Аршинов личностное знание м. Полани как позиция синеогетики
- •Смирнова е. Д.
- •Логические аспекты обоснования аподиктического знания
- •Предварительные замечания
- •Возможные миры
- •Возможные миры в логической семантике
- •От лейбницевской семантики к юмовской
- •Что знает познаватель
- •35 Например, у того же Ильенкова в одноименной работе.
- •38 Рус. Перевод 1995 г., издательство «Медиум», Москва.
- •66 Гегель г. В. Ф. Наука логики. М., 1972. Т. 3. С. 177-178.
- •191 Киреевский и. В. Критика и эстетика. М., 1979. С. 251.
- •308 Рубинштейн c.J1. Человек и мир. М., 1997. С. 112—113.
- •314 См., например: Everyday Cognition. Cambridge, l., 1984.
- •344 В гегелевском смысле aufheben — снятие с удержанием.
- •384 Росс Эшби. Введение в кибернетику. М., 1959. С. 150.
- •397 Декарт р. Избр. Филос. Произведения. М., 1948. С. 283.
- •483 Поппер к. Логика и рост научного знания. С. 144-145.
- •489 Тулмин Ст. Человеческое понимание. М., 1984. С. 208.
По Берталанфи, задачей общей теории систем является исследование общих законов организации открытых систем, а кибернетическая схема обратной связи характеризует определенный вид открытых систем. «Обратная связь, — писал он, — базируется на круговой причинной цепи и механизмах, управляемых посредством информации, фиксирующей отклонение от состояния, которого нужно достичь, или от цели, которой нужно добиться»561. В этом описании схемы обратной связи легко узнать общий механизм действия «телеологических» систем Берталанфи.
Схема обратной связи, подчеркивал J1. фон Берталанфи, носит довольно специальный характер. В живых организмах существует много регуляций другой природы: это те регуляции, которые связаны с динамическим взаимодействием процессов. Сюда относятся, например, эмбри- онные регуляции, когда целое восстанавливается из частей в эквифинальном процессе (опыты Дриша). Берта-
ланфи считал, что первичные регуляции в органических системах, то есть те регуляции, которые наиболее важны и в эмбриональном развитии и в эволюции, имеют как раз природу динамического взаимодействия. Позднее на них накладываются вторичные регуляции, контролирующие поведение посредством некоторого фиксированного устройства. К ним, в частности, относится и обратная связь. Это положение дел — следствие общего принципа организации. Поначалу биологические, нейрофизиологические и психологические системы управляются динамическим взаимодействием их компонентов, позднее возникает некоторое фиксированное «устройство» и накладываются определенные ограничения, которые делают систему и ее части более эффективными, но одновременно постепенно уменьшают и в конце концов сводят на нет ее эквифинальность562.
Берталанфи все время подчеркивал определенное родство схемы обратной связи с машинным представлением организма, характерным для XIX и первой половины XX в. В этой связи Берталанфи критиковал кибернетиков за отождествление системы с обратной связью с открытой системой вообще563. «Хотя модель гомеостазиса, — писал он — выходит за рамки старых механистических моделей благодаря тому, что учитывает направленность в саморегулирующихся круговых процессах, она все еще опирается на машинную теорию организма»564. В этой модели он усматривает сильное влияние утилитаристских концепций конца XIX в. и понимание организма только как реактивной системы.
Общий вывод из этого анализа, к которому пришел Берталанфи, формулируется им следующим образом: «...В развитии и эволюции динамическое взаимодействие (открытая система), по-видимому, предшествует механизации (структурным механизмам главным образом типа об
ратной связи). В этой связи общая теория систем логически может рассматриваться как более общая теория: она включает системы с обратной связью как особый случай, но это утверждение не является истинным vice versa»*8.
Таким образом, основной акцент в общей теории систем Берталанфи сделал на анализе открытых систем и динамического взаимодействия элементов системы.
Методы построения общей теории систем
Основной метод построения общей теории систем, согласно Берталанфи, состоит в установлении изоморфизма законов, действующих в различных областях науки. Этот тезис Берталанфи вызвал острую дискуссию.
Уже в 1951 г. К. Гемпель — один из лидеров американской аналитической философии науки — заметил: «Я не считаю... что признание изоморфизма законов добавляет что-либо новое или углубляет наши теоретические представления о явлениях в двух рассматриваемых областях»565. Позднее, в 1956 г., Р. Бак, критикуя работы по теории систем Дж. Миллера и других, выступил против установления изоморфизма с аргументом: «Ну и что? Что следует из того факта, что установлен изоморфизм законов в тех или иных областях науки?»20 И, наконец, на втором симпозиуме по теории систем в Кейсовском технологическом институте (США, 1963 г.) один из создателей исследования операций Р. Акофф, подробно анализируя концепцию Берталанфи, говорил: «...Мне совершенно неясно, чему можно научиться, наблюдая подобный изоморфизм»566.
Берталанфи неоднократно пытался ответить на эту критику. Уже в своей работе 1949 г. «Das biologische Weltbild»567 он построил теорию различных ступеней описания явлений. Согласно этой теории, первой ступенью описания является установление аналогий, то есть внешнего сходства свойств исследуемых объектов. Вторая ступень состоит в выявлении логических гомологий (изоморфизма), то есть в констатации формально одинаковых законов, управляющих функционированием материально различных явлений. Только третья ступень представляет собой собственно объяснение, то есть указание условий развития отдельных явлений и специальных закономерностей, по которым протекают процессы в этих явлениях. Отрицая существенную научную ценность аналогий, Берталанфи настаивал на большом научном значении логических гомологии, исследование которых представляет собой основное содержание общей теории систем568. Установление гомологии он называл объяснением в принципе и утверждал, что «объяснение в принципе лучше, чем отсутствие объяснения»569.
Вместе с тем необходимо признать, что сами по себе установленные изоморфизмы дают не очень много в понимании системного и структурного строения объектов исследования. Описывая в лучшем случае макроструктуру определенных фрагментов мира, они по существу ничего не говорят относительно микроструктуры и системных свойств рассматриваемых объектов. Именно эта принципиальная ограниченность общей теории систем Берталанфи отмечалась в 1960 г. в нашей с В. А. Лекторским статье: степень проникновения в «существо дела» зависит не от установленных изморфизмов, а определяется совершенно другими логическими требованиями570. Иначе говоря, собственно системный анализ требует более разветвленных и совершенных средств исследования, чем принцип изоморфизма законов и аппарат телеологических уравнений, которыми располагает общая теория систем Берталанфи.
Аналогичная трудность возникает и в системной концепции У. Росс Эшби, выраженной, в частности, в его
статье «Общая теория систем как новая научная дисциплина»571. Эшби отдавал предпочтение дедуктивному методу анализа систем и выдвигал концепцию системы как «черного ящика»27, рассматривая общую теорию систем как дисциплину, идущую в русле кибернетических исследований572.
Однако в этом случае возникает ряд вопросов. Главный из них заключается в следующем: является ли исследование «черного ящика» достаточным способом познания сложных целостных систем? На этот вопрос нужно ответить: конечно, нет, ибо в противном случае мы вынуждены ограничить наше знание лишь знанием с точностью до изоморфизма. Приходится, таким образом, признать, что кибернетический способ анализа (модель «черного ящика») оказывается лишь одним из возможных методов исследования систем (к тому же, безусловно, весьма далеким от совершенства).
Для преодоления отмеченных трудностей в последние десятилетия XX века было предложено множество иных вариантов построения общей теории систем (М. Месаро- вич, J1. Заде, О. Ланге, Дж. Клир, А. И. Уемов, Ю. А. Ур- манцев и др.).
Общая теория систем как путь построения единой науки
Мы уже отмечали, что одним из стимулов разработки общей теории систем для Берталанфи было стремление объединить науки, развить, по словам К. Боулдинга, «обобщающий слух», преодолевающий «глухоту специализации». Берталанфи прекрасно осознал неудачу логических позитивистов в создании «унифицированной науки»29 и
пытался подойти к этой проблеме с помощью общей теории систем. Возникает вопрос, насколько реальна эта попытка?
Взгляды J1. фон Берталанфи на этот счет были подвергнуты решительной критике Р. Акоффа573: «Предложенный Берталанфи метод объединения наук приведет лишь к дальнейшему разделению как теоретических и прикладных направлений неформализованных наук, так и к увеличению разрыва между формализованными (точными) и неформализованными науками». Берталанфи не усмотрел логического заблуждения в попытке приобретения или построения знания сложного из знания простого» (ибо «простые закономерности нельзя выявить в начале исследования»), «и в результате он стал жертвой этого заблуждения, попав в более тонкую ловушку, чем логические позитивисты»; его метод объединения наук равносилен «попытке запереть конюшню после того, как лошадь уже украдена». По мнению Р. Акоффа, все это проистекает вследствие того, что J1. фон Берталанфи не различил науку как вид деятельности и как ее результат и ошибочно предположил, что «структура природы изоморфна структуре науки».
Критические суждения Акоффа кажутся весьма весомыми. Действительно, общая теория систем Берталанфи, ограниченная поисками изоморфизмов, то есть анализом законов и теорий, абстрагируется от рассмотрения научной деятельности. Однако проблема анализа деятельности, значение которой хорошо осознают многие в современной науке, весьма далека от своего решения. И Акофф, конечно, заблуждается, считая, что исследование операций способно решить эту проблему. Исследование операций, при всей его практической важности, строится
в основном эмпирически и не располагает теоретическими моделями деятельности как таковой.
Следует обратить внимание еще на один момент. Природа и наука столь сложны и многообразны, что, как правильно отметил А. Рапопорт, невозможно дать категорического обоснованного ответа на вопрос, «какой подход гарантирует «успех» в объединении науки574. Есть все основания предполагать, что решение этой проблемы пойдет многими параллельными путями. В их ряду свое место занимает и путь Берталанфи.
В ходе своего развития общая теория систем J1. фон Берталанфи конституировалась как широкое научное направление, включающее в себя достаточно обширный комплекс современных методов научного и технического исследования и даже ряд целых дисциплин. Однако такое ее расширительное толкование575 свидетельствует об аморфности в понимании ее задач и статуса. Действительно, учитывая эволюцию, которую претерпело понимание общей теории систем в работах Берталанфи, можно констатировать, что с течением времени имело место постоянное расширение задач этой концепции при фактически неизменном состоянии ее аппарата и исследовательских средств. Выделение в понятии общей теории систем двух смыслов576 явилось следствием этой тенденции к обобщенности и универсальности, однако при этом создалась парадоксальная ситуация. Строго научной кон- цепцией (с соответствующим аппаратом, средствами и т. д.) можно считать лишь общую теорию систем в узком смысле. Что же касается общей теории систем в широком смысле, то она по сути дела представляет собой методологическую и мировоззренческую концепцию и не должна претендовать на статус подлинной науки.
Общая теория систем Л. фон Берталанфи содержит элементы и того, и другого. И в связи с этим нам не следует забывать четкого вывода, сделанного Берталанфи в 1962 году: различные варианты системного анализа «не являются и не должны рассматриваться как монополь
ные. Один из важных аспектов современного развития научной мысли состоит в том, что мы более не признаем существования уникальной и всеохватывающей картины мира. Все научные построения являются моделями, представляющими определенные аспекты, или стороны, реальности». «Различные теории систем... являются моделями различных аспектов мира... Это, конечно, не исключает, а скорее предполагает возможность последующих синтезов, в которые войдут и будут объединены различные современные исследования целостности и организации»577.
В. И. Аршинов личностное знание м. Полани как позиция синеогетики
Выйти на рассмотрение философско-методологичес- ких вопросов, касающихся темы синергетика и язык можно разными путями. Некоторые из этих путей можно считать уже достаточно проторенными, некоторые — чуть намеченными тропинками. Но есть еще и совершенно неразведанные. К таким неразведанным тропинкам я отношу и ту, которая пролегает через концепцию личностного знания М. Полани.
Синергетика находится «по ту сторону» традиционных эпистемологических дихотомий, в частности таких, как дихотомия «относительное-абсолютное», «внешнее-внут- реннее», «естественное-искусственное». В этом смысле синергетика трансдициплинарна и, в то же время, претендуя на роль посредника в диалоге естественно-науч- ного и социо-гуманитарного знания, она междисциплинарна. Здесь, возможно, более уместен термин Фуко- Делёза. Я имею ввиду трансгрессию. Но, держась ближе к опыту познания как он существует в современной науке, я буду говорить, что здесь и теперь, в контексте этого опыта, синергетика осознается как междисциплинарное направление. При этом слово «осознается» я здесь использую в его гештальтистской интерпретации, о чем подробнее будет говориться ниже. А пока про междисциплинарность синергетики.
Вот что пишут по этому поводу Данилов и Кадомцев, именующие синергетику Х-наукой: «В отличие от большинства новых наук, возникавших, как правило, на стыке двух ранее существовавших и характеризовавшихся проникновением метода одной науки в предмет другой, X- наука возникает, опираясь не на граничные, а на внутренние точки различных наук, с которыми она имеет ненулевые пересечения: в изучаемых Х-наукой системах, режимах и состояниях физик, биолог, химик и математик видят свой материал, и каждый из них, применяя методы
своей науки, обогащает общий запас идей и методов X- науки»578.
Таким образом, синергетика — «контактная наука», наука, сфера обитания которой зоны контактного взаимодействия разных дисциплин. Но это звучит пока загадочно. В самом деле, что мы можем еще сказать об этих контактах, областях «ненулевого пересечения»? Кажется ясным, что сформулированный в таком виде вопрос требует уточнения, контекстуализации. И уточнения прежде всего в отношении той позиции, из которой он задается. Очевидно, что физик, биолог, химик и математик действительно видят «свой материал», видят с точки зрения своей дисциплины, под углом присущего ей подхода, ее концептуальной перспективы. Здесь уместны и такие выражения как «горизонт», «парадигма» и т.д. Очевидно также, что это видение есть динамически стабильный процесс, и опирается он на достаточно устойчивое интерсубъективное согласие. Кроме того, это видение селективно, определено целостным набором предпосылок, установок, ценностных норм, наконец, используемым языком. Последнее для меня наиболее существенно, а потому весь пафос моего дальнейшего изложения будет определяться попыткой превратить это последнее в первое, опираясь при этом на две концепции. Именно: концепцию синергетической коммуникации и концепцию личностного знания М. Полани.
Начнем с Полани, согласно которому вышеупомянутое видение есть динамический гештальт-процесс, имеющий личностно-обусловленный характер, в основе которого лежит молчаливое, неартикулированное, неявное знание. Перечисленные выше фигуры физика, биолога, химика, математика — список можно продолжить вплоть до фигуры социолога и философа — это не просто по-разному названные субъекты познавательной деятельности, имеющей общее название «наука». Это субъекты, личностно вовлеченные в тот социокультурный исторический процесс, который наукой называется. Я не буду обсуждать здесь вопрос о том, что наукой называется, а что нет. Проблема демаркации границ науки, конечно, важна, но
не сама по себе, а всегда под углом вопроса, для чего и во имя чего она становится. То же самое касается и междисциплинарных границ на всех уровнях, включая границу между естествознанием как наукой о природе и знанием гуманитарным. Достаточно вспомнить об осуществленном еще в 1912 году Виндельбандом жестком разграничении наук на номотетические (естественные) и идеографические (гуманитарные). Или об аналогичных попытках разграничить науки о живом — биологические — от наук неорганических, прежде всего физических.
Я обращусь теперь к Полани, который для меня является во всех отношениях ключевой фигурой в той части современной философии науки, которая ориентирована непосредственно на синергетику и переоткрыва- ется ею заново в новом диалоге. Интерес к Полани обусловлен также и тем, что сейчас в более широких междисциплинарных рамках, которые потенциально включают себя как естественнонаучное, так и социогу- манитарное знание, личностное знание Полани конституирует ту «срединную» познавательную позицию, которая имплицитно или, точнее, когерентно ей предполагается синергетикой. Однако слово — Полани. «Я верю, что призван искать истину и утверждать найденное мною, несмотря на весь связанный с этим риск. Эта сентенция, кратко суммирующая мою фидуциарную программу, выражает то основное убеждение, которым я считаю себя обязанным руководствоваться. Но если так, то утверждение данной сентенции должно согласовываться с ее содержанием, практически воплощая то, к чему это содержание обязывает.
И дело действительно так и обстоит. Ведь произнося эту сентенцию, я одновременно и говорю о том, что я обязуюсь совершать посредством мысли и речи, и совершаю это. Всякое исследование в области наших фундаментальных верований и убеждений может быть непротиворечивым лишь в том случае, если оно предполагает свои собственные выводы. Такое исследование по самому своему смыслу должно содержать в себе логический круг.
И это последнее высказывание само может служить примером того действия, которое оно узаконивает. Ибо оно очерчивает основание моего рассуждения, опираясь
при этом на эти же самые основания. Мое допущение логического круга и доверие к этому допущению могут быть оправданы лишь убежденностью, что в той мере, в которой я выразил свое чувство интеллектуальной ответственности в качестве моей личностной веры, в той же мере я могу быть уверен, что выполнил фундаментальные требования самокритицизма; убежденностью, что я действительно обязан сформировать такие личностные верования и могу с полным правом и ответственностью их придерживаться, даже если я вижу единственное оправдание такого в том, что на той же основе, что и утверждаемые им факты, говоря логически, вся моя аргументация есть не что иное, как разработка этого круга. Это систематический курс обучения самого себя быть верным своим убеждениям»579.
Прервем несколько затянувшееся цитирование. Зафиксируем важные для нас особенности подхода к науке Полани, той позиции, которую он выстраивает. Это, во- первых, позиция самообучения вере, как вере самому себе. Это, если угодно, технология собственной самоорганизации личности ученого, пребывающего в науке, делающего эту науку, находящего путь к себе через посредство науки, обретающего уверенность в преодолении сомнений и т. д. В данном случае просматриваются глубокие параллели с концепцией самоактуализирующейся личности А. Маслоу; параллели, кстати говоря, признававшиеся как Полани, так и Маслоу.
Итак, личностная позиция — это позиция человека, взрастившего в себе веру (не обязательно религиозную), веру в себя, но не самоуверенного, а открытого миру, себе и другим. Логический круг, в таком случае, есть просто одна из проекций на плоскость логики, его пути обретения себя, своей бытийной устойчивости. Но ведь мы хорошо знаем и о так называемых порочных логических кругах. Мы хорошо знаем о том, что логика (т. е. логики) на протяжении веков напряженно боролись с этими кругами, затрачивали много сил для их обнаружения и исключения из практики научного дискурса.
Зададимся наивным вопросом: а зачем, почему это делалось? По-видимому потому, что логический круг
отождествлялся с «топтанием на месте», он ни к чему не вел, кроме, если трактовать проблему медико-психологи- чески, к патологии психической или шизофрении. То же касается и логического противоречия, которое, однако, в образе фазового портрета динамической системы, такой как, скажем, регулятор холодильника, (пример Грегори Бэйтсона — кибернетический эквивалент логики) представляет собой колебания.
Но если логический круг — это только проекция (причем, одна из проекций) на пути «обретения себя, но никоим образом не топтания на месте». Таким образом, личностная позиция многомерна. А ее логический круг — знак-символ ее устойчивости и, одновременно, — динамичности. Но все эти рассуждения осмысленны, только если мы располагаем критериями различения ситуаций замыкания логического круга в качестве познавательного
и, более того, экзистенциально значимого события, возвращения к тому же самому.
Личностная позиция саморганизованна и динамична. А ее существование в качестве таковой предполагает, помимо прочего, знание навыков саморазвития и умения пользоваться ими, навыков внутреннего мастерства, сопрягаемого с мастерством, профессионально проявляемым внешне в искусстве Мастера. В самом начале (Предисловии) к своей книге «Личностное знание» Полани пишет: «Может показаться, что эти два слова — Личностное и Знание — противоречат друг другу: ведь подлинное знание считается безличным, всеобщим, объективным. Но это кажущееся противоречие разрешается иной трактовкой самого понятия «знание».
Главным ключом для пересмотра этого понятия стали для меня открытия гештальтпсихологии. Я хочу по-свое- му развить применение понятия «гештальт». Для меня знание — это активное постижение познаваемых вещей, действие, требующее особого искусства. Акт познания осуществляется посредством упорядочения ряда предметов, которые используются и как инструменты или ориентиры, и оформления их в искусный результат, теоретический или практический. Можно сказать, что в этом случае наше осознание этих предметов является «периферическим» по отношению к главному «фокусу осознания той целостности, которой мы достигаем в результате...»
Теперь я перейду от представленной в цитате «Я- позиции-Полани» к моей собственной «Я-позиции». Естественно, я не могу пока ее представить полностью. Весь текст и должен явиться таким представлением. Но некоторую интенцию, векторность ее я, надеюсь, уже могу обозначить здесь и теперь. Именно, следуя Полани, но не только Полани, я хочу развить далее понятие гештальт, придав ему коммуникативное измерение с одной стороны и автопоэтическое — с другой. В этом, если говорить кратко, и состоит то, что я называю феноменом синергетики в постнеклассической науке и культуре постмодерна.
Можно также сказать и о коммуникативной интерпретации понятия гештальт. С одной, однако, оговоркой. Интерпретация понятия — это так или иначе, но всегда интерпретация, которая зависит от контекста, целей и т. д. Даже использование термина «понятие гештальт» предполагает некую интенцию интерпретации. Именно, понимание гештальта скорее как вещи, как статичной заданной структуры, но не как процесса. Вообще говоря, эта интерпретация всегда «философски нагружена». Так, первоначальное открытие феномена гештальта немецкими психологами (Кафка, Вертгаймер) как динамической самодостраивающей себя целостности структуры поля зрительного восприятия, получило впоследствии вполне стерильную позитивистскую и физикалистскую редукционистскую интерпретацию, что в значительной мере ограничило те большие эвристические возможности, которые это открытие тогда в себе потенциально содержало. Лишь в 50-х годах эти возможности были первоначально использованы в гештальт-терапии Фрица Перлза как альтернативы психоанализу Фрейда, и в философии науки Полани как альтернативы «ложному идеалу научной беспристрастности»580.
Коммуникативная интерпретация гештальта должна быть внутренне самосогласованна, иметь круговой характер. Здесь не обойтись без упомянутого «циклического» отношения к предмету. Нужно показать, что гештальт коммуникативен, коммуникация имеет характер гештальта. Показать, сочетая герменевтику, феноменологию и языко
вую игру в духе Витгенштейна. А во все эти ингредиенты добавить еще нечто «по пути». И это нечто — Х-наука, называемая нами иногда синергетикой, для которой характерна именно срединная позиция личностного знания — знания между полюсами субъективности с одной стороны и незаинтересованной объективности с другой.
А если принять во внимание временной, исторический характер синергетики, то возникает образ пути синергетики, ее «Дао», ее встреч как событий.
Нельзя не сказать, что личностный путь синергетики сопряжен с определенным риском. Если иметь в виду первый ее предикат, «личностный», то на некоторые из опасностей обратил внимание и сам Полани. «Как только такая программа сформулирована (систематического курса обучения себя самого быть верным своим убеждениям), она, как может показаться, грозит разрушить самое себя. Ей грозит сползание в субъективизм, поскольку, ограничиваясь выражением своих собственных убеждений, философ может пристраститься говорить только о себе». Рецепт лечения, или профилактика философского невротизма, (и не только философского), порождаемого подобным пристрастием — терапия языка, контроль за его адекватным использованием. Здесь Полани когерентен позднему Витгенштейну.
Чтобы не пристраститься «говорить только о себе», декларативные предложения ради точности следовало бы формулировать в «фидуциарном модусе», ставя перед ними слова «я полагаю что..».. Однако эта языковая реформа, которая бы связывала каждое утверждаемое высказывание с его субъектом, точнее даже не реформа, а программа развития культуры употребления языка в науке, с необходимостью предполагает достаточно надежное крепление языковой коммуникации и на другом полюсе — «полюсе вещей», о которых это высказывание говорит.
Для понимания замысла Полани полезно все его собственные высказывания соотносить с концептом гештальта (или паттерна), который иерархически организует (са- моорганизует) то структурированное, открытое, динамическое целое, то становящееся семантическое поле, в котором личностное знание себя обнаруживает. Это важно и для ответа на вопрос «что такое синергетика». Ибо
именно в личностном знании, знании-гештальте, паттернах лингвистических, визуальных, тактильных и их знаковых обозначениях синергетика себя и обнаруживает, дополняя, развивая и замыкая коммуникативно концепт гештальта. Как я надеюсь далее показать, вклад синергетики в философию науки как науки, ориентированной на междисциплинарность, состоит в том, что синергетика активизирует, стимулирует процесс осознавания (не самосознания, и не методологической рефлексии, а именно осознавания в его гештальтистском понимании) как особого способа самонаблюдения, осуществляемого с позиции «здесь и сейчас».
К осознаванию я буду неоднократно возвращаться по ходу этого. Сознавание или осознавание — основа метода гештальт-терапии, о которой тоже будет далее довольно много говориться, особенно в связи со становлением современной психотерапии как новой науки о человеке, ориентированной на реальность автопоэйзиса и «третью», промежуточную, эпистемологическую позицию, задаваемую личностным знанием «здесь и теперь».
Но «здесь и теперь» в научном познании, вообще говоря, отличается от «здесь и теперь» в естественном жизненном мире человека. Личностное знание в науке, не совпадает с жизненным знанием человека, или его знанием жизни, житейской мудростью. Но проводя различие между личностным знанием (позицией) в науке и знанием, определяемым повседневными и будничными структурами повседневности, его не следует преувеличивать, ибо между ними существует тонкая и многосторонне разветвленная взаимосвязь. Синергетика эту взаимосвязь не просто открывает, она ее распознает в новом контексте.
Как же возникает личностная позиция в науке, как она становится? Я не буду пытаться дать компактно представленный в тексте ответ на этот вопрос, по смыслу своему эквивалентный вопросу «Что такое синергетика».
Личностная позиция, представленная в тексте книги Полани «Личностное знание», конечно же интерпретируется мной с позиции личностной приверженности, вовлеченности — самоотдаче синергетике, этой загадочной Х-науке, где X символизирует для меня не просто некую незавершенность, но некий познавательный гештальт; причем незавершенность принципиальную, кото
рая может переживаться по-разному, например, в работах Ф. Гиренка она предстает в образе метафизики «ускользающего бытия».
Личностная позиция — это некий обобщенный гештальт, открытый динамический топос, целостность. Полани ее иллюстрирует, записав (символически) элементы, объединенные контекстом ситуации вовлеченности, в сопоставлении с теми ее самыми элементами, рассматриваемыми извне, отстраненно от ситуации вовлеченности.
Конкретно, речь идет например о фактуальном высказывании. Итак, фактуальное высказывание рассматривается нами с двух разных позиций: внутренней, личностной, позиции личностно пристрастной и т. д. и позиции внешней, позиции незаинтересованного, беспристрастного наблюдателя. Тогда мы имеем:
Изнутри: как личностно пристрастное утверждение, облеченное доверием говорящего, удостоверяющее факты.
Извне: как выражающее субъективное мнение, декларативное высказывание, предполагающее факты4.
Различие двух позиций состоит, согласно ,Полани, в целостности первой и необязательности, не необходимости (контингетности) второй. Первая позиция целостна, потому что в ней реализуется целостность гештальта, целостность, которая в синергетике получает свое самосогласованное объяснение. Забегая несколько вперед, скажу, что синергетика предлагает модель (рамки) для реинтерпретации гештальт-подхода, придавая этому подходу форму становящейся, открытой коммуникации. При этом синергетика, вводя в рассмотрение обобщенные «лазерные принципы» параметра порядка, принципа подчинения, а также принципа круговой причинности, дает возможность продвинуться в понимании смысла символов Полани, с помощью которых он пытается разъяснить различие личностной и безличностной позиций в научном познании.
Стрелки в личностной позиции, как уже говорилось, указывают на «силу вовлеченности», убежденности, конгруэнтности личности, а фигурные скобки указывают на согласованность вовлеченных в ситуацию элементов..
В фигурных скобках Полани находятся конгруэнтные (НЛП), или — когерентные, если пользоваться лазерно
синергетической метафорой, — элементы, или, точнее, подсистемы. При этом для понимания дальнейшего нужно иметь в виду, что развитие синергетического подхода в том его виде, как оно реализовалось в синергетической сетевой модели распознавания образов, затем в моделях интерсубъективного согласия в процессах языкового обмена в широком понимании, включающем как вербальный, так и невербальный коммуникативный обмен, открыло возможность лучшего понимания смысла фигурных скобок Полани. Для удобства и краткости я буду далее говорить просто о фигурных скобках Полани, имея в виду динамически связанную совокупность элементов, образующих в своей связанности динамическую форму, паттерн, описываемый параметром порядка, который с точки зрения элементов подсистем может восприниматься как целевая причинность, переживание вовлеченности, трансцендентная духовная ценность, вера, порыв, всеобщность, центральный мировой порядок, вовлеченность в мировой порядок, чувство причастности к этому порядку и т.д.
В принципе речь идет об эпистемологическом гештальте науки, который распадается на элементы и не воспринимается как целостность с позиции внешнего, личностно не включенного в ситуацию наблюдателя. Подчеркну, что для Полани это не психология научного творчества и не описание паттерна поведения ученого в науке. Хотя ко всему этому сказанное имеет отношение, но не сводится.
После открытия гештальт-феноменов самоорганизации зрительного поля такие видные представители гештальтп- сихологии, как Вертгеймер, Келер, Дункер, уделяли много внимания вопросам творчества, творческой деятельности, психологии творчества, сделав ее предметом экспериментального рассмотрения. Но описание экспериментов было задано их приверженностью к языку внешнего, объективного, бесстрастного наблюдателя. Рассогласование формы языка и того, что с помощью этого языка гештальтисты, открывшие феномен психологической целостности, стремились сообщить научному сообществу, стало одним из оснований либо для неприятия их концепции в целом, либо для ее принятия только в частичном и ограниченном виде.
Сходный мотив обнаруживается у Дэвида Бома, выдвинувшего целую программу реформы языка в квантовом контексте, поскольку используемый язык классической физики не когерентен квантовому контексту, что, собственно говоря, и есть источник нескончаемых квантовых парадоксов581.
Разница между личностной и внеличностной позициями у Полани принципиальна. Личностная позиция — это позиция высоко мотивированная, динамичная, самоконг- руэнтная, если пользоваться языком современного нейролингвистического программирования (НЛП). Картина познания в личностном измерении вводит в рассмотрение движущие силы познания, идею динамического паттерна, формы, которые, будучи незавершенными, диктуют «пребывающему внутри» ученому страстное стремление завершить ее. Но эта картина — не апологетика субъективности. Это картина познания, которая включает в себя как необходимый параметр порядка веру ученого, личностно причастного процессу поиска истины, решения задачи и осознающего в этом качестве ученого свое призвание. Вообще говоря, эта вера, хотя и сходна с религиозной, тем не менее не совпадает с ней.
Полани подчеркивает, что оставаясь все время в без- личностной внешней позиции, будучи слепо приверженным этой позиции как подлинно научной и объективной, мы низводим до уровня субъективности ту когерентную, личностно обусловленную связь, которая символизируется стрелками и фигурными скобками в верхней позиции.
Между обеими позициями, внешней и внутренней, должна быть установлена связь, понимаемая как некий диалоговый процесс, коммуникация, согласие. Полани не отрицает в принципе необходимость внешней позиции. Он лишь настаивает на необходимости ее включения в общие рамки сети взаимосвязанных гештальтов личностного знания.
Внешняя позиция призвана иметь смысл именно как личностно ориентированная позиция, как коммуникативная возможность актуализации сомнения, акта его реализации. Но это личностный акт, удовлетворяющий потребность в сомнении, акт, обеспечивающий открытость пер
вой позиции, ее недогматичность, гибкость, открытость выбору будущего. Сомнение служит целям разотождеств- ления некритической приверженности той или иной конкретной всеобщности. Сомнение может быть представлено как акт перехода от первого ряда элементов ко второму.
Инструментом сомнения может быть рефлексия. Тогда позиция второго ряда — это позиция рефлексирующей личности. Это тоже личностная позиция, позиция Декарта, позиция всеобщности сомнения. Но она будет оставаться личностной в той мере, в какой она сохраняет связь с первой — фидуциарной позицией веры, доверия к себе и миру, своему собственному бытию в мире. Первая позиция — это, вообще говоря, позиция личностно переживаемая как личностный кризис, как сбой коммуникации, кризис идентичности, иногда достигающий патологического чувства утраты собственного «я».
Выход на критическую рефлексивную позицию для ученого имеет смысл, если, пережив сомнения, обретя опыт переживания их, он может вновь вернуться в ситуацию, изображаемую первым рядом взаимосвязанных элементов. «Однако это возвращение может оказаться невозможным, если лицо, пытающееся его совершить, осознает, что такого рода движение включает в себя акт собственного личностного суждения, и вследствии этого будет считать такой переход неоправданным* именно по причине его личностного характера».
Здесь концепция личностного знания, в том виде как она представлена Полани в структуре «коммитмента» — пленения аттрактором, целью, жаждой идеального всеобщего, жаждой, имеющей глубокие биологические корни в эволюционном процессе, а может быть в самой большой истории Вселенной, имеет далеко не тривиальное, имеющее глубокий смысл пересечение с современными психотерапевтическими моделями.
И в этом месте наших рассуждений мы приходим (посредством личностного знания Полани) к новому пониманию синергетики как «контактной науки». Это «контактная наука» того же свойства, что и гештальт-подход, о котором уже ранее говорилось и будет еще говориться ни же. «Контактная» в том смысле, что, делая предметом рассмотрения систему «организм-окружающая среда» и рассматривая эту систему как целостный и, вообще говоря,
незавершенный гештальт, контактная наука стремится удерживать в фокусе своего рассмотрения зону взаимодействия организма со средой, образуемую организмом контактную границу. Тем самым контактная граница становится «фигурой переднего плана». Что же касается позиции наблюдателя, его месторасположения, то указать ее достаточно сложно. Немного упрощая, но все же полезно с коммуникативной точки зрения представить эту позицию как трансверсальную в контексте ситуации встречи. Это не традиционная классическая метапозиция. То, что она «третья» и «между», в философском контексте может быть так же обозначено, что она где-то «между» позициями чистой феноменологии Гуссерля и герменевтики Дильтея.
Ну, а ссылки на гештальт-подход вводят в контекст всего рассмотрения свою родную «синергетическую динамику неоднозначности», коннотативность, умножае- мость смыслов, множественность интерпретаций, нелинейность в противоположность единственности, линейности заданности смысла и т.д.
Тем самым в математический и естественнонаучный дискурс, считавшийся дотоле эталоном чистоты коммуникативного акта (Р. Барт) вторгается вероятностный кон- нотативный шум, грозящий разрушить всю истиннонаучную коммуникацию в целом. Но это с точки зрения линейной классической науки. Для синергетики с ее открытиями странных аттракторов, детерминированного хаоса коннотативность, неоднозначность, метафоричность — не препятствие научному сообщению как тексту- посланию, а, в принципе, его необходимый составной элемент. Ведь в конце концов приемник этого сообщения, его реципиент, — это не просто регистрирующее автоматическое устройство, но ученый, личностно вовлеченный в тот же коммуникативный канал, что и отправитель сообщения.
Научный текст сближается с текстом литературным, в него входит, как говорят, «нарративный» элемент.
Здесь для меня предоставляется удобный случай проиллюстрировать специфику неоднозначности третьей позиции как фокусировку на границе контакта. В конце концов, одну из причин этой неоднозначности можно приписать тому, что с этой позиции междисциплинарная граница ненаблюдаема. Если, конечно, она будет строго
статичной. Но вот как интерпретирует результат работы Тома «Топология и лингвистика» Ю. И. Манин582. По его словам, этот результат состоит в обнаружении довольно скрытого, но тесного структурного параллелизма между фрагментами двух языков: «человеческого» языка обыденной жизни и языка ньютоновой механики в его крайне схематизированном и топологизированном варианте».
Далее идет любопытная интерпретация интерпретации. По словам Манина, «точка зрения самого Тома отличается от сформулированной выше подчеркиванием ассиметрии ситуации: для него язык ньютоновской механики служит вместилищем «смысла» (плана содержания) для человеческого языка (плана выражения). Это доставляет разительную параллель к так называемой «гипотезе Сепира-Уорфа» в этносемиотике, которая предполагает почти причинную связь между средствами выражения, скажем, индоевропейских языков, и той естественнонаучной картиной мира, наследниками и строителями которой мы являемся. Это обстоятельство делает возможным рассматривать статью Тома не только как результат, но и как интересный объект иссследования».
В контексте множественности интерпретаций предложу и свою, вступив тем самым в заочный диалог с заинтересованными сторонами. Во-первых, сразу возникает искушение «параллелизм фрагментов двух языков», о котором говорит Манин, превратить в синергетическое кольцо, своего рода коммуникативный языковый гештальт, исторический, кросскультурный, лингвистический инвариант, глубинный паттерн, проявляющийся в наблюдаемых языковых паттернах индоевропейских языков и той естественнонаучной картиной мира, которая и сейчас существенным образом определяет наше мировоззрение.
В пользу такого предположения может свидетельствовать, например, необычайная устойчивость декартовоньютоновой «парадигмы» в различных областях научного познания, например в медицине. И это при всем при том, что именно в медицине эта парадигма уже достаточна давно подвергается серьезной критике, причем критике не чисто апофатической, отрицательной, но достаточно, на мой взгляд, конструктивной.
Но не только в медицине декартово-ньютонова парадигма подвергается сомнению. Сомнение в ее претензиях на универсальность в культуре западноевропейской цивилизации высказывалось и в философии, причем это сомнение имеет по нашим временам уже вполне почтенный возраст, даже если это сомнение философское. Об этом смотри блестящую работу Рорти «Философия и зеркало природы»583, а также другие работы этого автора.
Но я веду свой разговор, обозначая и осознавая себя наблюдателем и по преимуществу в другом, из другого «автопоэйзиса». Это автопоэйзис по преимуществу естественнонаучного дискурса, естественнонаучных гештальтов, программ теорий, доктрин, парадигм, подходов и пр. Это и третий мир проблем Поппера, и мир личностного знания Полани, и, одновременно сопряженный с этим миром, мир неявного, неявленного, молчаливого, невы- говоренного, неартикулированного знания. Это молчаливое, неартикулированное знание всегда имеется в виду в качестве «имеющего место», присутствующего совместно в личностной позиции, как позиции «третьего пути», позиции «идущего человека». Человека, идущего вместе с другим, с другом. Человека, встречающегося с другим, готовым к такой встрече, готовым к событию. Молчаливое знание — это не иррациональное знание, и даже не а- рациональное знание. Это скорее знание в действии, знание, реализуемое в действии человека как мыслящего, ощущающего, чувствующего и переживающего существа. Это знание-навык, знание-умение, знание-мастерство, знание-искусство, а в науке это прежде всего знание как искусство познавать. Это знание организованно, точнее самоорганизованно в форме гештальта, гештальта открытого, незавершенного, стремящегося — иногда страстно и неудержимо — завершить себя, удовлетворить себя, что в ситуации познания (научного) есть стремление найти, обнаружить нечто неизвестное, непонятное, выполнить свою миссию, исполнить предназначение и т. д. Такого рода переживания незавершенности, стремления завершить, слиться, дополнить имеют свое выражение в области человеческой любви, ее переживания, переживания, которое охватывает широкую палитру действий, чувств,
эротики слов, образов и ощущений, от экстаза в творчестве художника, поэта, музыканта, философа, нашедших ключ, испытывающих озарение, переключение гештальта «фон-фигура», инсайт, или еще то, что Маслоу назвал «пиковым опытом». Все это вместе можно еще было бы назвать опытом переживания тотальной захваченности процессом самоорганизации личности. Причем таким опытом, который преобразует личность. Это ответвление моего дискурса имеет отношение к образу встречи Полани и Маслоу, как я ее вижу здесь и теперь.
Итак, взгляд на ньютонианскую лингвистику из моего автопоэйзиса. Вместе с Маниным. Напомню, что Манин видит в статье Тома «интересный», как он пишет, «объект исследования». Я не могу, однако, разделить эту позицию полностью, и не потому, что с ней как бы не согласен, а потому, что я не понимаю эту статью в ее собственно математических измерениях. То есть, я догадываюсь о намерениях Тома, поскольку соотношу его текст «Топология и лингвистика» с программой «На пути...» Но я очень мало знаком с остальными работами Тома. Тем не менее, чувство совместной разделяемости целого, паттернов общего гештальта, позволяет мне дальнейшие рассуждения некоторым телеологическим образом оправдать.
Дело в том, что для Тома ньютонова механика, представленная математически ее гамильтоновым формализмом, в виде системы уравнений, вполне допускает две крайние интерпретации: локально-причинную и телеологическую. Последняя кореллятивна ее формулировке в виде вариативного принципа наименьшего действия. Так что уже классическая, гамильтонова, механика вполне совместима с разными картинами мира: телеологической и локальной причинно-следственной. Поэтому когда Манин говорит, комментируя Тома и даже интерпретируя интерпретацию Тома, что модель Тома как бы обосновывает гипотезу лингвистической относительности Сепира- Уорфа о «причинной связи между средствами выражения и той естественнонаучной картиной мира, наследниками и строителями которой мы являемся», то я бы хотел возразить, что провозглашенным намерением Тома в тексте «Топология и лингвистика» было уйти от линейноденотативной модели письма, как семиотической модели, в основе которой лежит модель языка Фердинанда де
Соссюра, причем уйти в первую очередь от классического догмата Соссюра о «произвольности знака».
Знак вовсе не произволен, если посмотреть на него с позиции гештальт-подхода, то есть синергетической нелинейной целостности зрительного и символического, процессов, взаимосвязанных через обратимый, кольцевой процесс перевода (Веккер).
Эта непроизвольность знака особенно отчетливо переживается в контексте религиозного дискурса. Религиозные тексты телеологичны дважды. И они тем более отвечают критерию быть религиозным текстом, письмом, чем более резонируют в них, сливаясь и отождествляясь до неразличимости, два личностных образа-гештальта: мой и Бога. Поэтому в религиозном тексте каждое слово, каждый знак — на своем месте. Отсюда становится понятной та удивительная устойчивость, всепоглощаемость хорошо выстроенного, когерентного самому себе религиозного дискурса, удивительное (если смотреть с внешней позиции сочувствующего наблюдателя) сочетание эмоционального и интеллектуального начал в нем.
Это удивительное сочетание особенно отчетливо присутствует в текстах такого автора, каким был о. Павел Флоренский, в личности которого органическим образом сочетались рациональная научная мысль и живая религиозная традиция верующего христианина православной ориентации, ориентации той ее разновидности, истоки которой коренятся, видимо, и в мистическом опыте исихазма.
Эти заключительные слова я написал не без колебаний. Но при этом я достаточно уверенно соотношу свои рассуждения с работами С. С. Хоружего, сделавшими меня, как я смею надеяться, вовлеченным, хотя и молчащим соучастником синергийной коммуникации с областью дискурса, организованного в своей артикулированной семиотической упорядоченности вокруг концепта молчаливого знания, именуемого в его нерасчлененной целостности «мистическим опытом»584.
И. П. Меркулов МЫШЛЕНИЕ С ТОЧКИ ЗРЕНИЯ КОМПЬЮТЕРНОЙ ЭПИСТЕМОЛОГИИ
Попытки выяснить, что представляет собой человеческое мышление и где хранятся наши мысли и знания, предпринимались еще в глубокой древности. Тексты папирусов свидетельствуют, что эти вопросы волновали жрецов Древнего Египта, которые считали, что мысли и знания находятся в сердце. Аналогичных взглядов придерживался Аристотель, в то время как Платон считал, что мысль сосредоточена в мозге. Как и элеаты, Платон (в силу магии слова) отождествлял мышление и речь, которые, с его точки зрения, возникают в результате установления отношения между субъектом и предикатом высказывания или «соединения» имен существительных с глаголами. Платон впервые ввел различие между рассудочным и разумным мышлением, а также разработал ана- литико-синтетический метод — диалектику, — который он рассматривал как средство катарсиса, позволяющего «душам» избранных устремляться, минуя ощущения, к сущности любого предмета, включая сущность божественного блага.
Аристотель разделял «пропозициональную» парадигму Платона — его понимание силлогизма в равной мере допускало и пропозициональную и лингвистическую и онтологическую интерпретации. Определяя силлогизм как вид логоса, где между данными посылками и заключением имеет место логическое отношение необходимого следования, он стремился показать, что заключение вытекает с необходимостью из формы и сочетания посылок, а не является следствием их содержания. С позиции своей силлогистической теории Аристотель радикально пересмотрел точку зрения Платона на метод мышления, позволяющего выявить сущность предмета: то, что у Платона являлось конечным результатом диалектического «очищения», у него выступало только как посылка силлогистического доказательства. Способность мыслить Аристотель относил к компетенции ума, бессмертной «мыслящей час
ти» души. Он также выдвинул ряд гипотез, оказавших существенное влияние на последующее развитие психологии мышления — например, принцип ассоцианизма. Идеи, считал Аристотель, связываются между собой на основании смежности, сходства или контраста, а истинное знание может быть получено путем дедуктивных или индуктивных рассуждений. Платон и Аристотель положили начало основным направлениям исследования мышления, которые в дальнейшем получили развитие в классической философии и логике.
В философии Нового времени мышление (и его законы) анализировались с различных мировоззренческих позиций. Отталкиваясь от традиционной для христианского вероучения оппозиции души и тела, философы- идеалисты рассматривали мышление как атрибут особого, свойственного только человеку (как ближайшему подобию Бога) духовного начала. Р. Декарт, в частности, считал, что сознание, «душа» является нематериальной метафизической сущностью, которую Бог соединил с материальным телом, а мышление — это свойство сознания, «разумной души». Напротив, представитель британского эмпиризма Т. Гоббс придерживался механистического взгляда на природу мысли и исходил из предпосылки, что материя может мыслить. По его мнению, мышление подобно математическому вычислению, но вместо чисел оно оперирует идеями — суммирует, вычитает, сравнивает их и т. д. Гоббс был уверен, что в принципе могут быть созданы такие технические устройства, которые окажутся способными мыслить. Продолжая рационалистическую традицию Декарта, немецкий математик и философ Г. Лейбниц полагал, что человеческое мышление управляется законами логики и выдвинул идею математизации мышления — создания универсального логического языка, который позволил бы точно и однозначно эксплицировать понятия и отношения и получать с помощью вычислений истинные знания. Он разработал ряд математических вариантов логики, привлекая для этих целей арифметику, геометрию и комбинаторику, и небезуспешно пытался представить всю силлогистику Аристотеля в виде арифметического исчисления. Развивая представления Д. Локка, который впервые назвал связи, обусловленные привычкой или случаем, термином «ассоциация идей»,
британские эмпирики Беркли, Юм, а позднее Джеймс Милль и его сын Д. С. Милль выделяли три типа внутренних мысленных репрезентаций — восприятия, их бледные копии, которые хранятся в нашей памяти, и преобразования этих бледных копий, т. е. ассоциативное мышление. Однако вопросы, касающиеся природы мысленных ассоциаций, их источников, процессов, лежащих в основе их формирования, законов ассоциаций и т.д., длительный период оставались предметом острых дискуссий. Во второй половине XIX в. усилиями главным образом философов, математиков и психологов окончательно сформировались два основных направления исследования, которые привели к разработке различных логических и психологических концепций мышления.
Важным этапом формирования логической концепции мышления оказалась разработка в 1854 г. ирландским математиком Дж. Булем алгебры логики. Согласно его точки зрения, мысли представляют собой высказывания или утверждения о мире, которые могут быть представлены в символической форме. Такого рода символы соответствующим образом комбинируются и из них получают другие утверждения о мире. Мышление, с этой точки зрения, оказывается манипуляцией символов. Буль также предположил, что высказывания и сложные выражения могут принимать только два истинностных значения и разработал таблицы истинности для определения истинностных значений сложных выражений. Разрабатывая этот синтаксический подход к мышлению, немецкий логик Г. Фреге соединил полученные Булем результаты с аристотелевской категорической логикой. В конечном итоге ему удалось построить строгое аксиоматическое исчисление высказываний и предикатов и заложить основы современной логической семантики. Тем самым были значительно расширены репрезентативные возможности языка логики применительно к знаково-символическому (ло- гико-вербальному) мышлению. В дальнейшем попытки устранить обнаруженные в системе Фреге парадоксы повлекли за собой формализацию логики, разработку наиболее полного логического исчисления, которое было осуществлено Б. Расселом и А. Уайтхедом в их капитальном трехтомном труде «Principia Mathematica». Однако, как показал К. Гёдель (1931г.), системы типа «Principia
Mathematica» принципиально неполны, поскольку их средства позволяют получить неразрешимые математические утверждения.
Параллельно попыткам философов и математиков разработать логические системы мышления в другой дисциплине — психологии — во второй половине XIX в. был поставлен вопрос о том, могут ли ментальные события и мышление в целом каким-либо образом измерены. Основоположники экспериментальной психологии (В. Вундт в Германии и его ученик Э.Титченер в США) стремились сформировать отдельную от философии, опирающуюся на эмпирические данные дисциплину, которая изучала бы структуру сознания и объясняла бы его феномены в терминах естественных наук. Ориентируясь на физическую химию, пытавшуюся обнаружить фундаментальные элементы материи, психологи-структуралисты надеялись разложить психические явления на простые атомы, выделить простейшие, неразложимые ментальные события и обнаружить законы, управляющие образованием более сложных ментальных феноменов. Серьезное влияние на взгляды структуралистов оказали идеи ряда представителей британского эмпиризма (Локк, Юм), их представления о том, что ощущения являются основой всех знаний и мыслительной активности человека. В дальнейшем новые открытия (в частности, открытие условного рефлекса И. Павловым) заставили психологов отказаться от структуралистской программы, и доминирующей концепцией в психологии на протяжении последующих 40 лет стал бихевиоризм (Дж.Уотсон и др.), провозгласивший, что объектом психологического исследования может быть только наблюдаемое поведения, а мышление, вера и т. д. — это лишь теоретические конструкты, затемняющие понимание фикции, которые следует рассматривать как условные рефлексы. Неспособность бихевиоризма объяснить более сложные психические явления — например, речь, мышление и т. д. — обусловила формирование в психологии альтернативной концепции — гештальттео- рии. Ее сторонники (Вертгеймер, Келер и др.) считали, что для адекватного объяснения мыслительных процессов необходимо допустить наличие внутренних ментальных состояний и тесную интеграцию различных когнитивных структур. Поскольку целое не сводится к сумме
своих частей, то мышление, с их точки зрения, следует рассматривать как активный, конструктивный процесс, оно может быть либо продуктивным, ведущим к инсайту, стремящимся обнаружить новые структурные отношения в ситуации или проблеме, либо репродуктивным, лишь имитирующим уже известное.
Фундаментальные открытия 40 — 50-х гг. в теории информации, нейрофизиологии, теории автоматов и кибернетике радикальным образом изменили направления исследований в различных областях науки, прямо или косвенно относящихся к человеческому мышлению. Однако только в середине 60-х гг. эти открытия позволили сформировать единую картину мыслительных процессов на основе моделей переработки информации, положив начало новой психологии, которую У.Нейссер назвал когнитивной психологией. Позднее когнитивная психология стала частью более крупной дисциплины — когнитивной науки, которая в настоящее время охватывает исследования в таких областях, как эпистемология (компьютерная эпистемология), лингвистика психолингвистика, информатика, нейробиология, нейропсихология и т. д. Общей целью этих исследований является поиск объяснения высших мыслительных процессов на основе теоретикоинформационных моделей.
Открытие в 60-х г. XX в. Р. Сперри и его коллегами межполушарной церебральной асимметрии и связанных с функциональной активностью левого и правого полушарий мозга когнитивных типов мышления — знаково-сим- волического (логико-вербального) и пространственно-об- разного, — получившее убедительное экспериментальное подтверждение (с помощью метода позитронно-эмисси- онной томографии, метода электроэнцефалограммы и т.д.), позволило сформировать принципиально новую, основанную на эмпирических данных, картину мыслительной активности человека. Как оказалось, различия между функциями полушарий и, соответственно, когнитивными типами мышления не сводятся к формами репрезентации материала, а касаются главным образом способов переработки когнитивной информации, принципов организации контекстуальной связи стимулов. Для про- странственно-образного мышления характерны целостность восприятия и холистическая стратегия обработки
многих параметров поступающей информации. В результате происходит одновременное выявление соответствующих контекстуальных связей между различными смыслами образа или между целостными образами, «гештальтами», и создание на этой основе многозначного контекста (например, мозаичной или калейдоскопической картины) с множественными «размытыми» связями. Со своей стороны, знаково-символическое (логико-вербальное) мышление использует аналитическую стратегию и направлено на выявление только некоторых, существенных для анализа, признаков, жестких причинно-следственных связей. Оно последовательно перерабатывает когнитивную информацию (вербальную и невербальную) по мере ее поступления, организуя однозначный контекст, необходимый для успешной вербальной коммуникации. Однако в простейших случаях знаково-символическое мышление также обнаруживает способность к параллельной обработке информации, а пространственно-образное мышление — некоторые, довольно примитивные способности к анализу.
Интерпретация этих и некоторых других экспериментальных данных, полученных в нейрофизиологии и психофизиологии, на основе когнитивных моделей, а также с учетом достижений когнитивной науки и исследований в области искусственного интеллекта, на наш взгляд, представляет особый интерес для эпистемологии, поскольку она способствовало бы более глубокому пониманию наших собственных мыслительных способностей. При этом вполне можно оставить открытым вопрос о том, до какого предела искусственный интеллект способен имитировать человеческое мышление. В современной философии сознания на этот счет высказываются различные точки зрения. В частности, сторонники слабой версии теории искусственного интеллекта считают, что соответствующим образом запрограммированный компьютер может только моделировать мыслительные акты человека, в то время как сторонники сильной версии допускают, что запрограммированные компьютерные устройства действительно мыслят и в силу этого могут находиться в соответствующих когнитивных состояниях. В первом случае компьютерное устройство оказывается способным лишь к когнитивной симуляции, т. е. оно просто имеет тот же самый
вход и выход, что и человеческое мышление585. Но если компьютер действительно мыслит, то это означает, что он способен к когнитивному дублированию, которое предполагает воспроизведение вычислительным устройством причинных отношений внутри человеческого мозга. И, наконец, «компьютерное мышление» может означать также возможность когнитивной эмуляции, когда вычислительное устройство оказывается не только способным воспроизводить причинные отношения человеческого мозга, но и сделано из того же самого «железа» — нейронов. Конечно, нейронные сети человеческого мозга нельзя воссоздать в силиконовых микропроцессорах. Но биотехнологии быстро развиваются, и молекулярные биологи уже предпринимают попытки использовать молекулы ДНК для решения сложных вычислительных задач. Поэтому, если мышление рассматривать как эмержентное свойство органической материи, то лишь в случае создания дублирующих вычислительных устройств из соответствующего материала они действительно будет обладать способностью мыслить.
Однако подавляющее большинство сторонников сильной версии не идут столь далеко в своих допущениях и не соглашаются с условием эмуляции мыслительных актов человека в вычислительных устройствах. Они считают правомерным рассматривать мышление как сугубо функциональное свойство формальных систем, которое совершенно не зависит от физического воплощения, от конкретного типа «железа». Эта точка зрения отражает мнение многих ученых и инженеров, создателей новых компьютерных систем и программного обеспечения, которым за последние десятилетия удалось разработать и практически реализовать в современных информационных технологиях два стандартных вычислительных под
хода к моделированию человеческого мышления — сим- волицизм (symbolicism) и коннекционизм (connectionism).
Классический символицизм исходит из предположения, что человеческое мышление функционально эквивалентно мышлению компьютерного интеллекта, состоящего из центральный процессора, который в состоянии последовательно (т. е. один элемент за другим) обрабатывать единицы символьной информации586. Сторонники коннек- ционизма, со своей стороны, полагают, что идея центрального цифрового процессора в принципе неприменима к человеческому мозгу в силу ее несовместимости с соответствующими нейробиологическими данными, а перерабатываемая информация не обязательно символьная. С их точки зрения, гораздо более адекватная симуляция мыслительных процессов может быть достигнута с помощью искусственных нейронных сетей — систем взаимосвязанных вычислительных элементов, элементарных процессоров587. Такого рода компьютерные устройства в состоянии обрабатывать самую разнообразную (в том числе и символьную) информацию, которая сохраняется как паттерн установленного между узлами соединения. Как оказалось, по сравнению с обычными цифровыми компьютерами устройства, функционирующие наподобие нейронных сетей, обладают рядом неоспоримых преимуществ — они, в частности, могут эффективно распознавать образы, обучаться, решать сложные проблемы (где входящая информация сопровождается шумом, а также если решение невозможно найти с помощью простого
алгоритма) и т. д. Однако в решении некоторых аналитических задач, требующих основанной на четких правилах обработки информации более высокого уровня — например, обучения языку, — они все же уступают цифровым компьютерам.
По-видимому, функционирование компьютерных устройств, состоящих из искусственных нейронных сетей, во многих отношениях действительно напоминает работу нашего правополушарного, пространственно-образного мышления. Ведь благодаря «встроенной», генетически запрограммированной холистической стратегии это мышление способно параллельно перерабатывать значительное число одновременно поступающих на «вход» единиц когнитивной информации. Что касается работы нашего левополушарного, знаково-символического (логико-вер- бального) мышления, то предположение о его функциональном подобии цифровому компьютеру также не лишено оснований. Конечно, нам еще многое предстоит выяснить, каким образом — с помощью каких кодов, многократного перекодирования и т. п. — наш мозг обрабатывает когнитивную информацию. Не исключено, что наше ДНК есть ничто иное, как цифровой код, наподобие того, что используется в компьютерных программах. Однако благодаря имеющемуся опыту компьютерного симулирования мыслительных процессов стало по крайней мере ясно, что мышление обязательно предполагает внутреннюю ментальную репрезентацию информации в когнитивной системе. Эта когнитивная репрезентация мысли не является синтаксической, подобно языку, она также не локализована в отдельных нейронных узлах или нейронах, а распределена в системе. Человеческая мысль, с этой точки зрения, возникает в результате образования сложных паттернов, действие которых распределено по относительно большим зонам неокортекса.
С учетом вышеизложенного мышление (в первом приближении) можно определить как направленный процесс переработки информации в когнитивной системе живых существ, который реализуется в подчиняющихся определенной стратегии актах манипулирования (оперирования) внутренними ментальными репрезентациями, приводящих к возникновению новых ментальных репрезентаций. С позиции компьютерной эпистемологии мышление предполагает на
личие у когнитивного субъекта внутренних когнитивных состояний, содержание который выражается с помощью актов суждения (т. е. пропозиционально). Хотя суждение мы не можем вербально определить без ссылки на лингвистические сущности — предложения, это означает лишь, что применительно к человеческому мышлению суждения строятся по лингвистическому образцу, и этот образец (предложение) нужен для вербальной репрезентации суждения (мысли). Таким образом, в общем случае пропозициональная структура мышления, его пропозициональное содержание совершенно не обязательно должны репрезентироваться в речевых актах588. Анализ форм поведения животных, возникающих в результате научения, в частности, показывает, что в отличие от простых устройств, обрабатывающих информацию (например, радиоприемника или телевизора), они обладают интенционалъными состояниями, т. е. состояниями перцептивной уверенности, которые имеют некоторое пропозициональное содержание. В частности, они способны различать эквивалентные в информационном отношении сообщения и отдавать предпочтение одним альтернативам, а не другим. С этой точки зрения, животные действительно обладают когнитивной способностью к мыслительным актам, информационно эквивалентным актам суждения, но (в отличии от человека) они манипулируют (оперируют) сугубо невербальными внутренними репрезентациями, использующими различные перцептивные коды.
Исследования выдающегося австрийского этолога и одного из пионеров эволюционной эпистемологии К. Лоренца, в частности, показали, что мышление возникает у животных в ходе биологической эволюции, когда интенция к действию дифференцируется от ее непосредственного, автоматического перевода в моторные акты и осво
бождает в когнитивной системе пространственно-образ- ную модель окружающей среды. Это позволило живым существам осуществлять мысленные операции в наглядном представлении и открыло путь дальнейшей эволюции способностей их когнитивных систем внутренне репрезентировать адаптивно ценную информацию в перцептивных кодах. Животные получили возможность перцептивно мыслить, прежде чем действовать. И это их весьма ощутимое адаптивное преимущество получило генетическое закрепление благодаря естественному отбору.
В ходе дальнейшей биологической эволюции у живых существ наряду со способностями к перцептивному мышлению возникают также зачатки мышления знаково-сим- волического. Ведь от наличия эффективных средств коммуникации зависит выживание отдельных особей, видов и групп общественных животных. Поэтому естественный отбор способствовал наследованию также и тех генетических признаков, которые определяют способности особей к извлечению и обработки необходимой для выживания когнитивной информации, получаемой от представителей своего вида. Речь прежде всего идет о способности многих животных к ритуализации своего поведения. В процессе эволюции первоначальная функция какой-либо формы поведения животных (сценария) модифицируется и, превращаясь в знак, становится средством коммуникации. При этом обычно происходит упрощение поведенческого сценария и одновременно его усиление как сигнала. Ритуализация поведения позволяет животным получать самую разнообразную информацию — например, ритуал ухаживания сигнализирует о биологическом виде особей, указывает на их пол и готовность к спариванию, а ритуализированное агрессивное поведение информирует о том, вступит ли соперник в бой или обратится в бегство. Антропоиды, в особенности шимпанзе, обладают гораздо более развитыми способностями к знаково-сим- волическому мышлению. Об этом свидетельствуют попытки общения приматологов с шимпанзе с помощью специально сконструированного для этих целей языка жестов. Как оказалось, они в состоянии овладеть словарем из приблизительно 200 слов и простейшими грамматическими конструкциями. Правда, в естественных условиях способность шимпанзе к невербальной коммуника
ции остается невостребованной — они используют язык жестов главным образом лишь для выражения своих эмоций, желаний и обозначения действий. Напротив, символическая коммуникационная система, видимо, давала древним гоминидам большие адаптивные преимущества. Поэтому естественный отбор способствовал совершенствованию языковых способностей индивидов, развитию вербальной коммуникации и мышления логико-вербально- го — специфической, присущей только людям формы знаково-символического мышления. Биологически этому соответствовало смещение локализованного центра управления звуками у гоминид из лимбической системы в неокортекс. Разумеется, человечеству для реализации возможностей ускорения когнитивной эволюции, эволюции мышления и культуры, возникших благодаря появлению речи, потребовались многие тысячелетия. Однако развитие вербальной репрезентации когнитивной информации, формирование все более артикулированных естественных языков открыло перед ним принципиально • новые перспективы расширения информационного контроля окружающей среды. В частности, появилась возможность моделировать события, объекты и отношения между ними с помощью естественноречевых, а позднее и специально созданных языковых средств, которым присуще гораздо большая, чем перцептивным образам, информационная емкость. Появление простейших концептуальных структур — рассказа, повествования, мифа — позволило словам и словесно выразимым знаниям направлять ход наших мыслей, а нашему мышлению — выявлять огромный объем скрытой когнитивной информации.
Еще сравнительно недавно в отечественной психологии доминировали представления, которые явно или неявно отождествляли человеческое мышление исключительно с речью, с вербальным мышлением. При этом само существование внесловесной мысли и доязыкового мышления, несмотря на весьма убедительные и довольно многочисленные данные в его пользу, по сути дела игнорировалось — причем, не только потому, что эти данные не укладывались в прокрустово ложе «общественно-исто- рической сущности» человека, но и в силу ограниченных объяснительных возможностей теории условных рефлексов. В результате речь и вербальное мышление людей
оказывались с этой точки зрения формой сугубо культурного поведения, т. е. по сути дела внеприродными феноменами, на которые в принципе не распространяются законы биологической эволюции, в то время как когнитивные способности человека к чувственному, образному восприятию мира, не претерпевая существенных изменений в процессе филогенеза, обречены были оставаться законсервированными на уровне соответствующих способностей высших приматов.
Однако, как показали многочисленные исследования когнитивных психологов, человеческое мышление не обязательно нуждается в вербальных кодах — люди могут мыслить не только в терминах естественного языка, но и при помощи конкретных представлений, образов и сценариев, а также прибегать к услугам мыслительных действий, которые, видимо, нельзя идентифицировать с каким-либо единственным перцептивным или вербальным кодом589. Таковы, например, неосознаваемые ментальные процессы, итогом которых оказывается внезапное появление в сознании индивида какой-то новой идеи, гипотезы, решения проблемы и т. д. Весьма продуктивной формой невербального мышления является наша способность к визуальному представлению, которая позволяет легко конструировать мысленные образы и свободно ими манипулировать. В результате таких манипуляций происходит развертывание латентно содержащейся в образах информации, выявление нового знания, которое иногда просто невозможно или весьма затруднительно получить вербально. Сопоставляя две геометрические фигуры, мы, например, можем визуально обнаружить их конгруэнтность — образное представление позволяет нам мысленно ими манипулировать и совмещать друг с другом при наложении. Если перед нами поставлен вопрос, можно ли при написании данной буквы алфавита (например, «р») ограничиться лишь прямыми линиями или для этого потребуется по крайней мере хотя бы одна кривая, то мы также полагаемся исключительно на возможности образного мышления.
С позиции компьютерной эпистемологии есть достаточно веские основания предполагать, что человеческое
мышление может использовать не только перцептивные и вербальные коды, но и коды абстрактные, пропозициональные, в которых, вероятно, заключены наши знания основ грамматики языка и базисной арифметики. Наличие таких кодов дает нам, в частности, возможность легко и быстро переводить мысль с перцептивного кода на вербальный и обратно. Многие понятия (причем не только обыденные, как, например, «стол» или «стул», но и сугубо научные) могут быть представлены в форме конкретных визуальных образов, а также с помощью различных вербальных кодов, т. е. соответствующих слов естественных языков. Прибегая к услугам этих форм репрезентации мысли, мы можем попеременно подключать соответствующие стратегии обработки когнитивной информации и извлекать пользу для себя из их специфических особенностей. С этой точки зрения именно абстрактный пропозициональный код является языком мысли, а слова и образы — это только конкретные формы ее представления590. Причем абстрактная мысль, выступающая в форме суждения, которое фиксирует отношение предикации между субъектом и предикатом, между объектом и его свойством, может быть представлена в языке лишь исключительно при помощи предложений, хотя сами суждения, естественно, не являются языковыми сущностями. Но это, конечно, не означает, что естественный язык, услугами которого мы пользуемся, когда описываем или размышляем о ситуациях и событиях, не влияет на мыслительные процессы — его влияние распространяется практически на все основные когнитивные функции, в том числе на восприятие, память, суждения, решения проблем, рассуждения и т. д.
В силу лексических и грамматических различий любой конкретный естественный язык репрезентирует ментальные объекты и мыслительные процессы каким-то особым для себя, уникальным образом. Один язык может располагать весьма широкими лексическими возможностями для репрезентации многочисленных вариаций какого-либо понятия, а другой — только одним или двумя словами, либо
вообще их не иметь. Так, например, язык кочевников, живущих в североафриканской пустыне Сахара, содержит свыше 20 слов, выражающих различные варианты понятия «верблюд», а язык индейцев Перу — свыше 50 слов для соответствующих модификаций понятия «помидор». В связи с этим возникает вопрос, правомерно ли утверждать, как это делают некоторые лингвисты, сторонники гипотезы о лингвистической относительности, что лексические и грамматические различия обусловливают различия в мышлении или же различия в концептуализации имеют свою собственную, относительно автономную от лингвистических сущностей, основу, получая какую-то особую, специфически конкретную форму выражения в языке?
Если верно, что человеческая мысль имеет пропозициональную природу, а ее смысловое содержание может быть выражено с помощью перцептивного и вербальных кодов, то отсюда напрашивается вывод, что лингвистические различия не могут детерминировать все перцептивные и концептуальные различия, хотя это, разумеется, не исключает влияния языка на когнитивные и мыслительные процессы. В то же время из гипотезы о лингвистической относительности непосредственно следует, что в силу обусловленности мышления лингвистическими сущностям# различия в лексике по меньшей мере должны сопровождаться релевантными различиями в концептуализации. Конечно, жестко дифференцировать язык от культуры практически невозможно. Однако есть все основания полагать, что формирование многих категорий мышления контролируется генетическими и геннокультурными механизмами, и поэтому лингвистические трансформации просто в принципе не могут обусловливать все различия в концептуализации. Пожалуй, наиболее характерным примером здесь может служить универсальная, не зависящая от культурных вариаций, структура цветового восприятия — она навязывается нейрофизиологией нашей визуальной системы, которая соответствующим образом направляет концептуализацию воспринимаемой гаммы цветов591.
Разумеется, нельзя отрицать, что выражение мыслей людей, их идей и понятий весьма жестко контролируется и предопределяется грамматикой естественных языков. (Так, в частности, любой из известных к настоящему времени языков в обязательном порядке грамматически дифференцирует единственное и множественное число, что позволяет специфицировать различия между одним и большим количеством объектов.) Однако знания, касающиеся грамматики языка, видимо, формируются на пропозициональном уровне как абстрактный код мысли и хранятся в долговременной памяти. Поэтому не исключено, что грамматические особенности в какой-то мере могут воспроизводить специфику логико-вербального мышления популяций (или этнических групп) и отдельных индивидов, а также его эволюцию. С этой точки зрения, например, грамматические особенности языка индейского племени Nootka, который не предусматривает какой-либо дифференциации между именами существительными и глаголами, вполне правомерно рассматривать
как индикатор специфики вербального мышления этой современной первобытной популяции. Но отсутствие вербально выраженной концептуализации различий между объектами и действиями, их противопоставления в языке, конечно, не исключает возможности релевантной невербальной репрезентации — например, с помощью прототипов и образов. К сожалению, такая возможность совершенно не учитывается гипотезой о лингвистической относительности (гипотезой Сепира — Уорфа), не говоря уже о том, что сам факт закрепления в лексике результатов вербальной концептуализации не может служить аргументом в пользу тезиса о детерминированности мышления лингвистическими сущностями592.
В результате обретения естественного языка человечество получило огромные преимущества — символизация мысли и появление систем определенным образом упорядоченных символов раскрыли перед ним принципиально новые возможности коммуникации и манипулирования символической информацией. Однако люди были бы лишены всех этих преимуществ, если бы они не оказались в состоянии создать связанную картину, образ ситуации в целом, т. е. того, о чем они говорят, что они воспринимают и делают. Другими словами, без общего понимания ситуации как целого (а понимание — один из важнейших аспектов мышления!), которое обеспечивается механизмами образного, правополушарного мышления, без наделения ее внутренним смыслом невозможен никакой акт коммуникации, а манипулирование символами просто превратилось бы в бесплодное занятие. Ведь язык — это не только грамматически правильно построенное предложение или текст: лишенные содержательного смысла, они останутся недоступными для понимания. Поэтому манипулирование символами становится эффективным лишь в той степени, в какой оно содействует реализации неарти- кулированных актов понимания и опирается на их результаты. В свою очередь, эффективность образного мышления также оказывается в зависимости от того, может ли оно считывать результаты левополушарной мыслительной
активности и, ориентируясь на них, продуцировать новое целостное понимание.
Таким образом, преимущества знаково-символическо- го (логико-вербального) мышления раскрываются только благодаря его взаимодействию с мышлением простран- ственно-образным. Правда, наши системы лево- и правополушарного мышления полностью не переводимы друг в друга, но это, как свидетельствуют многочисленные данные наблюдений, не исключает их тесной взаимозависимости и взаимодополнительности593. Эти данные, конечно, явно противоречат сложившимся еще в XIX в. представлениям, которые искусственно ограничивают эволюцию когнитивных способностей людей к чувственному, образному восприятию лишь уровнем соответствующих способностей высших приматов. Механизмы когнитивной эволюции, со своей стороны, также практически исключают такую возможность — нарастающая в филогенезе межполушарная асимметрия мозга и все увеличивающаяся дифференциация его функций вряд ли могли послужить нейрофизиологической основой развития только тех когнитивных способностей людей, которые связаны лишь исключительно с функциональной активностью левого полушария.
Итак, мышление является одной из важнейших функций когнитивной системы, которая обеспечивает информационный контроль окружающей среды, адаптацию и выживание организмов. Мышление тесно взаимодействует с другими высшими когнитивными способностями, которые участвуют в процессах извлечения и переработки информации (знаний) о событиях внешней среды, внутрен
них состояниях и эмоциях — восприятием, сознанием, кратковременной и долговременной памятью, и т.д. Например, благодаря наличию у нас кратковременной памяти наше мышление может оперативно использовать огромные информационные ресурсы долговременной памяти, накопленные благодаря опыту и обучению. Однако мышление базируется не только на когнитивной информации, извлекаемой из внешней среды, но и, если воспользоваться компьютерной метафорой, на своего рода «встроенном» в когнитивную систему программном обеспечении, т. е. подлежащей биологической эволюции врожденной генетической информации, определяющей формат внутренних ментальных репрезентаций, стратегии их переработки т. п. Разумеется, это программное обеспечение предполагает наличие «элементной базы», т. е. соответствующих нейрофизиологических структур когнитивной системы. Давление окружающей среды требует изменения поведения живых существ, а соответственно и совершенствования «встроенного» программного обеспечения, пределы которого, однако, весьма ограничены, если отсутствуют адаптивно ценные изменения на уровне элементной базы, на уровне соответствующих структур когнитивной системы. Поэтому эволюция поведения предполагает .эволюцию, усложнение когнитивной системы живых организмов, ведущее к появлению у этой системы все новых эмерджент- ных, информационных свойств, включая самосознание. Но даже в когнитивной системе человека большинство мыслительных процессов протекает неосознанно, их интегральный сознательный контроль осуществляется здесь главным образом на уровне целей и намерений. В то же время благодаря эволюции сознания и появившейся в ходе этой эволюции способности частично изменять самосознание (например, в актах эмпатии) человек получил возможность гораздо более эффективно использовать свой интеллектуальный и мыслительный потенциал, свои природные задатки к творческому мышлению, воображению, к созиданию культуры, оптимизировать стратегии оперирования внутренними ментальными репрезентациями Появление речи и развитие логико-вербального мышления радикально расширили его арсенал средств обработки когнитивной информации, позволили извлекать общие характеристики объектов, явлений и отношений между ними с
помощью информационно более емких, чем образы и прототипы, концептуальных средств — понятий, суждений, гипотез, научных законов, теорий и т. д., используя для этого не только богатый репертуар врожденных эвристик, алгоритмов и поисковых стратегий, но и сознательно контролируемые мыслительные приемы, процедуры, операции и правила вывода — формирование понятий анализ, синтез, индукцию, дедукцию, абстрагирование, идеализацию, обобщение, аналогию, умозаключения, условные рассуждения (суждения), решение проблем, принятие решений, понимание, творчество и т.д., которые по мере эволюции научного познания становятся предметом специального исследования.
Смирнова е. Д.
ЛОГИКА И ГРАНИЦЫ НАШЕГО РАЗУМА
Логические аспекты обоснования аподиктического знания
Краеугольным камнем любых теоретико-познаватель- ных рассмотрений является трактовка необходимого, теоретического знания. (Именно подход к этому вопросу лежит в основе разграничения линий эмпиризма и рационализма.) Важно выяснить, какую роль играет логика в обосновании такого рода знания. Коренным вопросом в обосновании аподиктического знания, с нашей точки зрения, является вопрос о том, что в носят в наше познание, с одной стороны, разум, а с другой — опыт. Как возможно и возможно ли знание, выходящее за границы всякого возможного опыта? Интересно, что в таком ракурсе ставил вопрос Д. Гильберт в своем знаменитом итоговом докладе «Естествознание и логика». Главную задачу он видел в том, чтобы «обсудить старую философскую проблему, а именно вызвавший множество споров вопрос о том, какой вклад в наше познание вносят, с одной стороны, мышление, а с другой стороны — опыт»*594. Гильберт полагает, что в сложившееся время есть серьезные основания для более глубокого рассмотрения и решения этой проблемы. Особо он выделяет два основания: первое — «быстрый темп развития науки сегодня» — построение здания теоретической физики, высокий уровень техники эксперимента и т.д., второе — прогресс логической науки, успехи логики595.
Как связана логика с такого рода разграничениями знания на знание опытное и знание, вносимое разумом, мышлением? И что в таком случае выступает в роли «опыта»?
Второй круг проблем связан с исследованием роли идеальных образов (идеальных конструктов) в обосновании и конструировании аподиктического знания. Речь
идет о том, какие идеализации, идеальные объекты вносятся разумом и рассудком, каков их статус, каковы условия и «заградительные меры» непротиворечивого введения различного типа идеальных объектов в теорию. В связи с этим возникает вопрос о возможности и правомерности применения обычных законов логики и способов рассуждения к высказываниям о такого рода идеальных конструктах. Но может ли вообще зависеть логика, ее законы от типов объектов теории? Казалось бы, логика формальна и отвлекается от всякого содержания познания. Однако оказывается, она зависит от определенных теоретико-познавательных предпосылок.
В свою очередь, она сама выступает как «сетка», детерминирующая конструирование картины мира, и в этом смысле детерминирующая «онтологию» теории. В то же время она — «лакмусовая бумажка», тонко реагирующая на вводимые абстракции и идеализации. Логика меняется при допущении «идей разума», выводящих за границы всякого возможного опыта. Но каким образом меняется?
Дело в том, что трактовка и обоснование теоретических, аподиктических высказываний связаны, с нашей точки зрения, с семантической интерпретацией этих высказываний, с установлением условий их истинностной оценки.
Понимать предложение, согласно известной схеме Тарского596, — значит знать условие его истинности, т. е. знать положение дел, им утверждаемое. Соответственно, любое осмысленное высказывание получает истинностную оценку. Однако всегда ли интерпретация высказываний такова, что имеется метод установления истинности высказывания? Всегда ли эта интерпретация такова (в схеме она задается предложением р), что возможна истинностная оценка изолированных высказываний, или теоретические высказывания получают интерпретацию лишь в контексте всей теории? Тогда можно ли говорить об условиях истинностной оценки теоретических высказываний, относящихся к идеальных конструктам, фикциям? Не ведет ли
это к парадоксам, антиномиям? В таком случае все ли осмысленные высказывания могут оцениваться как истинные или ложные? Каковы тогда критерии осмысленности теоретических высказываний — в особенности в принципе не сводимых ни к какому возможному опыту? Оказывается, применимость законов логики, их правомерность связаны с такого рода кругом вопросов. Законы эти, соответственно, не «абсолютны», не присущи нашему уму как таковому.
Особый интерес, с нашей точки зрения, представляет выявление роли идеальных образов в построении теоретических моделей мира, т. е. в конечном счете вопросы семантики и онтологии. Рассмотрению указанного круга вопросов посвящена данная статья. Особое место занимает выявление «кантианских мотивов» в гильбертовской программе обоснования математики, а также исследование роли лингвистического компонента в обосновании аподиктических высказываний.
В нашей философской, логической литературе проблема обоснования теоретического, аподиктического знания обсуждалась довольно широко но в основном в аспекте соотношения теоретического и эмпирического знания, теоретических и эмпирических терминов.
Интересные соображения относительно соотношения опыта и мышления, характера аподиктического, математического знания находим мы в работах В. А. Лекторского. Так, он (вполне правомерно) отмечает, что «...невозможно выделить чисто опытное содержание знания, независимое от определенных схем и эталонов, категорий... Любой опыт предполагает вне-опытные мыслительные схемы. С другой стороны и в таких вне-опытных науках, как математика (приводящаяся в качестве образца априорного мышления) имеют место догадки, гипотезы, отказ от того, что казалось несомненным»597.
Образцом аподиктического знания традиционно выступает логико-математическое знание. С нашей точки зрения в обосновании аподиктического, прежде всего математического, знания особый интерес представляет концепция Д. Гильберта. Во всяком случае его подход
дает ключ к пониманию природы такого рода знания, соотношения мышления и созерцания, роли идеальных образов в математике. Гильберт, как известно, — основоположник того направления в обосновании математики, которое получило название формализма. Суть этого подхода мы видим именно не в формализации теорий и доказательстве их непротиворечивости, как это обычно подчеркивается, а в обосновании вводимых идеализаций, «идеальных элементов» теории. По меткому замечанию Брауэра, как преступное деяние, не раскрытое правосудием, не становится от этого иным, так и доказательство непротиворечивости математической теории не служит ее обоснованием. Брауэр был бы прав, но суть программы Гильберта в методе идеальных элементов.
Кантианские мотивы в интуиционизме хорошо изучены и освещены в литературе. Однако философские основания гильбертовской программы заслуживают особого внимания и рассмотрения. На наш взгляд, ключом к пониманию финитной установки Гильберта неожиданным.образом может служить кантово разграничение двух видов применения разума — познания «согласно понятиям» и познания «посредством конструирования понятий».
Стремясь обосновать аподиктическое, математическое знание «независимо от всякого наглядного представления и опыта», логицизм ставил задачу построения математики на основе логики. Однако отказ от обращения к опыту и наглядному созерцанию (в любом смысле) ведет к умножению сущностей, ничем не ограниченному введению идеальных объектов. В основе классической математики лежат такие понятия как множество натуральных чисел, бесконечно удаленная точка, трансфинитные числа, множество всех множеств и т.д., т. е. понятия, образованные разумом, но выходящие за пределы всякого возможного опыта. Истоки антиномий следует искать в этом — в таком «произвольном» введении понятий и соответствующих им объектов.
Какую роль играет созерцательное начало в обосновании аподиктического знания? И необходимо ли оно при обосновании утверждений математики? Согласно Гильберту, понятия, не имеющие созерцательного значения, типа понятия «бесконечное», не допустимы без дальнейшего ограничения в качестве основы разумного мышления. Следует подчеркнуть, что именно И. Кант указывал на «склон
ность разума к расширению за узкие границы возможного опыта», где «ни эмпирическое, ни чистое созерцание не держат разум в видимых рамках», и в этом случае необходимы строгие «заградительные меры», которые удержали бы его от «крайностей и заблуждений, так что вся философия чистого разума имеет дело только с этой негативной пользой»5.
Д. Гильберт стремится сохранить всю классическую математику (весь «кантовский рай») в полном объеме. Но все высказывания математики он подразделяет на реальные (действительные) и идеальные. Первые являются содержательными сообщениями о подлинных объектах математики и соответственно, могут оцениваться как истинные или ложные («10 > 5», «5 + 7 = 12»). Вторые таковыми не являются, не имеют самостоятельного значения и не могут оцениваться как истинные или ложные. Что же представляют собой эти подлинные объекты математики, каков их характер?
В противоположность логицизму, Д. Гильберт считает, что математика не сводима к логике (она обладает своим не зависящим от логики устойчивым содержанием), наоборот, предварительным и необходимым условием применения логических выводов и операций является наличие в нашем представлении внелогических конкретных объектов, которые «имеются в созерцании до всякого мышления». Именно такой характер объектов теории является гарантом надежности логики. Последнее положение приобретает характер общей теоретической, философской установки: «...Для того, чтобы логические выводы были надежны, эти объекты должны быть обозримы полностью во всех их частях; их свойства, их отличие, их следование, ... даются непосредственно наглядно... Это та основная философская установка, которую я считаю обязательной как для математики, так и для всякого научного мышления, понимания и общения и без которой совершенно невозможна умственная деятельность»598.
Но не превращаются ли в таком случае действительные предложения математики (например, арифметичес
кие законы; просто в эмпирические утверждения, пусть о конструктивных, но объектах наглядного созерцания? Но гогда, соответственно, мы возвращаемся к проблеме обоснования аподиктического характера математического знания.
Гильберт сам дает основание для такого истолкования действительных предложений — содержательных сообщений об объектах наглядного созерцания — рассматривая их как утверждения о знаках и знаковых комбинациях. Так, в элементарной теории чисел мы имеем объект I (единицу) и из него по определенной схеме, согласно точно установленному правилу, мы конструируем — в пространстве и времени — объекты: I, II, III, ... Каждый такой числовой знак можно распознать в отличие от любого иного знака благодаря тому, что в нем всегда за I следует I и ничто иное в него не входит. Эти числовые символы и являются объектами рассмотрения в элементарной теории чисел. Сами по себе эти символы не имеют никакого самостоятельного значения, они ничего не обозначают. Они — объекты содержательно-наглядных конструкций и только. И такого рода объекты — подлинные объекты элементарной теории чисел. Мы можем например, ввести знаки «2» и «3», как сокращения для записи числовых знаков «II» и «III» соответственно. Тогда «3>2» — пример действительного предложения, содержательного утверждения о том, что числовой знак (объект) III следует за числовым знаком (объектом) II в нашем построении. Не трактуется ли в таком случае элементарная теория чисел как эмпирическая наука об определенного рода вещах — знаках и их соотношениях? Казалось бы, именно так.
Мы постараемся обосновать, что действительные предложения вовсе не являются эмпирическими утверждениями о знаках и знаковых комбинациях. Отмечая наглядный характер свойств объектов элементарной теории чисел, Д. Гильберт в то же время, как бы противореча самому себе, называет их мыслимыми вещами. Я полагаю, что ключ к объяснению этой гильбертовской загадки в трактовке подлинных объектов математики следует искать в кантовской идее схематизма чистого созерцания.
В гильбертовской концепции, по крайней мере в трактовке действительных предложений, мы полагаем, реали
зуется кантовская идея обоснования математического знания, его аподиктического характера — познание в математике не есть познание разумом «посредством понятий», но есть познание «посредством конструирования понятий», что позволяет разуму благополучно расширяться за «узкие границы данного в опыте». Ибо конструировать понятие, согласно Канту, значит показать априори соответствующее ему созерцание. «Следовательно, — пишет Кант, — для конструирования понятия требуется не эмпирическое созерцание, которое, стало быть, как созерцание есть единый объект, но тем не менее, будучи конструированием понятия (общего представления), должно выразить в представлении общезначимость для всех возможных созерцаний, подходящих под одно и то же понятие»7. Точно так же гильбертовские числовые знаки I, II и т.д. как эмпирические созерцания представляют собой единичные объекты, но связанные с конструированием понятия конечного числа, они должны репрезентировать общее («общезначимость») для всех возможных вещей (созерцаний), подпадающих под это понятие, — они репрезентируют мысленные объекты и определенные конструирующие операции с ними.
Единичные, эмпирические вещи потому могут репрезентировать общее («общезначимое»), что фактически они являются «кодом» и кодируют общие правила действия по конструированию понятия. Именно в этом смысле числовые знаки выступают объектами рассмотрения в математике, они — лишь способ представления в единичном, конкретном, эмпирическом созерцании процессов, связанных с конструированием понятий (например процесса последовательного повторения однородного действия во времени).
Согласно Канту, в основе наших чистых чувственных понятий рассудка «лежат не образы предметов, а схемы», схема же не является образом или схемой предмета понятия. Так, в том случае, когда мы имеем дело с такими понятиями рассудка как число вообще или тысяча, например, мы не можем представить в воображении, создать образы объектов, соответствующих этим понятиям, — «мы не можем представит в одном образе множество, например
тысячу». В таком случае наше мышление не есть мышление о предметах или образах предметов, оно является представлением о схеме, то есть правиле, общем методе, посредством которого конструируется соответствующий понятию объект. С этим связано объяснение креативного характера аподиктического, математического знания.
Конструируя понятие, например, треугольника, мы выходим за рамки тех свойств, которые заложены в дефиниции, присоединяя в чистом созерцании — подобно тому, как мы это делаем в эмпирическом созерцании, — только те свойства и соотношения, которые определяются схемой, правилами конструирования соответствующего созерцания.
Именно обращение к методу конструирования соответствующих понятиям объектов меняет по существу саму схему представления познавательной деятельности и обоснования аподиктического знания. Мы не начинаем с конкретных предметов исследования, обобщая их в понятии, подводя эти предметы под данное понятие на основании присущих им общих признаков, как обычно это представляется, наоборот, мы априори имеем схему, «механизм», посредством которого конструируем предмет понятия. Тем самым достигается универсальность («общезначимость») получаемых математических истин, с одной стороны, и обеспечивается их аподиктическая достоверность при условии расширения математического знания — с другой. Таким путем удается избежать того нежелательного обращения к эмпирии, к практическому подтверждению при обосновании математических истин, которые Г. Фреге, Р. Дедекинд, Б. Рассел пытались устранить обращением к логике и определением математических терминов в терминах логики.
Таким образом, в основе объяснения аподиктического и в то же время конструктивного характера действительного математического знания — и здесь одно как раз связано с другим — лежит именно идея схематизма нашего рассудка в отношении явлений. Следует подчеркнуть, что априорность здесь понимается в особом смысле — как общие условия, алгоритм конструирования объектов в соответствии с правилами и сообразно понятию. Мы еще коснемся этого вопроса ниже. Не из анализа понятия (треугольника, например) извлекаем мы соответству
ющие объекты математики, а из схемы, правил конструирования соответствующего образа (даже если бы в мире не существовало ни одного конкретного треугольника). Математическое знание не есть тем самым область эмпирически данного. Это скорее всего знание не о том, что дано, а о возможном — конструируемом согласно определенным «схемам». Другое дело — вопрос о рамках такого конструирования.
Но если мы не можем создать образы предметов, соответствующих таким понятиям рассудка, как величина, тысяча и т. д., а схему ни в коем случае нельзя трактовать как образ, отображение (пусть в общих чертах) предмета исследования, как же в таком случае понимается конструирование соответствующего понятию созерцания? Как представить общее (в упомянутом выше смысле) in concreto, в эмпирическом созерцании? Интересно, что обычно, рассматривая идеи И. Канта, его трактовку математического знания в частности, не учитывают ту совершенно особую роль, которую Кант отводит использованию символизма в познании посредством конструирования понятий. (Может быть, именно здесь надо искать истоки формализма, идей формализации, в современной логике и математике.)
Согласно Канту, математика конструирует величины не только «как это делается в геометрии, но и величину как таковую (quantitas), как это делается в алгебре», но при таком конструировании мы совершенно отвлекаемся от свойств предмета, который должно мыслить согласно такому понятию величины. И здесь, чтобы представить в созерцании «все операции, производящие и изменяющие величину», необходим специальный символизм. Надо выбрать определенные обозначения для «для всех конструирований величин вообще (чисел)» — таковыми выступают операции сложения, вычитания, извлечения корня и т. д. — и все эти операции с величинами изобразить в созерцании, соответственно определенным общим правилам, действиями с соответствующими им знаками. «Таким образом, с помощью символической конструкции, так же, как геометрия с помощью остенсивной, или геометрической, конструкции (самих предметов)», алгебра достигает того, чего «дискурсивное познание посредством одних понятий никогда достигнуть не мо
жет»599. Именно эта идея И. Канта — идея использования знаков и знаковых конструкций для изображения в созерцании содержательных, мысленных конструирований — получила свое развитие в формализме Д. Гильберта.
Таким образом, в трактовке действительных предложений математики существенную роль играет использование символических конструкций, чтобы наглядно, in concreto, в единичном созерцании представить общее. Фактически именно обращение к идее схематизма чистого созерцания позволяет Гильберту по-новому, в отличие от традиционной дилеммы эмпиризма и рационализма, обосновать аподиктический характер математического знания.
Отметим здесь два момента: гильбертовские действительные объекты теории чисел, во-первых, являются конструктивными объектами и, во-вторых, представлены как объекты наглядного созерцания. Сказанное относится к действительным предложениям математики.
Однако даже элементарная математика, как отмечал Гильберт, «уже не остается на точке зрения наглядной теории чисел» и наряду с действительными включает идеальные высказывания, предполагающие введение объектов, которые в принципе не могут быть даны ни в эмпирическом, ни в чистом созерцании. В этом плане метод идеальных элементов как бы предполагает выход математики за рамки познания посредством конструирования понятий.
Это было бы именно так, однако, как нам представляется, все дело в статусе и условиях введения этих идеальных образов. С философской точки зрения «идеальным образам» (идеальным элементам — в терминологии Гильберта) отводится роль кантовских трансцендентальных идей, если под идеей «подразумевать понятие, образованное разумом, которое выходит за пределы всякого опыта и посредством которого конкретное дополняется в смысле целостности»600. Именно этим определяется, на наш взгляд, обязательное условие, ограничение, с которым связывается введение идеальных элементов, — доказательство их устранимости из контекста всей теории. Доказательство формальной непротиворечивости связано у Д. Гильберта именно с элиминируемостью601.
«Правда, с применением метода идеальных элементов связано одно условие, одно единственное, но необходимое, — это доказательство непротиворечивости. Именно, расширение посредством приобщения идеальных элементов допускаемо только в том случае, когда при этом с старой, более узкой области не возникает никаких противоречий, т. е. если соотношения, которые выявляются для старых образцов при исключении идеальных образцов, всегда остаются справедливыми в этой старой области»602.
Уточнением понятия устранимости, элиминируемости из контекста теории, на наш взгляд, при определенных условиях может служить понятие консервативного расширения. Развитие этой идеи603. Отметим только, что именно элиминируемость идеальных элементов определяет семантическую трактовку идеальных высказываний и их статус.
Суть дела не в том, что разум, расширяясь за границы возможного опыта, порождает идеализированные объекты, а в том, что трансцендентальные понятия разума (такие как «мир в целом», «бесконечное», «бесконечно удаленная точка» и т. д.) фактически не определяют объекты, за ними вообще не стоят объекты, — они являются «пустыми» в этом смысле. Наоборот, придание этой «системе иллюзий и фикций» статуса подлинных объектов теории ведет к парадоксам. Именно этим обусловлена, на наш взгляд, установка на их элиминируемость.
В то же время такого рода понятия порождаются разумом в его стремлении достигнуть целостности и систем
ности познания, они определяются этой целью. Именно такую роль в теории выполняют идеальные элементы Гильберта. Метод идеальных элементов позволяет сохранить всю систему классической математики и всю классическую логику в полном объеме, — однако статусы идеальных и действительных предложений разные.
Именно идеальные высказывания, а не действительные играют определяющую роль в теоретическом конструировании моделей мира. Идеальные объекты выполняют функцию «строительных лесов» в таком конструировании. Чистые понятия разума (идеальные элементы в терминологии Гильберта), определяемые принципами систематизации знаний, не извлекаются из опыта и не направлены на объекты. Этот важнейший аспект использования идеальных элементов определяет возможность конструирования теоретических картин мира, определяет принципиальный иной подход к трактовке теоретического знания. Теоретическое познание не сводится, таким образом* к обработке, суммированию данных опыта. Это создает относительную независимость теоретических конструктов, возможность их «отрыва» от эмпирии. Речь идет не просто об «отображении» того, что имеет место, а о возможности построения теоретических картин, «моделей» мира. Таким образом важнейший момент теоретической познавательной деятельности связан с активностью мышления, активностью мыслящего субъекта. Однако вопросы активности мышления получают совершенно иное, особое освещение. Во-первых, конструирование согласно «схеме» позволяет порождать объекты (созерцания), соответствующие понятиям. И тем самым обосновывать аподиктическую достоверность получаемого знания. С другой стороны, конструирование «картины мира» с помощью идеальных образов (идеальных элементов) выводит в принципе за рамки данного в опыте, позволяет существенно шире трактовать теоретическое знание. В то же время такое введение идеальных образов не произвольно, но подчинено, как мы видим, строгим принципам и предполагает «заградительные меры». Великолепный пример тому гильбертово- кое условие устранимости, связанное с доказательством непротиворечивости.
Априоризм в этом случае выступает как признание независимых от опыта условий теоретического конструи
рования и тем самым понимается совершенно в ином смысле. Аподиктическая достоверность математических утверждений базируется не на эмпирии и не на анализе понятий, а на общих условиях конструирования объектов математического знания и на условиях введения идеальных элементов.
Наконец остановимся еще на одном аспекте проблемы аподиктического знания — трактовке аналитически истинных суждений. Как связано, например, разграничение суждений на аналитические и синтетические с разграничением суждений на аподиктические и фактофиксирующие, эмпирические? Чем определяется аподиктический характер аналитических истин? Являются ли такого рода суждения просто результатом конвенций об употреблении дескриптивных терминов или они сводятся к логически истинным высказываниям? В любом случае их аподиктический характер требует объяснения. Являются ли они просто тавтологиями и не несут никакой нелингвистической информации? В конечном счете это и вопрос о роли языка, лингвистического компонента, в обосновании теоретического знания, аподиктических суждений. Это вопрос о роли языкового каркаса, лингвистических «сетей» в познавательной деятельности.
Проблема разграничения аналитических и синтетических суждений является одной из центральных проблем семантики и одной из наиболее дискуссионных вплоть до наших дней. Интерес к ней не случаен, поскольку ее решение связано с рассмотрением такого круга вопросов, как методы семантического анализа смысла и значения выражений языка, установления их тождества, синонимии, построение систем научного знания и выявление роди лингвистического компонента в них, выявление роли методов анализа и синтеза в обосновании суждений. Правомерно ли вообще деление суждений на аналитические и синтетические? Где грань? На чем основано такое деление?
Проблема аналитических и синтетических суждений, на наш взгляд, встает в связи с более общей и более фундаментальной проблемой: проблемой соотношения теоретического и эмпирического знания, знания, выражающего необходимую связь, и знания, фиксирующего фактическое положение дел.
Представители рационализма усматривали, что теоретическое знание невозможно дедуцировать из фактического. Из несводимости достоверного, необходимого знания к эмпирическому рационализм делает вывод об особой природе необходимого знания и о существовании особого, отличного от опыта, источника необходимого знания, а именно разума. Необходимый характер истин обусловлен тем, что они выводятся из присущих разуму принципов, разум содержит определенные врожденные идеи, необходимые истины и т. п.
Хотя для представителей классического рационализма (Декарт, Лейбниц) необходимое, теоретическое знание не является по своему происхождению опытным, они все же рассматривают его как знание о мире — лингвистическая трактовка необходимого знания была им чужда. Такое решение проблемы достигалось за счет допущения, в той или иной форме, идеи предустановленной гармонии разума и действительности.
В рационализме и эмпиризме XVII-XVIII вв., как правило, проблема аналитического знания не отчленялась от проблемы необходимого знания. Более того, например Лейбниц и Юм, истолковывая необходимое знание как знание аналитическое, рассматривали его как знание, получаемое в акте интеллектуальной интуиции. Таким образом, аналитическая истинность не противопоставлялась интеллектуальной интуиции, а скорее понималась как ее результат, тогда как в более позднее время, например в философии логического позитивизма, понятие аналитической истинности высказываний привлекается для того, «чтобы не прибегать к очень позорному обращению к интуитивной очевидности необходимых связей»604.
Новая страница в понимании теоретического и аналитического знания открывается родоначальником немецкой классической философии И.Кантом. Некоторые из достоверных необходимых истин возможны, согласно И.Канту, в силу их аналитического характера. Аналитичность не связана у Канта с интеллектуальной интуицией (как у Лейбница) и не является лингвистической (Гоббс, логические позитивисты).
Согласно Канту, аналитическим называется суждение, предикат которого содержится в субъекте. Это определение имеет смысл при традиционном субъектно-предикат- ном истолковании логики, характерном для Канта. Узость такого определения проявляется даже в том случае, если не выходить за границы обычной классической логики. Так, в начале нашего века развернулась дискуссия по вопросу о том, относится ли данное определение к отрицательным, условным, разделительным суждениям.
Кант дает еще одно определение аналитических суждений. Аналитическими являются суждения, которые «основываются» на законе противоречия. Это определение аналитической истинности в определенном смысле свободно от ограничений субъектно-предикатной формы суждения. Но Кант формулирует сам принцип противоречия не для любой формы суждений, а только для субъектно-предикатной. Кант исходит из логики как чего-то данного и определяет аналитическую истинность как истинность, устанавливаемую исключительно на основе логики. Однако его подход никак не может расцениваться как лингвистическая концепция аналитической истинности — логика, по Канту, не есть результат конвенций.
Довольно широкое понимание достоверных необходимых истин — в терминологии Канта априорных — и, с другой стороны, узкое понимание аналитических истин приводят Канта к мысли, что класс априорных истин не исчерпывается истинами аналитическими, т. е. к признанию синтетических суждений априори. Отсюда знаменитая проблема кантовой философии: «как возможны синтетические суждения априори?»
Оригинальность Канта состоит в том, что он отчленил вопрос о соотношении эмпирического и теоретического (в терминах Канта апостериорное и априорное) от вопроса о соотношении аналитического и синтетического.
Со времен Фреге изменился сам класс истин, причисляемых к числу аналитических. Если аналитические истины — это истины, устанавливаемые на основе логики, то объем понятия «аналитически истинное суждение» зависит от принимаемой логики. Логика, из которой исходил Кант, являлась на деле лишь фрагментом более широкой системы современной классической логики.
Более того, Фреге идет дальше. Он включает в логику не только теорию квантификации индивидных переменных, но и теорию квантификации переменных, пробегающих по классам, т. е., по существу, включает в логику теорию множеств.
Если исходить из столь широкого понимания логики, то класс аналитических истин значительно расширяется. Логика, по Фреге, столь широка, что должна содержать в себе всю арифметику, а по Расселу, и всю чистую математику. Отсюда попытка логицизма трактовать математику как выводимую из логики, а истины математики — как аналитические. Мы не будем касаться здесь трудностей, на которые натолкнулась программа логицизма. Отметим те выводы, которые важны для нас: опыт логицизма вынуждает не исходить из логики как из чего-то данного (как это делал И. Кант), а установить, что относится к логическому, а что — нет. Правомерно ли вообще абсолютное разграничение на логические законы и аксиомы и нелогические?
В. Куайн вскрывает действительно уязвимое место логического позитивизма. Принцип редукционизма, допускающий сведение отдельных положений науки к непосредственному опыту, в логическом эмпиризме действительно связан с принципом разграничения суждений на аналитические и синтетические. Куайн прав, выступая против выделения класса аналитических суждений как неэмпирических, априорных, но не прав, опровергая на этом основании605 вообще правомерность разграничения синтетических и аналитических суждений, рассматривая его как «неэмпирическое и метафизическое».
На наш взгляд, важно различать два вопроса: 1) сводимо ли некоторое высказывание к высказываниям фактофиксирующего характера? и 2) несет ли высказывание информацию о действительности (как бы ни трактовалась «действительность»)?
Если под эмпирическими, опытными высказываниями понимать высказывания, в том или ином смысле сводимые к высказываниям факта, то ясно, что существуют такие высказывания, которые не являются эмпирическими, в частности, таковыми не являются аналитические
высказывания. Но это еще не означает, что они носят априорный или конвенциональный характер, что они не несут никакой информации о мире.
Возникает вопрос, как возможно уточнение понятия аналитической истинности. Процесс познания осуществляется в рамках определенной категориальной системы, всякое знание формулируется на языке определенной структуры. Можно ли подразделить высказывания определенного языка на высказывания, истинность которых может быть обоснована исключительно средствами принятого языка и средствами принятой категориальной системы, и высказывания, в обосновании истинности которых необходимо обратиться к иным средствам? Это и есть, с нашей точки зрения, собственно проблема аналитической истины в ее логическом аспекте.
Поставим теперь вопрос, правомерно ли само разграничение суждений (высказываний) на аналитические и синтетические и каковы в таком случае критерии разграничения. Из сказанного выше видно, что такого рода разграничение во всяком случае не совпадает с подразделением на эмпирические и априорные суждения и, скорее всего, зависит от семантики, от трактовки аналитической и синтетической истинности высказываний. Во всяком случае можно выделить два типа высказываний: высказывания, истинность или ложность которых можно установить на основании семантических правил системы, и высказывания, истинность или ложность которых не может быть усмотрена из них. Такое подразделение высказываний языка относительно фиксированной семантической системы, подразделение на аналитические и синтетические в этом смысле, на наш взгляд, неоспоримо. Вопрос заключается в точном их определении и истолковании.
Если сопоставить многочисленные определения аналитичности, даваемые разными авторами, можно, на наш взгляд, выявить следующее. Аналитические суждения определяются или как суждения, истинность которых не зависит от значений входящих в них дескриптивных знаков (в таком случае класс аналитических суждений совпадает с классом L-истинных суждений), или как суждения, не являющиеся L-истинными, но преобразующиеся в L- истинные. Такого рода суждения называют аналитически истинными в узком смысле.
Определение аналитических суждений как суждений, истинность которых можно установить с помощью одних только семантических правил системы, охватывает аналитические суждения и в узком и в широком смысле. В целом класс аналитических суждений не совпадает с классом логических истин. С введением аналитических суждений второго рода аналитические суждения выступают как расширение класса логических истин на основе введения постулатов значения, устанавливающих определенные отношения между дескриптивными терминами системы. Аналитические суждения второго рода, таким образом, обоснованы конвенциональными соглашениями относительно внелогических терминов, «данными в предметной стилизации». Положение «Если Джек холост, то он не женат» будет аналитически истинным только в системе с постулатами значения.
Однако в системе с постулатами значения, в зависимости от трактовки постулатов, аналитическими в принципе будут не только предложения этого типа, но и другие. Так, если за постулаты значений принять аксиомы геометрии, то в этой системе аналитически истинной окажется любая теорема геометрии. Таким образом, аналитическими высказываниями в широком смысле оказываются не только те высказывания, которые преобразуются в логические истины на основе использования постулатов значения, но и те, которые логически следуют из некоторого принятого множества исходных положений.
Если положить в основу уточнения понятий аналитических и синтетических суждений понятие модели, то мы сразу приходим к выводу, что это деление (на аналитические и синтетические) имеет место относительно фиксированных семантических систем15. О высказывании, взятом вне той или иной семантической системы, бессмысленно спрашивать, аналитическое оно или синтетическое. Более того, одно и то же высказывание в одной семантической системе может оказаться аналитическим в другой же — синтетическим.
Проблема аналитического и синтетического знания в логическом позитивизме встает как часть проблемы соотношения двух элементов нашего знания: языкового и «вещного», эмпирического, причем аналитически истинные высказывания — это тавтологии, связанные сугубо с конвенцией относительно знаков, выражений языка. С точки зрения Куайна, само деление суждений на аналитические и синтетические — это неправомерная попытка разграничить оба компонента. Но подобная попытка, с его точки зрения, — это фикция, метафизическая идея сравнения системы с независимой реальностью.
Как нам представляется, ни одно аналитическое суждение не является истинным в силу только соглашения об употреблении знаков языка, ибо тогда оно перестало бы быть знанием о мире. Но ни одно аналитическое суждение не является аналитическим в языке без такой определенной семантической конвенции. Суждений, аналитических независимо от структуры и правил языка, от правил интерпретации выражений языка не существует. Аналитическое знание есть «накопленное» знание о мире, закрепленное в определенной языковой системе посредством ее структуры и постулатов.
Естественно, не всякое теоретическое, необходимое знание является аналитическим. Аналитический характер имеет такое теоретическое знание, которое закреплено, фиксировано в системе. Только в процессе формирования определенной структуры знания, закрепляемой в структуре языка системы, определенные положения приобретают аналитический характер в этой системе. Вне какой-то определенной системы вопрос об аналитической истинности просто не имеет смысла.
В итоге можно сделать следующий вывод. Деление суждений на аналитические и синтетические правомерно, но оно носит относительный характер, т. е. определенное суждение будет аналитическим или синтетическим лишь относительно определенной языковой системы с данной семантикой.
Деление суждений на фактофиксирующие и суждения о необходимых связях не является делением относительно фиксированной семантической системы.
Проблема аналитических и синтетических суждений определенной семантической системы — это проблема
«упорядочения», классификации нашего знания. Этим в конечном счете и обусловлено деление на аналитические и синтетические суждения, и вне определенной, упорядоченной системы знания, закрепленной в языке, такое подразделение неправомерно.
Истинность аналитических суждений детерминируется концептуальным аппаратом системы, принятыми определениями, трактовкой логических связей, констант и операторов. Лингвистическая «сетка», языковой каркас становятся средством закрепления определенного рода информации и тем самым они «априори» детерминируют аподиктический характер базирующихся на этой информации суждений. По отношению к этой «сетке» эти суждения выступают как аналитические, но они не просто результат конвенционального соглашения относительно знаков языка.
Е. А. Сидоренко ВОЗМОЖНЫЕ МИРЫ КАК МОДЕЛИ ЗНАНИЯ
И если б кто нам истину открыл, —
То истина иль нет, он знать не мог бы: Догадка все, что скажет человек.
(Ксенофан Колофонский. V в. до н.э.)
