Skip to main content
SpringerLink
Log in

Inverse Scope as Metalinguistic Quotation in Operational Semantics

  • Conference paper
  • First Online:
Book cover New Frontiers in Artificial Intelligence (JSAI 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4914))

Included in the following conference series:

  • 1098 Accesses

Abstract

We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and evolve from step to step by context sensitive rewriting. These notions of context and order let us explain inverse scope quantifiers and their polarity sensitivity as metalinguistic quotation of the wider scope.

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 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

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.

References

  1. Trueswell, J.C., Tanenhaus, M.K. (eds.): Approaches to Studying World-Situated Language Use: Bridging the Language-as-Product and Language-as-Action Traditions. MIT Press, Cambridge (2005)

    Google Scholar 

  2. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, University of Aarhus, Revised version submitted to Journal of Logic and Algebraic Programming (1981)

    Google Scholar 

  3. Felleisen, M.: The Calculi of λ v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages. PhD thesis, Computer Science Department, Indiana University Also as Tech.Rep. 226 (1987)

    Google Scholar 

  4. Felleisen, M.: The theory and practice of first-class prompts. In: POPL 1988. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 180–190. ACM Press, New York (1988)

    Google Scholar 

  5. Danvy, O., Filinski, A.: A functional abstraction of typed contexts. Technical Report 89/12, DIKU, University of Copenhagen, Denmark (1989), http://www.daimi.au.dk/~danvy/Papers/fatc.ps.gz .

  6. Danvy, O., Filinski, A.: Abstracting control. In: Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pp. 151–160. ACM Press, New York (1990)

    Chapter  Google Scholar 

  7. Danvy, O., Filinski, A.: Representing control: A study of the CPS transformation. Mathematical Structures in Computer Science 2, 361–391 (1992)

    Article  MathSciNet  Google Scholar 

  8. Barker, C., Shan, C.c.: Types as graphs: Continuations in type logical grammar. Journal of Logic, Language and Information 15, 331–370 (2006)

    Article  MathSciNet  Google Scholar 

  9. Shan, C.c., Barker, C.: Explaining crossover and superiority as left-to-right evaluation. Linguistics and Philosophy 29, 91–134 (2006)

    Article  Google Scholar 

  10. Shan, C.c.: Linguistic side effects. In: Barker, C., Jacobson, P. (eds.) Direct Compositionality, pp. 132–163. Oxford University Press, New York (2007)

    Google Scholar 

  11. Shan, C.c.: Linguistic Side Effects. PhD thesis, Harvard University (2005)

    Google Scholar 

  12. Fry, J.: Negative polarity licensing at the syntax-semantics interface. In: Cohen, P.R., Wahlster, W. (eds.) Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and 8th Conference of the European Chapter of the Association for Computational Linguistics, pp. 144–150. Morgan Kaufmann, San Francisco (1997)

    Google Scholar 

  13. Fry, J.: Proof nets and negative polarity licensing. In: Dalrymple, M. (ed.) Semantics and Syntax in Lexical Functional Grammar: The Resource Logic Approach, pp. 91–116. MIT Press, Cambridge (1999)

    Google Scholar 

  14. Kiselyov, O., Shan, C.c., Sabry, A.: Delimited dynamic binding. In: ICFP 2006. Proceedings of the ACM International Conference on Functional Programming, pp. 26–37. ACM Press, New York (2006)

    Google Scholar 

  15. Shan, C.c.: Polarity sensitivity and evaluation order in type-logical grammar. In: Dumais, S., Marcu, D., Roukos, S. (eds.) Proceedings of the 2004 Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics, Somerset, NJ. Association for Computational Linguistics, vol. 2, pp. 129–132 (2004)

    Google Scholar 

  16. Kroch, A.S.: The Semantics of Scope in English. PhD thesis, Massachusetts Institute of Technology (1974) Reprinted by New York: Garland (1979)

    Google Scholar 

  17. Szabolcsi, A.: Positive polarity—negative polarity. Natural Language and Linguistic Theory 22, 409–452 (2004)

    Article  Google Scholar 

  18. Taha, W., Nielsen, M.F.: Environment classifiers. In: POPL 2003. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 26–37. ACM Press, New York (2003)

    Google Scholar 

  19. Quine, W.V.O.: Word and Object. MIT Press, Cambridge (1960)

    MATH  Google Scholar 

  20. Ladusaw, W.A.: Polarity Sensitivity as Inherent Scope Relations. PhD thesis, Department of Linguistics, University of Massachusetts (1979) Reprinted by New York: Garland (1980)

    Google Scholar 

  21. Shan, C.c.: Delimited continuations in natural language: Quantification and polarity sensitivity. In: Thielecke, H., ed.: CW 2004: Proceedings of the 4th ACM SIGPLAN Continuations Workshop. Number CSR-04-1 in Tech.Rep., School of Computer Science, University of Birmingham, 55–64 (2004)

    Google Scholar 

  22. Bernardi, R.: Reasoning with Polarity in Categorial Type Logic. PhD thesis, Utrecht Institute of Linguistics (OTS), Utrecht University (2002)

    Google Scholar 

  23. Bernardi, R., Szabolcsi, A.: Partially ordered categories: Optionality, scope, and licensing (2006), http://ling.auf.net/lingBuzz/000372

  24. Kamp, H.: A theory of truth and semantic representation. In: Groenendijk, J.A.G., Janssen, T.M.V., Stokhof, M.B.J. (eds.) Formal Methods in the Study of Language: Proceedings of the 3rd Amsterdam Colloquium, Amsterdam, Mathematisch Centrum, pp. 277–322 (1981)

    Google Scholar 

  25. Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14, 39–100 (1991)

    Article  Google Scholar 

  26. Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, Department of Linguistics, University of Massachusetts (1982)

    Google Scholar 

  27. Felleisen, M., Friedman, D.P.: A syntactic theory of sequential state. Theoretical Computer Science 69, 243–287 (1989)

    Article  MathSciNet  Google Scholar 

  28. Karttunen, L.: Syntax and semantics of questions. Linguistics and Philosophy 1, 3–44 (1977)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Rutgers University, USA

    Chung-chieh Shan

Authors
  1. Chung-chieh Shan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ken Satoh Akihiro Inokuchi Katashi Nagao Takahiro Kawamura

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shan, Cc. (2008). Inverse Scope as Metalinguistic Quotation in Operational Semantics. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds) New Frontiers in Artificial Intelligence. JSAI 2007. Lecture Notes in Computer Science(), vol 4914. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78197-4_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78197-4_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78196-7

  • Online ISBN: 978-3-540-78197-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation