Текст книги "Объективное знание. Эволюционный подход"

Автор книги: Карл Поппер

сообщить о нарушении

Текущая страница: 2 (всего у книги 35 страниц)

7. Предпочтительность теорий и поиски истины

Мы видели, что наш отрицательный ответ на проблему L ₁означает, что все наши теории являются и остаются догадками, предположениями, гипотезами. Стоит нам признать этот чисто логический вывод, возникает вопрос, возможны ли какие-то чисто рациональные, в том числе эмпирические, аргументы в пользу предпочтительности одних предположений или гипотез по сравнению с другими.

На этот вопрос можно смотреть по-разному. Я буду различать точку зрения теоретика – искателя истины, особенно истинных объяснительных теорий – от точки зрения практического человека действия. Иначе говоря, я буду различать теоретическую предпочтительностьи прагматическую предпочтительность.В этом и следующем разделах главы 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] 20
  См. в особенности Popper К. Я.Naturgesetze und theoretische Systeme // Gesetz und Wirklichkeit. Ed. by Moser S.Innsbruck, 1949. S. 43 и далее, и Popper К. Я.The Aim of Science // Ratio. 1957. Vol. I (в настоящем издании эти работы публикуются соответственно как Приложение 1 и глава 5).


[Закрыть]– это интересная проблема, она связана с проблемами простоты и глубины теорий. Позже, в шестидесятые годы, я подчеркивал также [21] 21
  См. C.&R., стр.241.


[Закрыть]необходимость соотносить ее с проблемой объяснения, для решения которой мы строим данную теорию, и с проблемными ситуациями, которые мы при этом рассматриваем, потому что все эти понятия связаны со степенью «хорошести» конкурирующих теорий. Более того, степень дерзости теории зависит также от того, как она соотносится с предшествующими теориями.

На мой взгляд, интереснее всего здесь то, что мне удалось дать объективный критерий для высоких степеней дерзости или не-«адхоковости». Этот критерий состоит в том, что хотя новая теория должна объяснять то же самое, что объясняла и старая теория, она корректирует старую теорию, то есть она по сути дела противоречит старой теории: она включает в себя старую теорию, но только в качестве приближения. Так, я указывал на то, что теория Ньютона противоречит и теории Кеплера, и теории Галилея – хотя она объясняет их благодаря тому, что включает их в себя в качестве приближений. Аналогичным образом теория Эйнштейна противоречит теории Ньютона, которую она также объясняет и включает в себя в качестве приближения.

(11) Описанный мною метод можно назвать критическим методом. Это метод проб и исключения ошибок, он состоит в том, чтобы выдвигать теории и подвергать их самым строгим испытаниям, какие мы только сможем изобрести. Если в силу каких-либо ограничивающих предположений только конечное число конкурирующих теорий считаются возможными, этот метод может привести нас к определению единственной истинной теории путем исключения всех ее конкурентов. В обычных случаях, то есть во всех случаях, когда число возможных теорий бесконечно, этот метод не может помочь определить наверняка, какая из теорий истинна, как не может этого и никакой другой метод. Он остается применимым, хотя и не дает окончательного решения.

(12) Обогащение проблем посредством опровержения ложных теорий вместе с требованиями, сформулированными в пункте (3), приводят к тому, что предшественница каждой новой теории – с точки зрения этой новой теории – оказывается приближением к этой новой теории. Конечно, ничто не гарантирует, что для каждой опровергнутой теории мы сможем найти «лучшую» последующую теорию или лучшее приближение, для которого эти требования будут выполнены. Ничто не гарантирует возможность прогресса в сторону лучших теорий.

(13) К этому можно добавить еще два момента. Первый состоит в том, что все, что было здесь сказано, принадлежит по сути к области чистой дедуктивной логики – той логики, в рамках которой были поставлены проблемы L ₁, L ₂и L ₃. Если же мы попытаемся применить все это к реальным ситуациям, возникающим в науке, то столкнемся с проблемами иного рода. Например, соотношения между проверочными высказываниями и теориями могут оказаться не такими четкими, как предполагалось, или же сами проверочные высказывания можно будет подвергнуть критике. Такие проблемы всегда возникают, когда мы хотим применить чистую логику к реальной жизненной ситуации. Когда речь идет о науке, это приводит к тому, что я назвал методологическими правилами, правилами критического обсуждения.

Второй момент состоит в том, что можно считать эти методологические правила подчиненными главной цели рационального обсуждения – приближению к истине.

8. Подкрепление: достоинства невероятности

