This groundbreaking book offers a new and compelling perspective on the structure of human language. The fundamental issue it addresses is the proper balance between syntax and semantics, between structure and derivation, and between rule systems and lexicon. It argues that the balance struck by mainstream generative grammar is wrong. It puts forward a new basis for syntactic theory, drawing on a wide range of frameworks, and charts new directions for research. In the past four decades, theories of syntactic (...) structure have become more abstract, and syntactic derivations have become ever more complex. Peter Culicover and Ray Jackendoff trace this development through the history of contemporary syntactic theory, showing how much it has been driven by theory-internal rather than empirical considerations. They develop an alternative that is responsive to linguistic, cognitive, computational, and biological concerns. At the core of this alternative is the Simpler Syntax Hypothesis: the most explanatory syntactic theory is one that imputes the minimum structure necessary to mediate between phonology and meaning. A consequence of this hypothesis is a far richer mapping between syntax and semantics than is generally assumed. Through concrete analyses of numerous grammatical phenomena, some well studied and some new, the authors demonstrate the empirical and conceptual superiority of the Simpler Syntax approach.Simpler Syntax is addressed to linguists of all persuasions. It will also be of central interest to those concerned with language in psychology, human biology, evolution, computational science, and artificial intellige. (shrink)

Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can be represented by triangles. The height (...) at which branching occurs is not prescribed in previous syntactic models, but it is by using the ultrametric matrix. In other words the ultrametric approach gives a complete description of phrase trees, unlike previous approaches. The ambiguity of which branching height to choose, is resolved by postulating that branching occurs at the lowest height available. An ultrametric produces a measure of the complexity of sentences: presumably the complexity of sentences increases as a language is acquired so that this can be tested. All ultrametric triangles are equilateral or isosceles. Here it is shown that \={X} structure implies that there are no equilateral triangles. Restricting attention to simple syntax a minimum ultrametric distance between lexical categories is calculated. A matrix constructed from this ultrametric distance is shown to be different than the matrix obtained from features. It is shown that the definition of {\sc c-command} can be replaced by an equivalent ultrametric definition. The new definition invokes a minimum distance between nodes and this is more aesthetically satisfying than previous varieties of definitions. From the new definition of {\sc c-command} follows a new definition of of the central notion in syntax namely {\sc government}. (shrink)

Diversion from the syntactic norm, as manifested in the absence of otherwise expected lexical and syntactic material, has been extensively studied in theoretical syntax. Such modifications are observed in headlines, telegrams, labels, and other specialized contexts, collectively referred to as “reduced” registers. Focusing on search queries, a type of reduced register, I propose that they are generated by a simpler grammar that lacks a full-fledged syntactic component. The analysis is couched in the Parallel Architecture framework, whose assumption of (...) relative independence of linguistic components—their parallelism—and the rejection of syntactocentrism are essential to explain properties of queries. (shrink)

There is considerable evidence that listeners’ understanding of a spoken sentence need not always follow from a full analysis of the words and syntax of the utterance. Rather, listeners may instead conduct a superficial analysis, sampling some words and using presumed plausibility to arrive at an understanding of the sentence meaning. Because this latter strategy occurs more often for sentences with complex syntax that place a heavier processing burden on the listener than sentences with simpler syntax, (...) shallow processing may represent a resource conserving strategy reflected in reduced processing effort. This factor may be even more important for older adults who as a group are known to have more limited working memory resources. In the present experiment, 40 older adults and 20 younger adults were tested for comprehension of plausible and implausible sentences with a simpler subject-relative embedded clause structure or a more complex object-relative embedded clause structure. Dilation of the pupil of the eye was recorded as an index of processing effort. Results confirmed greater comprehension accuracy for plausible than implausible sentences, and for sentences with simpler than more complex syntax, with both effects amplified for the older adults. Analysis of peak pupil dilations for implausible sentences revealed a complex three-way interaction between age, syntactic complexity, and plausibility. Results are discussed in terms of models of sentence comprehension, and pupillometry as an index of intentional task engagement. (shrink)

