This book investigates the architecture of the language faculty by considering what the properties of language reveal about the mental abilities and processes involved in language acquisition. The language faculty, the author argues, must be able not only to accommodate what is general, exceptionless, and universal in language, but must also be capable of dealing with what is irregular, exceptional, and idiosyncratic. In Syntactic Nuts Peter Culicover shows that this is true not only of the lexicon, but for syntax. (...) Marginal and exceptional cases, where there is no straightforward form-meaning correspondence, are dealt with by the language faculty easily and precisely as the general cases. In considering how and why this should be the author argues against the prevailing trend in generative grammar, which takes the learner as either incorporating maximally global generalisations as part of its innate capacity for language, or projecting global generalisations from a very limited input on the basis of innate mechanisms. He suggests that the learning mechanism does not generalize significantly beyond the evidence presented to it, and further that it seeks to form generalizations based on all and only the evidence presented to it. Syntactic Nuts makes a fundamental contribution to generative grammar and syntactic theory. It situates syntactic theory within cognitive science in a novel way. It contributes to an alternative, and yet in many ways traditional, perspective on the manner in which knowledge is represented and processed in the mind. (shrink)

The format of this book is unusual, especially for a book about linguistics. The book is meant primarily as a research monograph aimed at linguists who have some background in formal semantics, e. g. Montague Grammar. However, I have two other audiences in mind. Linguists who have little or no experience of formal semantics, but who have worked through a basic mathematics for linguists course (e. g. using Wall, 1972, or Partee, 1978), should, perhaps with the help of a sympathetic (...) Montague gramma rian, be able to discover enough of how I have adapted some of the basic ideas in formal semantics to make the developments that I undertake in the rest of the book accessible. Logicians and computer scientists who know about model theoretic semantics and formal systems should be able to glean enough from Chapters I and II about linguistic concerns and techniques to be able to read the remainder of the book, again possibly with the help of a sympathetic Montague grammarian. However, readers should beware. Chapter II is not meant as a general introduction either to formal semantics or to linguistics and while much of the presentation there is going over ground that is already well covered in the literature, the particular formulation and the emphases are very much oriented to the developments to be undertaken later in the book. (shrink)

Grodzinsky's Tree-Pruning Hypothesis can be extended to explain agrammatic comprehension disorders. Although agrammatism is evidence for syntactic modularity, there is no evidence for its anatomical modularity or for its localization in the frontal lobe. Agrammatism results from diffuse left hemisphere damage – allowing the emergence of the limited right hemisphere linguistic competence – rather than from damage to an anatomic module in the left hemisphere.

In the 1950s, Noam Chomsky offered a new vision for linguistic research and syntacticians. This chapter explores some ways in which Chomsky's linguistic work has influenced research on one domain of linguistic performance, sentence processing, over the last half century. It shows that Chomsky's claim in Aspects of the Theory of Syntax is largely borne out: "the study of performance will proceed only as far as the study of the underlying competence permits". The chapter briefly addresses a question about (...) the scope of modern sentence processing research and its relationship to specific grammatical formalisms. It reviews the literature on incremental ambiguity resolution, moves to the processing of long‐distance filler‐gap dependency processing, and provides information on the processing of anaphoric relations. In order to illustrate how the phenomenon has contributed to psycholinguistic theorizing, the chapter outlines a well‐known model and then considers how other models diverge. (shrink)

There is a thesis often aired by some philosophers of psychology that syntax is all we need and there is no need to advert to intentional/semantic properties of symbols for purposes of psychological explanation. Indeed, the worry has been present since the first explicit articulation of so-called Computational Theory of Mind (CTM). Even Fodor, who has been the most ardent defender of the Language of Thought Hypoth- esis (LOTH) (which requires the CTM), has raised worries about its apparent consequences. (...) The worry can be put in the form of a question, which Fodor called the. (shrink)

Stephen Stich has argued that psychological theories that instantiate his Syntactic Theory of Mind are to be preferred to content-based or representationalist theories, because the former can capture and explain a wider range of generalizations about cognitive processes than the latter. Stich's claims about the relative merits of the Syntactic Theory of Mind are unfounded. Not only is it false that syntactic theories can capture psychological generalizations that content-based theories cannot, but a large class of (...) behavioral regularities, readily explained by content-based theories, appear to be beyond their explanatory reach. (shrink)

