Anaphora and Type Logical Grammar
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a gra
- PDF / 1,763,798 Bytes
- 301 Pages / 453.543 x 680.315 pts Page_size
- 17 Downloads / 245 Views
TRENDS IN LOGIC Studia Logica Library
VOLUME 24 Managing Editor Ryszard Wójcicki, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warsaw, Poland Editors Vincent F. Hendricks, Department of Philosophy and Science Studies, Roskilde University, Denmark Daniele Mundici, Department of Mathematics “Ulisse Dini”, University of Florence, Italy Ewa Or á owska, National Institute of Telecommunications, Warsaw, Poland Krister Segerberg, Department of Philosophy, Uppsala University, Sweden Heinrich Wansing, Institute of Philosophy, Dresden University of Technology, Germany
SCOPE OF THE SERIES
Trends in Logic is a bookseries covering essentially the same area as the journal Studia Logica – that is, contemporary formal logic and its applications and relations to other disciplines. These include artificial intelligence, informatics, cognitive science, philosophy of science, and the philosophy of language. However, this list is not exhaustive, moreover, the range of applications, comparisons and sources of inspiration is open and evolves over time.
Volume Editor Heinrich Wansing
The titles published in this series are listed at the end of this volume.
ANAPHORA AND TYPE LOGICAL GRAMMAR by
GERHARD JÄGER University of Bielefeld, Germany
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN-10 ISBN-13 ISBN-10 ISBN-13
1-4020-3904-2 (HB) 978-1-4020-3904-1 (HB) 1-4020-3905-0 (e-book) 978-1-4020-3905-8 (e-book)
Published by Springer, P.O. Box 17, 3300 AA Dordrecht, The Netherlands. www.springeronline.com
Printed on acid-free paper
All Rights Reserved © 2005 Springer No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Printed in the Netherlands.
Contents
List of Tables Preface Acknowledgments
vii ix xiii
1. TYPE LOGICAL GRAMMAR: THE FRAMEWORK
1
1
Basic Categorial Grammar
1
2
Combinators and Type Logical Grammar
17
3
Historical and Bibliographical Remarks
65
2. THE PROBLEM OF ANAPHORA
69
1
Anaphora and Semantic Resource Sensitivity
69
2
Variables in TLG
72
3
Previous Categorial Approaches to Anaphora
76
4
Summary
116
3. LAMBEK CALCULUS WITH LIMITED CONTRACTION
119
1
The Agenda
119
2
Contraction?
120
3
The Logic LLC
121
4
Relation to Jacobson’s System
153
4. PRONOUNS AND QUANTIFICATION
157
1
Basic Cases
157
2
Binding by wh -operators
158
3
Binding by Quantifiers
159
4
Weak Crossover
169
5
Precedence Versus c-command
169
v
vi
ANAPHORA AND TYPE LOGICAL GRAMMAR
6
Backward Binding and Reconstruction
174
5. VERB PHRASE ELLIPSIS 1 Introduction 2 VPE: The Basic Idea 3 Interaction with Pronominal Anaphora 4 Interaction of VPE and Quantification 5 VPE and Polymorphis
Data Loading...