It has become fashionable recently to speak of linguistic inquiry as biolinguistics, an attempt to frame questions of linguistic theory in a biological context. The Minimalist Program (Chomsky 1995, 2001) is of course the most prominent stream of research in this paradigm. However, an alternative stream within the paradigm, the Parallel Architecture, has been developing in my own work over the past 30 years; it includes two important subcomponents, Conceptual Structure and Simpler Syntax (Jackendoff 2002, 2007b; Culicover and (...) Jackendoff 2005). The present article will show how the Parallel Architecture is in many ways a more promising realization of biolinguistic goals than the Minimalist Program, and that it is more conducive to integration with both the rest of linguistic theory and the rest of cognitive science. (shrink)

This article explores the role of text cohesion in the comprehension and production of text. While most discourse models have considered the roles of the text features and the reader, the crucial role of writers’ epistemic stance has not been widely considered. The thesis explored here is that levels of cohesion emerge in text based on the epistemic stance of the author relative to the reader. Evidence is provided indicating that text genres show compensatory relationships between different features related to (...) text difficulty. For example, while science texts have more challenging words than do narratives, they tend to have higher cohesion and simpler syntax. These text profiles indicate that skilled writers have an awareness of readers’ needs. By contrast, less skilled writers seem to have less sensitivity to the interplay between textual dimensions and less audience awareness. For example, evidence is reviewed showing that more proficient essays are characterized by lower cohesion than less proficient essays: less skilled writers tend to use more cohesive cues than do more skilled writers. To the extent that an author understands the readers’ needs, the author has a more successful epistemic stance toward the reader. This stance is partially evidenced by the crucial role of cohesion in text comprehension and writing. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates (...) the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

In Gradient Acceptability and Linguistic Theory, Elaine J. Francis examines a challenging problem at the intersection of theoretical linguistics and the psychology of language: the problem of interpreting gradient judgments of sentence acceptability in relation to theories of grammatical knowledge. This problem is important because acceptability judgments constitute the primary source of data on which such theories have been built, despite being susceptible to various extra-grammatical factors. Through a review of experimental and corpus-based research on a variety of syntactic phenomena (...) and an in-depth examination of two case studies, Francis argues for two main positions. The first is that converging evidence from online comprehension tasks, elicited production tasks, and corpora of naturally-occurring discourse can help determine the sources of variation in acceptability judgments and narrow down the range of plausible theoretical interpretations. The second is that the interpretation of judgment data depends crucially on one's theoretical commitments and assumptions, especially with respect to the nature of the syntax-semantics interface and the choice of either a categorical or a gradient notion of grammaticality. The theoretical frameworks considered in this book include derivational theories (e.g. Minimalism, Principles and Parameters), constraint-based theories (e.g. Sign-based Construction Grammar, Simpler Syntax), competition-based theories (e.g. Stochastic Optimality Theory, Decathlon Model), and usage-based approaches. While showing that acceptability judgment data are typically compatible with the assumptions of various theoretical frameworks, Francis argues that some gradient phenomena are best captured within frameworks that permit soft constraints-non-categorical grammatical constraints that encode the conventional preferences of language users. (shrink)

This book examines the hypothesis of "direct compositionality", which requires that semantic interpretation proceed in tandem with syntactic combination. Although associated with the dominant view in formal semantics of the 1970s and 1980s, the feasibility of direct compositionality remained unsettled, and more recently the discussion as to whether or not this view can be maintained has receded. The syntax-semantics interaction is now often seen as a process in which the syntax builds representations which, at the abstract level of (...) logical form, are sent for interpretation to the semantics component of the language faculty. In the first extended discussion of the hypothesis of direct compositionality for twenty years, this book considers whether its abandonment might have been premature and whether in fact direct compositionality is not after all a simpler and more effective conception of the grammar than the conventional account of the syntax-semantics interface in generative grammar. It contains contributions from both sides of the debate, locates the debate in the setting of a variety of formal theories, and draws on examples from a range of languages and a range of empirical phenomena. (shrink)

In the Bayesian framework, a language learner should seek a grammar that explains observed data well and is also a priori probable. This paper proposes such a measure of prior probability. Indeed it develops a full statistical framework for lexicalized syntax. The learner's job is to discover the system of probabilistic transformations (often called lexical redundancy rules) that underlies the patterns of regular and irregular syntactic constructions listed in the lexicon. Specifically, the learner discovers what transformations apply in the (...) language, how often they apply, and in what contexts. It considers simpler systems of transformations to be more probable a priori. Experiments show that the learned transformations are more effective than previous statistical models at predicting the probabilities of lexical entries, especially those for which the learner had no direct evidence. (shrink)

