blinov_a_ladov_v_petyaksheva_n_surovtsev_v_shramko_ya_analit

дедуцируется из более исчерпывающего закона. Гемпель впервые четко связал объяснение с:

(1)дедуктивным выводом;

(2)дедуктивным выводом из законов;

(3)сформулировал условия адекватности объяснения.

Эта точка зрения на объяснение и особенно ее применение к историческому объяснению и объяснению человеческих действий вызвала резкую полемику. Поэтому Гемпель, обобщая модель охватывающих законов, предлагает вероятностно-индуктивную, или статистическую, модель объяснения и формулирует общее условие адекватности для двух разновидностей модели "охватывающих законов". Он также предлагает понятие "эпистемической пользы" для объяснения понятия "принятия гипотезы" в модели принятия решения в условиях неопределенности".

Привлечение подобных техник призвано устранить так называемый парадокс объяснения, который заключается в следующем: для того чтобы объяснить, как произведено то или иное объяснение, нужно знать, в чем заключается общий механизм объяснения, т.е. заранее знать то, что неизвестно и еще только рассматривается в качестве предмета объяснения. В дедуктивно-номологической модели парадокс оказывается снятым, однако оценка истинности высказывания фактически сводится к проверке соответствия этого высказывания некоторому (полагаемому данным) множеству истинных высказываний; оцениваемая таким способом истинность не может быть корреспондентной. Здесь нет еще оснований считать полученное таким образом знание о мире истинным в смысле прямого соответствия миру. Центральным вопросом, таким образом, здесь оказывается выбор семантических примитивов, через которые строится объяснение.

Однако в последнем случае исследователю необязательно занимать репрезентационистскую позицию. Казалось бы, подобным утверждением мы не открываем Америки (скорее, честно говоря, мы ее закрываем), не изобретаем даже самоката, а не то что велосипеда, но действительность не устает поражать философов нечеловеческим догматизмом15.

Отсутствие собственно эпистемологических оснований для формализации эмпирических данных в дедуктивных теориях не является на сегодняшний день специфически "анархическим" допущением: оно не оспаривается и вполне сдержанными исследователями. Более релевантным здесь оказывается прагматический критерий: поскольку теория отвечает предъявляемым к ней требованиям (объяснения известных фактов и предсказания новых), постольку она признается удовлетворительной, а отсутствие или невозможность обоснования теории как описания некоторой трансцендентной ей сущности не снижает ее ценности как теории.

Традиционная трактовка объяснения является, в своей наиболее сущностной характеристике, редукционистской: объяснить нечто, с такой точки зрения, — это свести неизвестное к известному. Основные возражения здесь (Гемпель16, М.Фридман17, ван

15Вот пример из современного отечественного философского текста: "А если у кого-либо возникает желание спросить, откуда у Ф. Энгельса и всех, кто согласен в этом с ним, право квалифицировать вопрос об отношении мышления к бытию в качестве основного вопроса всей философии, т.е. философии как таковой безотносительно к тому, в какой форме, в какой стране и в какое время она существует, словом, безотносительно к конкретной исторической форме ее самореализации, то на это можно ответить следующим образом: спрашивать об этом поздно, ибо указанный статус основного для философии вопроса об отношении мышления к бытию было дано иметь давно без какого-либо содействия этому Ф. Энгельса и тех, кто в этом согласен с ним, и тем более без его и их заслуги в том, что это объективно имело и продолжает иметь место". — Горан В.П. Философия. Что это такое? — Философия науки. № 1 (2). Новосибирск, 1996.

16Hempel C.G. Aspects of Scientific Explanation. — In: Aspects of Scientific Explanation and Other

591

Фраассен18) таковы: объяснение известного феномена может быть произведено с помощью совершенно новых и необычных теорий. Сам термин "объяснение" представляет, с такой позиции, прагматическое понятие и, следовательно, является релятивистским: согласно Гемпелю, мы можем построить некоторое значимое объяснение только в той или иной познавательной ситуации, только для того или иного конкретного индивидуума — реципиента информации; невозможно дать некоторое универсальное объяснение, "объяснение вообще", валидное всегда и для всех. (Так совершился переход Гемпеля от дедуктивной модели объяснения к индуктивной, или статистической.) Объяснение признается контекстно-зависимым. Традиционный редукционизм, таким образом, отождествляется с универсализмом: трактовка объяснения как сведения неизвестного к известному оказывается продиктованной стремлением обнаружить некоторые общие и общезначимые критерии интеллигибельной теории (например каузальность, возможность моделирования, визуализация и т.д.).

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

