Объективное знание

Однако объясняющее —которым является наша гипотеза — не состоит из одного только высказывания «Эта крыса съела приманку, содержавшую большую дозу крысиного яда», потому что из этого высказывания самого по себе нельзя дедуктивно вывести объясняемое.Нам придется использовать в качестве объясняющегодва разные типа посылок — общие (universal) законы и начальные условия. В нашем случае общий закон можно сформулировать так: «Если крыса съест по крайней мере 8 гран крысиного яда, она умрет не позднее, чем через пять минут». (Единичное) начальное условие (сформулированное в виде единичного высказывания) может быть таким: «Эта крыса съела по крайней мере 18 гран крысиного яда более пяти минут назад». Из этих двух посылок вместе мы теперь действительно можем дедуктивно заключить, что эта крыса недавно сдохла [а это и есть наше объясняемое].

Конечно, все это может показаться очевидным, однако обратите внимание на один из моих тезисов — на тезис, согласно которому того, что я назвал «начальными условиями»[то есть условиями, относящимися к данному отдельному случаю], никогда не бывает достаточно для объяснения, так что нам всегда нужен еще и какой-то общий закон. Ну, а этот тезис далеко не является очевидным — напротив, с ним часто не соглашаются. Я даже подозреваю, что большинство из вас склонны были бы принять такое замечание, как «эта крыса съела крысиного яду», за вполне достаточное объяснение ее смерти даже без добавления к нему явной формулировки общего закона, относящегося к воздействию крысиного яда. Но предположим на мгновение, что мы живем в мире, в котором все (в том числе и все крысы), съевшие изрядное количество химикалии, называемой «крысиным ядом», будут чувствовать себя особенно хорошо и весело всю предстоящую неделю. Если бы имел место такой общий закон, было ли бы высказывание «Эта крыса съела крысиного яду» столь же приемлемым в качестве объяснения крысиной смерти? Очевидно, нет.

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

Подытожим сказанное. Мы выяснили, что объяснение есть дедуктивный вывод следующего рода:

VII

Возникает вопрос: все ли объяснения, имеющие такую структуру, удовлетворительны!Является ли, например, наше объяснение смерти крысы тем, что она поела крысиного яду, удовлетворительным объяснением? Мы не знаем: проверка может показать, что крыса умерла от чего угодно, но не от крысиного яда.

Если кто-нибудь из наших друзей отнесется к нашему объяснению скептически и спросит: «Откуда ты знаешь, что эта крыса поела яду?», явно недостаточно будет ответить ему: «Да как ты можешь в этом сомневаться, ты же видишь, что она сдохла?». Действительно, любое основание, которое мы могли бы привести в поддержку нашей гипотезы, должно отличаться от объясняемогои не зависеть от него. Если в качестве свидетельства в пользу нашей гипотезы мы можем только повторить само объясняемое,мы почувствуем, что наше объяснение описывает круг и потому совершенно неудовлетворительно.Если же мы сможем ответить: «Проанализируй содержимое ее желудка, и ты обнаружишь много яда», и если это предсказание (которое является новым, то есть не вытекает из одного только объясняемого)окажется истинным, мы сможем считать наше объяснение по крайней мере достаточно хорошей гипотезой.

Здесь, однако, надо кое-что добавить. Дело в том, что наш скептически настроенный друг может усомниться и в истинности общего закона. Он может, например, сказать: «Хорошо, пусть эта крыса съела определенное химическое соединение, но почему она должна была от этого сдохнуть?» Опять-таки мы не должны отвечать: «Но разве ты не видишь, что она сдохла? Это как раз и показывает, как опасно есть это вещество». Ведь такое объяснение снова было бы круговым и неудовлетворительным. Чтобы сделать его удовлетворительным, мы должны были бы подвергнуть общий закон проверкам, независимым от нашего объясняемого.

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