We started from the fact that type theory, in the way it was implemented in IL, makes it costly to deal with nominalization processes. We have also argued that the type hierarchy as such doesn't play any real role in a grammar; the classification it provides for different semantic objects is already contained, in some sense, in the categorial structure of the grammar itself. So, on the basis of a theory of properties (Cocchiarella's HST*) we have tried to build a (...) language (IL*) whose syntax does not contain any explicit typing of expressions. Some of the consequences that this move brings about in the overall organization of the grammar can be summarized as follows:it allows for a simple treatment of infinitives, gerunds, factives and, in general, all those phenomena which might be analyzed as cases of nominalization;it provides a simpler and more constrained semantics than IL, since IL* doesn't go beyond second order, and its non-modal basis is axiomatizable;it suggests that the role of logical form in a theory of grammar could be that of a family of theories of semantic objects;it eliminates the extrinsic limitations of a type hierarchy on the choice of the system of syntactic categories.I think that it is interesting to notice how having an explicit semantic framework helps to provide a sense in which it is legitimate to regard the syntax of a language as ‘autonomous’. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better (...) focus. Also, the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better (...) focus. Also, the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ‘diagonal argument’ and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Pretopologies were introduced in [S], and there shown to give a complete semantics for a propositional sequent calculus BL, here called basic linear logic, as well as for its extensions by structural rules,ex falso quodlibetor double negation. Immediately after Logic Colloquium '88, a conversation with Per Martin-Löf helped me to see how the pretopology semantics should be extended to predicate logic; the result now is a simple and fully constructive completeness proof for first order BL and virtually all its extensions, (...) including the usual, or structured, intuitionistic and classical logic. Such a proof clearly illustrates the fact that stronger set-theoretic principles and classical metalogic are necessary only when completeness is sought with respect to a special class of models, such as the usual two-valued models.To make the paper self-contained, I briefly review in §1 the definition of pretopologies; §2 deals with syntax and §3 with semantics. The completeness proof in §4, though similar in structure, is sensibly simpler than that in [S], and this is why it is given in detail. In §5 it is shown how little is needed to obtain completeness for extensions of BL in the same language. Finally, in §6 connections with proofs with respect to more traditional semantics are briefly investigated, and some open problems are put forward. (shrink)

The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in (...) the speciesand develops in children by a rather direct adaptation of a moreprimitive apparatus for planning purposive action in the world bycomposing affordances of objects or tools. Theknowledge representation that underlies such planning is alsoreflected in the natural language semantics of tense, mood, andaspect, which the paper begins by arguing provides the key tounderstanding both systems. (shrink)

Glue has evolved significantly during the past decade. Although the recent move to type-theoretic notation was a step in the right direction, basing the current Glue system on System F (second-order λ-calculus) was an unfortunate choice. An extension to two sorts and ad hoc restrictions were necessary to avoid inappropriate composition of meanings. As a result, the current system is unnecessarily complicated. A first-order Glue system is hereby proposed as its replacement. This new system is not only simpler and (...) more elegant, as it captures the exact requirements for Glue-style compositionality without ad hoc improvisations, but it also turns out to be more powerful than the current two-sorted (pseudo-) second-order system. First-order Glue supports all existing Glue analyses as well as more elegant alternatives. It also supports new, more demanding analyses. (shrink)

According to Richard Gaskin, The Problem of the Unity of the Proposition is to explain 'what distinguishes propositions from mere aggregates, and enables them to be true or false' (18).1 This problem arises from the simpler problem of distinguishing a sentence from a 'mere list' of words (1). The unity of a sentence is due to its syntax, a level of structure which is not apparent in the string of words which are uttered or written, and which distinguishes (...) a sentence from a list. However, if one holds that sentences express propositions that are composed of objects which serve as semantic referents of its words, then the problem of unity becomes one about the metaphysics of propositions. What constitutes a .. (shrink)

