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

' Розов М.А. Научная абстракция и сс виды. Новосибирск (965.

1 Субботин л.Д. Идеализация как средство научного познания II Проблемы логики на­учного познания. М, 1964

5 Лебедев с.А. Индукция как меч од научного познания м.. 1980. С, 145-147.

выделять в бесконечно богатом свойствами многостороннем объекте

исследования те его черты, которые должны стать основой для плодотвор­ной абстракции. Кроме того, не следует считать абстрагирование лишь негативной процедурой, процессом отбрасывания всего лишнего; это про­цедура прежде всего конструктивная, т.к. абстрактный объект ведь тоже нужно сконструировать, создать¹.

Идеализация. Это разновидность абстрагирования, с помощью нее

конструируются предельные абстрактные объекты, например, абсолютно

упругий удар, идеальный газ и т.п. При операции идеализации происхо­дит доведение до логического предела тех или иных сторон и свойств

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

перехода²; кроме того, по утверждению С. А. Лебедева, есть и способ вве­дения идеализаций с помощью определения, который стал преобладаю­щим в современной логике и математике³. Идеализация применяется не только к непосредственно исследуемым объектам, но и к познавательным

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

Аналогия (греч. апак^1а — «пропорция, соразмерность»). Аналогией

в общем виде называют операцию нахождения какого-либо сходства

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

Существуют различные виды отношения аналогии, прежде всего раз­личают аналогию свойств и аналогию отношений. Конечно, понятие

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

Так, для усовершенствования логико-методологической терминологии

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

признаков, которые у них различны), нейтральную (совокупность неопре­деленных признаков, т.е. таких, о которых еще не известно, относятся они к сходству или к различию)¹.

В традиционной логике сложилось не очень уважительное отноше­ние к выводам по аналогии. Но на самом деле умозаключения по анало­гии достаточно многообразны, имеют различную структуру и различную доказательную силу. Следует отметить, что рассуждения по аналогии применяются в науке весьма часто; например, они, как говорилось в § 2.5, лежат в основе такого «респектабельного» общенаучного метода, как

моделирование. Несмотря на то что различные формы умозаключений

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

информацию об объекте какой-либо одной области на объект другой об­ласти на основании определенного сходства между ними (ярким приме­ром этого является как раз процесс экстраполяционного вывода при мо­делировании).

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

Формализация. Операция формализации представляет собой построе­ние искусственного языка для представления знаний из той или иной