Два типа аналитических истин научной теории. Эволюция научных законов показывает, что нет жесткой, раз и навсегда установленной границы между аналитическими и синтетическими (фактическими, эмпирическими) утверждениями.
Существуют два типа аналитических истин: 1) утверждения, истинные благодаря своей форме и значению входящих в них логических терминов (например, «Если идет дождь, то идет дождь»); 2) утверждения, истинные благодаря значениям входящих в них не только логических, но и дескриптивных терминов («Ни один холостяк не является женатым»). Аналитические истины первого типа определяют логику теории. Они не подвергаются ни исследованию, ни тем более сомнению в ее рамках и являются в известном смысле высшими ее ценностями, с которыми должно сообразовываться все остальное. С точки зрения самой теории более интересны аналитические истины второго типа. Они приобретают аналитический характер в определенный момент развития теории и могут утратить его в ходе последующей ее эволюции.
Примером утверждений, считавшихся истинными в силу значений входящих в них дескриптивных терминов теории и превратившихся позднее в фактические истины, могут служить те определения тока и сопротивления, которые принимались до открытия закона Ома. После установления этого закона и ряда уточнений значений входящих в него терминов данные определения перешли в разряд эмпирических утверждений. «Я в настоящее время даже подозреваю, – пишет Т. Кун, – что все революции, помимо прочего, влекут за собой отказ oт обобщений, сила которых покоилась раньше в какой-то степени на тавтологиях»[43].
Л. Витгенштейн отмечает, что разделение всех утверждений на две взаимоисключающие группы – случайных, или требующих проверки в опыте, и необходимых, или истинных в силу своего значения – и бедно и неверно. Статус эмпирического утверждения зависит от контекста. Вне контекста бессмысленно спрашивать, является ли данное положение проверяемым или оно просто «крепко удерживается» нами. Когда мы твердо придерживаемся некоторого убеждения, мы обычно более склонны сомневаться в источнике противоречащих данных, нежели в самом убеждении. Однако когда эти данные становятся настолько многочисленными, что мешают использовать рассматриваемое убеждение для оценки других предложений, мы можем все-таки расстаться с ним[44].
Это в общем верное описание аналитических истин теории, как, впрочем, и иных ее внутренних ценностей. Они определяются контекстом и функционируют как ценности до тех пор, пока выступают в качестве стандартов оценки ее утверждений. Под давлением обстоятельств, прежде всего новых фактических данных, прежние стандарты могут быть пересмотрены и заменены другими. Последние должны по-новому упорядочить утверждения теории и сверх того объяснить, почему