In this paper, we explore the role of syntactic representations in set theory. We highlight a common inferential scheme in set theory, which we call the Syntactic Representation Inferential Scheme, in which the set theorist infers information about a concept based on the way that concept can be represented syntactically. However, the actual syntactic representation is only indicated, not explicitly provided. We consider this phenomenon in relation to the derivation indicator position that asserts that the (...) ordinary proofs given in mathematical discourse indicate syntactic derivations in a formal logical system. In particular, we note that several of the arguments against the derivation indicator position would seem to imply that set theorists could gain no benefits from the syntactic representations of concepts indicated by their definitions, yet set theorists clearly do. (shrink)

Most syntacticians, no matter their theoretical persuasion, agree that features are the most important units of analysis. Within Chomskyan generative grammar, the importance of features has grown steadily and within minimalism, it can be said that everything depends on features. They are obstacles in any interdisciplinary investigation concerning the nature of language and it is hard to imagine a syntactic description that does not explore them. For the first time, this book turns grammar upside down and proposes a new (...) model of syntax that is better suited for interdisciplinary interactions, and shows how syntax can proceed free of lexical influence. The empirical domain examined is vast, and all the fundamental units and properties of syntax are rethought. Opening up new avenues of investigation, this book will be invaluable to researchers and students in syntactic theory, and linguistics more broadly. (shrink)

The author's central thesis is that a knowledge of set theory can be put to good use by the linguist interested in the syntax of natural languages. The author first points out the role of set theory in formal science, and then gives a short summary of some of the more important ideas. He then develops certain relations in set theory which are of special importance in the study of languages. A fair number of examples—admittedly in rather (...) trivial form—which occur in the study of language are exhibited to show some of the applications in mind. The last few pages are devoted to a review of how his thesis has fared. Although it may seem obvious to some that set theory is the means par excellence for the formal study of any discipline, many linguists apparently do not yet see this; this book will go some way toward demonstrating this.—P. J. M. (shrink)

In this article I defend the view that many central aspects of the semantics of tense are determined by independently-motivated principles of syntactic theory. I begin by decomposing tenses syntactically into a temporal ordering predicate (the true tense, on this approach) and two time-denoting arguments corresponding to covert a reference time (RT) argument and an eventuality time (ET) argument containing the verb phrase. Control theory accounts for the denotation of the RT argument, deriving the distinction between main (...) clause and subordinate clause tenses. The theory of covert movement is used to account for the independent/indexical interpretation of relative clause tenses, and for the correlation between independent tense interpretation and a de re construal of the relative clause. A theory of “past polarity”, based on traditional negative polarity theory, accounts both for the simultaneous “sequence of tense” construal of past tenses in subordinate clauses embedded within past tense contexts, and for the obligatory indexical/independent interpretation of present tense in a relative clause embedded within a past tense context. Combined with the copy theory of movement, the polarity theory also provides an account of the semantics of double access sentences, treating them as involving a special kind of reconstruction effect. (shrink)

In Jackendoff's Parallel Architecture, the well-formed expressions of a language are licensed by correspondences between phonology, syntax, and conceptual structure. I show how this architecture can be used to make sense of the existence of parasitic gap constructions. A parasitic gap is one that is rendered acceptable because of the presence of another gap in the same sentence. Compare *a person whoi everyone who talks to ti likes Chris, which shows an illicit extraction from a relative clause, and a person (...) whoi everyone who talks to pgi likes ti, which shows a parasitic gap in the relative clause. Languages differ in terms of the range of configurations in which they allow parasitic gaps; these configurations appear to form a hierarchy. These observations raise some fundamental questions: Why do parasitic gaps exist at all? Why are different syntactic configurations possible for P-gaps and why just these configurations? Why is there a parasitic gap hierarchy? The answers that I propose make crucial use of constructional overgeneralization of across-the-board extraction in coordinate constructions, formulated straightforwardly in the framework of Jackendoff's Parallel Architecture. (shrink)

In Language and the Learning Curve, a leading researcher in the field offers a radical new view of language development, unusual in its combination of Chomskian linguistics and learning theory. Stimulating and accessible, it is an important new work that challenges many of our usual assumptions about syntactic development.

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do (...) not pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

This is the first exhaustive investigation of gradience in syntax, conceived of as grammatical indeterminacy. It looks at gradience in English word classes, phrases, clauses and constructions, and examines how it may be defined and differentiated. Professor Aarts addresses the tension between linguistic concepts and the continuous phenomena they describe by testing and categorizing grammatical vagueness and indeterminacy. He considers to what extent gradience is a grammatical phenomenon or a by-product of imperfect linguistic description, and makes a series of linked (...) proposals for its theoretical formalization.Bas Aarts draws on, and reviews, work in psychology, philosophy and language from Aristotle to Chomsky., and writes clearly on a fascinating and important aspect of language and cognition. His book will appeal to scholars and graduate students of language and syntactic theory in departments of linguistics, philosophy and cognitive science. (shrink)