Children show a remarkable degree of consistency in learning some words earlier than others. What patterns of word usage predict variations among words in age of acquisition? We use distributional analysis of a naturalistic corpus of child‐directed speech to create quantitative features representing natural variability in word contexts. We evaluate two sets of features: One set is generated from the distribution of words into frames defined by the two adjacent words. These features primarily encode syntactic aspects of word usage. The (...) other set is generated from non‐adjacent co‐occurrences between words. These features encode complementary thematic aspects of word usage. Regression models using these distributional features to predict age of acquisition of 656 early‐acquired English words indicate that both types of features improve predictions over simpler models based on frequency and appearance in salient or simple utterance contexts. Syntactic features were stronger predictors of children's production than comprehension, whereas thematic features were stronger predictors of comprehension. Overall, earlier acquisition was predicted by features representing frames that select for nouns and verbs, and by thematic content related to food and face‐to‐face play topics; later acquisition was predicted by features representing frames that select for pronouns and question words, and by content related to narratives and object play. (shrink)

This article explores some fundamental issues of definition-based lexical semantic research through a critique of the Natural Semantic Metalanguage (NSM) theory of semantic and grammatical description (Wierzbicka 1996, Semantics. Primes and Universals, Oxford University Press, Oxford). NSM is criticized for attaching excessive importance to explanatory definition, for its adoption of the reductive requirement that a definiens be simpler than a definiendum, and for its use of ‘canonical contexts’ to disambiguate meaning. The principle of substitutability, according to which a definition (...) of a term is accepted if it can be substituted for the term itself, is also critically examined, and the theory’s use of syntactic phenomena as evidence for polysemy is shown to be inconsistent. Finally, suggestions that NSM may be a valid analytical method for only a subpart of the lexicon are rejected. (shrink)

It is commonly argued that the rules of language, as distinct from its semantic features, are the characteristics which most clearly distinguish language from the communication systems of other species. A number of linguists (e.g., Chomsky 1972, 1980; Pinker 1994) have suggested that the universal features of grammar (UG) are unique human adaptations showing no evolutionary continuities with any other species. However, recent summaries of the substantive features of UG are quite remarkable in the very general nature of the features (...) proposed. While the syntax of any given language can be quite complex, the specific rules vary so much between languages that the truly universal (i.e. innate) aspects of grammar are not complex at all. In fact, these features most closely resemble a set of general descriptions of our richly complex semantic cognition, and not a list of specific rules. General principles of the evolutionary process suggest that syntax is more properly understood as an emergent characteristic of the explosion of semantic complexity that occurred during hominid evolution. It is argued that grammatical rules used in given languages are likely to be simply conventionalized, invented features of language, and not the result of an innate, grammar-specific module. The grammatical and syntactic regularities that are found across languages occur simply because all languages attempt to communicate the same sorts of semantic information. (shrink)

One might think that money pumps directed at agents with cyclic preferences can be avoided by foresight. This view was challenged two decades ago by the discovery of a money pump with foresight, which works against agents who use backward induction. But backward induction implausibly assumes that the agent would act rationally and retain her trust in her future rationality even at choice nodes that could only be reached if she were to act irrationally. This worry does not apply to (...) BI-terminating decision problems, where at each choice node backward induction prescribes a move that terminates further action. For BI-terminating decision problems, it is enough to assume that rationality and trust in rationality are retained at choice nodes reachable by rational moves. The old money pump with foresight was not BI-terminating. In this paper, we present a new money pump with foresight, one that is both BI-terminating and considerably simpler. (shrink)

The rapidly expanding degrowth literature has focused predominantly on the case for degrowth and its goals and much less attention has been given to how it might be achieved. The following discussion is not concerned to review the current state of the discussion and refers to it only in order to develop a case for a particular approach to degrowth strategy, that is, one deriving from the simpler way perspective on the global predicament. This focuses on the alarming and (...) poorly recognised extent to which global sustainability limits have been exceeded. When this is understood it is clear that extremely radical solutions must be sought. There has to be transition to far simpler lifestyles and systems. This requires abandoning various fundamental structures and taken-for-granted assumptions and ways. Thus it will be argued that numerous degrowth strategies are inappropriate, including attempting to reform existing governmental policies and adopting eco-socialist goals and means. This perspective on the situation has coercive implications for viable strategy. One major implication of the simpler way perspective is that ends and means must be anarchist. (shrink)

