Formal Theory

Relationship to substantive theory

Substantive theory is the empirical engine; formal theory is a second-order comparative product.

Typical sequence:

1. Develop substantive GT in area A.
2. Develop (or locate) substantive GT in area B (often a new study).
3. Compare categories at a higher level of abstraction.
4. Retain only relationships that hold across areas—document where they break.

Trying to “start formal” without substantive density usually produces vague metaphors.

How to develop formal theory (Glaser’s procedure, operationalized)

Step 1 — Stabilize substantive theories

Each substantive theory should have:

• a defensible core category
• conditional hypotheses
• documented variation and boundaries

Step 2 — Extract generic concepts

Rename domain-specific categories into abstract labels only when:

• comparison shows the same pattern under analogous conditions
• differences are parameterizations (dimensions), not different mechanisms

Example move (illustrative):

• Substantive: nurses pacing disclosure of uncertainty vs engineers staging prototype legitimacy
• Formal candidate: incremental legitimation of risky knowledge under accountability pressure (hypothetical abstraction—must be earned)

Step 3 — Compare hypotheses, not only labels

Ask:

• Do the same contingencies appear?
• Do strategies map onto each other functionally?
• Do consequences share a family resemblance?

If only labels align but mechanisms differ, you may have surface formalism.

Step 4 — Build a formal outline

Write formal hypotheses using generic actors and generic settings, then specify scope conditions.

Step 5 — Test with new substantive slices

Return to new empirical slices (abbreviated studies, targeted comparisons, secondary analyses) to stress-test the formal model.

Examples of formal theories (classic illustrations)

Classic GT scholarship offers families of formal theories—use them as models of abstraction, not as templates to force.

Status passage (family of formal theories)

Explains how people move between social statuses with phases, rites, sponsorship, and identity shifts—studied across occupations, illness trajectories, and life-course transitions.

Awareness contexts (Glaser & Strauss lineage)

Formalizes how who knows what, when, and with what interactional rules shapes behavior—originally in dying contexts, extended metaphorically to secrecy, launches, investigations, and organizational change.

Reciprocity / exchange patterns

Formal models of obligation, gift/counter-gift, credit/debit social psychologies appear across many substantive arenas when comparison targets interactional accounting.

Reminder: citing these as examples is not evidence your data instantiate them—you must earn formal claims through comparison.

Challenges in formal theory work

Abstraction drift

The formal story becomes so thin it explains everything and nothing.

Mitigation: keep scope conditions explicit; keep negative cases central.

Forced isomorphism

Different substantive areas are not identical; formal theory should preserve meaningful parametric differences.

Weak substantive inputs

If one substantive theory is underdeveloped, formal comparison becomes projection.

Authorship and ethics across sites

Multi-site formal work can flatten power dynamics. Document whose knowledge enabled abstraction.

Criteria for evaluating formal theory

• Abstract portability: applies across multiple sites without hand-waving.
• Substantive grounding trace: you can point to which studies generated each hypothesis.
• Boundary clarity: states where the formal model fails.
• Non-redundancy: formal claims add insight beyond repeating substantive findings.
• Modifiability: new substantive comparisons refine rather than break the model.

Output format (formal theory draft)

Formal core process (name + definition):
Cross-substantive scope claim (bounded):
Formal hypotheses (H1…Hn):
Parametric dimensions (how arenas differ without breaking the model):
Supporting substantive theories (Area A/B/C summaries):
Known failures / limits:
Next comparative slices to collect:

Key references

• Glaser, B. G., & Strauss, A. L. (1967). The discovery of grounded theory. Aldine.
• Glaser, B. G., & Strauss, A. L. (1971). Status passage: A formal theory. Aldine-Atherton.
• Glaser, B. G., & Strauss, A. L. (1964). Awareness of dying. Aldine. (foundation for awareness context theorizing)
• Glaser, B. G. (1978). Theoretical sensitivity. Sociology Press.
• Glaser, B. G. (1998). Doing grounded theory. Sociology Press.

Companion skills

• substantive-theory, theoretical-coding, constant-comparison
• selective-coding, memo-writing
• glaserian-grounded-theory