Война Святослава с хазарами

Существуют различные виды отношения аналогии, прежде всего раз­личают аналогию свойств и аналогию отношений. Конечно, понятие сходства недостаточно точное; поэтому в научном познании, говоря о сходстве, уточняют, в каком именно смысле употребляется этот термин. Так, для усовершенствования логико-методологической терминологии Дж.М. Кейнс предложил различать аналогию позитивную (это группа признаков, сходных у сопоставляемых объектов), негативную (группа признаков, которые у них различны), нейтральную (совокупность неопре­деленных признаков, т.е. таких, о которых еще не известно, относятся они к сходству или к различию). В традиционной логике сложилось не очень уважительное отноше­ние к выводам по аналогии. Но на самом деле умозаключения по анало­гии достаточно многообразны, имеют различную структуру и различную доказательную силу. Следует отметить, что рассуждения по аналогии применяются в науке весьма часто; например, они, как говорилось в § 2.5, лежат в основе такого «респектабельного» общенаучного метода, как моделирование. Несмотря на то что различные формы умозаключений

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

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