аналогия (греч. analogia — соответствие, сходство) — 1) подобие предметов или явлений в каких-либо свойствах, признаках или отношениях; 2) умозаключение по А. — индуктивный вывод о принадлежности определенных признаков объекту на основании знания сходства данного объекта с другими объектами. При рассуждении по А. знание, полученное при изучении одного объекта, переносится на другой менее изученный объект, принадлежащий к тому же роду. Умозаключение по А. делят по разным основаниям. По характеру соотносимых объектов различают два вида: 1) А. свойств предметов, при которой сравниваются два единичных предмета, а переносимыми признаками являются качества или свойства этих предметов. Например, сравнение таких физических объектов, как жидкость и звук, позволило перенести признак волнового способа распространения с первого на второй; 2) А. отношений, при которой сравниваются два отношения между предметами, а переносимыми признаками являются качества или свойства этих отношений. Сущность предметов, между которыми имеют место данные отношения, может быть игнорирована с помощью данной А., освобожденной от «предметности», можно устанавливать сходство между объектами разной природы, поэтому выводы по А. отношений должны сопровождаться рассудительностью. Например, в 17 в. ученые любили сопоставлять части человеческого тела с частями земного шара: кожа человека — это поверхность земли, вены — водные потоки и т.д. Из данного употребления никаких выводов не последовало. Лейбниц уподобил процесс логического доказательства вычислительным операциям в математике. Вычислительные операции с числами осуществляются на основе простых правил, принимающих во внимание только формы чисел, но не их смысл. По А. Лейбниц попытался преобразовать умозаключение в вычисление по заданным строгим правилам. В 19 в. А. между математическими и логическими операциями произвела переворот в аристотелевской формальной логике и привела к современному этапу в развитии этой науки — математической логике, начиная с создания Дж. Булем алгебры логики. По характеру переносимых признаков различают следующие виды умозаключений по А.: 1) простая А. — вывод, в процессе которого на основании сходства двух предметов в одних признаках заключают о сходстве этих предметов в других признаках данная разновидность А. используется при отнесении предметов к виду или роду, т.е. при классификации); 2) распространенная А. — вывод, в процессе которого на основании сходства явлений заключают о сходстве причин; 3) трогая А. — вывод, основанный на знании того, что признаки сравниваемых предметов находятся в зависимости и, исходя из сходства двух предметов в одном признаке делается заключение о сходстве их в другом признаке, который зависит от первого; 4) нестрогая А. — вывод, в процессе которого на основании сходства двух предметов в известных признаках делается заключение о сходстве их в другом признаке, о котором неизвестно, находится он в зависимости от первых или нет. А. следует отличать от популярной индукции. В умозаключении по А. от знания об отдельных объектах совершается переход к знанию еще об одном индивидуальном объекте. Например, И. Кеплер установил, что Марс описывает вокруг Солнца траекторию в форме эллипса. На основании попарного сходства Марса с Меркурием, Венерой, Землей, Юпитером и Сатурном Кеплер заключил, каждая из этих планет имеет такую же траекторию движения. Популярная индукция есть обобщение, при котором на основании знания о принадлежности определенных признаков части предметов какого-то класса делается вывод о принадлежности данных признаков всем предметам класса. Например, Кеплер распространил установленный им признак движения на все планеты Солнечной системы. А. является основой научного моделирования. При невозможности изучать объект в оригинале, строят его модель, исследуют ее и полученные результаты переносят на оригинал. Модель и оригинал в одних отношениях сходны, в других различны. Модели делятся на предметные, воспроизводящие геометрические, физические и функциональные характеристики оригинала, и знаковые, представляющие собой схемы, чертежи, формулы.