Например, хороший способ проверить ту идею, что мир является конечным и количественно, и качественно, состоит в разработке некоторого варианта аристотелевской космологии. Такая космология дает средства описания, приспособленные для конечного мира, а соответствующая методология заменяет требование роста содержания требованием такого рода адекватного описания. Допустим, мы создали теории, соответствующие этой космологии, и разрабатываем их согласно новым правилам. Что при этом произойдет? Ученые будут огорчены, ибо эти теории обладают необычными свойствами. Философы науки также будут огорчены, поскольку новые теории вводят неслыханные стандарты. А поскольку они — большие любители обставлять свое огорчение долгими нудными песенками про «причины», они вскоре пойдут немного дальше. Они начнут говорить о том, что они не только огорчены, но имеют и «основания» для огорчения. В большинстве случаев их аргументы будут лишь повторениями и вариациями тех стандартов, которые они когда-то усвоили и когнитивное содержание которых сводится к лозунгам «Эти теории являются ad hoc!» или «Здесь нет роста содержания!». Это все, что можно услышать в ответ на дальнейшие вопросы: «Почему это плохо?», «Разве наука развивалась иначе за последние 200 лет?»
[17], «Решает ли рост содержания некоторые проблемы теории подтверждения (confirmation theory)?» [18]. Речь идет не о том, что и как делает наука, а о том, как ее улучшить и годятся ли для этого теории подтверждения. Предлагаемые ответы не приближают нас к решению этого вопроса. Поэтому некоторые интересные возможности обнаружения недостатков известных стандартов устраняются твердым решением сохранять status quo. Смешно видеть, как такое решение подкрепляется наиболее «критичной» философией, сталкивающейся с этой проблемой. Мы же, со своей стороны, всегда помним о том, чтоЕще один пример для иллюстрации этого положения. Мысль о том, что информация относительно внешнего мира без искажений доставляется органами чувств в наше мышление, приводит к стандарту, глясящему, что всякое познание должно контролироваться наблюдением: следует предпочитать те теории, которые согласуются с наблюдением, и отвергать те, которые с ним не согласуются. Этот стандарт требует замены, как только мы обнаруживаем, что сенсорная информация во многих отношениях является искаженной. А это обнаруживается в процессе разработки теорий, которые вступают в конфликт с наблюдением, но во многих других отношениях оказываются превосходными (в гл. 5—11 ПМ я показал, каким образом это осуществлял Галилей).
И наконец, та идея, что мы живем среди определенных, устойчивых вещей и что окружающий нас мир не является парадоксальным, ведет к требованию непротиворечивости нашего познания. Противоречивые теории не могут быть частью науки. По-видимому, это наиболее фундаментальный стандарт, который многие философы отстаивают с той же непреклонной решимостью, с которой католики отстаивают догмат о Непорочном Зачатии. Однако и он лишается своего авторитета, когда мы обнаруживаем факты, адекватное описание которых должно быть противоречивым, и создаем противоречивые теории, имеющие плодотворные применения, в то время как попытка сделать их непротиворечивыми приводит к построению бесполезных и неуклюжих монстров
[19].Последний пример порождает дальнейшие вопросы, которые обычно формулируются как возражения против него (и против критики других стандартов, включая требование роста содержания).
Одно из возражений заключается в том, что непротиворечивость является необходимым условием научного исследования. Деятельность, не согласующаяся с этим условием, не является исследованием, она является хаотичной. Поэтому нельзя анализировать непротиворечивость так, как это сделано в последнем примере.