«Если Икс произвел взрыв, то он где-то приобрел взрывчатку». Насколько серьезной является данная улика? Каждый признает, что она весьма весома; приобретение взрывчатки в обычных условиях само по себе маловероятно, неординарно (см. третью строку схемы (В)). Однако оценка существенно изменится, если допустить, что Икс был, скажем, пиротехником-любителем и имел обыкновение достаточно часто использовать взрывчатку для фейерверков в домашнем саду (см. третью строку схемы (А)).
Понижая степень ординарности, автономной (независимой от гипотезы) объяснимости следствия, мы тем самым повышаем вероятность самой гипотезы. Очевидно, что если характеристика следствия в третьей строке схемы В выразится суждением «q без р необъяснимо (невозможно)», то вероятность гипотезы достигнет предела и трансформируется в достоверность. Это возможно лишь тогда, когда не только р будет логическим основанием для q, но и q станет логическим основанием для (импликация будет дополнена импликацией q→p). Подобная ситуация превращает вероятностную схему в доказательную, и потому обсуждается ниже.
До сих пор рассматривались лишь два возможных результата проверки следствий, выведенных из гипотезы по схеме p→q: ложность q влечет за собой признание ложности р (опровержение гипотезы); истинность q позволяет приписать некоторую степень вероятности (конфирмация гипотезы). Нередки, однако, случаи, в которых проверка следствия q не позволяет со всей определенностью приписать ему значение «истинно» или «ложно», но допускает какую-то вероятностную характеристику. Очевидно, что повышение или понижение степени вероятности проверяемого следствия q влечет за собой соответственно повышение или понижение степени вероятности гипотезы p.
Если проверка гипотезы не заканчивается ни доказательством, ни опровержением, а лишь изменяет степень ее вероятности, то трехэтапный цикл ее разработки только условно (временно) можно считать завершенным. В самом деле, гипотеза осталась гипотезой, а это предполагает возможность дальнейшей ее разработки — выведения следствий, их проверки и т.д. Казалось бы, из сказанного напрашивается вывод, что конфирмация гипотезы в отличие от опровержения (и тем более доказательства) не обладает сколько-нибудь существенным познавательным значением. Такое представление было бы глубоко ошибочным, прежде всего потому, что в практической деятельности человек часто вынужден опираться не только на достоверные, но и на вероятные знания. Повышение степени вероятности гипотезы путем конфирмации подчас является большим научным достижением. Пренебрежительная оценка конфирмированных (не доказанных и не опровергнутых) гипотез равносильна бездеятельному и, в сущности, утопическому ожиданию того момента, когда истина сама придет в руки. В различных областях знания и практики имеется множество гипотез, вероятность которых длительное время находится в состоянии флюктуации (колебания), однако исследователи не отказываются от их разработки. Естественно, в каждый данный момент повышенного внимания заслуживают гипотезы не только актуальные, но и достаточно вероятные. С этой точки зрения конфирмация гипотезы может привести к сосредоточению теоретических и практических усилий на ее оперативной разработке и проверке, что, в свою очередь, способно приблизить ее доказательство или опровержение. Но дело не только в завершенности цикла разработки гипотезы и в вытекающих из него утилитарных результатах. Среди гипотез есть весьма перспективные, но есть и гипотезы с практически ничтожными шансами на доказательство или опровержение. Например, не исключено, что рано или поздно будет доказана какая-то из гипотез, объясняющих обстоятельства падения в 1908 г. так называемого тунгусского метеорита. В то же время большинство гипотез, связанных с обстоятельствами дуэли и гибели Пушкина, которые обсуждаются литературоведами, историками, медиками, вероятно, так и останутся гипотезами. Однако право на существование имеют гипотезы и первого, и второго рода. Сами по себе флюктуирующие гипотезы (а, следовательно, и конфирмационные процедуры) есть показатель динамики познания, вечного движения человеческой мысли.
5. Доказательство гипотезы.
Поскольку гипотеза всегда представлена суждением или группой суждений, процедура установления ее истинности по своей структуре в принципе должна быть во многом аналогична операции доказывания как таковой со всеми присущими последней особенностями. Она должна содержать аргументы, демонстративные выводные схемы, подчиняться правилам доказательства. Что касается тезиса как объекта доказывания, то им становится сама гипотеза; здесь реализуется та отмеченная ранее возможность, когда hipothesis («подтезис») трансформируется в thesis. Специфика доказательства именно гипотезы (в отличие от доказательства вообще) выявляется лишь тогда, когда эта процедура рассмат-. ривается в связи с возникновением и развитием гипотезы, т.е. как бы ретроспективно проецируется на предыдущие этапы ее разработки. Иными словами, доказательство здесь понимается не просто как автономная операция по выведению тезиса из аргументов, а как своего рода операция с предысторией, как операция, осуществляя которую постоянно соотносят thesis с тем этапом познавательного процесса, когда он представлял собой hipothesis. С этой точки зрения могут быть выделены два основных способа трансформации гипотезы в достоверное (доказанное) знание, которые условно можно назвать эмпирическим и теоретическим
Эмпирическое доказательство гипотезы связано с тем, что ее разработка на предыдущих этапах (выдвижение, развитие) позволяет осуществить непосредственную проверку путем восприятия соответствующего факта, события, процесса. Классическим примером такого доказательства гипотезы является открытие планеты Нептун. На основании наблюдений за траекторией Урана (для объяснения непонятных ускорений в его движении) было выдвинуто предположение о существовании неизвестной планеты. Почти одновременно и независимо друг от друга Д. Адаме и У. Леверье произвели расчеты, подтвердившие эту гипотезу и позволившие астроному И. Галле в 1846 г. зафиксировать на небесном" своде планету, названную Нептуном. Связь эмпирического доказательства (факта существования планеты) с историей разработки гипотезы здесь очевидна: именно ее развитие определило направление поиска, обусловило производство точных расчетов. Аналогично были доказаны многие литературоведческие, исторические, искусствоведческие гипотезы, разработка которых на определенном этапе привела к обнаружению соответствующих объектов — рукописей, произведений искусства, предметов материальной культуры и других реалий.
Теоретическое доказательство гипотезы возможно тогда, когда она включается в систему не вероятностных, а демонстративных (доказательных) умозаключений и с необходимостью выводится из некоторых истинных суждений. Каким же образом осуществляется переход от вероятностных выводных схем (характерных для развития гипотезы) к доказательным умозаключениям? Описать все формы такого перехода не представляется возможным, но наибольшего внимания заслуживает трансформация импликативной зависимости посредством которой обычно оформляется выведение следствий из гипотезы, в эквивалентно) Если развитие гипотезы позволяет произвести подобную замену, то истинность выведенного из гипотезы следствия q оказывается равносильной истинности самой гипотезы Тем самым конфирмация гипотезы, по существу, переходит в ее доказательство. Возможность этого уже была показана при оценке конфирмационных процедур (см. схему пункта плана № 5, а также последующие замечания о повышении степени неординарности выводимых из гипотезы следствий). Отмечалось, что при достижении определенного уровня неординарности следствие оказывается необъяснимым вне данной гипотезы и потому может рассматриваться как достаточное основание для установления ее истинности.
Разовьем в этом направлении один из приведенных ранее примеров. Исследуя творчество писателя М., литературовед на основании текстологического анализа предположил, что в 1928 г. писатель был проездом в городе Б-ске (гипотеза). Построенная на материале данной гипотезы импликация «Если М. в 1928 г. был проездом в Б-ске, то этот факт получил отражение в местной прессе» (p→q), как легко убедиться, в действительности является не импликацией, а эквизаленцией поскольку без невозможно. Союз «если . то» в данном случае вполне может быть заменен связкой эквиваленции «если и только если .то». Тем самым конфирмационное умозаключение превращается в доказательное: )