Ни один из этих людей не может, однако, ответить на более общий вопрос: что послужило определенной причиной происшествия? Они дают только множество различных частных ответов, указывая на специальные условия, которые могли повлиять на окончательный результат. Никакая отдельная причина не может быть выделена как определенная причина. В самом деле, ведь это же очевидно, что никакой определенной причины здесь не существует. Существует много компонентов, относящихся к сложной ситуации, каждый из которых влияет на происшествие в том смысле, что если бы этот компонент отсутствовал, то катастрофа могла бы не произойти. Если должно быть найдено причинное отношение между происшествием и предыдущим событием, то это предыдущее событие должно быть полной предыдущей ситуацией. Когда говорят, что эта ситуация является "причиной" происшествия, имеют в виду то, что если бы предыдущая ситуация была дана со всеми ее деталями и относящимися к ней законами, то происшествие могло бы быть предсказано. Никто в действительности, конечно, не знает и не может знать все факты и относящиеся к ним законы. Но если бы кто-то это знал, он мог бы предсказать столкновение. "Относящиеся к делу законы" включают не только законы физики и технологии (относящиеся к трению на дороге, движению автомобилей, операции торможения и т.п.), но также физиологические и психологические законы. Знание всех этих законов, так же как относящихся сюда отдельных фактов, должно предполагаться до того, как можно будет предсказать результат.
Итог такого анализа можно резюмировать следующим образом: причинное отношение означает предсказуемость. Это не означает действительную предсказуемость, потому что никто не может знать всех относящихся к событию фактов и законов. Оно означает предсказуемость в том смысле, что, если полная предыдущая ситуация будет известна, событие может быть предсказано. По этой причине, когда я употребляю термин "предсказуемость", я беру его в известном метафорическом смысле. Она не означает возможности действительного предсказания кем-либо события, а скорее, потенциальную предсказуемость. Если будут даны все относящиеся к событию факты и законы природы, возможно предсказать это событие до того, как оно случится. Это предсказание является логическим следствием фактов и законов. Иными словами, существует логическое отношение между полным описанием предыдущих условий, относящихся к ним законов и предсказанием события.
Отдельные факты, входящие в предыдущую ситуацию, в принципе могут быть известными. (Мы игнорируем здесь практическую трудность получения всех фактов, так же как принципиальные границы, налагаемые квантовой теорией на знание всех факторов на внутриатомном уровне.) В отношении знания соответствующих законов возникает еще более широкая проблема. Когда причинное отношение определяется путем утверждения, что событие может быть логически выведено из совокупности фактов и законов, то что здесь подразумевается под "законами"? Возникает искушение сказать, что под ними подразумеваются все те законы, которые можно найти в учебниках по различным наукам и которые связаны c ситуацией, более точно, все относящиеся к событию законы, которые известны в данное время. На формальном языке событие Y в момент времени Т вызывается предшествующим событием X, если и только если Y выводимо из X c помощью законов Lt, известных в момент Т.
Легко видеть, что это не очень полезное определение причинного отношения. Рассмотрим следующий противоречащий пример. Существует исторический отчет о событии В, которое произошло в древние времена, вслед за событием А. В момент времени T1, люди не могли объяснить В. Теперь В может быть объяснено c помощью некоторых законов L * путем демонстрации того, что В логически следует из А и L*. Но в момент времени Т1 законы L* были неизвестны и, следовательно, событие В не могло быть объяснено как результат события А. Предположим, что в момент времени Т1 ученый выдвигал в качестве гипотезы утверждение, что событие В вызывалось событием А. Оглядываясь назад, можно сказать, что эта гипотеза была истинной, хотя ученый не мог доказать ее. Он был не в состоянии доказать ее, потому что законы, которые были известны ему, Lt1 не включали законов L*, которые являются существенными для доказательства. Однако, если принять определение причинного отношения, предложенное в предыдущем параграфе, необходимо сказать, что утверждение ученого было ложно. Оно ложно потому, что он не был в состоянии вывести В из А и Lt1. Иными словами, его утверждение должно быть названо ложным, даже если сейчас известно, что оно истинно.