Proponents of the language of thought (LOT) thesis are realists when it comes to syntactically structured representations, and must defend their view against instrumentalists, who would claim that syntactic structures may be useful in describing cognition, but have no more causal powers in governing cognition than do the equations of physics in guiding the planets. This paper explores what it will take to provide an argument for LOT that can defend its conclusion from instrumentalism. I illustrate a difficulty in this (...) project by discussing arguments for LOT put forward by Horgan and Tienson. When their evidence is viewed in the light of results in connectionist research, it is hard to see how a realist conception of syntax can be formulated and defended. (shrink)

Recently several philosophers of science have proposed what has come to be known as the semantic account of scientific theories. It is presented as an improvement on the positivist account, which is now called the syntactic account of scientific theories. Bas van Fraassen claims that the syntactic account does not give a satisfactory definition of "empirical adequacy" and "empirical equivalence". He contends that his own semantic account does define these notations acceptably, through the concept of "embeddability", a concept which he (...) claims cannot be defined syntactically. Here, I define a syntactic relation which corresponds to the semantic relation of "embeddability". I suggest that the critical differences between the positivist account and van Fraassen's account have nothing to do with the distinction between semantics and syntax. (shrink)

Jensen's remarkable Coding Theorem asserts that the universe can be included in L[R] for some real R, via class forcing. The purpose of this article is to present a simpler proof of Jensen's theorem, obtained by implementing some changes first developed for the theory of Strong Coding. In particular, our proof avoids the split into cases, according to whether or not 0# exists in the ground model.

This book presents a formal and philosophical analysis of language syntax. It refers to some ideas of E.Husserl and G. Frege, to S. Leśniewski's theory of syntactic categories and K. Ajdukiewicz's conception of formal grammar, also to Ch.S. Pierces's distinction between tokens (concrete linguistic entities) and types (ideal linguistic entities) and to A.A. Markov's theory of algorithms. The central aim of the book is - in the spirit of these ideas - to provide both strict yet comprehensive lectures on (...) two axiomatic theories of languages (grammars) irrespective of specific structure of their expression and the notation used in them. The main feature of these theories are that definitions of well-formed expression allow the formulation of algorithms for the examination of syntactic correctness of expressions and that their formalizations are bi-level, in reference to opposite philosophical orientations: nominalistic and idealistic. The theoretical considerations in the book speak in favour of the former. The book contains a translation of the basic contents of the book in Polish "Teorie języków syntaktycznie kategorialnych ("Theories of syntactically categorial languages"), PWN, Warszawa-Wrocław 1985, and extensive Introduction and Final Remarks. In Introduction are discussed the main assumptions, objectives and conditionings of presented theories and intuitive foundations of these theories. Final Remarks are connected with the subject-matter of the book and the ability to build syntax theories in the opposition spirit, because of the Platonic approach to language syntax. -/- . (shrink)

The discrepancy between syntax and semantics is a painstaking issue that hinders a better comprehension of the underlying neuronal processes in the human brain. In order to tackle the issue, we at first describe a striking correlation between Wittgenstein's Tractatus, that assesses the syntactic relationships between language and world, and Perlovsky's joint language-cognitive computational model, that assesses the semantic relationships between emotions and “knowledge instinct”. Once established a correlation between a purely logical approach to the language and computable psychological (...) activities, we aim to find the neural correlates of syntax and semantics in the human brain. Starting from topological arguments, we suggest that the semantic properties of a proposition are processed in higher brain's functional dimensions than the syntactic ones. In a fully reversible process, the syntactic elements embedded in Broca's area project into multiple scattered semantic cortical zones. The presence of higher functional dimensions gives rise to the increase in informational content that takes place in semantic expressions. Therefore, diverse features of human language and cognitive world can be assessed in terms of both the logic armor described by the Tractatus, and the neurocomputational techniques at hand. One of our motivations is to build a neuro-computational framework able to provide a feasible explanation for brain's semantic processing, in preparation for novel computers with nodes built into higher dimensions. (shrink)

Linear Syntax makes a case for a critical reassessment of the wide-spread view that syntax can be reduced to tree structures. It argues that a crucial part of the description of German clausal syntax should instead be based on concepts that are defined in terms of linear order. By connecting the descriptive tools of modern phrase-structure grammar with traditional descriptive scholarship, Andreas Kathol offers a new perspective on many long-standing problems in syntactic theory.

