Generative syntax

Empty category principle

In linguistics, the empty category principle (ECP) was proposed in Noam Chomsky's syntactic framework of government and binding theory. The ECP is supposed to be a universal syntactic constraint that requires certain types of empty categories, namely traces, to be properly governed. ECP is a principle of transformational grammar by which traces must be visible, i.e. they must be identifiable as empty positions in the surface structure, similar to the principle of reconstruction for deletion. Thus an empty category is in a position subcategorized for by a verb. In government and binding theory this is known as proper government. Proper government occurs either if the empty position is governed by a lexical category (especially if it is not a subject) (theta-government) or if it is coindexed with a maximal projection which governs it (antecedent-government). The ECP has been revised many times and is now a central part of government and binding theory. In spite of its name, the ECP applies to only two of the four types of null DPs. Specifically, it applies to DP- and Wh-traces, but not PRO and pro. The chief function of the ECP is to place constraints on the movement of categories by the rule of move α; it effectively allows a tree structure to "remember" what has happened at earlier stages of a derivation, and it can be seen as GB's version of the older derivational constraints. Formally, the ECP states that: * Traces must be properly governed: * A properly governs B iff A theta-governs B or A antecedent-governs B * A theta-governs B iff A governs B and A theta-marks B * A antecedent-governs B iff A governs B and A is coindexed with B. The ECP is a way of accounting for, among other things, the empirical fact that it is generally more difficult to move up a wh-word from a subject position than from an object position. The intermediate traces must be deleted because they cannot be properly governed; theta-government is impossible because of the position they occupy, Spec-CP; the only possible antecedent-governor might be an overt NP (a wh-word), but the Minimality Condition would always be violated because of the tensed I (which must be present in all matrix clauses), the tensed I would c-command the intermediate trace but it would not c-command the wh-word. So we have to say that intermediate traces must be deleted at logical form so that they can avoid the ECP. In the case of object extraction (the trace is a complement of VP), theta-government is the only possible option. In the case of subject extraction (the trace in Spec-IP), antecedent-government is the only possible option. If the trace is in Spec-IP and we have an overt complementizer (such as that), the sentence is ungrammatical because the ECP is violated. The closest potential governor would be the complementizer, which cannot antecedent-govern the trace because it is not coindexed with it (and theta-government is impossible since trace is in Spec-IP). For example, in the sentence Who do you think (that) John will invite? the ECP works in the following way (the structure is given for the embedded clause only): (Wikipedia).

Empty category principle
Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

Why is the Empty Set a Subset of Every Set? | Set Theory, Subsets, Subset Definition

The empty set is a very cool and important part of set theory in mathematics. The empty set contains no elements and is denoted { } or with the empty set symbol ∅. As a result of the empty set having no elements is that it is a subset of every set. But why is that? We go over that in this

From playlist Set Theory

Video thumbnail

The Empty Set is a Subset of Every Set Proof

Please subscribe:) https://goo.gl/JQ8Nys The Empty Set is a Subset of Every Set Proof B-Roll - Islandesque by Kevin MacLeod is licensed under a Creative Commons Attribution license (https://creativecommons.org/licenses/by/4.0/) Source: http://incompetech.com/music/royalty-free/index.html

From playlist Set Theory

Video thumbnail

Empty Graph, Trivial Graph, and the Null Graph | Graph Theory

Whenever we talk about something that is defined by sets, it is important to consider the empty set and how it fits into the definition. In graph theory, empty sets in the definition of a particular graph can bring on three types/categories of graphs. The empty graphs, the trivial graph, a

From playlist Graph Theory

Video thumbnail

Empty Set vs Set Containing Empty Set | Set Theory

What's the difference between the empty set and the set containing the empty set? We'll look at {} vs {{}} in today's set theory video lesson, discuss their cardinalities, and look at their power sets. As we'll see, the power set of the empty set is our friend { {} }! The river runs peacef

From playlist Set Theory

Video thumbnail

Category Theory 2.1: Functions, epimorphisms

