Логико-философские исследования (Избранные труды)

Как мы уже видели (гл. I, разд. 8), включенное в подводящую модель объяснения понятие закона само по себе проблематично. Современные дискуссии по этим проблемам выдвинули в центр обсуждения модальные идеи естественной необходимости и номической связи. Поскольку эти идеи тесно связаны с понятиями причины и следствия, можно объединить все вопросы, связанные с ними, под общим заголовком проблемы причинности. Если настаивать на том, что модель объяснения посредством закона обладает силой только в том случае, когда включенные в нее законы выражают (нелогические) номические связи, то это равнозначно утверждению, что объяснения посредством закона и каузальные объяснения, в сущности — одно и то же. А раз так, то проблемы гемпелевской модели объяснения сразу же превращаются в новую форму проблемы причинности[103].

2.

Рассел предполагал, что в философии науки понятие причины вытесняется понятием функции. Наряду с понятием функции существует еще одно понятие, о котором можно утверждать то же самое: понятие условия. В данной работе я буду анализировать причинно-следственную связь в терминах отношений обусловленности, а не функциональных отношений.

Обычно различают необходимые и достаточные условия. Можно выделить и другие — способствующие условия, условия замещаемости и пр. Однако нам не понадобятся эти "вторичные" понятия об условиях[104].

Утверждение, что родовое[105] явление (состояние, событие) p является достаточным условием q, можно в первом приближении истолковать так: всякий раз, когда имеется p, будет иметь место также q; присутствия (наличия) p достаточно, чтобы гарантировать присутствие (наличие) q. Утверждение, что p является необходимым условием q, означает, что всякий раз, когда имеется q, должно быть и p, т. е. присутствие (наличие) q требует или предполагает присутствие (наличие) p.

Если p "управляемо", т. е. если его можно производить или не допускать "по желанию" ("экспериментально"), то, производя p, мы можем получить то, для чего p является достаточным условием, а устраняя или предотвращая p, можно гарантировать отсутствие события, для которого p является необходимым условием.

Одно явление может быть и необходимым, и достаточным условием для некоторого другого явления. Условие может быть сложным, т. е. функционально-истинностным соединением некоторых родовых явлений. В отношении сложности и множественности условий необходимо обратить внимание на следующую асимметрию между различными видами условий.

Сложное достаточное условие представляет собой конъюнкцию. Для появления r может оказаться недостаточным наличия только p или только q. Но если p и q появляются вместе, то несомненно будет также и r. Сложное необходимое условие, с другой стороны, — это дизъюнкция. Для появления p может не быть необходимо ни (безусловное) наличие q, ни (безусловное) наличие r; тем не менее p может требовать присутствия по крайней мере одного из этих двух условий — q или r.

Дизъюнктивные достаточные условия могут "распадаться" (resolved) на множество достаточных условий. Если p или q достаточны для появления r, то и p само по себе достаточно для этого, и q. Аналогично могут "распадаться" конъюнктивные необходимые условия. Если конъюнкция p и q есть необходимое условие r, то и p, и q по отдельности необходимы для r.

Такие "асимметрии" понятий обусловленности могут найти интересное применение в индуктивной логике[106].

Множество каузальных факторов, которые трудно или даже невозможно выделить, если неопределенно говорить о "причине" и "следствии", можно различить в терминах условий[107]. Понятия обусловленности могут также оказаться полезными для прояснения идей философов о (универсальном) детерминизме и (универсальном) законе причинности. Поэтому меня удивляет, что теория понятий обусловленности и ее применения относительно мало развита и изучена. В учебниках по логике эта теория редко даже упоминается. Мне же она представляется прекрасной пропедевтикой к логике и методологии науки.

Несмотря на полезность понятий обусловленности, с ними также связаны проблемы. Проблемы касаются их "места" в логике. Существуют две принципиальные позиции, противоположные друг другу. Одна относит такие понятия к теории квантификации. В логическом языке, включающем имена индивидов и предикаты, "основной формой" отношений обусловленности будет универсальная импликация (х)(Рх — › Qx). В более бедном языке, включающем только пропозициональные переменные, отношения обусловленности можно сформулировать как утверждения временной логики, их "основной формой" будет "всякий раз, когда p, то q" или в символической форме: /\ (p — › q).

Позицию, согласно которой понятия обусловленности являются понятиями теории квантификации, можно также назвать экстенсионалистским пониманием этих понятий. Альтернативную позицию я буду называть интенсионалистской. Согласно последней, понятия обусловленности являются по сути модальными понятиями и "основная форма" отношения обусловленности — это строгая импликация N (p — › q)[108].