This paper is concerned with strategies for relative clause formation, both in the universal and language-specific sense. It builds on the pioneering work of Keenan & Comrie (1977) and proposes some extensions to this work. The basic issues addressed here concern what exactly ‘case-coding’ strategies in relative clause formation are, why languages should use such strategies, and what form the strategies can take. Language-specific illustration is given from Modern Welsh, a language which exhibits some relativization strategies not discussed by Keenan and Comrie, but which nonetheless broadly supports their proposals.

The phenomenon of stress in Old English (OE) has been the subject of thorough and extensive study for well over a century. Indeed the foundation for any modern study remains the work of Eduard Sievers (1885, 1893a, b), well summarized in Campbell (1959). The present paper is not concerned with a revision of the ‘facts’ of Sievers' account, although we shall note below instances where we disagree with those facts, but rather with a linguistic explanation of those facts. Sievers' account is essentially a statistical presentation of varying stress patterns, and he made little attempt to provide explanations of either frequent patterns, or non-existent ones. The framework in which we shall operate is that of lexicalist metrical phonology. Within that framework we shall attempt to demonstrate that Old English stress was organized in a way very different from that in Modern English. Most particularly we shall suggest that there is a central rule (the Old English Stress Rule = OESR) which, in contrast to the central rule for present-day English (PDE), operated from left-to-right. This, we shall suggest, has direct implications for the operation of other features of stress derivations, such as Destressing. Further, we shall argue that it is probable that level-ordering has no role to play in the stress phonology of Old English.

The major assumption of notional grammar is that the syntactic classes established for each language on the basis of their distributional properties are labelled on notional grounds: the denotata of the prototypical members of classes meet universal ontological definitions. For example, one might suggest that: ‘As far as nouns are concerned, the prototypical denotata are persons, animals, and other discrete physical entities…’ (Lyons, 1989: 161). Despite the work of Lyons (notably also 1966, 1977) and others, involving a tradition of some antiquity, adequate explicit definitions for the range of classes are lacking; much remains intuitive. This should not prevent us, however, from examining the syntactic consequences of the notionalist assumption. Nor, of course, should the existence of non-prototypical class members (such as nouns which denote non-physical entities or whose denotata are of limited temporal extension - see further below). What follows explores the consequences for a specific area of classification of one articulation of a notional theory.

In this article data are presented from the Amele language and a number of other different Papuan languages to show that in these languages the medial verb form is marked for a binary distinction of realis versus irrealis modality. Furthermore it is demonstrated that in these languages the realis-irrealis distinction interacts with categories of tense and mood marked on the fina! verb in such a way as to divide them into the two basic domains of realis and irrealis modal status. It is also demonstrated for two of the languages (Amele and Nobonob) which have sentence particles with an illocutionary force function that these particles do not interact with the realis-irrealis modal system marked on the medial verb. In the final discussion and conclusion a schema is suggested to account for the facts of future tense, imperative mood and counterfactual mood being categorized as irrealis in these languages. The schema suggests that events can be referred to in the unreal world as either events that are potentially true/false in the real world, or events that used to be true/false in the real world, or events that are not true/false in the real world.

Chomsky's (1981) i-within-i condition (also written as i/i) blocks co-indexation of a phrase with one of its proper subconstituents:

(I) *[…a1…]i

We argue here that the i-within-i condition as stated in (I) and used in current work is both empirically inadequate and theoretically incoherent.2 Many of the data that the i-within-i condition has been taken to account for should, instead, be accounted for by a range of unrelated constraints. However, a condition on the interpretation of the reference of free pronominals and anaphors - which we state as a definition of circular chains - is, in fact, motivated and will adequately account for the data involving referential circularity that have previously been accounted for with the i-within-i condition.

In his paper ‘On Horn's dilemma: presupposition and negation’ Burton-Roberts (1989a) presents an ambitious programme, formulated right at the outset. He seeks to establish three points:

(i) Under the ‘standard logical definition of presupposition’ a pre-suppositional semantics is INCOMPATIBLE with a SEMANTICALLY AMBIGUOUS NEGATION operator (SAN), on pain of the theory being rendered ‘empirically empty and theoretically trivial’,.

(ii) From this it follows that the one unambiguous negation is presupposition preserving. Cases that have been identified as presupposition-cancelling negation should be re-analysed as ‘instances of a pragmatic phenomenon’, not unlike what has been proposed in Horn (1985), that is as METALINGUISTIC NEGATION (MN).

(iii) This pragmatic analysis of MN ‘itself implies a presuppositional semantics’, that is to say ‘a presuppositional theory of truth-value gaps’.

In his response to ‘On Horn's Dilemma’ (Burton-Roberts, 1989a, henceforth OHD), Seuren makes it clear that he believes that the argument of OHD is vitiated by my failure to pay attention to his own logical system for presupposition. That system embodies (a) a pre-theoretical conception of P-failure (as in The king of France is wise) as being tied to a THIRD TRUTH-VALUE (‘Radical Falsity’) and (b) his view that a semantic ambiguity of negation (SAN) exists and should be welcomed. OHD, by contrast, was concerned with the connections between (a) the Strawson-Frege definition of P, (b) a pre-theoretical view of P in which P-failure is tied, not to a third truth-value, but to LACK of truth-value, and (c) Horn's view of negation as being semantically UNambiguous in the object language. So I disregarded Seuren's theory as being irrelevant to the argument of OHD. I shall make up for it here, though, showing that Seuren's system, and his own claims for it, provide ample corroboration of those arguments and, indeed, of the arguments of Burton-Roberts (1989b) against any formally trivalent approach to the logic of presupposition. I set the scene first with a brief account of the recent history of the distinction between trivalence and gapped bivalence (Section 2). Then I consider in Section 3 the argument of OHD and Seuren's response, and go on to examine Seuren's system (Section 4). Finally, and very summarily, I compare the pragmatic account of special negation outlined in OHD with the semantic account favoured by Seuren (Section 5).