Сложное достаточное условие представляет собой конъюнкцию. Для появления 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] .

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

Анализ каузальных идей посредством понятий обусловленности не избегает, но и не решает философских проблем, связанных с причинностью или идеей естественного закона. Однако этот анализ очень полезен, чтобы представить данные проблемы более ясно.

Независимо от понимания отношений обусловленности экстенсионалистского или интенсионалистского, — при любой попытке анализа каузальности в терминах понятий обусловленности мы сталкиваемся со следующими проблемами.

Из предварительного обсуждения понятий необходимых и достаточных условий следует, что p есть достаточное условие q, если, и только если, q есть необходимое условие p. Так, если дождь — достаточное условие увлажнения почвы, то последнее есть необходимое условие дождя. Аналогично, если наличие кислорода в окружающей среде является необходимым условием существования высших форм органической жизни, то органическая жизнь — достаточное условие для наличия кислорода. Следует заметить, что, пока речь идет об отношениях обусловленности, эти симметрии вполне обоснованны. Но применительно к причинности они удивляют своей абсурдностью. Как ясно из второго примера, странность заключается не в том, что мы приписываем каузальную роль фактору, который является "только" необходимым, но не достаточным условием, а в том, что при таком определении условий затушевывается безоговорочно признаваемая асимметрия между обусловливающим, или причинным, фактором и обусловленным фактором, или следствием. Если p есть причинный фактор по отношению к q, a q, следовательно, есть фактор-следствие по отношению к p, то мы, по крайней мере обычно, не считаем, что q есть причинный фактор по отношению к p, а p есть фактор-следствие по отношению к q. (Я говорю "причинный фактор", а не "причина" для того, чтобы избежать в данном случае полной идентификации терминов "причина" и "достаточное условие".) Данную проблему я буду называть проблемой асимметрии причины и следствия.

Можно попытаться решить ее, предположив, что эта асимметрия просто отражает асимметрию временных отношений. Появление причинного фактора должно во времени предшествовать появлению соответствующего следствия. Отношение предшествования во времени асимметрично. Если появление p предшествует во времени q, то в данном случае q не предшествует p. Конечно, не исключено, что в другом случае q может предшествовать (данному или) другому появлению p. Поскольку p и q — родовые феномены, постольку их временная асимметрия, т. е. соотношение их как причины и следствия, должна быть асимметрией конкретных проявлений факторов (см. ниже, разд. 10).

С проблемой временного отношения причины и следствия связан ряд других проблем. Если причина и следствие — это события, которые продолжаются в течение некоторого периода времени, то тогда возможно, что причина продолжает существовать после появления следствия. В подобном случае предшествование во времени будет заключаться в более раннем появлении причины. Проблематичнее другой вопрос: может ли быть промежуток времени между исчезновением причины и наступлением следствия или причина и следствие должны пересекаться во времени?

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

Правомерен даже такой вопрос: не может ли иногда следствие появляться или начинать появляться раньше причины? Как я надеюсь показать ниже, к возможности "ретроактивной причинности" следует отнестись серьезно [109] .