Functions, epimorphisms

From playlist Category Theory

Video thumbnail

27 Unhelpful Facts About Category Theory

Category theory is the heart of mathematical structure. In this video, I will drive a stake through that heart. I don't know why I made this. Grothendieck Googling: https://mobile.twitter.com/grothendieckg Join my Discord server to discuss this video and more: https://discord.gg/AVcU9w5g

From playlist Mathematics

Video thumbnail

Cartesian Products with Empty Sets | Set Theory, Cartesian Product of Sets, Empty Set

How do Cartesian products work with empty sets? Cartesian products are great and all, but we cannot eagerly dive into working with them without making sure we know how to deal with Cartesian products when empty sets are involved. We go over that in today's math lesson! Recall that the Car

From playlist Set Theory

Video thumbnail

Axioms of Constructive Set Theory Explained

In this video we're going to discuss the various axiom schemes of constructive set theories and how they relate to type theory. I cover BCST, ECST, IKP, KPI, KP, CST, CZF, IZF, Mac Lane, Z and variants equi-consistent to ETCS from category theory, and then of course ZF and ZFC. The text I

From playlist Logic

Video thumbnail

Structure of homogeneous spaces and applications to (...) - Demarche - Workshop 1 - CEB T2 2019

Cyril Demarche (IMJ-PRG, Sorbonne Université) / 21.05.2019 Structure of homogeneous spaces and applications to local- global principles (joint work with Giancarlo Lucchini-Arteche) We study the structure of homoge- neous spaces of linear algebraic groups over perfect fields and prove a

From playlist 2019 - T2 - Reinventing rational points

Video thumbnail

Benedikt Ahrens - Le principe d'univalence: le transfer du raisonnement à traver les equivalence

Le raisonnement à équivalence près est omniprésent en mathématique, et les mathématiciens le font implicitement. Pour les mathématiques sur ordinateurs, ce n'est pas si simple : il faut donner tous les détails éxplicitement. C'est pour cela que Voevodsky a créé les fondements univalents, a

From playlist Workshop Schlumberger 2022 : types dépendants et formalisation des mathématiques

Video thumbnail

6 Concepts, Judgment & Deduction of the Categories - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 6th lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Empiricists have no explanation for how we move from "mere forms of thought" to objective concepts. The

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

Jules Hedges - compositional game theory - part I

Compositional game theory is an approach to game theory that is designed to have better mathematical (loosely “algebraic” and “geometric”) properties, while also being intended as a practical setting for microeconomic modelling. It gives a graphical representation of games in which the flo

From playlist compositional game theory

Video thumbnail

Mod-01 Lec-31 Syntax: Phrase Structure (Compliment and Adjuncts)

Introduction to Modern Linguistics by Prof.Shreesh Chaudhary & Prof. Rajesh Kumar,Department of Humanities and Social Sciences,IIT Madras.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Madras: Introduction to Modern Linguistics | CosmoLearning.org English Language

Video thumbnail

Higher Algebra 3: Colimits

In this video, we discuss colimits and decomposition of those in ∞-categories. This is the third video in our introduction to ∞-categories and Higher Algebra. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture H

From playlist Higher Algebra

Video thumbnail

Mod-01 Lec-33 Syntax: Structure of an IP and Thematic Relations

Introduction to Modern Linguistics by Prof.Shreesh Chaudhary & Prof. Rajesh Kumar,Department of Humanities and Social Sciences,IIT Madras.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Madras: Introduction to Modern Linguistics | CosmoLearning.org English Language

Video thumbnail

Categories 6 Monoidal categories

This lecture is part of an online course on categories. We define strict monoidal categories, and then show how to relax the definition by introducing coherence conditions to define (non-strict) monoidal categories. We finish by defining symmetric monoidal categories and showing how super

From playlist Categories for the idle mathematician

Related pages

Trace (linguistics) | C-command | If and only if | Subcategorization | Transformational grammar | Government and binding theory | Government (linguistics) | Wh-movement | Move α | Empty category