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

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

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

Индукция и дедукция - комплекс взаимосвязанных и взал\ о-методовпроцесс познания от частного

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

на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность дедукции заключается в том, что от истинных посылок она всегда ведет только к истинному заключению. Индукция (от лат.

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

56

rjoirn:-,;;.u»r.s! индукции, то переход от фактов к гипотезам есть не индукция, а абдукция. Havwnoe открытие законов и гипотез охватывается другой, неиндуктивной схемой рассуждений: а) наблюдаются факты J: б) если бы имела место гипотеза /7. то она непротиворечиво объясняла бы d; в) следовательно, есть основание предполагать, что именно алстсзй Нпозволяет непротиворечиво объяснить cl Такая схема рассуждений называется в логике абдукцией (от лат. abducere - отводить). Абдукция переводит от фактов к теориям (законам, гипотезам, понятиям). Проблематика

абдукции впервые была разработана американским логиком

Ч.С. Пирсом, в настоящее время она получила дальнейшее развитие в трудах Н.Р. Хэнсона, Т. Никлзаи ряда других авторов [35].

Обычно смысл логических операций видят в выведении единичных высказываний из универсальных. Такое-выведение характерно только для дедукции. Соотношение индукции, дедукции и абдукции можно представить следующим образом [6]:

абдукция: факты - гипотеза (открытие нового знания);

индукция (расширительная): факты факты (расширение знания);

дедукция: гипотеза факты (демонстрация знания). Выдвижение гипотезы позволяет объяснить экспериментальные факты.

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

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

57

в ложности его предположений. Примером является метод приведения к абсурду.

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

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

наиболее общий характер и поэтому обладающие наибольшей

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

58