Analogies – Advanced Study Notes
Course: English (VITEEE)
Level: MIT‑style, first principles → rigorous reasoning → edge cases → challenge problem
Goal – Build a deep mathematical and cognitive understanding of analogical reasoning, then translate that into a systematic strategy for the VITEEE English analogue‑question format.
1. What Is an Analogy?
| Traditional View | Formal View |
|---|---|
| “A:B::C:D” – “A is to B as C is to D.” | A 4‑tuple ((A,B,C,D)) satisfying a relation (R) such that (R(A,B)) iff (R(C,D)). |
- First‑principle definition
Let (S) be a set of linguistic entities (words, phrases, concepts).
A binary relation (R \subseteq S \times S) captures semantic or syntactic similarity (e.g., synonymy, hypernymy).
An analogy is a quadruple ((a,b,c,d)) such that
[ R(a,b) \iff R(c,d) ] and, for strong analogies, (R) is an isomorphism between the substructures ({a,b}) and ({c,d}).
2. Types of Analogies
| Category | Example | Formal Property |
|---|---|---|
| Synonymic | hot : warm :: cold : cool | (R = \text{synonymy}) |
| Antonymic | light : dark :: bright : dim | (R = \text{antonymy}) |
| Part‑Whole | wheel : car :: leaf : tree | (R = \text{part‑of}) |
| Cause‑Effect | rain : flood :: fire : smoke | (R = \text{causally‑related}) |
| Degree | short : longer :: small : larger | (R = \text{comparative}) |
| Morphological | teach : teacher :: run : runner | (R = \text{derivational morphology}) |
| Functional | key : door :: pen : paper | (R = \text{functional‑relationship}) |
| Metaphorical | time : money :: care : attention | (R = \text{metaphorical mapping}) |
Note – In VITEEE, the most common analogies are synonymic, degree, functional, and morphological.
3. Theoretical Foundations
3.1 Cognitive Linguistics
- Prototype Theory – Each concept has a prototype (most typical instance). Analogical reasoning often involves moving from one prototype to a related one.
- Conceptual Metaphor Theory – Metaphorical analogies are built on source → target mappings (e.g., time is a river).
- Structural Alignment Theory (Gentner, 1983) – Analogical reasoning proceeds by aligning two structures and mapping correspondences.
Mathematical Formalisation
Structural alignment can be seen as a partial isomorphism (f: \mathcal{S}_1 \to \mathcal{S}_2) between two relational structures (\mathcal{S}_1, \mathcal{S}_2).
3.2 Formal Semantics
- Logical Forms – Words are mapped to predicates (e.g.,
warm(x),cool(x)). - Analogies become equivalences of predicate structures:
[ \forall x \big( \text{warm}(x) \iff \text{cool}(x) \big) \iff \forall y \big( \text{hot}(y) \iff \text{warm}(y) \big) ] - Set Theory – Treat relations as subsets of Cartesian products.
Analogy is a bijection between two relation subsets.
3.3 Category Theory
- Categories: Let (C) be the category of lexical items with morphisms as semantic relations.
- Functor (F: C \to C) – Analogical mapping is a functor preserving structure:
[ F(a) = c,; F(b) = d,; \text{and}; F(R) = R