On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks

Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generative-enumerative syntax (GES) and model-theoretic syntax (MTS). They are based on very different mathematics. GES developed in the 1950s out of Post's work on the syntactic side of logic. MTS arose somewhat later out of the semantic side of logic. We identify some distinguishing theoretical features of these frameworks, relating to cardinality of the set of expressions, size of individual expressions, and 'transderivational constraints'. We then turn to three kinds of linguistic phenomena: partial grammaticality, the syntactic properties of expression fragments, and the fact that the lexicon of any natural language is in constant flux, and conclude that MTS has some major advantages for linguistic description that have been overlooked. We briefly consider the issue of what natural languages in MTS terms, and touch on implications for parsing and acquisition.

[1]  Marcus Kracht.  Syntactic codes and grammar refinement , 1995 .

[2]  David E. Johnson,et al.  Arc Pair Grammar , 1980 .

[3]  Geoffrey K. Pullum,et al.  Category Structures , 1988, Comput. Linguistics.

[4]  Patrick Blackburn,et al.  Modal Logic and Model-Theoretic Syntax , 1997 .

[5]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[6]  Jean-Pierre Koenig,et al.  Lexical and Constructional Aspects of Linguistic Explanation , 1998 .

[7]  Emil L. Post.  Recursively enumerable sets of positive integers and their decision problems , 1944 .

[8]  Noam Chomsky.  Current Issues in Linguistic Theory , 1964 .

[9]  Rolf Backofen,et al.  A first-order axiomatization of the theory of finite trees , 1995, J. Log. Lang. Inf..

[10]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[11]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..

[12]  Hans-Peter Kolb,et al.  The Mathematics of Syntactic Structure: Trees and their Logics , 1999 .

[13]  Cecil G. Phipps.  Science and Logic , 1963 .

[14]  G. Pullum,et al.  The Cambridge Grammar of the English Language , 2002 .

[15]  Carson T. Schütze.  The empirical base of linguistics: Grammaticality judgments and linguistic methodology , 1998 .

[16]  Noam Chomsky,et al.  The Minimalist Program , 1992 .

[17]  Gerald Gazdar,et al.  Phrase Structure Grammar , 1982 .

[18]  James Rogers,et al.  A Model-Theoretic Framework for Theories of Syntax , 1996, ACL.

[19]  Simon Thomas.  Theories with Finitely Many Models , 1986, J. Symb. Log..

[20]  M. de Rijke.  Advances in intensional logic , 1997 .

[21]  D. Terence Langendoen,et al.  The vastness of natural languages , 1984 .

[22]  P. Postal,et al.  Linguistic science and logic , 1966 .

[23]  C. Fillmore,et al.  Grammatical constructions and linguistic generalizations: The What's X doing Y? construction , 1999 .

[24]  Zellig S. Harris,et al.  Mathematical structures of language , 1968, Interscience tracts in pure and applied mathematics.

[25]  Wolfgang Thomas,et al.  Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[26]  Geoffrey K. Pullum,et al.  Theoretical linguistics and the ontology of linguistic structure , 1997 .

[27]  Neil Immerman,et al.  Descriptive Complexity and Model Checking , 1998, FSTTCS.

[28]  R. Hetzron.  Phonology in syntax , 1972, Journal of Linguistics.

[29]  Noam Chomsky.  Some Methodological Remarks on Generative Grammar , 1961 .

[30]  George Lakoff,et al.  On Generative Semantics , 1969 .

[31]  Anne-Marie Di Sciullo.  Configurations : essays on structure and interpretation , 1996 .

[32]  Leon A. Jakobovits,et al.  Semantics: An Interdisciplinary Reader in Philosophy, Linguistics and Psychology , 1971 .

[33]  Jörg Flum,et al.  Finite model theory , 1995, Perspectives in Mathematical Logic.

[34]  Geoffrey K. Pullum,et al.  The Principle of Phonology-Free Syntax: four apparent counterexamples in French , 1997, Journal of Linguistics.

[35]  James Rogers,et al.  A descriptive approach to language-theoretic complexity , 1998 .

[36]  J. Fodor,et al.  The Structure of Language: Readings in the Philosophy of Language , 1966 .

[37]  Aravind K. Joshi,et al.  An Introduction to Tree Adjoining Grammar , 1987 .

[38]  M. Baltin,et al.  The Mental representation of grammatical relations , 1985 .

[39]  David M. Perlmutter.  Deep and surface structure constraints in syntax , 1973 .

[40]  Barbara C. Scholz,et al.  Empirical assessment of stimulus poverty arguments , 2002 .

[41]  Marcus Kracht,et al.  On the Logic of Category Definitions , 1989, CL.

[42]  Claire Gardent,et al.  A Specification Language for Lexical Functional Grammars , 1995, EACL.

[43]  Frank Keller,et al.  Gradience in Grammar: Experimental and Computational Aspects of Degrees of Grammaticality , 2001 .

[44]  Noam Chomsky,et al.  The Logical Structure of Linguistic Theory , 1975 .

[45]  Howard Lasnik,et al.  Syntactic Structures Revisited: Contemporary Lectures on Classic Transformational Theory , 2000 .

[46]  James Rogers,et al.  "Grammarless" Phrase Structure Grammar , 1997 .

[47]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[48]  James Rogers.  The descriptive complexity of generalized local sets , 1999 .

[49]  Emil L. Post.  Formal Reductions of the General Combinatorial Decision Problem , 1943 .

[50]  Frank Keller,et al.  Gradient Grammaticality as an Effect of Selective Constraint Re-ranking , 1999 .

[51]  Claire Gardent,et al.  Talking About Trees , 1993, EACL.

[52]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[53]  András Kornai,et al.  The X-bar theory of phrase structure , 1990 .

[54]  Ivan A. Sag,et al.  Syntactic Theory: A Formal Introduction , 1999, Computational Linguistics.

[55]  Dov M. Gabbay,et al.  Dynamic syntax - the flow of language understanding , 2000 .

[56]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[57]  IVAN A. SAG, GERALD GAZDAR, THOMAS WASOW, AND STEVEN WEISLER COORDINATION AND HOW TO DISTINGUISH , .

[58]  Gerald Gazdar,et al.  Coordination and how to distinguish categories , 1985 .