Optionality, Scope, and Licensing: An Application of Partially Ordered Categories

This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set pertaining to the syntax of quantifier scope and negative polarity licensing in Hungarian is used to illustrate the proposal. The presentation is geared towards both linguists and logicians. The paper highlights that the main ideas can be implemented in different grammar formalisms, and discusses in detail an implementation where the partial ordering on categories is given by the derivability relation of a calculus with residuated and Galois-connected unary operators.

[1]  Anna Szabolcsi,et al.  Overt Scope in Hungarian , 2003 .

[2]  Edith Hemaspaandra,et al.  A modal perspective on the computational complexity of attribute value grammar , 1993, J. Log. Lang. Inf..

[3]  Maarten de Rijke,et al.  Specifying syntactic structures , 1997 .

[4]  Michael Moortgat,et al.  Galois Connections in Categorial Type Logic , 2001, Electron. Notes Theor. Comput. Sci..

[5]  Rajeev Goré,et al.  Substructural Logics on Display , 1998, Log. J. IGPL.

[6]  Øystein Nilsen,et al.  Domains for adverbs , 2004 .

[7]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[8]  Katalin É. Kiss,et al.  Logical Structure in Syntactic Structure: The Case of Hungarian , 1992 .

[9]  Gerald Gazdar,et al.  Phrase Structure Grammar , 1982 .

[10]  M. de Rijke,et al.  JFAK. Essays Dedicated to Johan van Benthem on the occasion of his 50th Birthday , 1999 .

[11]  Michael Moortgat.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[12]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[13]  Ljiljana Progovac,et al.  Negative and Positive Polarity: A Binding Approach , 1994 .

[14]  M. Baltin,et al.  The Mental representation of grammatical relations , 1985 .

[15]  Júlia Horváth.  Separating “Focus Movement” from Focus , 2007 .

[16]  R. Bernardi.  Reasoning with Polarity in Categorial Type Logic , 2002 .

[17]  Raffaella Bernardi,et al.  Analyzing the Core of Categorial Grammar , 2004, J. Log. Lang. Inf..

[18]  F. Zwarts.  Three Types of Polarity , 1997 .

[19]  Ronald M. Kaplan,et al.  Lexical Functional Grammar A Formal System for Grammatical Representation , 2004 .

[20]  Katalin É. Kiss,et al.  Focussing as predication , 2006 .

[21]  M.J.B. Stokhof,et al.  Proceedings of the Ninth Amsterdam Colloquium , 1994 .

[22]  N. Kurtonina,et al.  Frames and Labels. A modal analysis of categorial inference , 1995 .

[23]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[24]  Michael Moortgat,et al.  Categorial Grammar and Formal Semantics , 2006 .

[25]  Glyn Morrill,et al.  Type Logical Grammar: Categorial Logic of Signs , 1994 .

[26]  T. Reinhart.  Quantifier Scope: How labor is Divided Between QR and Choice Functions , 1997 .

[27]  Anna Szabolcsi,et al.  The semantics of topic-focus articulation , 1981 .

[28]  J. Michael Dunn,et al.  Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.

[29]  Jochen Dörre,et al.  On Constraint-Based Lambek Calculi , 1995, ArXiv.

[30]  Martin Hackl,et al.  Distinct Verification Strategies for Most and More Than Half : Experimental Evidence for a Decompositional Analysis of Quantificational Determiners , 2006 .

[31]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[32]  Dirk K.J. Heylen,et al.  Types and Sorts: Resource Logic for Feature Checking , 1999 .

[33]  Tanya Reinhart,et al.  Interface Strategies : Optimal and Costly Computations , 2006 .

[34]  Michael Moortgat,et al.  Continuation Semantics for Symmetric Categorial Grammar , 2007, WoLLIC.

[35]  Katalin É. Kiss,et al.  Multiple Topic, One Focus? , 1998 .

[36]  G. Cinque.  Adverbs and functional heads , 1999 .

[37]  Chris Barker,et al.  Types as Graphs: Continuations in Type Logical Grammar , 2006, J. Log. Lang. Inf..

[38]  Michael Moortgat,et al.  Structural control , 1997 .

[39]  Bob Carpenter.  Logic of Typed Feature Structures, The (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[40]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[41]  László Balázs Surányi,et al.  Multiple operator movements in Hungarian , 2002 .

[42]  J. Zwart.  The Minimalist Program , 1998, Journal of Linguistics.

[43]  Susanne Winkler,et al.  The Architecture of Focus , 2006 .

[44]  Hans Uszkoreit.  Categorial Unification Grammars , 1986, COLING.

[45]  Katalin É. Kiss.  Focussed Number Phrases , 1999 .

[46]  Lynn Nadel,et al.  Encyclopedia of Cognitive Science , 2003 .

[47]  Anna Szabolcsi.  Ways of Scope Taking , 1997 .

[48]  Noam Chomsky,et al.  The Minimalist Program , 1992 .

[49]  Ljiliana Progovac.  Negative and Positive Polarity: Contents , 1994 .

[50]  Mark Johnson,et al.  Features and Formulae , 1991, CL.

[51]  Anna Szabolcsi.  Strategies for Scope Taking , 1997 .

[52]  Daniel Büring UCLA,et al.  Negative Inversion , 2004 .

[53]  Katalin É. Kiss,et al.  The Syntax of Hungarian. Cambridge Syntax Guides. , 2002 .

[54]  Marcia C. Linebarger,et al.  Negative polarity and grammatical representation , 1987 .

[55]  Jason Baldridge,et al.  Lexically specified derivational control in combinatory categorial grammar , 2002 .

[56]  Danny Fox,et al.  Economy and Semantic Interpretation , 1999 .

[57]  N. Kurtonina,et al.  Frames and Labels , 1995 .

[58]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[59]  Makoto Kanazawa,et al.  Dynamics, polarity and quantification , 1996 .

[60]  László Hunyadi,et al.  The Outlines of a Metrical Syntax of Hungarian , 1999 .

[61]  T. Stowell,et al.  Distributivity and Negation: The Syntax of Each and Every , 1997 .

[62]  K. Kiss.  Configurationality in Hungarian , 1987 .

[63]  Edward P. Stabler,et al.  Computing Quantifier Scope , 1997 .

[64]  K. Kiss.  Syntax of Hungarian , 2017 .

[65]  Dov M. Gabbay,et al.  Fibred semantics for feature-based grammar logic , 1996, J. Log. Lang. Inf..

[66]  Genoveva Puskás,et al.  Word order in Hungarian , 2000 .