12 ведущих философов современности

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

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

Но как конкретно можно представить действие такой аналогии? Три следующих утверждения суммируют положения о компьютерной модели, предложенной Фодором:

   1. Причинно-следственные отношения между элементами содержания в конечном итоге сводятся к причинно-следственным отношениям между физическими состояниями.

   2. Эти физические состояния имеют структуру предложений, и их структура определяет, как они будут расположены и как будут взаимодействовать друг с другом.

   3. Причинно-следственные переходы между предложениями языка мышления учитывают осмысленные отношения между содержаниями этих предложений на языке мышления.

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

Аналогия между языком мышления и компьютерными языками и языком исчисления предикатов является ядром предложенного Фодором решения проблемы причинноследственных отношений между содержаниями. Именно это подразумевается в утверждении № 3. Основное принятое Фодором условие, свойственное формальным языкам, заключается в том, что следует четко различать формальные и семантические свойства. С точки зрения синтаксиса формальный язык, — например, язык исчисления предикатов, — это просто набор символов различного типа вместе с правилами оперирования этими символами, причем эти правила зависят от типов символов. Символы в исчислении предикатов распадаются на несколько типов. Некоторые символы, обычно представленные строчными буквами латинского алфавита (а, b и т.д.), представляют индивидуальные объекты. Другие символы, как правило, заглавные буквы латинского алфавита, представляют свойства. Сочетания символов дают представление о положении вещей. Так, например, если «а» представляет Джейн, a«F» — свойство «бежать», то символ «Fa» представляет положение, когда Джейн бежит. Исчисление предикатов содержит символы, соответствующие различным логическим операциям, как, например, символ «&» соответствует конъюнкции символов, а «-■» — отрицанию символа, кванторы «3» и «V» обозначают «по меньшей мере один» и «все» соответственно.