Общее подразделение теоретических методов

Для удобства систематизации теоретические методы можно разделить на два класса:

• 1) класс операций и действий логического характера;
• 2) класс развитых научно-познавательных подходов и методов.

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

В методологической литературе обычно называют следующие операции общелогического характера:

• 1) абстрагирование;
• 2) идеализация;
• 3) аналогия;
• 4) формализация;
• 5) анализ и синтез;
• 6) дедукция и индукция;
• 7) классификация и типология.
• 1. Абстрагирование. Это интеллектуальный акт отвлечения от некоторых аспектов, сторон изучаемого объекта, с выделением в чистом виде тех черт объекта, которые наиболее существенны в данной познавательной ситуации. Результатом абстрагирования является такой специфический элемент научного знания, как абстрактный объект («материальная точка», «вектор», «психологический тип» и т.н.). С помощью системы абстракций создается собственно научный язык, позволяющий формулировать научные положения и вести рассуждения.

Абстрагирование — всегда творческая операция, так как не существует алгоритма, который давал бы возможность однозначно выделять в бесконечно богатом свойствами многостороннем объекте исследования те его черты, которые должны стать основой для плодотворной абстракции.

Кроме того, не следует считать абстрагирование лишь «негативной» процедурой, процессом отбрасывания всего лишнего. Эта процедура имеет конструктивный характер, так как абстрактный объект ведь тоже нужно «сконструировать», создать.

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

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

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

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

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

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

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

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

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

Широкое распространение метод формализации получил под влиянием успехов математической логики в XX в., начиная с известной программы «метаматематики» крупнейшего математика Д. Гильберта (1862—1943), который выдвинул идею представления математического знания как формализованной «игры» с символами, проводимой по точно определенным правилам.

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

В науке Нового времени методологическое значение анализа хорошо показал Р. Декарт в своих «Рассуждениях о методе».

Операция синтеза — второй необходимый элемент данной методологической пары; он представляет собой «восстановление», объединение частей, обнаружение и вскрытие того общего, что связывает части в единое целое.

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

Кроме того, индукция и дедукция в более широком смысле представляют собой целые исследовательские стратегии, о чем подробнее речь пойдет в параграфе 2.6.

7. Классификация и типология. Это процедуры, основой которых является логическая операция деления объема понятия. Объемом понятия в логике называют класс объектов, которые обозначаются данным понятием (см. параграф 1.1). Операция, которая в соответствии с каким-либо способом или правилом ведет к образованию подклассов исходного объема понятия, называется делением объема понятия. В общем случае деление объема понятия приводит к некоторому упорядочению, уточнению, структуризации исходного знания.

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

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

Более подробно соотношение классификации и типологии будет рассмотрено в параграфе 5.3.