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

Правила, управляющие сочетаниями символов, образующими предложения, могут формулироваться только в понятиях формальных свойств индивидуальных символов. В качестве примера можно привести правило, согласно которому пространство после заглавной буквы (например, пространство «F -») может быть заполнено только строчной буквой (например, «а»). Это правило на синтаксическом уровне выражает интуитивное понимание того, что свойства изначально принадлежат вещам, но это ни в коем случае не заставляет отказаться от идеи о том, что заглавные буквы служат именами свойств, а строчные буквы именами вещей. Все это — в чистом виде синтаксис

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

С другой стороны, связь между формальной системой и ее содержанием проявляется на уровне семантики.

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

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

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

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