Почему аналогия считается некорректным аргументом в формальной логике?

Аналогия считается некорректным аргументом в формальной логике, потому что она может привести к ложным выводам. 2

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

Например, по шаблону «Объекты A и B обладают свойством X; тогда раз A обладает свойством Y, то и B обладает свойством Y». 3

Таким образом, недостоверный характер аналогии ограничивает её использование в процессе доказательства, позволяет поставить под сомнение полученные путём аналогии результаты. 4