This collection covers the fundamental concepts and analytic tools of generative transformational syntax of the last half century, from Chomsky's Morphophonemics of Modern Hebrew (1951) to the present day. It makes available, in one place, key published material on important areas such as phrase structure, transformations, and conditions on rules and representations. Presenting articles by leading contributors to the field such as Baltin, Bokovic, Bresnan, Chomsky, Cinque, Emonds, Freidin, Hale, Higginbotham, Huang, Kayne, Lasnik, McCawley, Pollock, Postal, Reinhart, Rizzi, Ross, (...) Stowell, Torrego, Travis, Vergnaud, and Williams, this fascinating collection also includes a general introduction by the editors and an index, thus providing a comprehensive single reference resource for students and researchers alike. (shrink)

Minimalist Syntax is a collection of essays that analyze major syntactic processes in a variety of languages, all unified by their perspective from within the Minimalist Program. Introduces important concepts in the Minimalist approach to syntactic theory. Emphasizes empirical consequences of the Minimalist approach through innovative analyses. Highlights the importance of Minimalist syntax in explaining features of natural languages. Includes contributions from leading syntacticians.

Mathematical tools of category theory are employed to study the syntax-semantics problem in the philosophy of mathematics. Every category has its internal logic, and if this logic is sufficiently rich, a given category provides semantics for a certain formal theory and, vice versa, for each formal theory one can construct a category, providing a semantics for it. There exists a pair of adjoint functors, Lang and Syn, between a category and a category of theories. These functors describe, in a (...) formal way, mutual dependencies between the syntactical structure of a formal theory and the internal logic of its semantics. Bell’s program to regard the world of topoi as the univers de discoursof mathematics and as a tool of its local interpretation, is extended to a collection of categories and all functors between them, called “categorical field”. This informal idea serves to study the interaction between syntax and semantics of mathematical theories, in an analogy to functors Lang and Syn. With the help of these concepts, the role of Gödel-like limitations in the categorical field is briefly discussed. Some suggestions are made concerning the syntax-semantics interaction as far as physical theories are concerned. (shrink)

W. Labov's & T. Labov's findings concerning their child grammar acquisition ("Learning the Syntax of Questions" in Recent Advances in the Psychology of Language, Campbell, R. & Smith, P. Eds, New York: Plenum Press, 1978) are interpreted in terms of different semantics of why & other wh-questions. Z. Dubiel.

A common way of clarifying the notion of ground is by way of examples from logic: thus a conjunction is grounded in both of its conjuncts; a disjunction in each of its true disjuncts; a double negation in its negatum; and so on. Developing a semantics that accommodates these logical examples in full generality turned out to be a difficult task. In this paper, I develop a novel approach that substitutes fusion for a more discerning relation of combination between states (...) in the framework of truth-maker semantics. (shrink)

Cedric Boeckx focuses on two core components of grammar: phrase structure and locality.

A central debate in the cognitive sciences surrounds the nature of adult speakers' linguistic representations: Are they purely syntactic (a traditional and widely held view; e.g., Branigan & Pickering, ), or are they semantically structured? A recent study (Ambridge, Bidgood, Pine, Rowland, & Freudenthal, ) found support for the latter view, showing that adults' acceptability judgments of passive sentences were significantly predicted by independent semantic “affectedness” ratings designed to capture the putative semantics of the construction (e.g., Bob was pushed by (...) Wendy is rated as more acceptable than Bob was liked by Wendy, as Bob is more affected in the former). However, because English lacks a separate topicalization construction which provides an alternative means of highlighting the patient (e.g., BOB, Wendy kicked), these findings have a possible alternative explanation: that highly affected entities are more likely to be topicalized, rather than passivized per se. Here we show that, in fact, Ambridge et al.'s () finding replicates in Indonesian, a language with a topicalization construction. The present study therefore provides particularly compelling evidence that grammatical representations have semantic structure. (shrink)

Split constructions are widespread in natural languages. The separation of the semantic restriction of a quantifier from that quantifier is a typical example of such a construction. This study addresses the problem that such discontinuous strings exhibit--namely, a number of locality constraints, including intervention effects. These are shown to follow from the interaction of a minimalist syntax with a semantics that directly assigns a model-theoretic interpretation to syntactic logical forms. The approach is shown to have wide empirical coverage and (...) a conceptual simplicity. The book will be of interest to scholars and advanced students of syntax and semantics. (shrink)

