This paper argues that multiple coordinations like tall, thin and happy are interpreted in a “flat” iterative process, but using “nested” recursive application of binary coordination operators in the compositional meaning derivation. Ample motivation for flat interpretation is shown by contrasting such coordinations with nested, syntactically ambiguous, coordinate structures like tall and thin and happy. However, new evidence coming from type shifting and predicate distribution with verb phrases show motivation for an independent hierarchical ingredient in the compositional semantics of (...) multiple coordination with no parallel hierarchy in the syntax. This establishes a contrast between operations at the syntax-semantics interface and compositional semantic mechanisms. At the same time, such evidence motivate the treatment of operations like type shifting and distributivity as purely semantic. (shrink)

This paper looks at an approach to Principle C in which the disjoint reference effect triggered by definite description arises because there is a preference for using bound pronouns in those cases. Philippe Schlenker has linked this approach to the idea that the NP part of a definite description should be the most minimal in content relative to a certain communicative goal. On a popular view about what the syntax and semantics of a personal pronoun is, that should (...) have the effect of favoring a pronoun over a definite description. This paper shows how that can be made the source of “Vehicle Change,” an effect in ellipsis contexts in which definite descriptions seem to behave like pronouns. It requires, however, a way of distinguishing bound pronouns from non-bound pronouns, and the paper makes a proposal about how these two kinds of pronouns can be distinguished in the way needed. (shrink)

This paper examines the stage-level/individual-level hypothesis (Kratzer 1989; Diesing 1988) from the point of view of modern Scottish Gaelic. This language exhibits two syntactically distinct predicational structures, and in particular, two distinct subject positions distinguishable on the basis of word order. While the distinction between the two positions can be shown to support the stage/individual-level hypothesis in one sense, the picture is muddied by the fact that many habitual or ‘characteristic’ sentences seem to be formed according to the stage-level subject (...) construction type.The solution proposed relies on two novel elements. First, it distinguishes the classical Davisonian event variable from the Kratzerian one hypothesized to be the hallmark of the stage-level sentence type. And secondly, it makes a strict logical separation between two types of generics: generics proper, which involve quantifying over an individual variable; and habituals, which only involve quantification over an event variable. These are represented by two distinct logical types which may nevertheless give rise to similar truth conditions in context.I show that the analysis can be made to account for tense interpretation, the scope of genericity, and the facts of syntactic complementation in Scottish Gaelic. To the extent that the solution is successful, it is evidence for a quite direct mapping between syntactic and semantic representations and for the important intuitions behind the initial Kratzer/Diesing stage vs. individual-level hypothesis. (shrink)

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject which begins (...) when numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

This paper addresses one of the fundamental problems of the philosophy of information: How does semantic information emerge within the underlying dynamics of the world?—the dynamical semantic information problem. It suggests that the canonical approach to semantic information that defines data before meaning and meaning before use is inadequate for pre-cognitive information media. Instead, we should follow a pragmatic approach to information where one defines the notion of information system as a special kind of purposeful system emerging within the underlying (...) dynamics of the world and define semantic information as the currency of the system. In this way, systems operating with semantic information can be viewed as patterns in the dynamics—semantic information is a dynamical system phenomenon of highly organized systems. In the simplest information systems, the syntax, semantics, and pragmatics of the information medium are co-defined. It proposes a new more general theory of information semantics that focuses on the interface role of the information states in the information system—the interface theory of meaning. Finally, with the new framework, it addresses the debate between weakly semantic and strongly semantic accounts of information, siding with the strongly semantic view because the pragmatic account developed here is a better generalization of it. (shrink)

Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation in a compositional fashion. For example, *No whale flies* is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on (...) semantic knowledge. For example, *No whale flies* entails *No blue whale flies* and *No whale flies high*. (C) The wellformedness of a variety of syntactic constructions depends on morpho-syntactic features with a semantic flavor. For example, *Under no circumstances would a whale fly* is grammatical, whereas *Under some circumstances would a whale fly* is not, corresponding to the downward vs. upward monotonic features of the preposed phrases. It is usually assumed that once a compositional model theoretic interpretation is assigned to all expressions, its fruits can be freely enjoyed by inferencing and syntax. What place might proof theory have in this picture? (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)

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.

