Empty category principle¶
A Government-and-Binding-era syntactic constraint requiring DP-traces and wh-traces—but not PRO or pro—to be properly governed through theta-government or antecedent-government.
Core Idea¶
The Empty Category Principle is a Government-and-Binding-era constraint requiring DP- and wh-traces to be properly governed by theta-government or antecedent-government. It excludes PRO and pro in the stated formulation and operates on formal movement derivations, not surface silence alone. Its explanatory force and limits must be interpreted within the relevant GB version. A trace is properly governed if it is theta-governed by a lexical head that governs and theta-marks it, or antecedent-governed by a coindexed structural antecedent.
Scope of Application¶
Empty Category Principle is used in generative syntax and related work only when its roles and limits are declared. Use it in generative syntax, wh-movement analysis, comparative syntax, and linguistic history with theory version, tree, trace type, government/coindexation, theta roles, interveners, judgments, and alternative frameworks explicit.
- Generative syntax. Constrains movement derivations.
- Government and Binding theory. Supplies the governing primitives.
- Wh-movement. Analyzes extraction traces.
- Comparative syntax. Tests language-specific patterns.
- History of linguistics. Tracks revisions and successors.
Clarity¶
State GB version, tree representation, trace type, original and derived positions, theta roles, c-command/government definition, coindexation, interveners/minimality, complementizer status, logical-form operations, empirical judgment, and competing theoretical account. The closest near miss sets the boundary: PRO is the closest near miss: it is an empty DP category in GB theory, but the stated ECP targets traces and explicitly excludes PRO and pro.
Manages Complexity¶
The ECP turns an invisible dependency into a local licensing test, but each term carries theoretical commitments. Object traces in VP-complement positions may receive theta-government; subject traces in Spec-IP rely on antecedent-government and can be disrupted by an overt complementizer or intervener under the stated analysis. Intermediate Spec-CP traces raise special problems and motivated deletion or revision proposals. Apparent subject–object asymmetries vary across languages and constructions, making judgments, complementizer systems, and independent movement diagnostics essential. Later theories often replace government and traces with feature checking, phases, copies, or other constraints. A successful description within one framework is therefore evidence for a structural pattern, not automatic proof that ECP is a timeless universal mechanism. The central explanatory locality–cross-linguistic variation tradeoff is this: One licensing condition compresses patterns but parameterization/reanalysis may be needed.
Abstract Reasoning¶
Use three linked moves: construct the explicit movement derivation and trace chain; classify each silent category before applying ECP; test theta-government and antecedent-government separately. As a collapse test, the identity exits when the target is not an eligible trace or when licensing uses a different theoretical constraint rather than proper government.
Knowledge Transfer¶
The abstract licensing-by-structural-relation idea can guide comparison with other formalisms, but the ECP's trace inventory, government relations, and logical-form repairs stop at GB theory unless a precise translation is supplied. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. ECP filters derivations, but its domain and licensing relation are specific.
Neighborhood in Abstraction Space¶
Empty category principle sits in a moderately populated region (45th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Logical Inference, Modality & Conditional Structures (27 abstractions)
Nearest neighbors
- Writing system — 0.88
- Information exchange — 0.86
- Automorphic number — 0.86
- Tabbing Navigation — 0.86
- Constructional System — 0.86
Computed from structural-signature embeddings · 2026-10-08