We design new languages, by and large, in order to bypass complexities and limitations within the languages we already have. But when we are concerned with language itself we should guard against projecting the simple and powerful syntax and semantics we have concocted back into the sentences we encounter. For some of the features of English, French, or Ancient Greek we routinely abstract away from in the process of formalization might be linguistic universals – the very features that set human (...) languages apart from all the other conceivable ones. How similar natural languages really are to formal ones is an empirical question for linguistics. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.

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.

The Montagovian hypothesis of direct model-theoretic interpretation of syntactic surface structures is supported by an account of the semantics of binding that makes no use of variables, syntactic indices, or assignment functions & shows that the interpretation of a large portion of so-called variable-binding phenomena can dispense with the level of logical form without incurring equivalent complexity elsewhere in the system. Variable-free semantics hypothesizes local interpretation of each surface constituent; binding is formalized as a type-shifting operation on expressions that denote (...) functions, & sentences containing a free pronoun are analyzed as a function from individuals to propositions having a meaning of type (e,t). Standard weak crossover effects & binding patterns in sentences with multiple pronouns are shown to submit to straightforward type-theoretic treatments that do not rely on indexation. The variable-free semantics smoothly implements full surface compositionality & requires less machinery than standard accounts to handle functional questions, their answers, sloppy inferences, & across-the-board binding. 73 References. J. Hitchcock. (shrink)

This paper addresses the question of whether the appearance ofthen in a conditional construction has any effect on the meaning of the sentence as a whole. It will be suggested thatthen does make a contribution by way of a particular presupposition associated with it. This also results inthen sometimes conflicting with the intended meaning of the sentence; in such cases its appearance is precluded. Certain aspects of the syntax ofthen will be discussed in parallel.

CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ...

The possibility of extraction across awh-island is usually assumed to be dependent on whether or not the constituent in question can undergo “long” (i.e., nonlocal) Ā-movement across the island. However, the question of how to make a principled distinction between those elements which can violate locality and those which cannot is still rather controversial. I will propose that there are no well-formed locality violations in these cases, and that the grammaticality patterns observed derive from a semantic filter on the escape (...) hatch used to bypass the island. In other words, if a phrase is extracted across awh-island, it must adjoin to the island in order to get by. This adjunction site is restricted by the interpretive component: only traces which are interpreted as variables of typee can occur in this position, while higher-order variables are not allowed. This restriction is shown to capture the known facts aboutwh-island violations, as well as some less known phenomena, such as the absence of functional (and pair-list) readings acrosswh-islands. (shrink)

Chapter. 1. Logical. Form. as. a. Level. of. Linguistic. Representation. What is the relation of a sentence's syntactic form to its logical form? This issue has been of central concern in modern inquiry into the semantic properties of natural ...

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

Current theories of grammar handle both extraction and anaphorization by introducing variables into syntactic representations. Combinatory categorial grammar eliminates variables corresponding to gaps. Using the combinator W, the paper extends this approach to anaphors, which appear to act as overt bound variables. [Slightly extended version in Bartsch et al 1989.].

The typical habitat of overt nominative subjects is in finite clauses. But infinitival complements and infinitival adjuncts are also known to have overt nominative subjects, e.g. in Italian (Rizzi 1982), European Portuguese (Raposo 1987), and Spanish (Torrego 1998, Mensching 2000). The analyses make crucial reference to the movement of Aux or Infl to Comp, and to overt or covert infinitival inflection. This working paper is concerned with a novel set of data that appear to be of a different sort, in (...) that they probably do not depend on either rich infinitival inflection or on movement to C. (shrink)

A Logical Form (LF) is a syntactic structure that is interpreted by the semantic component. For a particular structure to be a possible LF it has to be possible for syntax to generate it and for semantics to interpret it. The study of LF must therefore take into account both assumptions about syntax and about semantics, and since there is much disagreement in both areas, disagreements on LF have been plentiful. This makes the task of writing a survey article in (...) the field fairly difficult, a difficulty that is amplified by the amount of material that needs to be covered if the result is going to be in any way representative. My response to this difficulty is to limit my objectives. As a start, I will confine myself to issues relating to the syntactic positions of Quantificational Noun Phrases (QNPs) at LF and to various interpretive consequences. But even within these relatively narrow confines, I will not attempt anything close to a comprehensive survey. Instead my goal will be restricted to the presentation of one leading idea and to the discussion of some evidence that might bear on it.1 Much research on the nature of LF has consisted in attempts to account for the meaning of sentences containing QNPs. (shrink)

We argue that the infinitival complements of subject-control and subject-to-subject raising verbs in Hungarian can have overt nominative subjects. The infinitival subject status of these DPs is diagnosed by constituent order, binding properties, and scope interpretation. Long-distance Agree(ment) and multiple agreement are crucial to their overtness.

.................................................................................................... ..................... 2 2 LF-Binding and Feature Deletion......................................................................................... 3..