§ 2.7. Простые примеры гипотез и их проверка

4-е суждение:		А В
			В
		?

Преобразовав по правилам математической логики получим:

А В В А В В В А В

Из полученного выражения можно сделать вывод, что если нет следствия, то не должно быть и причины.

§ 2.7. Простые примеры гипотез и их проверка

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

	Для того, чтобы отвергнуть гипотезу (	А В
		,

т.е. из А следует В ), достаточно и одного отрицательного результата.

§ 2.7. Простые примеры гипотез и их проверка

Рассмотрим пример, встречающийся иногда

у некоторых исследователей, плохо
знающих логику, Некто X сделал ряд опытов
при некоторых условиях		А
		и получил
результаты	В
	. На этой основе X выдвигает
гипотезу	А В
	. В качестве
подтверждения своей гипотезы он
представляет эти же опыты		В . Таким|

образом, говорит X, из наличия этих результатов вытекает истинность гипотезы.

§ 2.7. Простые примеры гипотез и их проверка

Проверим истинность выражения

В А В ?

Преобразуем эту формулу:

В А В В А В

Но В В 1, следовательно,

В А В

1.

Такой тип вывода (назван в логике тавтологией) всегда истинный, независимо от истинности и

в отдельностиА. В

§2.8. Гипотетико-дедуктивный метод

Является результатом приложения дедуктивного

метода, применяемого в математике, естествознании или научно-технических исследованиях. Основные этапы метода могут быть сформулированы в виде:

1.Построение информационной (описательной) мoдeли изучаемого явления. Выдвижение гипотезы, объясняющей наблюдаемое явление.

2.Построение математической модели.

3.Логико-математическое развитие модели.

§2.8. Гипотетико-дедуктивный метод

4.Получение зависимостей и проверяемых выводов.

5.Проверка опытом.

6.Корректировка, если нужно, гипотезы и математической модели.

§2.8. Гипотетико-дедуктивный метод

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

Нарушение этого закона может привести к любым результатам, верным или ложным, то есть гипотеза, на

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

§2.8. Гипотетико-дедуктивный метод

Дальнейшее развитие гипотезы должно соответствовать дедуктивному методу, то есть

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

Важнейшим требованием к гипотетико- дедуктивному методу является эмпирическая интерпретация терминов, промежуточных и

окончательных выводов, что проверяется размерностью формул.