Skip to main content
computer-science linguistics philosophy

Deixis

Description

Deixis is reference whose meaning is determined by the context of utterance — the speaker’s location, time, identity, conversational thread, or surrounding frame. The deictic expression itself (“this,” “here,” “now,” “I”) is lexically lightweight; what makes it concrete is the anchor context against which it resolves. Strip the anchor and the reference becomes unresolved (“meet me here” — where?) or misresolves to a different referent than intended. The diagnostic question — “if I transplant this expression to a different context without its anchor, does the reference survive intact, fail to resolve, or silently misresolve?” — separates deixis from context-independent reference. A proper name (“Madison, Wisconsin”) survives transplant; a deictic expression (“this city”) does not. The transportability failure mode is the structural fingerprint. Linguistically, deixis sorts into a small number of well-studied categories — person (I / you), spatial (here / there / this / that), temporal (now / yesterday / soon), discourse (the aforementioned / the following), and social (formality registers tied to speaker-hearer status). But the structural pattern recurs far outside language. Anywhere a system uses lightweight references that depend on an anchor (relative file paths, self / this in OOP, frame-relative coordinates in physics or graphics, current-user / current-session in agent contexts, “the directory above” in shell commands), deixis is the underlying mechanism. The benefit is compression — short references that pack meaning by leaning on context. The cost is brittleness under transplantation. The catalog’s interest in deixis is mostly that it crosses domain boundaries cleanly. The same structural shape (lightweight reference + required anchor + transportability failure) shows up in linguistics, file systems, programming, physics, and agent-context design. When references break in unexpected places, deixis is often the diagnostic.

Triggers

User-initiated: User describes a reference that resolves differently in different contexts, a system where the meaning of an expression depends on where you are when you read it, or a failure where a previously-working reference now points somewhere wrong. Vocabulary cues: “deixis,” “deictic,” “relative reference,” “context-dependent,” “this/here/now,” “self,” “current,” “frame-relative.” Agent-initiated: Agent notices an expression whose referent depends on the surrounding context, especially if the agent is preparing to quote, transplant, or serialize the expression. Candidate inference: “this is deictic — if I move it without its anchor, will it still resolve?” Situation-shape signals: Relative paths in code or URLs, self/this/current_* references, frame-relative coordinate systems, conversation transcripts with deictic gaps, voice memos with unresolved “this,” anchor-loss failures in agent context handoff.

Exclusions

  • Fully-resolved absolute references — “Madison, Wisconsin, 53703” survives any transplant. Proper names, GPS coordinates, absolute timestamps, fully-qualified URLs are deliberately non-deictic. Applying the deixis frame to them is a category mistake.
  • Pure timeless mathematical or logical statements — “2 + 2 = 4,” “for all x, P(x) implies Q(x).” No deictic anchor required; meaning is invariant across contexts. The structure isn’t deixis.
  • Content with no anchored pivot — a generic policy document that says “users should not share passwords” has no deictic expression; it just states a rule. The deixis frame doesn’t fit unless there’s an anchor-dependent reference doing work.
  • Conventional shortcuts that LOOK deictic but aren’t — “the README” in a project context can feel like deixis but is usually a stable convention referring to the file at the project root. If the conventional referent is fixed across all contexts, the expression isn’t truly deictic — it’s an abbreviation. The diagnostic: does it resolve to different things in different contexts? If no, it’s not deixis.

Structure

Internal structure of deixis: a table of its component slots and the concepts that fill them.

Relationships

Relationship neighborhood of deixis: a graph of the concepts it connects to and the concepts it is a part of.
  • route-as-context — the path IS the deictic anchor. Route-as-context is the high-level doctrine; deixis is the semantic mechanism that makes the doctrine carry meaning.
  • isomorphism — opposite of context-portability. Isomorphism preserves under structure-preserving maps; deixis breaks. Together they form the spectrum of how references survive translation.
  • pragmatic-implicature — sibling on the context-dependence axis. Deixis resolves references; implicature resolves meanings. Both fail when the frame fails.
  • frame-story — narrative analog. Deixis at the frame boundary flips reference; the same “I” or “now” means different things on either side of the frame.
  • seam — deictic expressions are often the items that need explicit handling at seams between systems. The seam between two file systems, two coordinate frames, two conversational frames is where deictic-vs-absolute conversions live.

Examples

Linguistic deixis (canonical case) · linguistics

“I’ll meet you here tomorrow at this time.” Four deictic expressions in one sentence: I (person), here (spatial), tomorrow (temporal), this time (temporal). The sentence is information-rich for the conversational partners and incomprehensible to anyone else.

Relative file paths · computer-science

