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
Keywords Generative grammar  Transformations  Emil Post  Formalization  Proof theory  Mathematical logic
Categories (categorize this paper)
DOI 10.1007/s10849-011-9139-8
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,793
Through your library
References found in this work BETA
Verbal Behavior.B. F. Skinner - 1957 - Appleton-Century-Crofts.
Aural Pattern Recognition Experiments and the Subregular Hierarchy.James Rogers & Geoffrey K. Pullum - 2011 - Journal of Logic, Language and Information 20 (3):329-342.

View all 17 references / Add more references

Citations of this work BETA
Pāṇini's Grammar and Modern Computation.John Kadvany - 2016 - History and Philosophy of Logic 37 (4):325-346.

Add more citations

Similar books and articles
Syntax-Directed Discovery in Mathematics.David S. Henley - 1995 - Erkenntnis 43 (2):241 - 259.
Closing the Circle: An Analysis of Emil Post's Early Work.Liesbeth De Mol - 2006 - Bulletin of Symbolic Logic 12 (2):267 - 289.
Emil L. Post and the Problem of Mechanical Provability: A Survey of Post's Contributions in the Centenary of His Birth.Halina Święczkowska (ed.) - 1998 - Chair of Logic, Informatics and Philisiophy of Science University of Białystok.
The Surveyability of Long Proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Syntactic Structures and Recursive Devices: A Legacy of Imprecision. [REVIEW]Marcus Tomalin - 2011 - Journal of Logic, Language and Information 20 (3):297-315.
Towards a Theory of Mathematical Argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Added to PP index

Total downloads
27 ( #209,701 of 2,214,511 )

Recent downloads (6 months)
4 ( #134,247 of 2,214,511 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature