{8}, что мой ответ на проблему L2 согласуется со следующей, несколько ослабленной формой принципа эмпиризма: Только «опыт» может помочь нам принять решение об истинности или ложности фактуальных высказываний. Потому что, ввиду L1 и ответа на L1, оказывается, что мы можем установить, самое большее, ложность теории, а уж это действительно возможно, ввиду ответа на L2.
Аналогичным образом мое решение не противоречит научным методам; напротив, оно приводит нас к зачаткам критической методологии.
Это мое решение не только проливает яркий свет на психологическую проблему индукции (см. далее раздел 11), оно еще и проясняет традиционные формулировки проблемы индукции и обосновывает слабость этих формулировок (см. далее разделы 12 и 13.)
Мои формулировки и решения проблем L1, L2 и L3 построены полностью в рамках дедуктивной логики. Я показываю, что, обобщив проблему Юма, к ней можно добавить L2 и L3, а это позволяет сформулировать несколько более позитивный ответ на нее, чем ответ на L1. Происходит это потому, что с точки зрения дедуктивной логики подтверждение и опровержение при помощи опыта несимметричны. А из этого следует чисто логическое различие между уже опровергнутыми гипотезами и пока еще не опровергнутыми и предпочтительность последних перед первыми — хотя бы только с теоретической точки зрения, что делает их теоретически самыми интересными объектами для дальнейших испытаний.
7. Предпочтительность теорий и поиски истины
Мы видели, что наш отрицательный ответ на проблему L1 означает, что все наши теории являются и остаются догадками, предположениями, гипотезами. Стоит нам признать этот чисто логический вывод, возникает вопрос, возможны ли какие-то чисто рациональные, в том числе эмпирические, аргументы в пользу предпочтительности одних предположений или гипотез по сравнению с другими.
На этот вопрос можно смотреть по-разному. Я буду различать точку зрения теоретика — искателя истины, особенно истинных объяснительных теорий — от точки зрения практического человека действия. Иначе говоря, я буду различать теоретическую предпочтительность и прагматическую предпочтительность. В этом и следующем разделах главы 1 я буду заниматься только теоретической предпочтительностью и поиском истины. Прагматическая предпочтительность и проблема «надежности» будут обсуждаться в разделе 9.
Я буду исходить из того, что теоретика главным образом интересует истина и в особенности нахождение истинных теорий. При этом, когда он окончательно усвоит, что истинность той или иной научной теории невозможно обосновать эмпирически, то есть при помощи проверочных высказываний, и что, следовательно, перед нами в лучшем случае стоит проблема пробного предпочтения одних догадок другим, тогда он может с точки зрения искателя истинных теорий задуматься над такими вопросами: Какие принципы предпочтения следует нам принять? Могут ли некоторые теории быть «лучше» других?
Эти вопросы приводят нас к следующим соображениям:
(1) Ясно, что вопрос о предпочтении возникает главным образом и может быть даже исключительно по отношению к конкурирующим теориям, то есть теориям, которые предлагаются в качестве решений одних и тех же проблем (см. также далее пункт (8)).
(2) Если теоретика интересует истинность, его должна также интересовать и ложность, потому что выяснить ложность некоторого утверждения — то же самое, что выяснить истинность его отрицания. Таким образом, опровержение теории всегда представляет теоретический интерес. Вместе с тем отрицание объяснительной теории не является, в свою очередь, объяснительной теорией (и, как правило, не носит «эмпирического характера», как те проверочные высказывания, из которых оно выводится.) Хотя оно и интересно, все же оно не удовлетворяет стремление теоретика отыскать истинную объяснительную теорию.
(3) Если теоретик, продолжая свои изыскания в интересующей его области, обнаруживает слабое место данной теории, он не только получает теоретически интересную информацию, но и ставит важную новую проблему для любой новой объяснительной теории. Любая новая теория, кроме успеха там, где преуспела предыдущая теория, должна будет добиться успеха и там, где ее предшественница потерпела неудачу, то есть там, где она была опровергнута. Если новой теории удастся достичь и того, и другого, она будет по крайней мере более успешной и, следовательно, «лучшей», чем прежняя.
(4) Более того, если предположить, что к моменту времени t эта новая теория не будет опровергнута при новом испытании, то она — по крайней мере в момент времени t смысле. Ведь она не только будет объяснять все то, что объясняла предыдущая теория, и еще кое-что, она еше и должна будет рассматриваться как возможно истинная, поскольку к моменту времени t еще не доказано, что она ложна.
(5) И все же для теоретика такая новая теория будет ценна не только из-за ее успеха и из-за того, что она, возможно, истинна, а еще и из-за того, что она, возможно, ложна: она интересна как объект для дальнейших испытаний, то есть новых попыток опровержения, которые в случае успеха не только установят новое отрицание теории, но и поставят новую теоретическую проблему для следующей теории.
Пункты (1)-(5) можно подытожить следующим образом:
Теоретика по различным причинам интересуют неопровергнутые теории, в особенности потому, что некоторые из них, возможно, истинны. Он предпочтет неопровергнутую теорию опровергнутой при условии, что она объясняет успехи и неудачи опровергнутой теории.
(6) Новая теория, как и все неопровергнутые теории, может оказаться ложной. Поэтому теоретик изо всех сил старается обнаружить ложные теории среди множества неопровергнутых конкурентов; он пытается «подловить» их. Иначе говоря, он стремится по отношению к каждой данной неопровергнутой теории придумать случаи или ситуации, при которых, если она ложна, ее ложность могла бы проявиться. Таким образом, он будет пытаться спланировать строгие испытания и решающие проверочные ситуации. По сути это означает построение фальсифицирующего закона, то есть закона, уровень универсальности которого может быть настолько низок, что он будет не в состоянии объяснить успехи теории, подлежащей проверке, но который, тем не менее, может подсказать решающий эксперимент — эксперимент, который может опровергнуть, в зависимости от его исхода, либо теорию, подвергающуюся проверке, либо фальсифицирующую ее теорию.
(7) При помощи этого метода исключения можно наткнуться и на истинную теорию. Однако этот метод ни в каком случае не может установить ее истинность, даже если она истинна, потому что количество теорий, которые, возможно, истинны, остается бесконечным в любой момент времени и после любого количества решающих испытаний. (Это еще одна возможная формулировка отрицательного результата Юма). Разумеется, количество реально выдвинутых теорий конечно и вполне может получиться так, что мы опровергнем их все и больше ни одной не сможем придумать.
Вместе с тем среди реально выдвинутых теорий может оказаться больше одной теории, не опровергнутой к моменту времени t, так что мы не будем знать, какую из них предпочесть. Но при этом если к моменту времени t остается множество таких конкурирующих теорий, то теоретик попытается выяснить, как можно спланировать для них решающие эксперименты, то есть эксперименты, которые могли бы опровергнуть и тем самым исключить некоторые из конкурирующих теорий.
(8) Результатом описанной процедуры может оказаться некоторое множество теорий, «конкурирующих» между собой в том смысле, что они предлагают решения хотя бы некоторых общих для них проблем, хотя каждая из них дает, кроме того, решения некоторых проблем, которых не дают другие теории. Ведь хотя мы требуем, чтобы новая теория давала решение и проблем, решенных ее предшественницей, и проблем, которые предыдущей теории не удалось решить, разумеется, всегда может случиться, что будут предложены две или более новые конкурирующие теории, каждая из которых удовлетворяет этим требованиям и вдобавок предлагает решения каких-то проблем, которых не решают остальные.
(9) В любой момент времени t теоретика особенно интересует нахождение наиболее поддающейся проверке из конкурирующих теорий, чтобы подвергнуть ее новым испытаниям. Я показал, что она в то же время будет отличаться и наибольшим информационным содержанием, и наибольшей объяснительной способностью. Эта теория будет больше других заслуживать проверки новыми испытаниями, короче говоря, это будет «лучшая» из конкурирующих теорий на момент времени t. Если она выдержит испытания, то она будет еще и лучше всего испытанной теорией из рассмотренных к этому моменту, включая всех ее предшественниц.
(10) Говоря о «лучшей» теории, я исхожу из предположения, что хорошая теория — это не теория ad hoc{9}. Понятия «адхоковости» (ad-hocness) и ее противоположности, которую, может быть, можно назвать «смелостью» или «дерзостью» (boldness), очень важны. Объяснения ad hoc — это объяснения, которые невозможно проверить независимо, то есть независимо от объясняемого следствия. Они достаются даром и потому не представляют особого теоретического интереса. Я обсуждал вопрос о степенях независимости испытаний в разных моих работах сороковых и пятидесятых годов[20] — это интересная проблема, она связана с проблемами простоты и глубины теорий. Позже, в шестидесятые годы, я подчеркивал также[21] необходимость соотносить ее с проблемой объяснения, для решения которой мы строим данную теорию, и с проблемными ситуациями, которые мы при этом рассматриваем, потому что все эти понятия связаны со степенью «хорошести» конкурирующих теорий. Более того, степень дерзости теории зависит также от того, как она соотносится с предшествующими теориями.