(1) Моя теория предпочтительности никак не связана с предпочтительностью «наиболее вероятной» гипотезы. Напротив, я показал, что проверяемость гипотезы возрастает и убывает в зависимости от ее информативного содержания, а следовательно, от ее невероятности(в смысле исчисления вероятностей). Таким образом, «лучшая» или «предпочтительная» гипотеза скорее окажется наиболее невероятной.(Вместе с тем ошибочно утверждать, как это делает Джон Харсани, что я когда-либо предлагал «критерий невероятности для выбора научных гипотез» [22] 22
  См. Harsanyi J. С.Popper's Improbability Criterion for the Choice of Scientific Hypotheses // Philosophy. 1960. Vol. 35. Pp. 332-340 (см. также сноску на стр. 218 книги C.&R.).


[Закрыть]у меня не только нет никакого общего «критерия», но частенько бывает, что я не могу предпочесть «лучшую» с точки зрения логики и более невероятную гипотезу, поскольку кто-то сумел экспериментально опровергнуть ее). Этот вывод многие, конечно, считают извращением, но мои основные доводы очень просты (содержание=невероятность), и в последнее время их приняли даже некоторые из сторонников индуктивизма и вероятностной теории индукции, такие например, как Рудольф Карнап [23] 23
  См. Сатар R.Probability and Content Measure // Mind, Matter and Method, Essays in Honour of Herbert Feigl. Ed. by Feyerabend P. K.and Maxwell Grover.Minneapolis: University of Minnesota Press, 1966. Pp. 248-260.


[Закрыть].

(2) Первоначально я ввел понятие подкрепления (corroboration),или «степени подкрепления»,с целью ясно показать, что всякая вероятностная теория предпочтительности (и, следовательно, всякая вероятностная теория индукции) абсурдна.

Под степенью подкрепления теории я подразумеваю сжатый отчет, оценивающий состояние (на данный момент времени t)критического обсуждения теории с точки зрения того, как она решает свои проблемы, ее степени проверяемости, строгости проверок, которым она подвергалась, и того, как она выдержала эти проверки. Таким образом, подкрепленность (или степень подкрепления) теории – это оценочный отчет о ее предыдущем функционировании.Как и предпочтительность, подкрепление по своему существу имеет сравнительный характер: вообще говоря, мы можем только говорить, что теория Аимеет более высокую (или более низкую) степень подкрепления, чем конкурирующая с нею теория В, – всвете критического обсуждения, включающего проверки, вплоть до некоторого момента времени t.Поскольку подкрепление – это отчет только о функционировании в прошлом, он имеет дело с такой ситуацией, которая может привести к тому, что мы предпочтем какие-то теории другим. Вместе с тем такой отчет ничего не говорит нам о функционировании в будущем или о «надежности (reliability)» той или иной теории.(Конечно, сказанное нисколько не изменилось бы, если бы кому-нибудь удалось показать, что в некоторых очень специальных случаях мои или чьи-либо еще формулы степени подкрепления могут получить численную интерпретацию [24] 24
  По-моему, профессор И. Лакатос подозревает, что если бы оказалось возможным ввести числа в определенную мною степень подкрепления, то это сделало бы мою теорию индуктивистской в смысле вероятностной теории индукции. Я же не вижу для этого никаких оснований. См. The Problem of Inductive Logic. Ed. by Lakatos I.and Musgrave A.Amsterdam: North Holland, 1968. Pp. 410-412. (Добавлено в гранках: Я был рад узнать, что неправильно понял этот фрагмент.)


[Закрыть]).

Основная цель формул, предложенных мною для определения степени подкрепления, – показать, что во многих случаях наиболее невероятная(невероятная в смысле исчисления вероятностей) гипотеза оказывается предпочтительной, и ясно показать, в каких случаях это выполняется, а в каких – нет. Таким образом я мог бы показать, что предпочтительность не может быть вероятностью в смысле исчисления вероятностей.Конечно, предпочтительную теорию можно называть вероятной: слова не играют роли, если только не позволять им вводить нас в заблуждение.

Подведем итог: иногда мы можем сказать о двух конкурирующих теориях Аи Б, что в свете состояния критического обсуждения на момент времени tи эмпирических данных (проверочных высказываний), полученных в ходе обсуждения, теория Аоказывается более предпочтительной, или лучше подкрепленной, чем теория В.

Очевидно, что степень подкрепления на момент времени t(представляющая собой высказывание о предпочтительности на момент времени t)ничего не говорит о будущем – например, о степени подкрепления на более поздний, чем t, момент времени. Это просто отчет о состоянии обсуждения на момент времени t, касающийся логической и эмпирической предпочтительности конкурирующих гипотез.