Рассмотрим, например, "вывод к лучшему объяснению" — идею, восходящую к Ч.С. Пирсу ("абдукция") и эксплицированную Г. Харманом19. Согласно этому представлению, тот факт, что теория объясняет некоторые явления — часть очевидности, побуждающей нас принять эту теорию. И это означает, что отношение объяснения видно прежде, чем мы полагаем, что теория истинна.

Предположим, что мы имеем очевидность E и рассматриваем несколько гипотез, скажем H и H'. Тогда, согласно этой теории, мы должны вывести H скорее, чем H', если H — лучшее объяснение E, чем H'. Критерии, применимые здесь, могут относиться к статистической теории:

H — лучшее объяснение E, чем H' (ceteris paribus), если:

1.P(H) > P(H') — H имеет более высокую вероятность, чем H'

2.P(E/H) > P(E/H') — H дает более высокую вероятность E, чем H'.

Эта версия теории объяснения непосредственно привлекала бы когерентность в ее вероятностной интерпретации (Бонжур) — P будет истинно для S ттт P логически непротиворечиво с остальными предложениями, полагаемыми S истинными, и имеются целесообразные вероятностные связи между другими предложениями, полагаемыми S истинными, и P.

Мы можем суммировать вышесказанное, сформулировав два аргумента относительно объяснения:

1. ничто не является объяснением, если оно не истинно;

Essays in the Philosophy of Science. N.Y., 1965.

17Friedman M. Explanation and Scientific Understanding. — Journal of Philosophy №71 (1974), pp. 5-19.

18van Fraassen B. The Scientific Image.

19G. Harman, The Inference to the Best Explanation, Philosophical Review, 74 (1965), pp. 88 — 95; G. Harman, Thought, (Princeton, N.J., 1973), pp. 155-173.

592

2.ни у кого нет оснований утверждать "я имею объяснение", если у него нет оснований утверждать "я имею теорию, которая является приемлемой и дает объяснение".

Ясно, что эти аргументы различаются только с точки зрения корреспондентной истинности. Для когерентиста они идентичны.

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

Итак, анализ семантического аспекта перехода от описания к объяснению оказывается связанным с проведением нескольких дихотомий:

данные наблюдения/теория; репрезентационизм/конструктивизм; корреспондентная/когерентная истинность; дескрипция/объяснение.

12.3 Проблема языка в современных исследованиях по искусственному интеллекту

12.3.1 Источник компьютерных аналогий

В основании компьютерных аналогий ментального, широко используемых в когнитивистских моделях, лежит понятие машины Тьюринга. В работе 1950 года «Умеет ли машина мыслить?» Алан Матисон Тьюринг поставил задачу формулировки условий, при которых машина может быть описана как мыслящая. А поскольку понятие «мышления» весьма темное, то он полагает, что, прояснив, что значит мыслить для машины, мы сможем понять, что значит мыслить вообще. Тьюринг исходит из предпосылки, что если поведение машины неотличимо от поведения человека, то это – достаточный критерий считать такую машину мыслящей. Он предложил абстрактную модель машины, успешно имитирующей всю совокупность человеческого поведения, которая впоследствии получила название машины Тьюринга. В основе этой идеи лежат результаты, полученные в 30-х годах 20-го века и легшие в основу так называемой теории автоматов и обобщенные в теории алгоритмов. Тьюринг исходит из представления о разумном поведении как деятельности, направленной на решение задач. Задача полагается решаемой, если может быть обнаружен алгоритм — набор специфицируемых вычислительных процедур — ее решения. Понятие алгоритма было интуитивно ясным, но не существовало общей формулы алгоритма вообще. Тьюринг сформулировал следующий тезис: для всякого алгоритма можно смоделировать машину, отвечающую определенным характеристикам, которая будет реализацией этого алгоритма20. Тогда для всякой задачи (в широком, а не в узком, математическом, смысле), решаемой людьми, может найтись такая вычислительная машина, которая будет решать эту задачу так же хорошо. Машина

20 А. Тьюринг, Может ли машина мыслить, «Колледж», Саратов, 1999, 6 – 76.

593

Тьюринга – абстрактная универсальная вычислительная машина. Если такая машина может имитировать поведение любой другой машины, то она, в таком случае, сможет быть универсальным имитатором человеческого поведения. И, по мнению Тьюринга, нет никаких логических препятствий к допущению такой модели.

Машина Тьюринга отличается определенными свойствами. В основе ее лежит понятие автомата: самостоятельно действующего управляющего устройства. Для их описания используются три алфавита: алфавит входа, алфавит выхода и алфавит внутренних состояний автомата. Среди таких автоматов различают автоматы с конечной или бесконечной памятью, различаются они, разумеется, и количеством входов и выходов, а также могут быть вероятностными, если какая-нибудь из функций четко не задана, а предполагается случайно осуществляемой автоматом в каждый момент времени. Существенная характеристика машины Тьюринга – дискретность: в каждый момент дискретного времени она находится в совершенно определенном (одном и только одном состоянии), так что можно точно указать, что у машины «на входе» (иначе говоря, что «воспринимается» машиной), что «на выходе» (машинное «действие») и в каком состоянии она находится в данный момент времени. Таким образом, каждое дискретное состояние можно полностью описать в терминах входа-выхода и функции (иначе: алгоритма), которая(-ый) их связывает, т.е. используя только буквы соответствующих трех алфавитов плюс специальные термины, подобные логическим константам. Возможны и существуют машины с не дискретными состояниями: в этом случае никакому моменту дискретного времени нельзя сопоставить одно и только одно машинное состояние – данные продолжают поступать на вход постоянно и постоянно же происходит изменение состояния. В какой-либо момент времени могут быть «считаны» результаты неких измерений или действий, производимых с помощью такой машины, но внутри интервала между началом решения задачи этой машиной и получением результата различение дискретных состояний невозможно (или практически возможно только в виде какой-либо аппроксимации). Результаты, получаемые с помощью таких машин обладают большей погрешностью вследствие того, что считывание результатов – тоже процесс, требующий времени, а за это время показания изменяются. Машинам с дискретными состояниями соответствуют среди реальных машин, например, цифровые компьютеры, с не дискретными состояниями – аналоговые. В этом отношении на роль универсального «мыслящего» имитатора, построенного по модели Тьюринга, лучше подходят цифровые вычислительные машины. Трудно сказать, насколько уместно проводить аналогию между человеческим организмом и машиной Тьюринга в структурном отношении: для этого требуется доказать, что ментальные состояния подобны внутренним состояниям таких машин, а именно – дискретны. Трудности в проведении такой аналогии, однако, с точки зрения Тьюринга – не помеха компьютерному моделированию сознания: ведь его критерий основан на понятии имитации – если машина Тьюринга (с дискретными состояниями) способна имитировать поведение любой машины с не дискретными состояниями (а по Тьюрингу, это – так), т.е. решать всю совокупность задач, решаемых такими машинами, то нет разницы в том, насколько обоснованно полагать внутренние состояния человека дискретными. Вывод о способности машины Тьюринга мыслить как человек (т.е. решать весь комплекс релевантных задачи) не будет зависеть от успехов или неудач такого обоснования. Тогда, независимо от того, как решается метафизический вопрос (что такое ментальное), мышление может описываться в терминах машинной модели Тьюринга.

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

594

называемой машинной таблицы. Пример такой таблицы для примитивного автомата – выключатель:

Любая система, имеющая набор входов и выходов, а также состояний, соотносящихся согласно машинной таблице, описывается машинной таблицей и является реализацией абстрактного конечного автомата. Простая версия машинного функционализма настаивает на том, что каждая система, имеющая ментальные состояния, описывается, по крайней мере, одной машиной Тьюринга определенного вида; она также утверждает, что каждый тип ментальных состояний системы тождественен одному из табличных машинных состояний, определенных машинной таблицей.

12.3.2 Критика «машинного функционализма»

Патнэм одно время разделял «машинную версию» функционализма; позднее, однако, он стал одним из энергичнейших критиков этой идеи. Функционализм (по крайней мере, в этом варианте) предлагает интерпретацию познавательного процесса как процесса обработки информации — формальной манипуляции репрезентациями или символами согласно некоторым правилам. Согласно этой теории, сознание аналогично вычислительной машине, и поэтому для изучения познания релевантны организация и структура, а не материальный субстрат сознания. Аргумент Патнэма здесь был основан на интуиции о том, что одно и то же ментальное состояние может быть реализовано на различных материальных носителях. Его позднейшие ревизии функционализма связаны с расширением требования о множественности реализаций ментального — в духе свойственного прагматистам плюрализма. Это расширение основано на инверсии исходной интуиции: если различные состояния вычислительной машины или машины Тьюринга могут реализовывать одно и то же ментальное состояние, то сознание не может быть идентифицировано ни с какой конкретной вычислительной машиной. Поддержка Патнэмом сильной формы множественной реализуемости ментального приводит его к пересмотру самого статуса психофизической проблемы как ключевой для философии сознания.

Главным образом критика компьютерных аналогий сосредоточилась на критике моделирования в терминах машин Тьюринга. Основной аргумент в этом случае состоит в том, что психологические состояния просто не тождественны машинным состояниям. Патнэм дает следующую этого экспозицию аргумента21. Состояние машины Тьюринга описывается таким образом, что эта машина может быть только в одном состоянии в один момент времени. Между тем, психологическое состояние человека допускает (и даже требует), чтобы субъект мог одновременно, например, испытывать боль, произносить число три и слышать, как скулит собака. Здесь мы имеем три вида входных данных, три табличных состояния и три диспозиции. Идея психологического состояния как машинного состояния требует, между тем, чтобы все эти три диспозиции детерминировались одной машинной таблицей. Более того, каждое теперешнее состояние

21 H. Putnam, ‗Philosophy and Our Mental Life‘, Mind, Language, and Reality: Philosophical Papers, vol. 2, London, Cambridge University Press, 1975, 291 – 303.

595

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

Другие аргументы против машинной версии функционализма таковы22.

(1)Машинная версия не позволяет провести различий между диспозиционными состояниями организма – полаганиями, желаниями, склонностями и тому подобными – и его событийными состояниями. Можно сформулировать обеспечивающие такое различие условия тождества для событийных и диспозиционных состояний: два организма находятся в тождественных психологических событийных состояниях, если и только если они находятся в одном и том же машинном табличном состоянии; и организм находится в определенном диспозиционном состоянии, если и только если его машинная таблица содержит определенное машинное табличное состояние (для каждой диспозиции свое). Но каждое машинное табличное состояние организма таково, что организм может находится в нем в определенное время. Следовательно, для организма находиться в некотором диспозиционном состоянии значит быть способным для этого организма находиться в некотором событийном состоянии, которое должно соответствовать данному диспозиционному состоянию. Но какое событийное состояние соответствует диспозиции, например, «говорит пофранцузски»? А диспозиции «Говорит по-французски в данный момент»? А какое событийное состояние соответствует диспозиции «полагает, что р» или «думает сейчас, что р»? Эту проблему можно представить в более общем виде: любой событийный предикат, даже такой, как «думает сейчас…» или «испытывает (сейчас) боль», может быть интерпретирован как диспозиционный, если он может быть проанализирован в терминах других событий. Так, думать о летающих сосисках мы можем, не веря в их существование: в этом смысле затруднительно ставить в соответствие событийное состояние, выражаемое как «думаю (сейчас) о летающих сосисках» диспозиционному состоянию, выражаемому как «полагаю, что сосиски летают».

(2)Поведение может быть продуктом серии психологических состояний, которые сами по себе не имеют «выхода» в форме внешнего поведения и машинная версия показывает, как это может быть. Но, с другой стороны, поведение может быть результатом взаимодействия одновременных психологических состояний: оно может быть функцией от того, что индивид ощущает и что он думает в данный момент. Машинная версия не в состоянии показать, как это возможно.

(3)Машинная версия предполагает слишком сильные условия тождества психологических состояний. Так, если два человека различаются в отношении (функциональных характеристик) боли только тем, что наиболее вероятная реакция одного на боль от того, что ему наступили на ногу – крикнуть «ой!», а другого – «ай!», то из этого следует, что имеют место два различных типа боли, что мало правдоподобно. Этот аргумент допускает итерацию следующего вида: пусть имеет место такой автомат, что его машинные табличные состояния х и у различаются

своими типами, если непосредственно следующие за ними табличные машинные состояния различаются своими типами. Но следующие состояния будут

22 N. Block and J. Fodor, ‗What Psychological States Are Not?‘, Philosophical Review 81, no. 2, 1972,

159 – 181.

596

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

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

(5)Даже если бы можно было достичь соответствия (типа один к одному) между машинными табличными состояниями и психологическими состояниями, эти соответствия с необходимостью не репрезентировали бы существенные свойства психологических состояний. Кажется достаточно очевидным, что существуют структурные сходства между, по крайней мере, некоторыми психологическими состояниями: например, между состоянием полагания, что р, и состоянием полагания, что р & q. Представление психологических состояний в виде списка просто не в состоянии репрезентировать такого рода структурные отношения.

Блок и Фодор, правда, предлагают различать между машинными табличными и компьютационными состояниями автоматов. Первые – это состояния, определяемые колонками машинной таблицы; последние – любые состояния машины, характеризуемые в терминах ее входных, выходных данных и/или машинных табличных состояний: предикаты «осуществил вычисление, включающее триста семьдесят два машинных табличных состояния» или «доказал последнюю теорему Ферма», или «напечатал энный символ своего словаря выходных данных» – все обозначают возможные компьютационные состояния машин. Относительно такого различия очевидно, что даже если аргумент показывает, что психологические состояния организма не могут быть поставлены в соответствие машинным табличным состояниям автомата, он еще совершенно не обязательно показывает, что они не могут быть поставлены в соответствие компьютационным состояниям автомата. Однако, условием возможности соответствий последнего рода является (по мнению Блока и Фодора) исчисляемость психологических состояний организма.

12.3.3 «Машинное» решение проблемы языка мысли

Как возможен частный язык мысли? Если допустить, что аргумент от бесконечного регресса, опирающийся на положение, что все языки, которыми мы владеем, приобретены нами путем изучения, устраняется принятием языка мысли как врожденного, то возможно другое возражение, снова апеллирующее к такому следствию, как бесконечный регресс. Если понимание предиката есть репрезентация его объема в некоем языке, который индивид уже понимает, то не должно ли понимание предикатов этого языка подразумевать репрезентацию условий его истинности в некоем мета-метаязыке, предварительно понятом, и т.д. (до бесконечности)? Стандартный ответ состоит в признании того факта, что изучение значения предиката включает репрезентацию его объема, и отказе признавать, что этого же требует понимание предиката. Достаточным условием последнего может быть просто то, что употребление этого предиката субъектом

597

всегда в действительности соответствует правилу истинности для него. Не обязательно, с этой точки зрения, чтобы субъект следования правилу был также и субъектом знания этого правила. В качестве иллюстрации этого ответа предлагается реальный компьютер: он использует, по меньшей мере, два языка – язык входных и выходных данных, посредством которого он осуществляет коммуникацию с внешним миром, и машинный язык, на котором он осуществляет свои вычислительные операции. Реальный компьютер нуждается в «компиляторах», которые определяли бы (истинностные) значения формул входа-выхода в терминах машинного языка. Но такой компьютер, утверждают защитники этого взгляда, не нуждается в подобных компиляторах для машинного языка. «Тем фактом, что машина построена для использования машинного языка, избегается бесконечный регресс для компьютеров»23. Формулы машинного языка в этом случае понимаются как непосредственно соответствующие компьютационно релевантным физическим состояниям и операциям машины: физика машины, таким образом, гарантирует, что последовательности состояний и операций, которые она проходит, выполняя свои вычисления, выполняют семантические условия для формул его внутреннего языка. Инженерные принципы занимают в такой концепции место определений истинности для формул машинного языка и как такие они обеспечивают и соблюдение этих «определений».

Считается, что Виттгенштейн доказал, что не может быть такой вещи, как частный язык24. На это когнитивист может использовать аргумент, который воспроизводит Дж. Фодор, говоря, что «что бы ни доказал Виттгенштейн, не может быть, чтобы было невозможно, чтобы язык был частным в том смысле, в каком частным является машинный язык компьютера, поскольку существуют такие вещи, как компьютеры, а то, что существует в действительности, возможно»25. Это, несомненно, верно постольку, поскольку вообще верна машинная аналогия. С другой стороны, неадекватность машинной аналогии сознания в целом может еще не предполагать, что столь же неадекватна и аналогия машинного языка. Виттгенштейн характеризует индивидуальный язык двумя способами: или как язык, термины которого указывают на вещи, опыт которых может иметь только говорящий на этом языке, или как язык, для применения терминов которого не существует никаких публичных критериев, правил или конвенций. Внутренняя репрезентативная система является частным языком, по меньшей мере, во втором смысле: употребление его терминов не регулируется никакими публичными конвенциями, хотя вовсе не обязательно, чтобы референтами этих терминов были исключительно приватные события (ощущения). Ответ когнитивиста опять может состоять в отказе считать аргумент от невозможности частного языка (по крайней мере, в том виде, который приписывается Витгенштейну) возражением против теории, допускающей ментализ. Утверждается, что нет причин, почему защитник такой теории обязан полагать, что ментальные операции демонстрируют эпистемическую приватность в каком-либо строгом смысле этого понятия. Напротив, для него лучше не принимать этого, если он хочет, чтобы его психологические теории были совместимы с материалистической онтологией – ведь нейрофизиологические события публичны. Далее, утверждается, что самое большее, что этот аргумент показывает, это – что если нет публичных процедур для сообщения о том, когерентно ли употреблен термин, то нет способа знать, когерентно ли он употреблен. Но из этого не следует, что в таком случае в действительности не было бы различия между когерентным и произвольным применением термина; a fortiori из этого не следует, что нет никакого смысла утверждать, что в этом случае есть различие между когерентным и произвольным применением термина. Употребление языка для компьютерных операций

23Там же, 66.

24См.: L. Wittgenstein, Philosophical Investigations, N. Y. Prentice-Hall Publishing Co., 1958, 258 и

далее.

25J. Fodor, The Language of Thought, N. Y. Crowell, 1975, 68.

598

не требует, чтобы употребляющий его был обязан иметь способность определять, что термины этого языка применены совместимым образом. Наконец, менталисту требуется показать, в каком смысле термины во внутренней репрезентативной системе употребляются когерентно, и что они в этом смысле разумно аналогичны терминам публичного языка (насколько те могут когерентно употребляться). Если мы не можем сделать первого, то, вероятно, само понятие языка мысли не когерентно; если не можем сделать второго, то бессмысленно называть язык мысли языком. В публичных языках когерентность употреблений терминов контролируется конвенциями, которые ставят термины в соответствие определенным парадигмальным публичным ситуациям (например, определенным перцептивным данным – таким, как появление коровы в поле зрения). Использовать термин когерентно в этом смысле значит применить его к ситуации, подпадающей под спецификацию парадигмальной, согласно конвенции, для данного термина (или, иначе, относящейся к классу ситуаций, относительно которых данный термин истинен). Но даже в случае публичных языков, — утверждает один из самых последовательных защитников машинной аналогии языка мысли Дж. Фодор, — когерентность (употребления терминов) не требует устойчивого отношения между способом употребления терминов и тем, каков мир (выражаемого в понятии «конвенции»). Что действительно требуется, так это – устойчивое отношение между тем,

как термины употребляются и тем, каким мир полагается субъектом их употребления26.

Как такое отношение может быть обусловлено чем-то, кроме публичных конвенций? Врожденная структура нервной системы выполняет, согласно этому подходу, данную функцию для внутреннего репрезентативного кода. Когда, говорит Фодор, мы размышляем об организме как о компьютере, мы пытаемся поставить в соответствие физическим состояниям организма (например, состояниям его нервной системы) формулы словаря психологической теории. В идеале такое соотнесение должно выполняться так, чтобы, по крайней мере, некоторые из последовательностей состояний, каузально имплицированных в производство поведения, могли интерпретироваться как компьютерные операции, имеющие соответствующие описания поведения в качестве своих «последних строк» (в записи – описании последовательности). В случае организмов, так же, как и в случае реальных компьютеров, если у нас есть правильный способ устанавливать соответствия между формулами и состояниями, то мы сможем интерпретировать последовательности событий, вызывающих поведение на выходе, как компьютационную деривацию событий «на выходе». Все, что требуется для, того, чтобы внутренней репрезентативной системе можно было приписывать пропозициональные установки, и, соответственно, чтобы относительно нее можно было утверждать, что она использует язык, – это чтобы было соответствие правильного вида между

пропозициональными установками системы и ее отношениями к формулам данного языка27.

26Там же, 71.

27Там же, 74 – 77. Аналогия между индивидуальной и публичной репрезентациями, которую предлагает Фодор, такова: если ‗a есть F‘ – формула в публичном языке, то (S употребляет ‗a есть F‘ для репрезентации обладания а свойством F) только тогда, когда (S полагает, что a есть F только тогда, когда S соглашается с ‗a есть F‘). Так как обычно то, что ставит в соответствие полагание S, что a есть F его согласию с ‗a есть F‘ в случае публичных языков – подчиненность S конвенциям такого языка, можно заместить сформулированное условие таким условием: (S употребляет ‗a есть F‘ для репрезентации обладания а свойством F) только тогда, когда ((S полагает, что a есть F только тогда, когда S соглашается с ‗a есть F‘) конвенционально). Если ‗a есть F‘ – формула внутреннего кода, то «соглашается с» в последнем условии заменяется последовательностью, состоящей из одного и большего числа базисных отношений, из которых сконструированы компьютационные отношения к формулам внутреннего кода, и «конвенционально» заменяется в нем на «номологически необходимо».

599

Остается, конечно, открытым вопросом: достаточно ли так истолкованная внутренняя репрезентация похожа на репрезентацию в естественном языке, чтобы обе можно было называть репрезентациями в одном и том же смысле? Но во всяком случае есть аналогия между двумя видами репрезентации. Поскольку публичные языки конвенциональны, а язык мысли нет, трудно ожидать, чтобы между ними было что-то большее, чем аналогия. Фодор пишет в этой связи: «Если вы впечатлены этой аналогией, то вы захотите сказать, что внутренний код является языком. Если вы не впечатлены аналогией, вы захотите сказать, что внутренний код является в некотором смысле репрезентативной системой, но не языком. Но ни один ответ не повлияет на то, что я полагаю серьезным вопросом: являются ли когерентными методологические допущения компьютационной психологии? Ничто … не говорит в пользу того, что они таковыми не являются»28.

12.4 Аналитическая философия и герменевтика (К.- О.Апель)

Один из наиболее значимых немецких философов ХХ столетия Карл-Отто Апель (р. 1922) в своем философском становлении претерпел влияние целого ряда течений как немецкой, так и англо-американской философской мысли. Философия Апеля после второй мировой войны сыграла определенную роль в развитии немецкой философии в целом, и в частности, в трансформации взглядов Ю. Хабермаса. Средоточием концептуальных взаимодействий аналитической и герменевтической традиций стала для Апеля характерная для современной философии науки антиномия (аналитического) объяснения и (континентального, герменевтического) понимания.

Философия Апеля прошла в своем развитии ряд этапов, последовательность которых связана с ориентацией, в частности, на философские учения Канта и Фихте. Это показывает, что философская доктрина Апеля является закономерным результатом развития мировой философской мысли. Среди философов, оказавших непосредственное влияние на Апеля, следует назвать М.Хайдеггера и Л.Витгенштейна, работы которых, посвященные философским проблемам языка с точки зрения интерсубъективности, были восприняты Апелем в первую очередь — это антисолипсистский пафос философии Хайдеггера и основополагающий тезис Витгенштейна о невозможности частного, приватного языка. На формирование философских взглядов Апеля существенное влияние оказал также американский прагматизм, в особенности идеи Чарльза Сандерса Пирса (основной фигуры в проекте преобразования трансцендентальной философии) — прежде всего его консенсусная теория истины и связанное с ней понятие бесконечного сообщества ученых как идеального "сообщества", вовлеченного в процесс теоретического и экспериментального исследования и для которого соглашение по поводу конечной истины представляется необходимой регулятивной идеей. Апель развил учение Пирса в аспекте трансцендентальной семиотики. На основе критического анализа достижений предшественников и с помощью применения методологии трансцендентализма Апель создал собственную философию языка, которая служит основой осмысления социума, истории и этики дискурса. Среди трудов Апеля следует прежде всего отметить "Трансформацию философии" (1973) и "Дискурс и ответственность" (1988), в которых он выступает как поборник принципов универсализма.

Апель сформулировал требование "лингвистического поворота" философии (в работе "Идея языка в традиции гуманизма от Данте до Вико", 1963). Современная философия оказывается, с его точки зрения, связана с проблематикой языка, его ролью в определении

28 Там же, 78 – 79.

600