YourLib.net
Твоя библиотека
Главная arrow Введение в философию и методологию науки (Е.В. Ушаков) arrow 2.7. Методология теоретического уровня: логические действия
2.7. Методология теоретического уровня: логические действия

2.7. Методология теоретического уровня: логические действия

   Методология теоретического уровня научного исследования содержит обширный спектр процедур, операций, подходов. Для удобства целей их систематизации можно выделить из содержания этого уровня два класса методологических структур:
   1) класс операций и действий логического характера;
   2) класс развитых научно-познавательных подходов и методов.
   В § 1.4 уже обсуждались задачи теоретического уровня. Напомним, что на этом уровне происходит разработка и теоретическая репрезентация наиболее фундаментальных закономерностей и взаимосвязей изучаемой предметной области. Относительно приемов эмпирического уровня теоретизация выглядит как верхний этаж, на котором обработка и осмысление эмпирического материала находит свой наиболее глубокий, совершенный и законченный вид.
   В данном параграфе рассматривается класс логических действий. В этом классе объединены методологические единицы относительно элементарного значения. Но они элементарны только по сравнению с классом подходов и методов, ведь сами по себе они тоже достаточно сложны.
   Класс логических действий как совокупность операций теоретического уровня, конечно, тесно связан с этажом предельно общих методов научного познания (см. § 2.1), т.к. логические операции имеют не только внутринаучное приложение, но и играют роль в других видах познания. Однако методы, о которых идет речь в данном параграфе, имеют именно специфическое научное преломление. В отличие от интуитивного применения логических операций, характерного для вненаучных видов познания, научное применение рассматриваемых здесь процедур происходит осознанно, со стремлением к максимальному их уточнению, с использованием результатов научного же изучения и усовершенствования самих этих процедур (осуществляемого в логике, математике).
   Поэтому их следует характеризовать именно как общенаучные приемы и операции, хотя, конечно, можно обнаружить какие-то их элементы или отдаленные аналоги и во вненаучных видах деятельности.
   Перейдем к более подробному рассмотрению класса логических действий общенаучного значения. В методологической литературе в этой связи традиционно называют следующие операции:
   1) абстрагирование;
   2) идеализация;
   3) аналогия;
   4) формализация;
   5) анализ и синтез;
   6) дедукция и индукция;
   7) классификация и типология.
   Абстрагирование. Эго интеллектуальный акт отвлечения от некоторых аспектов, сторон изучаемого объекта, заключающийся в выделении в чистом виде тех черт объекта, которые наиболее существенны в данной познавательной ситуации. Результатом абстрагирования является такой специфический элемент научного знания, как абстрактный объект (скажем, материальная точка, общественно-историческая формация, вектор, психологический тип и т.п.); абстрактные объекты играют важнейшую роль в научном познании. С помощью системы абстракций создается собственно научный язык, позволяющий формулировать научные положения и осуществлять научные расуждения. Абстрагирование — это всегда творческая операция, т.к. не существует алгоритма, который позволял бы однозначно выделять в бесконечно богатом свойствами многостороннем объекте исследования те его черты, которые должны стать основой для плодотворной абстракции. Кроме того, не следует считать абстрагирование лишь негативной процедурой, процессом отбрасывания всего лишнего; это процедура прежде всего конструктивная, т.к. абстрактный объект ведь тоже нужно сконструировать, создать.
   Идеализация. Эго разновидность абстрагирования, с помощью нее конструируются предельные абстрактные объекты, например, абсолютно упругий удар, идеальный газ и т.п. При операции идеализации происходит доведение до логического предела тех или иных сторон и свойств реальных объектов (скажем, бесконечно удаленная точка в проективной геометрии). Существуют различные способы введения идеальных объектов: через абстракцию отождествления, через операцию предельного перехода; кроме того, по утверждению С. А. Лебедева, есть и способ введения идеализаций с помощью определения, который стал преобладающим в современной логике и математике. Идеализация применяется не только к непосредственно исследуемым объектам, но и к познавательным ситуациям (так, ряд идеализирующих допущений предшествует построению моделей), условиям задачи, процессам, методологическим предписаниям и т.п.
   Аналогия (греч. analogia — “пропорция, соразмерность”). Аналогией в общем виде называют операцию нахождения какого-либо сходства между объектами, а также рассуждение, проводимое на основе этого сходства. Умозаключение по аналогии — вид недедуктивного (т.е. нестрогого, правдоподобного) вывода, при котором производится предположительное заключение о наличии более широкого множества сходных свойств. Если предметы А и В сходны в таких-то отношениях, значит, они сходны также и в других отношениях.
   Существуют различные виды отношения аналогии, прежде всего различают аналогию свойств и аналогию отношений. Конечно, понятие сходства недостаточно точное; поэтому в научном познании, говоря о сходстве, уточняют, в каком именно смысле употребляется этот термин.
   Так, для усовершенствования логико-методологической терминологии Дж.М. Кейнс предложил различать аналогию позитивную (это группа признаков, сходных у сопоставляемых объектов), негативную (группа признаков, которые у них различны), нейтральную (совокупность неопределенных признаков, т.е. таких, о которых еще не известно, относятся они к сходству или к различию).
   В традиционной логике сложилось не очень уважительное отношение к выводам по аналогии. Но на самом деле умозаключения по аналогии достаточно многообразны, имеют различную структуру и различную доказательную силу. Следует отметить, что рассуждения по аналогии применяются в науке весьма часто; например, они, как говорилось в § 2.5, лежат в основе такого “респектабельного” общенаучного метода, как моделирование. Несмотря на то что различные формы умозаключений по аналогии зачастую существенно различаются между собой, общим для них является то, что с помощью этих рассуждений мы переносим информацию об объекте какой-либо одной области на объект другой области на основании определенного сходства между ними (ярким примером этого является как раз процесс экстраполяционного вывода при моделировании).
   В отечественной философско-логической литературе структура рассуждений по аналогии достаточно полно изучена и изложена А.И. Уемовым. Помимо прочего, он вводит и ряд методологических требований к рассуждениям по аналогии с целью повышения их правдоподобности. Среди них назовем требование достаточно большого числа сопоставляемых признаков (как позитивных, так и негативных), требование существенности сравниваемых свойств, требование однотипности сравниваемых предметов. Подобного рода требования повышают надежность заключений, но не делают их вполне достоверными.
   Формализация. Операция формализации представляет собой построение искусственного языка для представления знаний из той или иной предметной области; исходное знание, подлежащее формализации, называется в неформализованном виде содержательным представлением. В результате формализации высказывания об изучаемом объекте переводятся на специальный язык; этим достигается повышение норм строгости содержательных рассуждений, выделяются существенные аспекты исходного знания, а несущественные отбрасываются. Примерами таких искусственных языков могут служить формальные теории в математической логике и лингвистике.
   Специальными случаями формализации являются математизация в результате которой может даже возникнуть новое научное направление: (математическая биология, математическая экономика и т.п.), аксиоматизация, при которой знание компактизируется до вида дедуктивной аксиоматической теории, концептуальное (теоретическое) моделирование (математическое, логическое, графическое и др. — § 2.5).
   Широкое распространение формализационный подход получил под влиянием успехов математической логики в XX в., начиная прежде всего с известной программы метаматематики крупнейшего математика Давида Гильберта (1862-1943), который выдвинул идею представления математического знания как формализованной игры с символами, осуществляемой по точно сформулированным правилам. Формализация играет важную роль в современной науке, например в информатике: т.н. инженерия знаний базируется именно на формализационных процедурах.
   Анализ и синтез. Эти традиционные и универсальные мыслительные операции применяются поистине в каждой познавательной ситуации. Анализ — совокупность процедур, сущностью которых является мысленное разделение исходного объекта на составляющие его части, выявление его структуры, отделение существенного от несущественного, сведение сложного к более простому. В науке Нового времени методологическая значимость анализа была подчеркнута Р. Декартом в его “Рассуждениях о методе”. Что же касается операции синтеза, то она является вторым необходимым элементом данной методологической пары; синтез представляет собой восстановление, объединение изученных анализом частей, обнаружение и вскрытие того общего, что связывает части в единое целое.
   Дедукция и индукция. Эти термины уже неоднократно употреблялись нами в предыдущем изложении. Дедукция — умозаключение от общего к частному; логический вывод частных положений из более общих. Он играет ведущую роль в логико-математических науках (поэтому они и называются дедуктивными). Индукция — умозаключение от частного к общему; индуктивное рассуждение — это “восхождение” от частных положений (фактов, данных опыта) к более общим закономерностям. В научном познании индуктивные и дедуктивные моменты постоянно переплетаются, взаимодействуют и взаимодополняют друг друга. Более подробно о проблемах, связанных с осмыслением сущности индукции и дедукции и их места в научном познании, мы будем говорить в следующем параграфе в связи с проблемами гипотетико-дедуктивного метода.
   Классификация и типология. Это процедуры, основой которых является логическая операция деления объема понятия. Объемом понятия в логике называется класс объектов, которые обозначаются данным понятием (§ 1.1). Операция, которая в соответствии с каким-либо способом или правилом приводит к формированию подклассов исходного объема понятия, называется делением объема понятия. В общем случае деление объема понятия приводит к некоторому упорядочению, уточнению, структуризации исходного знания. Простейшим случаем деления является деление дихотомическое, при котором объем понятия делится на два строго взаимоисключающих подкласса: например, деление треугольников на правильные и неправильные.
   Классификация и типология являются сложными действиями, включающими, как правило, много шагов и способствующими достаточно детальному прояснению исходного содержания того или иного понятия. Они играют важную роль в научном познании: так, в § 2.2 мы говорили о роли классификационных понятий в научном описании. Типология — самостоятельная логико-методологическая процедура, которая, несмотря на свою существенную близость к классификации, не может быть полностью сведена к ней. Типологические приемы имеют огромное значение в гуманитарных науках. Более подробно соотношение классификации и типологии будет рассмотрено в § 5.3.

 
< Пред.   След. >