(3)    Я должен подчеркнуть сказанное в пункте (2), потому что следующий отрывок из моей книги «Логика научного исследования» понимали – точнее, ошибочно недопонимали, – в том смысле, будто я использую подкрепленность теории для предсказания функционирования этой теории в будущем:«Вместо того, чтобы обсуждать „вероятность" гипотезы, следует попытаться оценить, какие проверки, какие испытания она уже выдержала, то есть следует попытаться оценить, насколько ей пока что удалось доказать свою жизнеспособность при экспериментальных проверках. Короче говоря, следует попытаться оценить, насколько она „подкреплена" [25] 25
  L. Sc. D., р. 251.


[Закрыть]».

Кое-кто решил [26] 26
  См. Mind, New Series. 1960. Vol.69. P. 100.


[Закрыть]что выражение «доказать свою жизнеспособность» показывает, что я говорю здесь о способности выжить в будущем, выдержать будущие проверки. Мне жаль, если я ввел кого-то в заблуждение, но я могу сказать только, что не я виноват в путанице по поводу этой дарвинистской метафоры. Никто не ожидает, что вид, выживший в прошлом, по этой причине выживет и в будущем: всем видам, не сумевшим пережить некоторый период времени t, удавалось выжить до этого момента t.Абсурдно было бы предполагать, будто выживание по Дарвину каким-то образом предполагает ожидание, что каждый вид, выживший до сих пор, сможет выживать и дальше. (Кто может сказать, что шансы на выживание нашего собственного вида так уж высоки?)

(4)     Может быть, будет полезно добавить здесь еще один пункт о степени подкрепления высказывания s, которое принадлежит к теории T или логически вытекает из нее, но которое логически гораздо слабее, чем теория T Такое высказывание sбудет содержать меньше информации, чем теория T.Это означает, что sи дедуктивная система Sвсех высказываний, вытекающих из s, будет менее проверяемойи менее подкрепляемой,чем T. Вместе с тем если теория T хорошо проверялась, то мы можем сказать, что ее высокая степень подкрепления относится и ко всем высказываниям, которые из нее вытекают, и, следовательно, к sи 5, хотя само по себе высказывание s никогдане могло бы достичь такой высокой степени подкрепления, какой оно достигает как часть T или относительно T.

Это правило можно подкрепить еще одним простым соображением, что степень подкрепления – это средство установить предпочтительность в отношении истины. И если мы отдаем предпочтение теории  Tв отношении ее претензий на истинность, то мы должны отдать ей предпочтение вместе со всеми ее следствиями, поскольку, если теория T истинна, такими же должны быть и все ее следствия, хотя они могут быть по отдельности не так хорошо проверены.

Итак, я утверждаю, что с подкреплением теории Ньютона и с описанием Земли как вращающейся планеты степень подкрепления высказывания s:«Солнце в Риме восходит каждые двадцать четыре часа» – значительно возрастает. Ведь само по себе высказывание sне особенно поддается проверке, а вот теория Ньютона и теория вращения Земли хорошо поддаются проверке. А если они истинны, значит, и высказывание s тоже истинно.

Высказывание s, выводимое из хорошо проверенной теории T, в той мере, в какой оно рассматривается как часть теорииT, имеет ту же степень подкрепления, что и T, а если sвыводимо не из T, а из конъюнкции двух теорий, скажем, Т ₁ и Т ₂, это высказывание, как часть двух теорий, будет иметь ту же степень подкрепления, что и менее проверенная из этих двух теорий. При этом высказывание sсамо по себе может иметь очень низкую степень подкрепления.

(5) Фундаментальное различие между моим подходом и тем подходом, для которого я давным-давно ввел обозначение «индуктивистского», заключается в том, что я делаю упор на негативные аргументы, такие как отрицательные примеры или контрпримеры, опровержения и попытки опровержения, – короче говоря, на критику, – а индуктивисты делают упор на «позитивные примеры», из которых выводят «не-демонстративные следствия» [27] 27
  Hempel С. G. Recent Problems of Induction // Mind and Cosmos. Ed. by Colodny R. G.Pittsburgh University Press, 1966. P. 112.


[Закрыть]и которыми надеются обосновать « надежность (reliability)»этих следствий. На мой взгляд, все, что может быть « позитивного» в нашем научном знании, позитивно тольков той мере, в какой те или иные теории в тот или иной момент времени в свете их критическогообсуждения, состоящего из попыток опровержения, включая эмпирические проверки, оказываются предпочтительнее других. Таким образом, даже то, что можно назвать «позитивным», является таковым толькопо отношению к негативным методам.

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

