Отметим также, что согласно данной концепции редуктивное объяснение оказывается, по сути, конкретным, объясняющим конкретные примеры какого-либо феномена, но не обязательно все эти примеры вместе. Этого нам и следовало ожидать. Если свойство может быть реализовано множеством различных способов, мы не можем ожидать, что одно-единственное объяснение будет применимо ко всем случаям его реализации. К примеру, температура по-разному реализуется в различных средах, и для каждого случая здесь существует свое объяснение. И крайне маловероятно, что можно было бы найти объяснение, покрывающее все случаи убийства, — если взять пример гораздо более высокого уровня. Тем не менее нередко бывает, что объяснение конкретных случаев отличается известной унифицированностью, так что удачное объяснение одного зачастую объясняет и многие другие. Это опять-таки скорее следствие фундаментальной простоты нашего мира, чем необходимая черта объяснения. В нашем мире простые унифицированные истории, которые можно рассказать о низкоуровневых процессах, нередко обладают универсальной значимостью или по крайней мере значимостью для самых разных индивидов. Часто бывает и так, особенно в биологических науках, что индивиды имеют общее происхождение, что ведет к сходству их низкоуровневых процессов. Поэтому вторая из упомянутых проблем, а именно унификация объяснений конкретных примеров феномена, не является настолько большой проблемой, какой она могла бы быть. В любом случае главным оказывается объяснение индивидуальных случаев.
Можно было бы еще долго рассуждать о том, как закрыть провал между редуктивным объяснением и поясняющим объяснением, но этот вопрос заслуживает отдельного обстоятельного рассмотрения, и он не слишком важен для моих целей. Ключевое значение имеет то, что при отсутствии логической супервентности (как в случае сознания, что я попытаюсь показать в дальнейшем) нельзя будет осуществить никакого редуктивного объяснения, даже если мы будем щедро раздавать этот титул. Важно и то, что логическая супервентность устраняет все остатки метафизических тайн в высокоуровневых феноменах, редуцируя их данности к данностям низкоуровневых фактов. Важным, пусть и в меньшей степени, следует признать и то, что при наличии логической супервентности будет возможно редуктивное объяснение. Хотя эти объяснения могут быть туманными и бесполезными, эти недостатки далеко не так существенны, как объяснительные пробелы там, где нет логической супервентности.
Еще несколько замечаний. Во-первых, редуктивное объяснение феномена на практике обычно не доходит до микрофизического уровня. Это было бы исключительно трудным делом и порождало бы все те проблемы, связанные с непроясненными данностями, о которых шла речь выше. Вместо этого высокоуровневые феномены объясняются в терминах чуть более фундаментальных свойств. К примеру, размножение объясняется в терминах клеточных механизмов, а фазы луны — в терминах орбитального движения. И мы надеемся, что сами эти более фундаментальные феномены будут редуктивно объяснимы в терминах чего-то еще более фундаментального. Если все пойдет хорошо, то биологические феномены можно будет объяснить в терминах клеточных феноменов, объяснимых в терминах биохимических феноменов, объяснимых в терминах химических феноменов, объяснимых в терминах физических феноменов. Что же касается физических феноменов, то надо пытаться унифицировать их, насколько это возможно. Однако на каком-то уровне физику надо принять просто как данность: возможно, нельзя найти объяснение тому, почему фундаментальные законы и ограничительные условия таковы, каковы они есть. Об этой объяснительной лестнице пока можно только мечтать, но в движении к ней мы все же видим значительный прогресс. Исходя из логической супервентности, а также из простоты и автономности самого базового уровня, мы можем допустить принципиальную возможность подобного объяснительного соединения наук. Но пока неясно, не помешают ли различные сложности мира практической реализуемости этой цели.
Во-вторых, по крайней мере представимо, что феномен будет редуктивно объясним в терминах низкоуровневых свойств, но не simpliciter. Это могло бы случаться в ситуации, где С — свойства логически супервентны на В-свойствах и поэтому объяснимы в терминах В-свойств, притом что сами В-свойства не являются логически супервентными на физическом. Очевидно, что в одном смысле подобное объяснение будет редуктивным, в другом — нет. По большей части меня будет интересовать редуктивное объяснение в терминах физического, в терминах свойств, которые могут быть объяснены в терминах физического, и т. д. Даже если наши С-свойства в относительном смысле редуктивно объяснимы, само их наличие говорит о том, что редуктивное объяснение не может быть тотальным.
В-третьих, локальная логическая супервентность — слишком строгое требование для редуктивного объяснения. Можно редуктивно объяснить даже контекстуально обусловленные свойства индивида, указав механизмы реализации соответствующих им отношений окружающей среды. В той мере, в какой феномен является глобально супервентным, он допускает редуктивное объяснение в терминах каких-то низкоуровневых фактов, даже если эти факты далеко разбросаны в пространстве и во времени.
В-четвертых, в принципе можно говорить о двух проектах редуктивного объяснения таких феноменов, как жизнь, обучение или тепло. Первый из них — экспликация, когда мы проясняем посредством анализа то, что должно быть объяснено. К примеру, обучение можно было бы проанализировать как процесс адаптации. Второй — объяснение, когда мы показываем, как подобный анализ реализуется низкоуровневыми фактами. Первый проект концептуален, второй же имеет эмпирический характер. Для многих или большинства феноменов концептуальная стадия будет весьма тривиальной. Однако для некоторых феноменов, таких как убеждение, экспликация может представлять собой очень большую проблему. На практике, конечно, эти проекты никогда четко не разводятся, поскольку экспликация и объяснение идут параллельными курсами.