Модальный аргумент С. Крипке против теории тождества

А.А. Веретенников

I. В начале семидесятых годов Сол Крипке выдвинул так называемый "модальный эссенциалистский аргумент" против теории психофизического тождества (1971, 1972-80). Этот аргумент стал поворотным пунктом в дискуссиях о сознании, так как не только обосновывал разновидность эссенциализма (то есть, взгляда, согласно которому вещи обладают необходимыми свойствами), но и опровергал теорию психофизического тождества, отрицая тем самым материализм[448] в теории сознания. Этот важный результат, ставший "общим местом" в дискуссиях в философии сознания, требует пристального внимания и подробного рассмотрения. Теоретиками психофизического тождества было выдвинуто несколько контраргументов, которые также заслуживают внимания. Моя интуиция состоит в том, что а) теоретики тождества используют понятие тождества не в том же смысле, что Крипке, и, следовательно, возражения не опровергают аргумент Крипке; б) понятие релятивного тождества[449] не может быть адекватно применимо в области психофизической проблемы.

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

Теорию тождества можно условно разделить на два подвида:

1) token-identity theory (теория "буквального" тождества). Главный тезис: если имеются два объекта x и y, то тождество будет прямым соответствием между ними. Предмет один.

Символически[450]:

а) (x = y) ? (F)(Fx ? Fy);

б) (x ? y) ? ~ (x = y)

Содержательно:

а) если x тождествен y, то для любых вхождений x и y в F, сохраняется импликация (Fx ? Fy);

б) если x нетождествен y, то неверно, что x тождествен y.

2) type-identity theory (теория тождества по типу). Главный тезис: при заданных условиях тождества только те предметы, которые удовлетворяют критерию, выделяющему предмет в отдельный вид, будут тождественны. Отличие от теории "буквального" тождества в том, что x и y должны быть одного типа. Так, согласно примеру Смарта, мы не можем отнести к одному типу процессы, протекающие в мозге и, например, на звезде Альфа Центавра.

Символически:

(xF) & (yF) ? (F)(x=y).

Содержательно:

Если x является членом класса F (обладает свойством F) и y является членом класса F (обладает свойством F), то для любого F, x тождествен y.

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

II. Сол Крипке эксплицирует тождество как:

а) (x = y) ? (x = y);

б) ~(x = y) ? ~(x = y).

Где а) - схема необходимого тождества, и б) - схема необходимого различия.

То же, но вводя кванторы всеобщности:

(x)(y) ((x = y) ? (x = y));

(x)(y) (~(x = y) ? ~(x = y)).

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

Поделитесь этой записью или добавьте в закладки