NL λ as the Logic of Scope and Movement

Journal of Logic, Language and Information:1-21 (forthcoming)
  Copy   BIBTEX


Lambek elegantly characterized part of natural language. As is well-known, his substructural logic L, and its non-associative version NL, handle basic function/argument composition well, but not scope taking and syntactic displacement—at least, not in their full generality. In previous work, I propose \, which is NL supplemented with a single structural inference rule.ion closely resembles the traditional linguistic rule of quantifier raising, and characterizes both semantic scope taking and syntactic displacement. Due to the unconventional form of the abstraction inference, there has been some doubt that \ should count at a legitimate substructural logic. This paper argues that \ is perfectly well-behaved. In particular, it enjoys cut elimination and an interpolation result. In addition, perhaps surprisingly, it is decidable. Finally, I prove that it is sound and complete with respect to the usual class of relational frames.



    Upload a copy of this work     Papers currently archived: 74,509

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Chain Scope and Quantification Structure.Soowon Kim - 1991 - Dissertation, Brandeis University
Stationary Sets and Infinitary Logic.Saharon Shelah & Jouko Vaananen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Logic Reduced To (Proof-Theoretical) Bare Bones.Jaroslav Peregrin - 2015 - Journal of Logic, Language and Information 24 (2):193-209.
Note on the Scope of Truth-Functional Logic.David Sherry - 1999 - Journal of Philosophical Logic 28 (3):327-328.
The Constraint Language for Lambda Structures.Markus Egg, Alexander Koller & Joachim Niehren - 2001 - Journal of Logic, Language and Information 10 (4):457-485.
Scope Control and Grammatical Dependencies.Alastair Butler - 2007 - Journal of Logic, Language and Information 16 (3):241-264.
The Proofs of $Alpha Rightarrow Alpha$ in $P - W$.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.
Economy and Scope.Danny Fox - 1995 - Natural Language Semantics 3 (3):283-341.
Fixed Point Theories and Dependent Choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.
No Scope for Scope?Jaakko Hintikka - 1997 - Linguistics and Philosophy 20 (5):515-544.
Stationary Sets and Infinitary Logic.Saharon Shelah & Jouko Väänänen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.


Added to PP

27 (#427,989)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Categorial Type Logics.Michael Moortgat - 1997 - In J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
Parasitic Scope.Chris Barker - 2007 - Linguistics and Philosophy 30 (4):407-444.
An Introduction to Substructural Logics (Review).Kosta Došen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
Term-Labeled Categorial Type Systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.

View all 7 references / Add more references