9. Прагматическая предпочтительность

Пока что я рассматривал лишь вопрос о том, почему, если для теоретика окажется предпочтительнее одна из теорий, то это будет «лучшая», то есть лучше поддающаяся проверке и лучше проверенная теория. Конечно, теоретик может и не отдать предпочтение ни однойиз рассматриваемых им теорий: его могут обескуражить юмовское и мое «скептические» решения проблем H _Lи L ₁ ;он может сказать, что, если у него нет уверенностив возможности отыскать истинную теорию среди конкурирующих теорий, то его не интересуют методы, подобные описанному – даже если такой метод дает достаточные основания считать, что, еслисреди предложенных теорий имеется истинная, то она должна быть среди выживших, среди предпочтительных, среди подкрепленных теорий. Более жизнерадостного или более любопытного «чистого» теоретика наш анализ может побудить выдвигать все новые конкурирующие теории в надежде, что одна из них окажется истинной – даже если мы никогда не сможем сказать наверняка об одной из них, что она истинна.

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

Однако с ним как с человеком практического действия все обстоит совсем иначе. Человеку практического действия всегда приходится выбиратьмежду несколькими более или менее определенными альтернативами, поскольку даже бездействие есть род действия.

Но всякое действие предполагает наличие некоторых ожиданий, то есть теорий о мире. Какую из теорий выбрать человеку действия? Существует ли такая вещь, как рациональный выбор?Это подводит нас к прагматической проблеме индукции:

Р _r1На какую теорию следует полагаться в своих практических действиях, исходя из рациональных соображений?

Р _r2Какую теорию следует предпочесть для практических действий, исходя из рациональных соображений?

Мой ответ на Р _r1: Исходя из рациональных соображений, не следует «полагаться» ни на какую теорию, потому что ни для какой теории не доказана и не может быть доказана ее истинность.

Мой ответ на Р _r2: Как основание для практических действий следует предпочестьлучше всего проверенную теорию.

Другими словами, не существует «абсолютной надежности (reliance)», но поскольку выбирать все же приходится, будет «рационально» выбрать лучше всего проверенную теорию. Такое поведение «рационально» в самом очевидном из известных мне значений этого слова: лучше всего проверенная теория – та, которая в свете нашего критического обсужденияпока что представляется наилучшей, а я не знаю ничего более «рационального», чем хорошо организованное критическое обсуждение.

Конечно, выбрав за основу для действий лучше всего проверенную теорию, мы в каком-то смысле «полагаемся» на нее. Поэтому можно даже сказать, что это будет самая«надежная» в некотором смысле этого слова из имеющихся теорий. Это, конечно, не значит, что она «надежна». По крайней мере она «ненадежна» в том смысле, что нам следует всегда, даже в практических действиях, предвидеть возможность того, что наши ожидания не оправдаются.

на практике этот выбор окажется успешным: не может быть достаточных основанийв этом смысле, и в этом-то как раз и состоит вывод Юма. (В этом все три наших ответа – на H _L, L ₁и Р _r1– согласны между собой.) Напротив, даже если бы наши физические теории были верны, вполне возможно, что мир, каким мы его знаем со всеми его прагматически релевантными закономерностями, в следующую секунду распадется на составные части. Сегодня это должно быть очевидно для каждого, но я говорил об этом [28] 28
  См. L. d. F., раздел 79 (L. Sc. D., pp. 253 и далее).


[Закрыть]еще до Хиросимы: существует бесконечно много возможностей локальной, частичной или глобальной катастрофы.

Впрочем, с прагматической точки зрения, очевидно, не стоит беспокоиться о большей части этих возможностей, потому что мы ничего не можем сделатьпо их поводу: они находятся вне сферы наших действий. (Конечно, я не отношу атомную войну к тем катастрофам, которые находятся вне сферы человеческих действий, хотя большинство относится к ним именно так просто потому, что большинство из нас так же бессильно повлиять на нее, как и на деяния Господа Бога.)

Все это было бы верно, даже если бы мы точно знали, что наши физические и биологические теории истинны; но мы не знаем этого наверняка. Напротив, у нас есть основания сомневаться даже в лучших из них; и это, конечно, добавляет новые бесконечности к и без того бесконечному множеству возможных катастроф.

Такого рода соображения и придают такую важность юмовскому и моему отрицательному ответу. Ведь теперь совершенно ясно видно, почему следует остерегаться, как бы наша теория познания не доказала слишком много. Говоря точнее, никакая теория познания не должна пытаться объяснить, почему нам удается что-то успешно объяснить.

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

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