Byrne has demonstrated that although subjects can make deductively valid inferences of the modus ponens and modus tollens forms, these valid inferences can be suppressed by presenting an appropriate additional premise “If R then Q” with the original conditional “If P then Q”. This suppression effect challenges the assumption of all syntactic theories of conditional reasoning that formal rules of inference such as modus ponens is part of mental logic. This paper argues that both the syntactic and the (...) mental model accounts of the suppression effect are inadequate because they fail to give a principled account of the critical interpretive component involved in reasoning. In contrast, the relative salience model proposed in this study emphasized the centrality of the interpretative processes with the critical component being the relative salience of premises as judged by subjects on the basis of their prior knowledge activated in particular problem situations. Using 120 undergraduates and 120 policemen as subjects, predictions from the model were tested and confirmed in a suppression paradigm and evidence of convergent validity for the construct of salience were obtained. The results cannot be reconciled with either the syntactic view or the mental model view that have dominated theories of conditional reasoning. (shrink)

There has been much interest in the possibility of connectionist models whose representations can be endowed with compositional structure, and a variety of such models have been proposed. These models typically use distributed representations that arise from the functional composition of constituent parts. Functional composition and decomposition alone, however, yield only an implementation of classical symbolic theories. This paper explores the possibility of moving beyond implementation by exploiting holistic structure-sensitive operations on distributed representations. An experiment is performed using Pollack’s Recursive (...) Auto-Associative Memory. RAAM is used to construct distributed representations of syntactically structured sentences. A feed-forward network is then trained to operate directly on these representations, modeling syn- tactic transformations of the represented sentences. Successful training and generalization is obtained, demonstrating that the implicit structure present in these representations can be used for a kind of structure-sensitive processing unique to the connectionist domain. (shrink)

Various laws and theories in the natural and social sciences are presented with a view to discerning the syntactic and semantic characteristics of many idealizations in science. Three different kinds of idealizations are discussed: ideal conditions, ideal cases, and idealized theories. An ideal condition is a formula in which state variables occur, whose existential closure is false, and for which there is another formula that can be constructed out of the original formula such that the existential closure of the (...) new formula is true. An ideal case is a statement which is logically equivalent to a universal conditional which has an ideal condition as its antecedent. And an idealized theory is a set of false universal conditional statements. Alternative syntactic and semantic analyses are viewed and criticized. (shrink)

Noam Chomsky's book on syntactic structures is a serious attempts on the part of a linguist to construct within the tradition of scientific theory-construction ...

The aim of this study is to look at the the syntactic calculus of Bar-Hillel and Lambek, including semantic interpretation, from the point of view of constructive type theory. The syntactic calculus is given a formalization that makes it possible to implement it in a type-theoretical proof editor. Such an implementation combines formal syntax and formal semantics, and makes the type-theoretical tools of automatic and interactive reasoning available in grammar.In the formalization, the use of the dependent types (...) of constructive type theory is essential. Dependent types are already needed in the semantics of ordinary Lambek calculus. But they also suggest some natural extensions of the calculus, which are applied to the treatment of morphosyntactic dependencies and to an analysis of selectional restrictions. Finally, directed dependent function types are introduced, corresponding to the types of constructive type theory. (shrink)

We callsyntactic coding a technique which converts syntactic principles or constraints on representations into grammatical rules which can be implemented in any given rule grammar. In this paper we show that any principle or constraint on output trees formalizable in a certain fragment of dynamic logic over trees can be coded in this sense. This allows to reduce in a mechanical fashion most of the current theories of government and binding into GPSG-style grammars. This will be exemplified with Rizzi'sRelativized (...) Minimality. (shrink)

Epstein et al.'s theory of SLA is heavily dependent on assumptions about both the nature of the acquisition device and the grammar that it produces. This commentary briefly explores the consequences of an alternative set of assumptions, focusing on the possibility that the acquisition device does not include UG and that syntactic representations do not contain functional projections.

We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are (...) nonuniform. (shrink)

We give syntactic characterizations of1. the theories whose categories of models are closed under the formation of pullbacks, and of2. the locally ω-polypresentable categories.A somewhat typical example is the category of algebraically closed fields. Case is proved by classical model-theoretic methods; it solves a problem raised by H. Volger . The solution of case is in the spirit of the ones for the locally ω-presentable and ω-multipresentable cases found by M. Coste and P.T. Johnstone respectively. The problem was raised (...) in the context of Domain Theory by F. Lamarche. (shrink)

