On the Mathematical Foundations of Syntactic Structures

Chomsky’s highly influential Syntactic Structures (SS) has been much praised its originality, explicitness, and relevance for subsequent cognitive science. Such claims are greatly overstated. SS contains no proof that English is beyond the power of finite state description (it is not clear that Chomsky ever gave a sound mathematical argument for that claim). The approach advocated by SS springs directly out of the work of the mathematical logician Emil Post on formalizing proof, but few linguists are aware of this, because Post’s papers are not cited. Chomsky’s extensions to Post’s systems are not clearly defined, and the arguments for their necessity are weak. Linguists have also overlooked Post’s proofs of the first two theorems about effects of rule format restrictions on generative capacity, published more than ten years before SS was published.

[1]  John Robert Ross,et al.  Constraints on variables in syntax , 1967 .

[2]  James Rogers,et al.  Aural Pattern Recognition Experiments and the Subregular Hierarchy , 2011, J. Log. Lang. Inf..

[3]  Gilbert Harman.  Generative Grammars Without Transformation Rules , 1987 .

[4]  J. Firth,et al.  Papers in linguistics, 1934-1951 , 1957 .

[5]  Radford,et al.  转换生成语法教程 = Transformational Grammar , 2000 .

[6]  Paul C. Rosenbloom,et al.  The Elements of Mathematical Logic , 1951 .

[7]  Emil L. Post.  Introduction to a General Theory of Elementary Propositions , 1921 .

[8]  G. Clauß,et al.  Luce, R. D., R. R. Bush und E. Galanter, Handbook of Mathematical Psychology, Vol. III, Chapters 15–21. John Wiley and Sons, Inc., New York 1965 , 1969 .

[9]  R. Duncan Luce,et al.  Readings in mathematical psychology , 1963 .

[10]  Noam Chomsky,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[11]  Michael A. Harrison,et al.  Introduction to formal language theory , 1978 .

[12]  Richard Timon Daly,et al.  Applications of the mathematical theory of linguistics , 1974 .

[13]  Fernando C Pereira.  Formal grammar and information theory: together again? , 2000, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

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

[15]  I. Sag,et al.  Auxiliaries and related phenomena in a restrictive theory of grammar , 1982 .

[16]  Michael A. Arbib,et al.  An Introduction to Formal Language Theory , 1988, Texts and Monographs in Computer Science.

[17]  Martin Joos,et al.  Readings in Linguistics: The Development of Descriptive Linguistics in America Since 1925 , 1959 .

[18]  F. J. Pelletier,et al.  The generative power of rule orderings in formal grammars , 1980 .

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

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

[21]  Lars Svenonius,et al.  Review: Noam Chomsky, Three Models for the Description of Language , 1958 .

[22]  P. Stanley Peters,et al.  On Restricting the Base Component of Transformational Grammars , 1971, Inf. Control..

[23]  J. R. Firth,et al.  Studies in Linguistic Analysis. , 1974 .

[24]  Noam Chomsky,et al.  Explanatory Models in Linguistics , 1966 .

[25]  Hilary Putnam,et al.  Mind, Language and Reality: Some issues in the theory of grammar , 1975 .

[26]  Barbara C. Scholz,et al.  For universals (but not finite-state learning) visit the zoo , 2009, Behavioral and Brain Sciences.

[27]  Noam Chomsky,et al.  On the notion 'rule of grammar' , 1964 .

[28]  Barbara C. Scholz,et al.  Systematicity and Natural Language Syntax , 2007 .

[29]  W. Fitch,et al.  Computational Constraints on Syntactic Processing in a Nonhuman Primate , 2004, Science.

[30]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[31]  P. Stanley Peters,et al.  On the generative power of transformational grammars , 1973, Inf. Sci..

[32]  Gerald Gazdar,et al.  Unbounded Dependencies and Coordinate Structure , 1981 .

[33]  Alasdair Urquhart.  Emil Post , 2009, Logic from Russell to Church.

[34]  Emil L. Post.  Recursive Unsolvability of a problem of Thue , 1947, Journal of Symbolic Logic.

[35]  Z. Harris,et al.  Methods in structural linguistics. , 1952 .

[36]  George A. Miller,et al.  Introduction to the Formal Analysis of Natural Languages , 1968 .

[37]  Walter S. Brainerd,et al.  Theory of computation , 1974 .

[38]  G. Harman.  Generative Grammars without Transformation Rules: A Defense of Phrase Structure , 1963 .

[39]  R. Schiffer,et al.  INTRODUCTION , 1988, Neurology.

[40]  I. Sag.  A phrase structure grammar , 2003 .

[41]  Pieter A. M. Seuren.  Concerning the roots of transformational generative grammar , 2009 .

[42]  R. Carnap.  Logische Syntax der Sprache , 1935 .

[43]  T. Dixon,et al.  Verbal behavior and general behavior theory , 1968 .

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

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

[46]  M. Tomalin.  Linguistics and the formal sciences , 2006 .

[47]  Geoffrey K. Pullum,et al.  Tracking the origins of transformational generative grammar1 , 2007, Journal of Linguistics.

[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]  Geoffrey Sampson,et al.  What was transformational grammar?: A review of: Noam Chomsky, The Logical Structure of Linguistic Theory , 1979 .

[51]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[52]  F. Newmeyer.  Has there been a 'Chomskyan revolution' in linguistics? , 1986 .

[53]  Emil L. Post,et al.  Solvability, provability, definability: the collected works of Emil L. Post , 1994 .