Semantic contextualism is a view about the meanings of utterances. The relevant notion of meaning is that of what is said by an utterance, as it is sometimes put, of the content of the utterance. Semantic contextualism (which I will henceforth simply label “contextualism”) holds that the content of an utterance is shaped in far-reaching and unobvious ways by the circumstances, the context, in which it is uttered. Two utterances of the same sentence might vary in content as a result (...) of differences in their respective contexts that do not map onto any obvious indexical elements in the sentence. (shrink)

Vols. for 1972- include papers from the Summer Linguistics Conference, University of California, Santa Cruz.

Vols. for 1972- include papers from the Summer Linguistics Conference, University of California, Santa Cruz.

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 we study the logic , which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic is the strongest for which Heyting-valued completeness (...) is known. Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

In this paper we study the logic $\mathcal{L}^\lambda_{\omega\omega}$, which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of $\mathcal{L}^\lambda_{\omega\omega}$ with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic $\mathcal{L}^\lambda_{\omega\omega}$ is the strongest for which (...) Heyting-valued completeness is known. Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

In this paper we study the logic $\mathcal{L}^\lambda_{\omega\omega}$, which is first-order logic extended by quantification over functions . We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of $\mathcal{L}^\lambda_{\omega\omega}$ with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic $\mathcal{L}^\lambda_{\omega\omega}$ is the strongest for which Heyting-valued completeness is (...) known. Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

Following Aristotle (who himself was following Parmenides), philosophers have appealed to the distributional reflexes of expressions in determining their semantic status, and ultimately, the nature of the extra-linguistic world. This methodology has been practiced throughout the history of philosophy; it was clarified and made popular by the likes of Zeno Vendler and J.L. Austin, and is realized today in the toolbox of linguistically minded philosophers. Studying the syntax of natural language was fueled by the belief that there is a (...) conceptually tight connection between the syntax of our language and its semantics, and the belief that there is a similarly tight connection between the semantics of our language and metaphysical facts about the world. We are less confident than our colleagues about the relation syntax has to semantics and metaphysics. In particular, we do not believe that the current status of theoretical syntax (or semantics or metaphysics) provides much support for either of the above two beliefs. We will illustrate our view with a case study regarding the status of complex demonstratives. We will show that a recent and particularly subtle syntactically based argument for the semantic/metaphysical status of complex demonstratives does not in fact show what semantic category complex demonstratives are in. Since the devil always lies in the details, we cannot extract a general method for undermining any argument that is similar in spirit. However, our case study will act as a cautionary note against any theory that attempts to derive important philosophical consequences from the shapes of sentences. (shrink)

The aim of this study was to test the claim that languages universally employ morphosyntactic marking to differentiate events of more‐ versus less‐direct causation, preferring to mark them with less‐ and more‐ overt marking, respectively (e.g., Somebody broke the window vs. Somebody MADE the window break; *Somebody cried the boy vs. Somebody MADE the boy cry). To this end, we investigated whether a recent computational model which learns to predict speakers’ by‐verb relative preference for the two causatives in English, Hebrew, (...) Hindi, Japanese, and K'iche’ Mayan is able to generalize to a sixth language on which it has never been trained: Balinese. Judgments of the relative acceptability of the less‐ and more‐transparent causative forms of 60 verbs were collected from 48 native‐speaking Balinese adults. The composite crosslinguistic computational model was able to predict these judgments, not only for verbs that it had seen, but also––in a split‐half validation test––to verbs that it had never seen in any language. A “random‐semantics” model showed only a relatively small decrement in performance with seen verbs, whose behavior can be learned on a verb‐by‐verb basis, but achieved zero correlation with human judgments when generalizing to unseen verbs. Together, these findings suggest that Balinese conceptualizes directness of causation in a similar way to these unrelated languages, and therefore constitute support for the view that the distinction between more‐ versus less‐distinct causation constitutes a morphosyntactic universal. (shrink)

