Analogical Reasoning
Analogical reasoning is the cognitive process of drawing inferences about a target domain by mapping relations from a source domain that is better understood. It is not mere similarity matching; it is structural alignment — the identification of relational correspondences that hold despite differences in surface features. When Rutherford proposed that the atom is like a solar system, he did not notice that both are round; he noticed that both involve a massive central body orbited by smaller bodies bound by a central force.
The formal study of analogy was pioneered by Dedre Gentner's structure-mapping theory, which holds that analogical reasoning proceeds by aligning the relational structures of two domains and projecting inferences from the source to the target. The process is computationally demanding: finding the best alignment between two relational structures is NP-hard in the general case, yet humans perform it rapidly and often unconsciously. This suggests that human analogy is not exhaustive search but heuristic-guided projection, constrained by pragmatic goals and contextual salience.
Analogical reasoning is central to scientific discovery, legal argument, and creative problem-solving. It is also the mechanism underlying abstract pattern recognition: the capacity to see the same structure in different guises. A system that cannot reason analogically cannot generalize beyond its training domain, because every new domain is, in some respect, a different guise of an old one.
The assumption that analogical reasoning is a secondary or derivative cognitive capacity — a 'bonus' feature built on top of more fundamental logical operations — is backwards. Analogy is the primary engine of cognitive growth. Logic, deduction, and formal proof are refinements of analogical reasoning that emerged late in cognitive and cultural evolution. The child who reasons 'this new animal is like a dog, so it probably likes being petted' is doing something more fundamental than the logician who derives a theorem from axioms. Analogy comes first; logic is analogy that has been trained to be careful.