Логическое доказательство (опровержение) в зависимости от способа обоснования может протекать в форме прямого и косвенного доказательства (опровержения).
Прямое доказательство (опровержение) гипотезы протекает путем подтверждения или опровержения выведенных логических следствий вновь обнаруженными фактами.
Логический процесс выведения следствий из выдвинутого предположения и обоснование истинности или ложности гипотезы, как уже отмечалось, протекает очень часто в форме условно-категорического умозаключения. Из предполагаемой причины А выводят следствие В. Логически это выражается в таком суждении: "Если есть А, то есть В". Затем следствие В проверяют на практике, действительно ли оно существует. Если следствие В в действительности не существует и существовать не может, то по правилам условно-категорического умозаключения от отсутствия следствия приходят к выводу о том, что и предполагаемая причина А также не существует, т.е. приходят к достоверному заключению о ложности выдвинутой гипотезы. Помимо условно-категорических умозаключений используются также категорический силлогизм и другие логические формы.
Другим видом логического доказательства (опровержения) гипотезы является косвенное доказательство (опровержение). Оно используется тогда, когда существуют несколько гипотез, объясняющих одно и то же явление.
Косвенное доказательство протекает путем опровержения и исключения всех ложных предположений, на основании чего утверждается достоверность единственного оставшегося предположения. Вывод при этом протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения.
Заключение в этом выводе может расцениваться как достоверное, если: во-первых, построен исчерпывающий ряд предположений, объясняющих исследуемое явление; во-вторых, в процессе проверки гипотез опровергнуты все ложные предположения. Предположение, указывающее на оставшуюся причину, в этом случае будет единственным, а выраженное в нем знание будет выступать уже не как проблематичное, а как достоверное.
Более подробно логическое доказательство (опровержение) будет рассмотрено в следующей главе данного пособия.
Таким образом, раскрыв проблему сущности, структуры и основных видов гипотезы, необходимо отметить ее важную роль в процессе теоретической и практической деятельности. Гипотеза является необходимой формой развития научных знаний, без которой невозможен переход к новому знанию.
Гипотеза играет существенную роль в развитии науки, служит начальным этапом формирования почти каждой научной теории. Все значительные открытия в науке возникли не в готовом виде, а прошли длительный и сложный путь развития, начиная с первоначальных гипотетических положений, выступающих в качестве руководящей идеи исследования и развивающихся на этой фактической основе до научной теории.
Литература
1. Бузук Г.Л., Ивин А.А., Панов М.И. Наука убеждать: логика и риторика в вопросах и ответах. М., 1992.
2. Гжегорчик А. Популярная логика. М., 1979.
3. Зегет В. Элементарная логика. М., 1985.
4. Гетманова А.Д. Учебник по логике. М., 1994.
5. Ивин А.А. По законам логики. М., 1983.
6. Кириллов В.И., Старченко А.А. Логика. Учебник. М., 1987.
7. Краткий словарь по логике. М., 1991.
8. Уемов А.И. Логические ошибки: как они мешают правильно мыслить. М., 1958.
9. Упражнения по логике. М., 1993.