In this paper, I argue that, other things being equal, simpler arguments are better. In other words, I argue that, other things being equal, it is rational to prefer simpler arguments over less simple ones. I sketch three arguments in support of this claim: an argument from mathematical proofs, an argument from scientific theories, and an argument from the conjunction rule.

I critically examine some provocative arguments that John Searle presents in his book The Rediscovery of Mind to support the claim that the syntactic states of a classical computational system are "observer relative" or "mind dependent" or otherwise less than fully and objectively real. I begin by explaining how this claim differs from Searle's earlier and more well-known claim that the physical states of a machine, including the syntactic states, are insufficient to determine its semantics. In contrast, his more recent (...) claim concerns the syntax, in particular, whether a machine actually has symbols to underlie its semantics. I then present and respond to a number of arguments that Searle offers to support this claim, including whether machine symbols are observer relative because the assignment of syntax is arbitrary, or linked to universal realizability, or linked to the sub-personal interpretive acts of a homunculus, or linked to a person's consciousness. I conclude that a realist about the computational model need not be troubled by such arguments. Their key premises need further support. (shrink)

Language—often said to set human beings apart from other animals—has resisted explanation in terms of evolution. Language has—among others—two fundamental and distinctive features: syntax and the ability to express non-present actions and events. We suggest that the relation between this representation (of non-present action) and syntax can be analyzed as a relation between a function and a structure to fulfill this function. The strategy of the paper is to ask if there is any evidence of pre-linguistic communication that (...) fulfills the function of communicating an absent action. We identify a structural similarity between understanding indexes of past actions of conspecifics (who did what to whom) and one of the simplest and most paradigmatic linguistic syntactic patterns – that of the simple transitive sentence. When a human being infers past events from an index (i.e., a trace, the conditions of a conspecifics or an animal, a constellation or an object) the interpreters’ comprehension must rely on concepts similar in structure and function to the ‘thematic roles’ believed to underpin the comprehension of linguistic syntax: in his or her mind the idea of a past action or event emerges along with thematic role-like concepts; in the case of the presentation of, e.g., a hunting trophy, the presenter could be understood to be an agent (subject) and the trophy a patient (direct object), while the past action killed is implied by the condition of the object and its possession by the presenter. We discuss whether both the presentation of a trophy and linguistic syntax might have emerged independently while having the same function (to represent a past action) or whether the presentation of an index of a deed could constitute a precursor of language. Both possibilities shed new light on early, and maybe first, language use. (shrink)

The aim of this paper is to provide context for and historical exegesis of Carnap’s alleged move from syntax to semantics. The Orthodox Received View states that there was a radical break, while the Unorthodox Received View holds that Carnap’s syntactical period already had many significant semantical elements. I will argue that both of them are partly right, both of them contain a kernel of truth: it is true that Carnap’s semantical period started after his Logical Syntax of (...) Language — in one sense of semantics. But it is also true that Carnap had already included semantical ideas in LSL: though not in the sense that URV maintains. This latter sense of semantics is related to what is usually called inferentialism, and by getting a clearer picture of Carnap’s original aims, context, and concept-usage, we might be in a better position to approach his alleged inferentialism. (shrink)

1) Workbook Exercises (WBE): This workbook contains enrichment and additional practice exercises that go along with each chapter in the book. You can check your own answers against the answer key at the end of each chapter. 2) General Problem Sets (GPS) (in the main textbook): You can do the general problem sets at the end of each chapter in the main textbook. I'm sorry but the answers to these questions are not made available to students. The reason for this (...) is that many instructors use these problem sets as a means for student evaluation. Providing the answers to these would be counterproductive! If you are using the textbook for self-study or your instructor isn't using the problem sets for evaluation, I encourage you to find a linguistics professor or linguistics (post-)graduate student who can help you with determining if you are on the right track with these. 3)If you are an advanced student or a graduate student, I strongly encourage you to try the Challenge Problem Sets (CPS) at the end of each chapter in the main textbook. These problem sets are designed to make you think critically about the presentation in the text and to think about alternatives and problems that exist for the theory. Again the answers to these cannot be distributed to students. (shrink)