Polysemy
Description
Polysemy is the property of a single form (word, name, symbol, method, role-title) carrying multiple related senses. The senses share a family resemblance — they extended from one another by analogy, metaphor, or specialization — and the relatedness is what distinguishes polysemy from homonymy (two unrelated senses sharing a form by historical accident, like bank the financial institution and bank the riverbank, which are etymologically separate). Polysemy’s senses, by contrast, branch from a common origin or are linked by recognizable structural extension. The diagnostic question — “do the multiple senses of this form feel like extensions of one another, or like coincidental homonyms?” — separates polysemy from homonymy. Head (of a person, of a department, of a beer) is polysemous: the senses extend by metaphor and specialization. Bat (animal vs. baseball stick) is homonymous: no resemblance, etymologies disjoint. The catalog cares about polysemy in particular because its cross-domain reach comes from systems that intentionally extend names — programming, ontology engineering, organizational design — where the extensions are deliberate and the disambiguation logic is part of the design. The cross-domain pattern: a system has a single form (a method name, a role-title, a UI control, an API endpoint) and assigns it multiple related meanings. Context, type signature, surrounding vocabulary, or convention does the disambiguation. The win is brevity and conceptual coherence — the senses really are related, and forcing distinct names would lose the family resemblance. The risk is drift, where the senses extend independently until the form becomes effectively homonymous and the polysemy frame quietly stops working. The structural watch-flag is sense drift. A polysemous form is healthy when the senses remain recognizably related; it becomes pathological when they’ve drifted far enough that the shared form misleads new readers. Codebases withopen() doing twelve things, organizations where “manager” means three incompatible roles, and ontologies where a single term has accumulated incompatible extensions are all examples of polysemy that has drifted into effective homonymy without anyone noticing.
Triggers
User-initiated: User describes a name, term, or interface that carries multiple meanings, especially when the multiple meanings cause confusion or when “what does X really mean here?” becomes a recurring question. Vocabulary cues: “polysemy,” “overloaded,” “multiple senses,” “the term means different things,” “same word, different meaning,” “we’re using X to mean both A and B.” Agent-initiated: Agent notices that a single form (name / method / role / endpoint) is doing work across multiple subtly-different meanings, especially if it’s a candidate for refactoring or disambiguation. Candidate inference: “this is polysemy — are the senses still recognizably related, or has the form drifted into homonymy?” Situation-shape signals: Method names doing many things, role-titles meaning different things in different teams, terms with disputed definitions, UI controls with mode-dependent behavior, API endpoints whose contract has drifted across versions, cross-disciplinary terminology that means different things to different practitioners.Exclusions
- True homonymy — when two senses sharing a form have no etymological or structural relationship (bat the animal, bat the baseball stick), the structure is homonymy, not polysemy. The “related senses” criterion is constitutive; without relatedness, the concept doesn’t fit.
- Monosemy / fully-typed/disambiguated interfaces — when a name carries exactly one meaning that’s enforced by the type system or by strict convention (a uniquely-typed function signature, a single-purpose API endpoint, a precise legal term), there’s nothing for polysemy to describe. The concept frame would falsely suggest multi-sense work that isn’t happening.
- Pure mathematical operators with strict signatures — ⊕ in group theory, ∧ in logic. The notation is unambiguous within its formal system. Cross-system reuse of similar symbols is closer to convention than to polysemy.
- One-time creative metaphor without recurrence — a poet’s unique extension of a word doesn’t make the word polysemous; polysemy requires multiple senses to be conventionalized in actual use. A single creative extension is metaphor, not polysemy.
- Genuine consensus terms with stable single meaning across contexts — integer, protocol, vertex — even when used across disciplines, if the meaning remains essentially the same, the structure isn’t polysemy. Polysemy requires the senses to differ enough that disambiguation is real work.
Structure
Relationships
- isomorphism — opposite endpoint on the form-meaning preservation axis. Isomorphism preserves structure across maps; polysemy carries related-but-distinct senses inside one form. Read together, they bound the spectrum.
- seam — sense-boundaries are seams. The point where polysemy transitions between senses is where translation logic lives and where bugs cluster.
- leaky-abstraction — analogous failure mode. Polysemy fails when the form leaks the differences between senses to the receiver; leaky-abstraction fails when the interface leaks the differences between implementations.
- uniformity-dividend — sometimes a claimed dividend is actually polysemy in disguise: one shape across N instances, but the shapes have drifted apart, so the perceived uniformity is name-deep only.
- graduation-promotion — produces polysemy as residue. Names that survive promotion carry both old and new senses; the polysemy is then permanent unless explicit renaming intervenes.
Examples
Linguistic polysemy (canonical case) · linguistics
Linguistic polysemy (canonical case) · linguistics
Operator overloading in language design · computer-science
Operator overloading in language design · computer-science
+ for integer addition, string concatenation, list concatenation, matrix sum. Designers carefully manage the polysemy so the senses stay related; languages that abandoned this discipline (early C++ codebases overloading + for unrelated operations) became cautionary tales.API endpoint versioning where the path stays but the contract drifts · computer-science
API endpoint versioning where the path stays but the contract drifts · computer-science
/v1/users/\{id\} and /v2/users/\{id\} are technically different endpoints, but the path’s continuity implies semantic continuity. The polysemy works when v2 is an extension of v1; it fails when the meaning has effectively shifted to homonymy.Cross-disciplinary terminology · linguistics
Cross-disciplinary terminology · linguistics
D. A. Cruse, *Lexical Semantics* (1986) — canonical linguistic treatment of the polysemy vs homonymy distinction. · linguistics
D. A. Cruse, *Lexical Semantics* (1986) — canonical linguistic treatment of the polysemy vs homonymy distinction. · linguistics
George Lakoff, *Women, Fire, and Dangerous Things* (1987) — radial categories; the cognitive-linguistic account of how s · linguistics
George Lakoff, *Women, Fire, and Dangerous Things* (1987) — radial categories; the cognitive-linguistic account of how s · linguistics
analogous_to relationship tries to capture between concepts.Method overloading and dynamic dispatch in programming · computer-science
Method overloading and dynamic dispatch in programming · computer-science
open() opening a file, a network socket, a database connection, a context manager, a dialog box. The underlying operations differ; the surface name reflects a family resemblance (“make available for use”). Type systems and context provide the disambiguation; mistakes happen when the family resemblance frays.Multi-purpose UI controls · linguistics
Multi-purpose UI controls · linguistics
"Open" as a UI verb across product · linguistics
"Open" as a UI verb across product · linguistics
Organizational role-titles meaning different things across sub-orgs · linguistics
Organizational role-titles meaning different things across sub-orgs · linguistics
Programming language design literature on method and operator overloading (e.g., Stroustrup on C++ design rationale) — t · computer-science
Programming language design literature on method and operator overloading (e.g., Stroustrup on C++ design rationale) — t · computer-science
Yael Ravin and Claudia Leacock (eds.), *Polysemy: Theoretical and Computational Approaches* (2000) — survey covering lin · linguistics
Yael Ravin and Claudia Leacock (eds.), *Polysemy: Theoretical and Computational Approaches* (2000) — survey covering lin · linguistics