We characterize Morita equivalence of theories in the sense of Johnstone in terms of a new syntactic notion of a common definitional extension developed by Barrett and Halvorson for cartesian, regular, coherent, geometric and first-order theories. This provides a purely syntactic characterization of the relation between two theories that have equivalent categories of models naturally in any Grothendieck topos.

Charles S. Peirce’s second trichotomy, which introduces the concepts of iconicity, indexicality, and symbolicity, is probably the only piece of his semiotic that is familiar to visual artists and designers. Although the concepts have found their way into the academy, their utility in the field has been reduced for a couple of reasons. First, as with all of Peirce’s philosophy, his second trichotomy is a concept that is subtle, fluid, and difficult to fully grasp in a sound bite. Second, there (...) has simply been no bridge concept that would form a working connection between that philosophy in its logical guise and the studio practice in the visual arts. The purpose of this article is to remedy that situation by investigating the subtle ways the second trichotomy functions within the visual sphere, and to then suggest a model that can serve to bridge the divide between pure theory and practice. The article makes four main points: first, using examples from visual identity and the graphic arts, it demonstrates how the modes of icon, index, and symbol tend to be blended; second, examples from fine art are used to illustrate how the concept of abstraction, as used in the art world, can only be partially accounted for within the second trichotomy, but can be modeled by supplying a syntactical supplement; third, it expands on and elaborates a previously sketched model, the visual gamut, which makes it possible to classify visual entities according to their position within a map of semantic and syntactic space; finally, it concludes by suggesting ways this enhanced version of the visual gamut model might be used in the analysis of, or creation of, art and design, presenting suggestions for further study. (shrink)

Lidz also ponders the theory of syntactic bootstrapping by asking why it is that learners are considered to retain little of extralinguistic environments (i.e., their observations) during word learning, while being able to retain detailed representations of linguistic context, for example, the multiple syntactic frames in which a verb appears. Lidz argues that learners value syntactic information over extralinguistic context from the beginning of learning, consistent with syntactic bootstrapping as a key device for verb learning.

Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce a syntactic proof of decidability of monadic first-order logic in innex normal form which exploits G3-style sequent calculi. In particular, we introduce a cut- and contraction-free calculus having a (complexity-optimal) terminating proof-search procedure. We also show that this logic can be faithfully embedded in (...) the modal logic T. (shrink)

The workshop took place in Leuven, Belgium, and was hosted by the KU Leuven's Centre for Logic and Analytic Philosophy. The workshop’s theme was the syntactical treatment of (alethic, epistemic, etc.) modalities. The standard view on modalities nowadays is that they are operators. Syntactic theories, however, treat modalities as predicates, and thus have to assume a background theory which is sufficiently strong to encode its own formulas (usually, one works with some system of arithmetic and Gödel coding). As (...) a consequence, such theories suffer from paradoxes of self-referentiality. For example, just as the liar sentence states of itself that it is false, the knower sentence states of itself that it is unknown. Kaplan and Montague (1960: 'A paradox regained', Notre Dame J. Formal Logic, vol. 1, pp. 79–90) famously showed that any sufficiently strong theory that contains the knower is inconsistent. (shrink)

Problems are raised with the global workspace hypothesis of consciousness, for example about exactly how global the workspace needs to be for consciousness to suddenly be present. Problems are also raised with Carruthers’s (2019) version that excludes conceptual (categorical or discrete) representations, and in which phenomenal consciousness can be reduced to physical processes, with instead a different levels of explanation approach to the relation between the brain and the mind advocated. A different theory of phenomenal consciousness is described, in (...) which there is a particular computational system involved in which Higher Order Syntactic Thoughts are used to perform credit assignment on first order thoughts of multiple step plans to correct them by manipulating symbols in a syntactic type of working memory. This provides a good evolutionary reason for the evolution of this kind of computational module, with which, it is proposed, phenomenal consciousness is associated. Some advantages of this HOST approach to phenomenal consciousness are then described with reference not only to the global workspace approach, but also to Higher Order Thought (HOT) theories. It is hypothesized that the HOST system which requires the ability to manipulate first order symbols in working memory might utilize parts of the prefrontal cortex implicated in working memory, and especially the left inferior frontal gyrus, which is involved in language and probably syntactical processing. Overall, the approach advocated is to identify the computations that are linked to consciousness, and to analyze the neural bases of those computations. (shrink)