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

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

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

Широкое распространение в современной науке получил мысленный эксперимент – система мыслительных процедур, проводимых над идеализированными объектами.

Мысленный эксперимент – это теоретическая модель реальных экспериментальных ситуаций. Здесь ученый оперирует не реальными предметами и условиями их существования, а их концептуальными образами.

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

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

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

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

Сравнение является основой такого логического приема, как аналогия (см. далее), и служит исходным пунктом сравнительно-исторического метода.

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

Этот метод позволяет выявить и сопоставить уровни в развитии изучаемого явления, происшедшие изменения, определить тенденции развития.

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

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

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

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

Как универсальное средство для коммуникации и обмена мыслями и информацией язык выполняет множество функций.

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

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

Значение формализации в научном познании состоит в следующем:

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

♦ Она приобретает особую роль при анализе доказательств. Представление доказательства в виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность.

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

При формализации рассуждения об объектах переносятся в плоскость оперирования со знаками (формулами). Отношения знаков заменяют собой высказывания о свойствах и отношениях предметов.

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

Главное в процессе формализации состоит в том, что над формулами искусственных языков можно производить операции, получать из них новые формулы и соотношения.

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

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

2. Аксиоматический метод– один из способов дедуктивного построения научных теорий, при котором:

а) формулируется система основных терминов науки (например, в геометрии Эвклида – это понятия точки, прямой, угла, плоскости и др.);

б) из этих терминов образуется некоторое множество аксиом (постулатов) – положений, не требующих доказательств и являющихся исходными, из которых выводятся все другие утверждения данной теории по определенным правилам (например, в геометрии Эвклида: “через две точки можно провести только одну прямую”; “целое больше части”);

в) формулируется система правил вывода, позволяющая преобразовывать исходные положения и переходить от одних положений к другим, а также вводить новые термины (понятия) в теорию;

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

Таким образом, для вывода теорем из аксиом (и вообще одних формул из других) формулируются специальные правила вывода.

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