The relation between linguistics and logic has been discussed in a, recent paper by Bar-Hillel} where it is argued that a disregard for workin logical syntax and semantics has caused linguists to limit themselves too narrowly in their inquiries, and to fall into several errors. In particular, Bar-Hillel asserts, they have attempted to derive relations of synonymy and so-called ‘rules of transfOI`1'Il8.tiOH,, such as the active—pussive relation, from distributional studies alone, and they have hesitated to rely on considerations (...) of meaning in linguistic analysis. No one can quarrel with the suggestion that linguists interest themselves in meaning or transformation rules, but the relevance of logical syntax and semsmticsz (at least as we now know them) to this study is very dubious. I think that a closer investigation of the assumptions and concems of logical syntax and semantics will show that the hope of applying the results which have been achieved in these fields to the solution of linguistic problems is illusory. (shrink)

[p. 45] I wish to represent a certain subclass of nonconventional implicatures, which I shall call CONVERSATIONAL implicatures, as being essentially connected with certain general features of discourse; so my next step is to try to say what these features are. The following may provide a first approximation to a general principle. Our talk exchanges do not normally consist of a succession of disconnected remarks, and would not be rational if they did. They are characteristically, to some degree at least, (...) cooperative efforts; and each participant recognizes in them, to some extent, a common purpose or set of purposes, or at least a mutually accepted direction. This purpose or direction may be fixed from the start (e.g., by an initial proposal of a question for discussion), or it may evolve during the exchange; it may be fairly definite, or it may be so indefinite as to leave very considerable latitude to the participants (as in a casual conversation). But at each stage, SOME possible conversational moves would be excluded as conversationally unsuitable. We might then formulate a rough general principle which participants will be expected (ceteris paribus) to observe, namely: Make your conversational contribution such as is required, at the stage at which it occurs, by the accepted purpose or direction of the talk exchange in which you are engaged. One might label this the COOPERATIVE PRINCIPLE. On the assumption that some such general principle as this is acceptable, one may perhaps distinguish four categories under one or another of which will fall certain more specific maxims and submaxims, the following of which will, in general, yield results in accordance with the Cooperative Principle. Echoing Kant, I call these categories Quantity, Quality, Relation, and Manner. The category of QUANTITY relates to the quantity of information to be provided, and under it fall the following maxims. (shrink)

Cappelen and Lepore's "Uarieties of Quotation" builds on Davidson (1968, 1979) to give an account of mixed quotation. The result is a hach paper, which introduces interesting data and raises many thought-provoking questions. Given this, I can't possibly discuss the paper in its entirety. Instead, I intend simply to paraphrase their position, develop it a little, and then raise a few concerns.

Following Aristotle (who himself was following Parmenides), philosophers have appealed to the distributional reflexes of expressions in determining their semantic status, and ultimately, the nature of the extra-linguistic world. This methodology has been practiced throughout the history of philosophy; it was clarified and made popular by the likes of Zeno Vendler and J.L. Austin, and is realized today in the toolbox of linguistically minded philosophers. Studying the syntax of natural language was fueled by the belief that there is a (...) conceptually tight connection between the syntax of our language and its semantics, and the belief that there is a similarly tight connection between the semantics of our language and metaphysical facts about the world. We are less confident than our colleagues about the relation syntax has to semantics and metaphysics. In particular, we do not believe that the current status of theoretical syntax (or semantics or metaphysics) provides much support for either of the above two beliefs. We will illustrate our view with a case study regarding the status of complex demonstratives. We will show that a recent and particularly subtle syntactically based argument for the semantic/metaphysical status of complex demonstratives does not in fact show what semantic category complex demonstratives are.. (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)

1999. In Linguistics in the Morning Calm 4 edited by The Linguistric Society of Korea. Hanshin Pub.co. pp. 21-39.

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the form (...) of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)