tailieunhanh - Báo cáo khoa học: "A logical treatment of semi-free word order and bounded discontinuous"

This is simply a restatement of the notion of clause union or scrambling familiar from transformational analyses. Our proposal is to provide a feature-value logic with a rigorous semantics with sufficient e x p r e s s i v e power to allow the encoding of even syntactic structure within the single formalism. This means that the work of encoding syntactic structure is carried by the feature-value logic and not by formal language theoretic devices (., phrase structure rules). | A logical treatment of semi-free word order and bounded discontinuous constituency Mike Reape Centre for Cognitive Science University of Edinburgh 2 Buccleuch Place Edinburgh EH8 9LW Scotland UK Abstract In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single formalism with a rigorous semantics without phrase structure rules. The elimination of phrase structure rules allows a natural generalisation of the approach to nonconfigurational word order and bounded discontinuous continuency via sequence union. Sequence union formalises the notions of clause union and scrambling by providing a mechanism for describing word order domains larger than the local tree. The formalism incorporates the distinction between bounded and unbounded forms of discontinuous constituency. Grammars are organised as algebraic theories. This means that linguistic generalisations are stated as axioms about the structure of signs. This permits a natural interpretation of implicational universals in terms of theories subtheories and implicational axioms. The accompanying linguistic analysis is eclectic borrowing insights from many current linguistic theories. 1. Introduction In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. By a logical treatment we mean that the grammar is an axiomatic algebraic theory . a set of axioms formalised in a logic. By bounded discontinuous constituency we refer to phenomena such as Dutch cross-serial dependencies German Mittelfeld word order and clause-bounded extraposition in contrast to unbounded forms of discontinuous constituency such as cross-serial multiple extractions in Swedish relative clauses. There is no scope within this paper to provide the linguistic argumentation sufficient to justify the approach described below. We shall have to limit ourselves to describing the key .