Вряд ли эта крайняя позиция верна. Обоснованность утверждения во многом зависит от той системы представлений, в которую оно включено. Но эта зависимость не абсолютна. Нельзя сказать, что утверждение, истинное в рамках одной теории, может стать ложным в свете какой-то иной теории. Если бы это было так, понятие истины оказалось бы вообще не приложимым к отдельным утверждениям.
С темой системности обоснования связан и известный тезис Дюгема—Куайна о возможности сохранения любой гипотезы путем соответствующих изменений той теоретической системы, в рамках которой она выдвигается. Как пишет Куайн, «любое высказывание может во что бы то ни стало сохранять свою истинность, если мы проделаем достаточно решительную корректировку в каком-то ином разделе системы»[74]. Опираясь на данный тезис, можно сказать, что любое произвольное утверждение теоретической системы является истинным «во что бы то ни стало»: ценой соответствующих компенсирующих модификаций в теории любое из входящих в нее положений может быть сохранено перед лицом явно противоречащих ему эмпирических данных.
Убедительных доводов в поддержку тезиса Дюгема—Куайна приведено не было. Сославшись на такую гипотезу, как «На Элмстрит есть кирпичные дома», Куайн замечает, что даже это утверждение, «столь уместное в чувственном опыте... может сохранить силу перед лицом противоречащих ему переживаний с помощью защитной галлюцинации или внесения поправок в высказывания, которые именуются законами логики»[75]. Ссылка на галлюцинацию несерьезна, аргумент о возможном изменении логики не убедителен. Как показывает А.Грюнбаум, нельзя доказать общее положение, что теорию можно модифицировать так, чтобы любая относящаяся к ней гипотеза была непременно сохранена. Для каждого частного случая теории необходимо особое доказательство существования такой модификации[76].
Таким образом, системность обоснования не означает, что отдельно взятое эмпирическое утверждение не может быть ни обосновано, ни опровергнуто вне рамок той теоретической системы, к которой оно принадлежит.
Важным, но пока почти не исследованным способом обоснования теоретического утверждения является внутренняя перестройка теории, в рамках которой оно выдвинуто. Эта перестройка, или переформулировка, предполагает введение новых образцов, норм, правил, оценок, принципов и т.п., меняющих внутреннюю структуру как самой теории, так и постулируемого ею «теоретического мира».
Новое научное, теоретическое положение складывается не в вакууме, а в определенном теоретическом контексте. Контекст теории определяет конкретную форму выдвигаемого положения и основные перипетии его последующего обоснования. Если научное предположение берется в изоляции от той теоретической среды, в которой оно появляется и существует, остается неясным, как ему удается в конце концов стать элементом достоверного знания.
Выдвижение предположений диктуется динамикой развития той теории, к которой они относятся, стремлением ее охватить и объяснить новые факты, устранить внутреннюю несогласованность и противоречивость и т.д. Во многом поддержка, получаемая новым положением от теории, связана с внутренней перестройкой последней. Эта перестройка может заключаться во введении номинальных определений (определений-требований) вместо реальных (определений-описаний), принятии дополнительных соглашений относительно изучаемых объектов, уточнении основополагающих принципов теории, изменении иерархии этих принципов и т.д.
Теория придает входящим в нее положениям определенную силу. Эта поддержка во многом зависит от положения утверждения в теории, в иерархии составляющих ее утверждений. Перестройка теории, обеспечивающая перемещение какого-то утверждения от ее «периферии» к ее «ядру», сообщает этому утверждению большую системную поддержку.
Несколько простых примеров пояснят эту сторону дела.
Хорошо известно, что жидкость есть такое состояние вещества, при котором давление передается во все стороны равномерно. Иногда эту особенность жидкости кладут в основу самого ее определения. Если бы вдруг обнаружилось такое состояние вещества, которое во всем напоминало бы жидкость, но не обладало бы, однако, свойством равномерной передачи давления, мы обязаны были бы не считать это состояние жидкостью.
Не всегда жидкость определялась так. В течение довольно долгого времени утверждение, что жидкость передает давление во все стороны равномерно, являлось только предположением. Оно было проверено для многих жидкостей, но его приложимость ко всем иным, еще не исследованным жидкостям оставалась проблематичной. В дальнейшем, с углублением представлений о жидкости, это утверждение превратилось в эмпирическую истину, а затем и в определение жидкости как особого состояния вещества и стало, таким образом, тавтологией.
За счет чего осуществился этот переход от предположения к тавтологии? Здесь действовали два взаимосвязанных фактора. С одной стороны, привлекался все новый опытный материал, относившийся к разным жидкостям и подтверждавший рассматриваемое утверждение. С другой стороны, углублялась и перестраивалась сама теория жидкости, включившая в конце концов это утверждение в свое ядро.
Сходным образом, известный химический закон кратных отношений первоначально был простой эмпирической гипотезой, имевшей к тому же случайное и сомнительное подтверждение. После работ английского химика В.Дальтона химия была радикально перестроена. Положение о кратных отношениях сделалось составной частью определения химического состава, и его стало невозможно ни проверить, ни опровергнуть экспериментально. Химические атомы могут комбинироваться только в отношении один к одному или в некоторой другой простой, целочисленной пропорции — сейчас это конструктивный принцип современной химической теории.
Подобного рода внутреннюю перестройку теории можно попытаться проиллюстрировать на упрощенном примере.
Допустим, нам надо установить, что объединяет между собой следующие города: Вадуц, Валенсия, Валлетта, Ванкувер, Вена, Вьентьян. Сразу можно выдвинуть предположение, что это — города, являющиеся столицами. Действительно, Вьентьян — столица Лаоса, Вена — Австрии, Валлетта — Мальты, Вадуц — Лихтенштейна. Но Валенсия — не столица Испании, а Ванкувер — не столица Канады. Вместе с тем Валенсия — главный город одноименной испанской провинции, а Ванкувер — одноименной канадской провинции. Чтобы сохранить исходную гипотезу, мы должны соответствующим образом уточнить определение понятия столицы. Будем понимать под «столицей» главный город государства или его территориальной части: провинции, области и т.п. В таком случае Валенсия — столица провинции Валенсия, а Ванкувер — столица провинции Ванкувер. Благодаря перестройке «мира столиц» мы добились того, что наше исходное предположение стало истинным.
Теория дает составляющим ее утверждениям дополнительную поддержку. Чем крепче сама теория, чем она яснее и надежней, тем большей является такая поддержка. В силу этого совершенствование теории, укрепление ее эмпирической базы и прояснение ее общих, в том числе философских и методологических предпосылок является одновременно существенным вкладом в обоснование входящих в нее утверждений.
Среди способов прояснения теории особую роль играют выявление логических связей ее утверждений, минимизация ее исходных допущений, построение ее в форме аксиоматической системы и, наконец, если это возможно, ее формализация. «Если мы требуем от наших теорий все лучшей проверяемости, — пишет К.Поппер, — то оказывается неизбежным и требование их логической строгости и большего информативного содержания. Все множество следствий теории должно быть получено дедуктивно; теорию, как правило, можно проверить лишь путем непосредственной проверки отдаленных ее следствий — таких следствий, которые трудно усмотреть интуитивно»[77].