../images/foo.png resolves against the current file’s location. Move the file, and the reference now points somewhere different (or nowhere). Deixis in the file system; the transportability failure is well-known to anyone who’s reorganized a project.
Charles Sanders Peirce’s tripartite classification of signs — icon, index, and symbol — gave deixis its semiotic ancestry. In Peirce’s framework, an index is a sign that refers to its object by a relation of contiguity or causal connection rather than by resemblance (icon) or convention (symbol). A weathervane is an index of wind direction because the wind physically moves the vane; smoke is an index of fire because of the causal link; a pronoun “this” or “that” is an index of whatever the speaker is gesturing at, anchored by the speaker’s spatial-temporal position. Indexical reference fails the moment the contiguity relation is severed: photograph the weathervane, and the weathervane stops indicating current wind direction; transplant “this” to a different context, and the reference dissolves.Peirce’s contribution to the lineage of deixis is making explicit the anchor-dependent nature of indexical reference long before linguistics formalized deixis as a category. Bühler, Jakobson, and later linguists drew on Peirce’s index when articulating the speaker-anchored coordinate systems of natural language (person, place, time, discourse). The contemporary computational use of “index” (database indices, search indices, document indices) preserves the structural shape — a reference that resolves against a specific context — even when the philosophical heritage has been forgotten.Inference: When designing a reference mechanism whose anchor will be implicit (relative paths, self pointers, temporal references), make the anchor’s existence and structure explicit in documentation or type-system enforcement. The structural failure mode of indexical reference is silent misresolution when the anchor changes — and silent failures are the most expensive class to debug.
a point at (5, 0, 0) means different things in world-space, camera-space, and bone-space. The coordinates are deictic; the frame is the anchor. Transformations between frames are exactly the operation of resolving the same deictic against a different anchor.
“essentially occasional expressions” in Logical Investigations. Husserl identified the phenomenological problem deixis raises: how can a single linguistic form pick out different referents for different speakers? The phenomenological answer (the expression’s “meaning content” requires perceptual anchoring) prefigures both linguistic deixis and Peircean semiotics.
Perry’s paper makes the strongest case that some references cannot be paraphrased away — that the deictic anchor is doing irreplaceable work. His example: pushing his cart through a supermarket, he follows a trail of spilled sugar trying to warn the careless shopper with the torn sack, lap after lap, until it dawns on him that he is the shopper. Only then does he stop and fix his own bag. The point is that he already knew, in non-indexical terms, that “the shopper with the torn sack is making a mess” — even “John Perry is making a mess” — and none of it moved him to act. What changed his behavior was the irreducibly indexical belief “I am making a mess.”This is the deixis primitive sharpened to a claim about irreducibility. The deictic expression (“I”) resolves against an anchor (the believer himself); the same situation described without the anchor — by name or definite description — picks out the same person yet fails to play the same role. Perry’s distinction between the content of a belief (the proposition, which a name could carry) and the belief state (the indexical mode, which it cannot) is the philosophical version of the engineering hazard the concept warns about: two expressions can denote the same referent and still behave differently because one carries its anchor and the other has had it stripped out. You cannot losslessly rewrite “I” as a non-indexical description any more than you can rewrite a relative path as an absolute one without committing to a specific anchor.Inference: an indexical is not shorthand for a description — it carries an anchor that is part of its function, so “resolving” it to a fixed name silently drops the very thing that made it act-guiding.
the same code in different classes points to different objects. Method definitions use deictic self so the implementation is portable across instances; the anchor (which instance is executing) supplies the referent at runtime.
cd -, ls ., git checkout HEAD~1 all use deictic anchors. The same command produces different effects depending on the shell’s current state. Power and confusion live in equal measure here.
Levinson’s Pragmatics gives the standard linguistic taxonomy of deixis and frames it as “the single most obvious way in which the relationship between language and context is reflected in the structures of languages themselves.” His move is to treat deixis not as a quirk of a few words but as the grammaticalization of context: languages bake features of the speech event directly into their lexicon and grammar. He sorts the phenomenon into five categories — person (I, you, we), place (here, there, this), time (now, tomorrow, tense), discourse (referring within an utterance to the surrounding text), and social (honorifics, the tu/vous distinction encoding speaker–addressee relations).For the concept, this is the systematic mapping of the deictic mechanism’s roles. Each category names a distinct anchor: person deixis anchors to the participant roles, place to the utterance location, time to the moment of speaking, discourse to position in the text, social to the relationship between speaker and hearer. Levinson’s gestural-versus-symbolic distinction sharpens how the anchor is supplied: a gestural use (“I want this one,” pointing) needs the physical speech event monitored to resolve; a symbolic use (“I love this city”) needs only the basic spatio-temporal parameters of who is speaking and when. Both are deictic; they differ only in how much of the context must be observed to fix the referent — which is exactly the design variable that recurs when the anchor is a cwd, a self pointer, or a “now” timestamp.Inference: every deictic system is organized around a small set of anchor types, and a reference is only interpretable to someone who shares the relevant anchor — so the cost of a deictic expression is the context the receiver must already have.
“remember to do this when I get home.” Past-self left a deictic note; future-self has lost the anchor and can no longer reconstruct what “this” referred to. The single most common diary-style productivity failure.