По характеру уподобляемых объектов различают два вида аналогии: 1) аналогию предметов и 2) аналогию отношений.
1. Аналогия предметов – умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком – свойства этих предметов.
Если обозначить символами а и b два единичных предмета или события, а Р, Q, S, Т – их признаки, то вывод по аналогии можно представить следующей схемой:
а присущи Р, Q , S, Т;
b присущи Р, Q, S;
b присуще Т.
Примером такой аналогии может служить объяснение в истории физики механизма распространения света. Когда перед физикой встал вопрос о природе светового движения, голландский физик и математик XVII в. Гюйгенс, основываясь на сходстве света и звука в таких свойствах, как их прямолинейное распространение, отражение, преломление и интерференция, уподобил световое движение звуковому и пришел к выводу, что свет также имеет волновую природу.
Логической основой переноса признаков в аналогиях подобного рода выступает сходство уподобляемых предметов в ряде их свойств.
2. Аналогия отношений – умозаключение, в котором объектом уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком – свойства этих отношений.
Напр., две пары лиц х и у, m и n находятся в следующих отношениях:
1) х является отцом (отношение R1) несовершеннолетнего сына у;
2) m является дедом (отношение R2) и единственным родственником несовершеннолетнего внука n;
3) известно, что в случае родительских отношений (R1) отец обязан содержать своего несовершеннолетнего ребенка. Учитывая определенное сходство между отношениями R1 и R2, можно заключить, что для R2 тоже характерно отмеченное свойство, а именно обязанность деда в определенной ситуации содержать внука. Вывод по аналогии отношений может быть представлен следующей схемой:
1) xR1y R1 присущи P, Q, S, T;
2) mR2y R2 присущи P, Q, S.
По-видимому, R2 присуще Т.
При обращении к аналогии отношений следует иметь в виду особенности этого вывода и не смешивать его с выводами по аналогии предметов. Если в последнем уподобляются два единичных события или явления, то в первом сами предметы не сравниваются и даже могут не допускать уподобления. Уподобление отношения между х и у отношению между m и n не означает, что х должен быть сходен с m, а у сходен с n. Важно, чтобы отношение между первой парой предметов ^1у) было подобно отношению между предметами второй пары (mR2n). Некорректное понимание выводов по аналогии отношений приводит иногда к логической ошибке, суть которой в неосновательном отождествлении не отношений (R1 и R2), а самих предметов: х отождествляется с m, а у – с n.