5. Первое затруднение: синтаксис внутренне не присущ физическим свойствам

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

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

Это влечет за собой два гибельных следствия:

1 Принцип, предполагающий возможность различной реализации, должен также предполагать и возможность универсальной реализации. Если вычисление определяется заданием синтаксиса, то все что угодно может считаться цифровым компьютером, т. к. любой объект может стать предметом синтаксического приписывания. Нулями и единицами можно описать все.

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

Так чем же, собственно, эти следствия гибельны?

Нам хотелось узнать, как работает мозг, и особенно как он производит ментальные явления. Но мы не ответим на вопрос, если скажем, что мозг является цифровым компьютером в том же смысле, в каком им является желудок, печень, сердце, солнечная система и штат Канзас. По нашей модели мы должны были найти какой-нибудь факт относительно работы мозга, который показал бы нам, что мозг — это цифровой компьютер. Нам хотелось узнать, можно ли говорить о мозге как компьютере так же естественно, как и о том, что зеленые листья осуществляют фотосинтез, а сердце перекачивает кровь. Нельзя сказать, что мы “конвенционально” приписываем сердцу слово “насос”, а листьям слово “фотосинтез”. Имеет место реальный факт. Наш вопрос заключается в следующем: “Существует ли реальный факт, делающий мозг цифровым компьютером?” Сказать, что мозг — это цифровой компьютер, потому что все что угодно — цифровой компьютер, значит не ответить на вопрос.

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

1. Для любого предмета существует такое его описание, в соответствии с которым этот предмет можно рассматривать как цифровой компьютер.

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

Мне кажется, что главная причина, почему защитники когнитивизма не усматривают проблемы в возможности множественной или универсальной реализации, заключается в том, что они не рассматривают ее как следствие более глубокой проблемы, а именно того, что “синтаксис” не является таким же физическим свойством, как масса или сила тяжести. Они же, наоборот, рассуждают о “синтаксических двигателях” (“syntactical engines”) и даже семантических двигателях (“semantic engines”) как о бензиновых или дизельных двигателях, будто является реальным фактом то, что мозг или что угодно еще — это синтаксический двигатель.

Я думаю, что проблема возможной универсальной реализации не является серьезной проблемой. Мне кажется, что вполне возможно предотвратить универсальную реализуемость как следствие, если дать понятию вычисления более строгое определение. Мы, конечно, должны учесть то, что программисты и инженеры рассматривают универсальную реализуемость как искажение изначальных определений Тьюринга, а не как действительное следствие вычисления. В неопубликованных работах Брайана Смита, Винода Гоеля и Джона Батали говорится о том, что более реалистическое определение вычисления будет акцентировать такие свойства, как каузальные связи между состояниями программы, возможность программирования и контроля за механизмом и его расположение в реальном мире. Результатом всего этого будет то, что подобной схемы недостаточно. Должна существовать каузальная структура, способная снять гарантированные контрфактические высказывания. Но в настоящей дискуссии подобные ограничения определения вычисления не помогут, потому что глубинная проблема заключается в том, что синтаксис по своей сути является понятием, зависящим от наблюдателя (observer relative). Возможность множественной реализации вычислительно эквивалентных процессов в разных физических средах указывает не только на то, что эти процессы абстрактны, но и на то, что они вообще внутренне не присущи данной системе. Они зависят от внешнего истолкования. Мы ищем реальные факты, способные сделать процессы в мозге вычислительными, но, исходя из данного нам определения вычисления, таких фактов просто не может быть. С другой стороны, мы не можем сначала сказать, что все что угодно может быть цифровым компьютером, если только мы припишем ему синтаксис, а затем вопрос о том, является ли или нет цифровым компьютером некая естественная система, такая как мозг, считать вопросом о факте, внутренне присущем фактическим операциям этой системы.

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

Здесь есть одно отличие от аргумента “китайской комнаты”, и я должен был заметить его еще десять лет назад, но не сделал этого. Аргумент “китайской комнаты” показывал, что семантика не является внутренне присущей синтаксису. Сейчас я отдельно утверждаю то, что синтаксис внутренне не присущ физическим свойствам. Исходя из целей первоначального обсуждения, я предполагал, что синтаксическое описание компьютера не было проблематичным. Но это ошибка. Невозможно назвать что-либо цифровым компьютером и сказать, что в этом заключается его внутреннее свойство, потому что описание чего-либо как цифрового компьютера всегда зависит от наблюдателя, приписывающего синтаксическую интерпретацию чисто физическим свойствам системы. Это значит, что гипотеза о “языке мысли” несостоятельна. Невозможно найти неизвестные предложения, внутренне присущие вашей голове, т. к. что-либо является предложением только относительно агента или пользователя, использующего его как предложение. Применительно к вычислительной модели вообще это означает, что описание процесса как вычислительного является описанием физической системы, осуществляемым снаружи, и распознание вычисления в любом процессе не является распознанием внутренне присущего физического свойства. Такое распознание является по своей сути описанием, зависящим от наблюдателя.

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

Для того чтобы полностью понять суть аргумента, необходимо понимать различие между свойствами, которые внутренне присущи миру, и свойствами, зависящими от наблюдателя. Такие понятия как “масса”, “гравитационное притяжение” и “молекула” обозначают свойства, внутренне присущие миру. Даже если исчезнут все наблюдатели, в мире все равно будет существовать масса, гравитационное притяжение и молекулы. Но такие выражения, как “прекрасный день для пикника”, “ванна” или “стул”, не называют свойства, внутренне присущие реальности. Они скорее называют предметы, подчеркивая некоторое свойство, которое было им приписано, некоторое свойство, зависящее от наблюдателей или пользователей. Если бы никогда не было пользователей или наблюдателей, все равно существовали бы горы, молекулы, массы и гравитационное притяжение. Но если бы никогда не существовало пользователей или наблюдателей, не существовало бы таких свойств, как “быть прекрасным днем для пикника” или “быть стулом” или “быть ванной”. Приписывание свойств, зависящих от наблюдателя, к числу свойств, внутренне присущих миру, не является произвольным. Некоторые внутренние присущие свойства мира упрощают использование предметов в качестве, например, стульев или ванной. Но свойство быть стулом, ванной или прекрасным днем для пикника — это такое свойство, которое существует лишь относительно пользователей или наблюдателей. Главное, на что я хочу здесь указать, это то, что, исходя из стандартного определения вычисления, вычислительные свойства являются зависящими от наблюдателя. Они не являются внутренне присущими. Аргумент, следовательно, может быть резюмирован следующим образом:

Цель естественной науки — раскрыть и описать свойства, внутренне присущие естественному миру. Исходя из определений вычисления и познания, вычислительная наука ни коим образом не сможет быть естественной наукой, потому как вычисление не является внутренне присущим свойством мира. Она приписывается в зависимости от наблюдателей.[72]