Карл Поппер - Объективное знание. Эволюционный подход

Здесь можно добавить два слова о шумных требованиях индуктивистов (О'Хиа отрицает, что принадлежит к их числу) по части индуктивных принципов или индуктивных предположений. Такие принципы или предположения — вроде «принципа единообразия природы» — обычно считаются находящимися на более высоком уровне общности, нежели физические теории, то есть на метауровне. И действительно, догадки более высокого уровня по поводу мира, или метадогадки, часто играют определенную роль в наших научных процедурах. Можно высказать метадогадку, что мы, возможно, можем с помощью метода предположений и опровержений найти модель, объясняющую фазы луны или действие грозы. И можно высказать метадогадку, выводимую из нашей космологии, что мы будем тщетно применять метод предположений и опровержений, если попытаемся с его помощью найти закон, позволяющий предсказывать погоду по воскресеньям на пять недель вперед. Другими словами, мы можем высказывать метадогадки, которые заставят нас ожидать, что метод предположений и опровержений может помогать нам отвечать на вопросы в одних областях, но не помогать в других. Конечно, эти метадогадки погрешимы, и кто-то может открыть правило типа «дождь почти всегда идет по воскресеньям, но не по субботам». Однако мы не только были бы удивлены, если бы такое правило работало — оно бы нарушило наше миропонимание. Эта точка зрения, конечно, в свою очередь предположительна, хотя можно сказать, что это — «допущение», лежащее в основе многих наших научных предположений. (См. также мою книгу [1977(a)], раздел 79).

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

(2) Истина. Доктор Сьюзен Хаак [1976] в статье, названной «Истинно ли то, что говорят о Тарском?», требует меня к ответу за интерпретацию теории истины Тарского (в настоящей книге и в других местах) как теории соответствия. На вопрос, поставленный в названии ее статьи, она отвечает смелым утверждением: «...Тарский не представляет свою теорию как теорию соответствия» (Haack [1976], р. 324). Мой ответ будет состоять просто из двух кратких цитат из Тарского. Первая — со второй страницы фундаментальной работы Тарского «Понятие истины в формализованных языках» [348]. Тарский говорит в ней о своей собственной работе: «Я замечу только, что во всей этой работе я буду заботиться только о том, чтобы правильно понять (grasp) интенции, заложенные в так называемом классическом понятии истины („истинно — соответствует действительности") в противопоставлении, например, ее утилитарному пониманию („истинно — полезно в некотором отношении")». Вторая цитата из Тарского — находится на четвертой странице его работы «Основания научной семантики» — еще более откровенна [349]: «Мы рассматриваем истинность предложения как его 'соответствие действительности'».

Поэтому я думаю, что вопрос о порицании доктором Хаак правдивости моих оценок теории Тарского можно считать исчерпанным. Хотя Тарский и представлял свою теорию как теорию соответствия, он отрицал, что из нее можно вывести какие-либо реалистические или иные метафизические заключения. Я первым использовал теорию Тарского в поддержку метафизического реализма в 1956 году [350]. Конечно, я не приписывал Тарскому эту точку зрения [351], но я сказал (в 1956 году), что «в классической теории истины, или теории соответствия, по умолчанию принято» называть положение вешей «реальным» ("real"), если описывающее его высказывание истинно.

(3) Сравнение содержаний. Я часто доказывал (argued), что прогресс науки происходит в результате соревнования теорий, а также что самые интересные из наших теорий в типичном случае противоречат своим предшественницам (см. главу 5 настоящей книги). Поэтому нам нужны какие-то средства, с помощью которых мы могли бы сравнивать содержания, или объяснительную силу, таких теорий. В настоящей книге (см. с. 58-60) я высказал предположение, что в качестве основы для такого сравнения мы могли бы использовать вопросы, на которые способны ответить конкурирующие теории. (И я также предположил, что мы могли бы использовать для этой цели то, что я назвал проблемным содержанием теорий [352]). Иначе говоря, я предположил, что мы можем проводить сравнение интересующих нас теорий по отношению к нашим проблемам — проблемам, которые способны решить эти теории.

Эти мои предположения, как было показано, оказались неудовлетворительными. К сожалению, в различных важных местах я говорил о «всех» вопросах, на которые может ответить та или другая теория, однако Дэвид Миллер, Адольф Грюнбаум и Джон Уоткинс указали на контрпримеры. Вместе с тем на уме у меня была попытка преодолеть трудности сравнения содержаний, релятивизируя содержание (как и простоту — см. мою книгу [1976(a)], р. 240-242, прим. 24), то есть рассматривая его по отношению к релевантным для нас проблемам — к тем проблемам, которые практикующий ученый считал бы релевантными [353].

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

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

Адольф Грюнбаум (Grunbaum [1976(a)]) также представил несколько примеров проблем, возникающих в предшествующей теории (теории Ньютона), но не в ее преемнице (теории Эйнштейна). Однако, хотя критика Пзюнбаума и затрагивает некоторые мои ранние формулировки, я не думаю, что здесь есть какая-то важная проблема по существу. Действительно мы можем сказать, что на все поставленные им проблемы у позднейшей теории есть полный ответ, отличный от того, который дает предшествующая теория, хотя он может быть ни «да», ни «нет». Ответом будет: «Этот вопрос не возникает». (Допустимость такого ответа должна быть оговорена явно).