Модальный аргумент С. Крипке против теории тождества А.А. Веретенников
    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. ............