PhilosophyDay

3.3.1 Физикалистский анализ Рудольфа Карнапа

Другая философия / Аналитическая философия / 3.  Программа логического позитивизма (логического эмпиризма) / 3.3 Основные положения физикализма в Венском кружке / 3.3.1 Физикалистский анализ Рудольфа Карнапа

Страница 16

Когда мы строим семантическую систему S

, то обычно отдаем себе отчет в значении каждого знака; а затем в соответствии с этим намерением мы формулируем правила. В случае подобном этому нетрудно определить «логический знак в S

» и «дескриптивный знак в S

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

Что же касается переменных

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

Например, область значений переменных в системе S6 есть класс городов в Соединенных Штатах. Перевод на естественный язык предложения формы «(х

) ( .)» состоит в следующем: «Для каждого города х

в Соединенных Штатах .». Такой перевод является дескриптивным предложением. Следовательно, представляется вполне естественным назвать переменную х

дескриптивной.

В рамках общей семантики

проблема проведения различия между дескриптивными и логическими знаками встречается с серьезными трудностями. Дело в том, что в данном случае неясно, можно ли определить термины «дескриптивный» и «логический» на основе других семантических понятий, например, «обозначение» и «истинный» так, чтобы применение общего определения к любой частной системе приводило бы результату, который находился бы в согласии с предполагаемым различием. Как отмечает Карнап, удовлетворительное решение пока еще не найдено. Возможность и метод решения зависят от избранного вида метаязыка М

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

, включают соответствующее различие знаков М

.

Синтаксис.

Третье измерение семиотики, или синтаксис

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

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

или исчислением

. Она включает в себя классификацию знаков, правила образования

(определяющие «предложение в К

») и правила дедукции

. Правила дедукции обычно состоят из примитивных предложений и правил вывода (определяющих «непосредственно выводимо в К

»). Иногда Ксодержит также правила опровержения (определяющие «непосредственно опровержимо в К

»). Если К содержит определения, то последние могут считаться дополнительными правилами дедукции.

Первый шаг построения некоторого исчисления К

состоит в классификации знаков

К

, и выделении такого количества классов знаков, которое необходимо для формулировки синтаксических правил. Затем мы формулируем правила образования

для К

, иными словами, определение «предложения

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