Гипотеза.

 

Если вероятность гипотезы Н принимает значение 0<Р(Н)<1, то вероятность противоречащей ей гипотезы 1 Н имеет значение Р(1 Н) = 1 - Р(Н). Отсюда следует, что вероятность всех альтернативных гипотез Hi , Нэ, Нд в сумме равна 1, т.е. P ( Hi ) + Р(Н2) + Р(Н.ч) = 1 при условии, что это множество гипотез закрытое, т.е. < HivH 2 vH . i >.

5.Проверка гипотезы

Гипотеза, или версия, проверяется  в два этапа: первый из них дедуктивное  выведение вытекающих из гипотезы следствий, второй — сопоставление следствий  с фактами.

 Дедуктивное выведение  следствий. Зная особенности гипотезы  Н, а также учитывая конкретные  условия ее проявления, строят  дедуктивный вывод.

Чтобы успешно провести гипотетико-дедуктивное выведение следствий, необходимо иметь достаточную информацию как о самой причине, так и о возможных в конкретных условиях места и времени действиях этой причины. Здесь следователь как раз и использует весь комплекс ранее приобретенных научных знаний в совокупности с обобщениями судебно-следственной практики и личными наблюдениями.

Поскольку в судебном исследовании разрабатывается не одна, а несколько  версий, по-разному объясняющих неизвестное  событие, то и требование дедуктивного выведения следствий касается каждого выдвинутого предположения.

Ценность логической операции дедуктивного выведения следствий  определяется тем, что она позволяет  рационально, т.е. последовательно, планово, эффективно, строить весь процесс расследования. Если первоначальное обобщение не отличается особой систематичностью и строгостью, то после построения версий и дедуктивного выведения следствий оно становится более методичным и систематизированным, ибо теперь преследует задачу обнаружения не любых, а лишь тех фактов, которые вытекают из предположений. Версия в судебном исследовании выполняет роль логической основы планирования оперативно-следственной работы.

 Сопоставление следствий  с фактами. Второй этап проверки  гипотезы или версии состоит  в сопоставлении логически выведенных  следствий с фактами с целью  ее (1) опровержения или (2) подтверждения.

(1) Опровержение версии  протекает путем обнаружения  фактов, противоречащих выведенным  из нее следствиям.

Версия считается опровергнутой  лишь в том случае, если несостоятельность  достаточно обоснованна. Это значит, что версию нельзя считать несостоятельной лишь на том основании, что вытекающие из нее следствия не подтверждаются обстоятельствами дела. Может случиться, что соответствующие факты просто не удалось обнаружить и зафиксировать.

Для опровержения версии необходимо, чтобы вытекающие из нее следствия  не просто не совпали, а противоречили  фактическим обстоятельствам дела. Только в этом случае имеется достаточное  основание считать версию опровергнутой.

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

Последовательное опровержение в процессе проверки первоначально  выдвинутых, но оказавшихся несостоятельными версий протекает методом исключения в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения:

 

 

(2) Подтверждение версии. Гипотеза или версия (Н) подтверждается, если выведенные из нее следствия  ( S ) совпадают с вновь обнаруженными фактами. Чем больше таких совпадений и чем разнообразнее следствие, тем вероятнее гипотеза. Если вероятность исходной гипотезы выразить звездочкой, то, будучи подтвержденной, она становится более вероятной.

6. Способы доказательства гипотез

В науке и практике в зависимости oт области исследования пользуются различными способами доказательства гипотез. Основными среди них являются три способа: дедуктивное обоснование выраженного в гипотезе предположения; логическое доказательство гипотезы; непосредственное обнаружение предположенных в гипотезе предметов.

7.Великие гипотезы.

Великая теорема Ферма, более 300 лет была открытой проблемой, доказана Эндрю Уайлсом в 1995 году

Гипотеза Эйнштейна

Проблема Гольдбаха, открытая проблема

Гипотеза Мертенса, опровергнута

Гипотеза Эйлера, опровергнута

 Гипотеза о существовании  нечётного совершенного числа, открытая проблема

 Гипотеза Артина, открытая проблем

  Полиномиальная разрешимость  задачи распознавания простоты  натуральных чисел, доказана Агравалом, Каялом и Саксеной в 2002 году.

 

 

8.Заключение.

Гипотеза, как и понятие, суждение, умозаключение отражает объективный мир. И в этом она сходна с названными формами мышления. Вместе с тем гипотеза отличается от них. Специфика ее заключается не в том, что она отражает в материальном мире, а в том, как отражает, т.е. предположительно, вероятно, а не категорически, не достоверно. Поэтому неслучайно сам термин "гипотеза" в переводе с греческого языка означает "предположение".

Познание любого явления  действительности, как известно, начинают с собирания и накопления отдельных  фактов, относящихся к этому явлению. Фактов, которыми располагают в начале познания, всегда недостаточно, чтобы  полностью и сразу объяснить  это явление, сделать достоверный  вывод о том, что оно собой  представляет, каковы причины его  возникновения, законы развития и т.п. Поэтому познание предметов и  событий внешнего мира протекает  часто с использованием гипотезы. Не ожидая пока накопятся факты для  окончательного, достоверного вывода (например, о характере и причине  развития исследуемого явления), дают вначале предположительное их объяснение, а затем это предположение  развивают и доказывают или опровергают. В этом предназначение гипотезы.

 

 

 

 

 

 

 

 

 

 

 

 

 

Библиография.

1)Бочаров В.А., Маркин В.И. Основы логики. М., 1994.

2)Войшвилло Е.К. Понятие как форма мышления. М., 1989.

3)Войшвилло Е.К., Дегтярев М.Г. Логика. М., 1994.

4)Гетманович А.Д. Логика. М., 1995.

5)Горский Д.П. Определение. М., 1974.

6)Зегет В. Элементарная логика. М., 1985

7)Старченко А.А. Логика в судебном исследовании. М., 1958.