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

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

В научном познании Г.-д.м. получил широкое распространение и развитие в XVII—XVIII вв., когда были достигнуты значительные успехи в области изучения механического движения земных и небесных тел. Первые попытки применения Г.-д.м. были сделаны в механике, в частности в исследованиях Галилея. Теория механики, изложенная в «Математических началах натуральной философии» Ньютона, представляет собой Г.-д. систему, посылками которой служат основные законы движения. Успех Г.-д.м. в области механики и влияние идей Ньютона обусловили широкое распространение этого метода в области точного естествознания.

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

Такое построение научных теорий имеет большое методологическое значение в связи с тем, что не только дает возможность исследовать логические взаимосвязи между гипотезами разного уровня абстрактности, но и позволяет осуществлять эмпирическую проверку и подтверждение научных гипотез и теорий. Гипотезы самого низкого уровня проверяются путем сопоставления их с эмпирическими данными. Если они подтверждаются этими данными, то это служит косвенным подтверждением и гипотез более высокого уровня, из которых логически выведены первые гипотезы. Наиболее общие принципы научных теорий нельзя непосредственно сопоставить с действительностью, с тем чтобы удостовериться в их истинности, ибо они, как правило, говорят об абстрактных или идеальных объектах, которые сами по себе не существуют в действительности. Для того чтобы соотнести общие принципы с действительностью, нужно с помощью длинной цепи логических выводов получить из них следствия, говорящие уже не об идеальных, а о реальных объектах. Эти следствия можно проверить непосредственно. Поэтому ученые и стремятся придавать своим теориям структуру Г.-д. системы.

Разновидностью Г.-д. м. считают метод математической гипотезы, который используется как важнейшее эвристическое средство для открытия закономерностей в естествознании. Обычно в качестве гипотез здесь выступают некоторые уравнения, представляющие модификацию ранее известных и проверенных соотношений. Изменяя эти соотношения, составляют новое уравнение, выражающее гипотезу, которая относится к неисследованным явлениям. Так, М. Борн и В. Гейзенберг приняли за основу канонические уравнения классической механики, однако вместо чисел ввели в них матрицы, построив таким способом матричный вариант квантовой механики. В процессе научного исследования наиболее трудная — подлинно творческая — задача состоит в том, чтобы открыть и сформулировать те принципы и гипотезы, которые могут послужить основой всех последующих выводов. Г.-д. м. играет в этом процессе вспомогательную роль, поскольку с его помощью не выдвигаются новые гипотезы, а только выводятся и проверяются вытекающие из них следствия.

ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ

-утверждение, которое высказывается не как установленная истина, а как некое предположение, способное оказаться как истинным, так и ложным, напр.: «Возможно, что Наполеон был отравлен», «По-видимому, завтра будет хорошая погода». Важной разновидностью Г. у. является гипотеза.

ГОМОМОРФИЗМ, ИЗОМОРФИЗМ

—логико-математические понятия, выражающие уподобление (гомоморфизм) либо одинаковость (изоморфизм) строения систем. Две системы А и В называются изоморфными, если между их элементами, а также функциями, свойствами и отношениями, имеющими смысл для этих систем, существует или может быть установлено взаимно-однозначное соответствие. Для изоморфных систем A и В выполняются следующие условия: 1) каждому элементу о из A соответствует единственный элемент b из В, и наоборот; 2) каждой функции f, определенной на элементах А и принимающей значения в А, соответствует единственная функция g, определенная на элементах В, и наоборот; 3) каждому свойству Р, которым обладают к.-л. элементы системы А, соответствует взаимно-однозначное свойство элементов В, и наоборот. Ослабление перечисленных условий, скажем, требование взаимно-однозначного соответствия только в одну сторону, приводит к более общему, но и более слабому отношению Г. Изоморфный образ полностью воспроизводит отображаемую систему, напр., зеркальное отображение изоморфно отображаемому предмету, схема радиоприемника изоморфна самому приемнику. Гомоморфный образ лишь отчасти похож на свой оригинал, напр., карта местности воспроизводит лишь некоторые черты этой местности, перевод языкового текста лишь отчасти похож на оригинал. Всякий И. есть Г., но не наоборот.

ДВУЗНАЧНАЯ ЛОГИКА

— логика, опирающаяся на двузначности (бивалентности) принцип. Двузначной логической системой является логика классическая. Обычно термины «Д.л.» и «классическая логика» используются как равнозначные.

Польский логик Я. Лукасевич (1878-1956) считал неприменимым двузначности принцип для высказываний о будущих случайных событиях. Это явилось исходным моментом для построения концепции многозначной логики.