Введение
Многократная реализуемость, в философии ума, – это тезис о том, что одно и то же ментальное свойство, состояние или событие может быть реализовано различными физическими свойствами, состояниями или событиями. Философы, занимающиеся философией ума, используют идею множественной реализуемости, чтобы доказать, что ментальные состояния не тождественны физическим и не могут быть к ним сведены. Они также используют её для защиты или критики различных версий функционализма, в особенности функционализма состояний машин.
Multiple realizability, in the philosophy of mind, is the thesis that the same mental property, state, or event can be implemented by different physical properties, states, or events. Philosophers of mind have used multiple realizability to argue that mental states are not the same as — and cannot be reduced to — physical states. They have also used it to defend or criticize many versions of functionalism, especially machine state functionalism.
Понятие многократной реализуемости
Тезис о множественной реализуемости в философии разума заключается в том, что одно и то же ментальное состояние может быть реализовано различными физическими состояниями; иначе говоря, существует взаимно однозначное соответствие между физическими состояниями и ментальными состояниями. Множественная реализуемость в общем смысле не ограничивается множественной реализуемостью ментальных состояний. Многие вещи могут быть реализованы с помощью множества физических устройств. Например, широкий спектр физических устройств может служить штопором. Ментальные состояния также могут быть реализованы различными способами. Подобно тому, как логические состояния машины Тьюринга могут быть реализованы различными структурными состояниями в различных механизмах, так, по аналогии, ментальные состояния человека могут быть реализованы различными физическими состояниями у разных индивидуумов. Боль, например, коррелирует с различными физическими состояниями нервной системы у разных организмов, но все организмы испытывают ментальное состояние "испытывать боль". Утверждается, что ментальные состояния могут быть множественно реализованы не только между видами и между индивидами, но и внутри одного и того же индивида. В разное время один и тот же человек может реализовывать одни и те же ментальные состояния в физически различных формах. Нейронная пластичность — способность областей мозга брать на себя функции других частей, поврежденных в результате травмы, патологии, естественного биологического развития или других процессов — давно рассматривается как пример этого. Но к этому относятся и более обыденные факты нейрофизиологии, такие как гибель нейронов и перестройка связей между ними. Гуальтеро Пичинини выделяет три связанных свойства: вариативная реализуемость, множественная реализуемость и независимость от среды. Свойство является вариативно реализуемым, если оно может быть инстанцировано различными реализаторами. Например, и штопор с крылом, и официантский штопор обладают свойством извлечения пробок и делают это посредством одного и того же механизма — механизма винта и вытягивания. Поскольку механизм в основе своей не меняется, свойство вариативно реализуемо. Для того чтобы свойство было множественно реализуемым, оно должно быть способно быть инстанцировано различными реализаторами и различными механизмами. Классическая пружинная мышеловка и клеевая мышеловка реализуют одно и то же свойство — способность ловить мышей, но делают это разными механизмами. Следовательно, это свойство множественно реализуемо. Свойство является независимым от среды, если оно может быть инстанцировано различными реализаторами и различными механизмами, и если входы и выходы этих механизмов также множественно реализуемы. Мышеловка не является независимой от среды; ей нужна мышь в качестве входных данных. Компьютер, однако, независим от среды. Компьютер может быть построен из разных частей, собранных в разные механизмы, и может принимать различные типы входных и выходных данных. В типичных цифровых компьютерах входы и выходы — это напряжения, но в квантовых компьютерах входы и выходы будут другими.
Значение многократной реализуемости
Многократная реализуемость использовалась как аргумент против теории тождества типов, против редукционистских теорий разума в целом, в поддержку функционалистских теорий разума и даже против функционалистских теорий разума. Начиная с 1960-х годов, Хилари Путнам использовал множественную реализуемость как аргумент против теории тождества типов. В частности, Путнам отметил, что множественная реализуемость боли подразумевает, что, вопреки теории тождества типов, боль не тождественна возбуждению C-волокон. В более общем плане, множественная реализуемость показывает, что психологические атрибуты не совпадают с физическими атрибутами. Психологические атрибуты, скорее, представляют собой дизъюнкции физических атрибутов. В 1988 году Хилари Путнам использовал множественную реализуемость для аргументации против функционализма. Отметив, что функционализм по сути является смягченной редукционистской или теорией тождества, в которой ментальные виды в конечном итоге отождествляются с функциональными видами, Путнам утверждает, что ментальные виды, вероятно, могут быть реализованы множеством различных функциональных видов. Одно и то же ментальное состояние или свойство может быть реализовано различными состояниями универсальной машины Тьюринга.
Аргумент вероятности
Путнам приводит примеры из животного мира в качестве доказательства множественной реализации психических состояний. Некоторые философы называют этот аргумент – о том, что множественная реализация гораздо более вероятна, чем редукционизм – аргументом о вероятности.
Аргумент априори
Путнам также формулирует дополнительный аргумент, основанный на функциональном изоморфизме. Он определяет эту концепцию следующим образом: "Две системы функционально изоморфны, если существует соответствие между состояниями одной и состояниями другой, сохраняющее функциональные связи". Например, два компьютера функционально изоморфны, если последовательность состояний в одном точно соответствует последовательности состояний в другом. Компьютер, построенный на электрических компонентах, и компьютер, построенный на зубчатых колесах, могут быть функционально изоморфными, несмотря на различия в их составе.
Дисъюнкция
Джегвон Ким утверждает, что дисъюнкция — идея о том, что физическая реализация конкретного психического состояния заключается не в каком-то одном физическом состоянии, а в совокупности физических состояний, реализующих это психическое состояние, — создает проблемы для множественной реализуемости. Путнам также возражал против этой "дизъюнктивной" возможности в своих более поздних работах.
Причинное закрытие физического
Ким также возражает против нередуктивного физикализма, поскольку он нарушает принцип причинной замкнутости физического, который исходит из того, что физика дает исчерпывающее объяснение физических явлений. Если ментальные свойства обладают причинной действенностью, то они либо тождественны физическим свойствам, либо имеет место повсеместная сверхдетерминация. Последнее часто считается маловероятным или даже концептуально невозможным. Если Ким прав, то остаются лишь два варианта: редукция или элиминация.
Недостаточная обобщаемость
Одной из критических замечаний в отношении множественной реализуемости является то, что любая теория, стремящаяся учесть возможность обобщенной множественной реализуемости, неизбежно должна быть настолько локальной и контекстуально-специфичной (ссылаясь исключительно на конкретную токен-систему определенного типа структуры в определенный момент времени), что ее редукции будут несовместимы даже с минимально допустимым уровнем обобщения в научном теоретизировании. "Тот факт, что аналитическая машина Бэббиджа должна была быть полностью механической, поможет нам освободиться от предрассудка. Частое значение придается тому, что современные цифровые компьютеры электрические, а нервная система также использует электричество. Поскольку машина Бэббиджа не была электрической, и поскольку все цифровые компьютеры в определенном смысле эквивалентны, мы видим, что использование электричества не имеет теоретической значимости. Если мы хотим найти подобные сходства, нам следует искать скорее математические аналогии в функциях."