Skip to main content
SpringerLink
Log in

Resource-Sensitivity—A Brief Guide

  • Chapter
Resource-Sensitivity, Binding and Anaphora

Part of the book series: Studies in Linguistics and Philosophy ((SLAP,volume 80))

Abstract

Different systems of deduction—grammatical or logical—can rest on different systems by which resource premisses can be accessed and allocated. Focusing on these differences brings to the fore essential differences. After examining the properties of resource-sensitivity in some detail in the next section, we consider some exemplary systems of binding and anaphora that have suggested themselves as theoretical models for the analysis of referential relations in natural language.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • Ajdukiewicz, Kazimierz (1935). Die syntaktische Konnexität. Studia Philosophica, 1:1–27. English translation in Storrs McCall, ed., Polish Logic: 1920–1939, 207–231, Oxford University Press, Oxford, 1967.

    Google Scholar 

  • Bach, Emmon (1983). Generalized categorial grammars and the English auxiliary. In Heny, Frank and Richards, Barry, editors, Linguistic Categories: Auxiliaries and Related Puzzles, volume 2 of Studies in Linguistics and Philosophy, pages 101–120. D. Reidel, Dordrecht.

    Google Scholar 

  • Baldridge, Jason M. (2002). Lexically Specified Derivational Control in Combinatory Categorial Grammar. PhD thesis, University of Edinburgh.

    Google Scholar 

  • Bar-Hillel, Yehoshua (1953). A quasi-arithmetical notation for syntactic description. Language, 29:47–58. Reprinted in Bar-Hillel, 1964, 61–74.

    Article  Google Scholar 

  • Bar-Hillel, Yehoshua (1964). Language and Information. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Barendregt, Henk (1984). The Lambda Calculus: Its Syntax and Semantics. Number 103 in Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam.

    Google Scholar 

  • Bunder, Martin W. (1993). Theorems in classical logic are instances of theorems in condensed bci logic. In Došen, Kosta and Schroeder-Heister, Peter, editors, Substructural Logics, volume 2 of Studies in Logic and Computation, pages 43–62. Clarendon Press, Oxford.

    Google Scholar 

  • Carpenter, Bob (1997). Type Logical Semantics. Language, Speech, and Communication. The MIT Press, Cambridge, Massachusetts. A Bradford Book.

    Google Scholar 

  • Chomsky, Noam (1982). Some concepts and consequences of the theory of Government and Binding. Linguistic Inquiry Monograph Six. MIT Press, Cambridge, Massachsetts.

    Google Scholar 

  • Church, Alonzo (1941). The calculi of lambda-conversion. Number 6 in Annals of Mathematics Studies. Princeton University Press, Princeton.

    Google Scholar 

  • Cresswell, Max (1972). Logics and Languages. Methuen, London.

    Google Scholar 

  • Curry, Haskell B. (1961). Some logical aspects of grammatical structure. In Jakobson, Roman O., editor, Structure of Language and its Mathematical Aspects, volume 12 of Symposia on Applied Mathematics, pages 56–68, Providence. American Mathematical Society.

    Google Scholar 

  • Curry, Haskell B. and Feys, Robert (1958). Combinatory Logic. North-Holland, Amsterdam.

    Google Scholar 

  • Faltz, Leonard M. and Oehrle, Richard T. (1986). Multidimensional compositional functions and referential relations. In Proceedings of the Sixth West Coast Conference on Formal Linguistics, Tucson. Department of Linguistics, University of Arizona.

    Google Scholar 

  • Gazdar, Gerald, Klein, Ewan, Pullum, Geoffrey, and Sag, Ivan (1985). Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, Massachusetts.

    Google Scholar 

  • Gentzen, Gerhard (1935). Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39:176–210, 405–431. English translation in Gentzen, 1969, 68–31.

    Article  Google Scholar 

  • Gentzen, Gerhard (1969). The Collected Papers of Gerhard Gentzen. North-Holland. M. E. Szabo, ed.

    Google Scholar 

  • Girard, Jean-Yves (1987). Linear logic. Theoretical Computer Science, 50:1–102.

    Article  Google Scholar 

  • Girard, Jean-Yves, Lafont, Yves, and Taylor, Paul (1989). Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge.

    Google Scholar 

  • Hepple, Mark (1993). A general framework for hybrid substructural logics. Unpublished manuscript, IRCS, University of Pennsylvania.

    Google Scholar 

  • Hindley, J. Roger and Seldin, Jonathan P. (1986). Introduction to Combinators and λ-Calculus, volume 1 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge, England.

    Google Scholar 

  • Kaplan, Ronald and Bresnan, Joan (1995). Lexical-functional grammar: A formal system for grammatical representation. In Dalrymple, Mary, Kaplan, Ronald, John T. Maxwell, III, and Zaenen, Annie, editors, Formal Issues in Lexical Functional Grammar, pages 29–130. Center for the Study of Language and Information, Stanford, California.

    Google Scholar 

  • Karttunen, Lauri and Beesley, Kenneth R. (2003). Finite-State Morphology: Xerox Tools and Techniques. CSLI Publications, Stanford, California.

    Google Scholar 

  • Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly, 65:154–169.

    Article  Google Scholar 

  • Lambek, J. (1961). On the calculus of syntactic types. In Jakobson, Roman O., editor, Structure of Language and its Mathematical Aspects, volume 12 of Symposia on Applied Mathematics, pages 166–178, Providence. American Mathematical Society.

    Google Scholar 

  • McCarthy, John J. (1981). Aprosodic theory of nonconcatenative morphology. Linguistic Inquiry, 12(3):373–418.

    Google Scholar 

  • Montague, Richard (1974). The proper treatment of quantification in ordinary English. In Formal Philosophy: Selected Papers of Richard Montague, pages 247–270. Yale University Press, New Haven. Richmond H. Thoma-son, ed.

    Google Scholar 

  • Moortgat, Michael (1988). Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht.

    Google Scholar 

  • Moortgat, Michael (1997). Categorial type logics. In van Benthem, Johan and ter Meulen, Alice, editors, Handbook of Logic and Language. Elsevier, Amsterdam.

    Google Scholar 

  • Moortgat, Michael (1999). Constants of grammatical reasoning. In Bouma, Gosse, Hinrichs, Erhard, Kruijff, Geert-Jan M., and Oehrle, Richard, editors, Constraints and Resources in Natural Language Syntax and Semantics, Studies in Constraint-Based Lexicalism. CSLI Publications, Stanford.

    Google Scholar 

  • Moortgat, Michael and Oehrle, Dick (1993a). Adjacency, dependency and order. In Dekker, Paul and Stokhof, Martin, editors, Proceedings of the 9th Amsterdam Colloquium, pages 447–466. ILLC/Department of Philosophy, Universiteit van Amsterdam, Amsterdam.

    Google Scholar 

  • Moortgat, Michael and Oehrle, Dick (1993b). Categorial grammar: Logical parameters and linguistic variation. ESSLLI Lecture Notes, Lisboa.

    Google Scholar 

  • Moortgat, Michael and Oehrle, Richard T. (1996). Structural abstractions. In Abrusci, V. Michele and Casadio, Claudia, editors, Proofs and Linguistic Categories: Application of Logic to the Analysis and Implementation of Natural Language, Proceedings of the 1996 Roma Workshop, pages 49–64. Società Italiana di Logica e Filosofia della Scienza and Centro Interdipar-timentale di Ricerca in Epistemolgia e Storia delle Scienze “F. Enriques”, Bologna.

    Google Scholar 

  • Morrill, Glyn (1994). Type Logical Grammar. Kluwer, Dordrecht.

    Book  Google Scholar 

  • Oehrle, Richard T. (2002). Logics for intercalation. In Nevin, Bruce, editor, Apropos of Zellig Harris. John Benjamins, Amsterdam.

    Google Scholar 

  • Oehrle, Richard T. (2003). Multi-modal type-logical grammar. In Borsley, Robert and Borjars, Kersti, editors, Non-Transformational Syntax. Black-well. in press.

    Google Scholar 

  • Oehrle, Richard T. and Chen, Danny (1997). Partial associativity and conjunction: A proof-theoretic perspective on constituency. Department of Linguistics, University of Arizona.

    Google Scholar 

  • Quiller-Couch, Arthur Thomas (1916). On the Art of Writing: Lectures Delivered in the University of Cambridge, 1913–1914. Cambridge University Press, Cambridge.

    Google Scholar 

  • Restall, Greg (2000). An Introduction to Substructural Logics. Routledge, London.

    Google Scholar 

  • Schönfinkel, Moses (1924). Ueber die bausteine der mathematischen logik. Mathematische Annalen, 92:305–316. English translation in van Heijenoort, 1967, 355–366.

    Article  Google Scholar 

  • Steedman, Mark (1996). Surface Structure and Interpretation. Number 30 in Linguistic Inquiry Monographs. The MIT Press, Cambridge, Massachusetts.

    Google Scholar 

  • Steedman, Mark (2000). The Syntactic Process. Language, Speech, and Communication. The MIT Press, Cambridge, Massachusetts. A Bradford Book.

    Google Scholar 

  • Steele, Susan, Akmajian, Adrian, Demers, Richard, Jelinek, Eloise, Kitagawa, Chisato, Oehrle, Richard, and Wasow, Thomas et al. (1981). An Encyclopedia of AUX, volume 5 of Linguistic Inquiry Monographs. MIT Press, Cambridge, Massachusetts.

    Google Scholar 

  • Troelstra, A. S. (1992). Lectures on Linear Logic. Center for the Study of Language and Information, Stanford, California.

    Google Scholar 

  • van Benthem, Johan (1988). The lambek calculus. In Oehrle, Richard T., Bach, Emmon, and Wheeler, Deirdre W., editors, Categorial Grammar and Natural Languages Structures, pages 35–68. D. Reidel, Dordrecht.

    Chapter  Google Scholar 

  • van Heijenoort, Jean, editor (1967). From Frege to Gödel: A Sourcebook in Mathematical Logic 1879–1931. Harvard University Press, Cambridge, Massachusetts.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Berkeley, CA, USA

    Richard T. Oehrle

Authors
  1. Richard T. Oehrle
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. COLI, Saarland University, Saarbrücken, Germany

    Geert-Jan M. Kruijff  & Richard T. Oehrle  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Oehrle, R.T. (2003). Resource-Sensitivity—A Brief Guide. In: Kruijff, GJ.M., Oehrle, R.T. (eds) Resource-Sensitivity, Binding and Anaphora. Studies in Linguistics and Philosophy, vol 80. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0037-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-0037-6_9

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-1692-9

  • Online ISBN: 978-94-010-0037-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation