Skip to main content
SpringerLink
Log in
SpringerLink
Log in

CI via DTS

  • Conference paper
  • First Online:
New Frontiers in Artificial Intelligence (JSAI-isAI 2014)

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

Included in the following conference series:

  • 775 Accesses

Abstract

It has been observed that conventionally implicated content interacts with at-issue content in a number of different ways. This paper focuses on the existence of anaphoric links between content of these two types, something disallowed by the system of Potts (2005), the original locus of work on these issues. The problem of characterizing this interaction has been considered by a number of authors. This paper proposes a new system for understanding it in the framework of Dependent Type Semantics. It is shown that the resulting system provides a good characterization of how “cross-dimensional” anaphoric links can be supported from a proof-theoretic perspective.

Our sincere thanks to the anonymous reviewers of LENLS11 who gave us insightful comments. Elin McCready and Daisuke Bekki are partially supported by a Grant-in-Aid for Scientific Research (C) (No. 25370441) from the Ministry of Education, Science, Sports and Culture. Daisuke Bekki is partially supported by JST, CREST.

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    We should specify some features of S both on the predicate side and the rule side, in order to prevent this rule to apply to other kinds of phrases of category \(S\backslash NP \), such as verb phrases, which is a routine task we will not perform here.

  2. 2.

    There is a possible problem with attributing the property (1c) to CIs. Gutzmann [9, 10] argues that sentences such as (1) is a possible counter-example for (1c) in the sense that fucking in (1) serves to intensify the degree to which Jerry has the property of being an asshole, which is CI content that is induced by asshole; thus, the adjective works to strengthen not-at-issue content in cases of this kind.

    figure z

    The current version of DTS, however, predicts that the target of the modification performed by fucking does not include the CI content of asshole, just as in the case of (20). We believe this issue relates to the sort of variance in what counts as “at-issue” discussed by Hom [12, 13], and, as such, exhibits a level of complexity that requires a more detailed look at the pragmatics of these constructions (cf. Amaral et al. [1]). This difficult project is beyond the scope of the present paper.

References

  1. Amaral, P., Roberts, C., Smith, E.: Review of ‘the logic of conventional implicatures’ by Christopher Potts. Linguist. Philos. 30, 707–749 (2008)

    Article  Google Scholar 

  2. Asher, N., Pogodalla, S.: SDRT and continuation semantics. In: Onoda, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS, vol. 6797, pp. 3–15. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  3. Barker, C., Bernardi, R., Shan, C.: Principles of interdemensional meaning interaction. In: Li, N., Lutz, D. (eds.) Semantics and Linguistic Theory (SALT) 20, pp. 109–127. eLanguage (2011)

    Google Scholar 

  4. Barker, C., Shan, C.C.: Donkey anaphora is in-scope binding. Semantics and Pragmatics 1(1), 1–46 (2008)

    Google Scholar 

  5. Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14–29. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  6. Coquand, T., Huet, G.: The calculus of constructions. Inf. Comput. 76(2–3), 95–120 (1988)

    Article  MathSciNet  Google Scholar 

  7. Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics 3: Speech Acts, pp. 41–58. Academic Press, London (1975)

    Google Scholar 

  8. de Groote, P.: Towards a montagovian account of dynamics. In: Gibson, M., Howell, J. (eds.) 16th Semantics and Linguistic Theory Conference (SALT16), pp. 148–155. CLC Publications, University of Tokyo (2006)

    Google Scholar 

  9. Gutzmann, D.: Expressive modifiers & mixed expressives. In: Bonami, O., Cabredo Hofherr, P. (eds.) Empirical Issues in Syntax and Semantics 8, pp. 143–165 (2011)

    Google Scholar 

  10. Gutzmann, D.: Use-Conditional Meaning: studies in multidimensional semantics. Ph.D. thesis, Universität Frankfurt (2012)

    Google Scholar 

  11. Heim, I., Kratzer, A.: Semantics in Generative Grammar. Blackwell, Oxford (1998). No. 13 in Blackwell Textbooks in Linguistics

    Google Scholar 

  12. Hom, C.: The semantics of racial epithets. J. Philos. 105, 416–440 (2008)

    Article  Google Scholar 

  13. Hom, C.: A puzzle about pejoratives. Philos. Stud. 159(3), 383–405 (2010)

    Article  Google Scholar 

  14. Krahmer, E., Piwek, P.: Presupposition projection as proof construction. In: Bunt, H., Muskens, R. (eds.) Computing Meanings: Current Issues in Computational Semantics. Kluwer Academic Publishers, Dordrecht (1999). Studies in Linguistics Philosophy Series

    Google Scholar 

  15. Löh, A., McBride, C., Swierstra, W.: A tutorial implementation of a dependently typed lambda calculus. Fundamenta Informaticae - Dependently Typed Program. 102(2), 177–207 (2010)

    Article  MathSciNet  Google Scholar 

  16. Martin-Löf, P.: Intuitionistic type theory. In: sambin, G. (ed.) vol. 17. Bibliopolis, Naples (1984)

    Google Scholar 

  17. Montague, R.: The proper treatment of quantification in ordinary english. In: Hintikka, J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221–242. Reidel, Dordrecht (1973)

    Chapter  Google Scholar 

  18. Nouwen, R.: On appositives and dynamic binding. Res. Lang. Comput. 5, 87–102 (2007)

    Article  Google Scholar 

  19. Potts, C.: The Logic of Conventional Implicatures. Oxford University Press, New York (2005)

    Google Scholar 

  20. Ranta, A.: Type-Theoretical Grammar. Oxford University Press, New York (1994)

    MATH  Google Scholar 

  21. Roberts, C.: Information structure: towards an integrated formal theory of pragmatics. In: OSUWPL, Papers in Semantics, vol. 49. The Ohio State University Department of Linguistics (1996)

    Google Scholar 

  22. van der Sandt, R.: Presupposition projection as anaphora resolution. J. Seman. 9, 333–377 (1992)

    Article  Google Scholar 

  23. Simons, M., Tonhauser, J., Beaver, D., Roberts, C.: What projects and why. In: Proceedings of SALT 20, pp. 309–327. CLC Publications (2011)

    Google Scholar 

  24. Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 471–506. Kluwer, Reidel, Dordrecht (1986)

    Chapter  Google Scholar 

  25. Wang, L., Reese, B., McCready, E.: The projection problem of nominal appositives. Snippets 11, 13–14 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of Humanities and Sciences, Ochanomizu University, 2-1-1 Ohtsuka, Bunkyo-ku, Tokyo, 112-8610, Japan

    Daisuke Bekki

  2. National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan

    Daisuke Bekki

  3. CREST, Japan Science and Technology Agency, 4-1-8 Honcho, Kawaguchi, Saitama, 332-0012, Japan

    Daisuke Bekki

  4. Aoyama Gakuin University, 4-4-25 Shibuya, Shibuya-ku, Tokyo, 150-8366, Japan

    Elin McCready

Authors
  1. Daisuke Bekki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elin McCready
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Daisuke Bekki .

Editor information

Editors and Affiliations

  1. Tokyo Institute of Technology, Tokyo, Japan

    Tsuyoshi Murata

  2. Ochanomizu University, Tokyo, Japan

    Koji Mineshima

  3. Department Information Science, Faculty of Science, Ochanomizu University , Tokyo, Japan

    Daisuke Bekki

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bekki, D., McCready, E. (2015). CI via DTS. In: Murata, T., Mineshima, K., Bekki, D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2014. Lecture Notes in Computer Science(), vol 9067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48119-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-48119-6_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-48118-9

  • Online ISBN: 978-3-662-48119-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation