Abstract
This paper provides a foundation for the polarity marking technique introduced by David Dowty [3] in connection with monotonicity reasoning in natural language and in linguistic analyses of negative polarity items based on categorial grammar. Dowty’s work is an alternative to the better-known algorithmic approach first proposed by Johan van Benthem [11], and elaborated by Víctor Sánchez Valencia [10]. Dowty’s system internalized the monotonicity/polarity markings by generating strings using a categorial grammar whose categories already contain the markings that the earlier system would obtain by separate steps working on an already-derived string. Despite the linguistic advantages of the internalized system, no soundness proof has yet been given for it. This paper offers an account. The leading mathematical idea is to interpret categorial types as preorders (in order to talk about monotonicity in the first place), and then to add a primitive operation to the type hierarchy of taking the opposite of a preorder (in order to capture monotone decreasing functions). At the same time, the use of internalized categories also raises issues. Although these will not be addressed in full, the paper points out possible approaches to them.
Similar content being viewed by others
References
Bernardi, Raffaella, Reasoning with Polarity in Categorial Type Logic, Ph.D. thesis, University of Utrecht, 2002.
Christodoulopoulos, Christos, Creating a natural logic inference system with combinatory categorial grammar, Master’s thesis, University of Edinburgh, 2008.
Dowty, David, The role of negative polarity and concord marking in natural language reasoning, in Proceedings of SALT IV, Cornell University, Ithaca, NY, 1994, pp. 114–144.
Fyodorov Yaroslav, Winter Yoad, Francez Nissim: Order-based inference in natural logic. Log. J. IGPL 11(4), 385–417 (2003) Inference in computational semantics: the 2000 Dagstuhl Workshop
Icard, Thomas, Exclusion and containment in natural language, 2010. Ms., Stanford University.
MacCartney, Bill, and Christopher D. Manning, An extended model of natural logic, in Proceedings of the Eighth International Conference on Computational Semantics (IWCS-8), Tilburg, Netherlands, 2009.
Moortgat, Michael, Categorial type logics, in Handbook of Logic and Language, MIT Press, Cambridge, MA, 1997, pp. 93–178.
Nairn, Rowan, Cleo Condoravdi, and Lauri Karttunen, Computing relative polarity for textual inference, in Proceedings of ICoS-5 (Inference in Computational Semantics), Buxton, UK, 2006.
Pratt-Hartmann Ian, Moss Lawrence S.: Logics for the relational syllogistic. Review of Symbolic Logic 2(4), 647–683 (2009)
Valencia, Víctor M. Sánchez, Studies on Natural Logic and Categorical Grammar, Ph.D. thesis, University of Amsterdam, 1991.
van Benthem, Johan, Essays in Logical Semantics, vol. 29 of Studies in Linguistics and Philosophy, D. Reidel Publishing Co., Dordrecht, 1986.
van Benthem, Johan, Language in Action, vol. 130 of Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1991.
van Benthem, Johan, A brief history of natural logic, in M. Chakraborty, B. Löwe, M. Nath Mitra, and S. Sarukkai (eds.), Logic, Navya-Nyaya and Applications, Homage to Bimal Krishna Matilal, College Publications, London, 2008.
Zamansky Anna, Francez Nissim, Winter Yoad: A ‘natural logic’ inference system using the Lambek calculus. J. Log. Lang. Inf. 15(3), 273–295 (2006)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Moss, L.S. The Soundness of Internalized Polarity Marking. Stud Logica 100, 683–704 (2012). https://doi.org/10.1007/s11225-012-9429-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9429-4