×

The logic of lexical connectives. (English) Zbl 07753832

Summary: Natural language does not express all connectives definable in classical logic as simple lexical items. Coordination in English is expressed by conjunction and, disjunction or, and negated disjunction nor. Other languages pattern similarly. Non-lexicalized connectives are typically expressed compositionally: in English, negated conjunction is typically expressed by combining negation and conjunction (not both). This is surprising: if \(\wedge\) and \(\vee\) are duals, and the negation of the latter can be expressed lexically (nor), why not the negation of the former? I present a two-tiered model of the semantics of the binary connectives. The first tier captures the expressive power of the lexicon: it is a bilateral state-based semantics that, under a restriction, can express all and only the distinctions that can be expressed by the lexicon of natural language (and, or, nor). This first tier is characterized by rejection as non-assertion and a Neglect Zero assumption. The second tier is obtained by dropping the Neglect Zero assumption and enforcing a stronger notion of rejection, thereby recovering classical logic and thus definitions for all Boolean connectives. On the two-tiered model, we distinguish the limited expressive resources of the lexicon and the greater combinatorial expressive power of the language as a whole. This gives us a logic-based account of compositionality for the Boolean fragment of the language.

MSC:

03-XX Mathematical logic and foundations

References:

[1] Aloni, M., Free choice, modals, and imperatives, Natural Language Semantics, 15, 65-94 (2007) · doi:10.1007/s11050-007-9010-2
[2] Aloni, M., Logic and Conversation: The case of Free Choice, Semantics and Pragmatics, 15, 1-40 (2022) · doi:10.3765/sp.15.5
[3] Arieli, O.; Avron, A., Reasoning with logical bilattices, Journal of Logic, Language and Information, 5, 25-63 (1996) · Zbl 0851.03017 · doi:10.1007/BF00215626
[4] Bar-Lev, M., & Katzir, R. (2022). Communicative stability and the typology of logical operators. Linguistic Inquiry, (pp. 1-42).
[5] Barwise, J.; Cooper, R., Generalized quantifiers and natural language, Linguistics and Philosophy, 4, 159-219 (1981) · Zbl 0473.03033 · doi:10.1007/BF00350139
[6] Berto, F.; Restall, G., Negation on the Australian Plan, Journal of Philosophical Logic, 1, 1-26 (2019) · Zbl 1457.03007
[7] Bocheński, JM, A Précis of Mathematical Logic (1959), Dordrecht: Reidel, Dordrecht · doi:10.1007/978-94-017-0592-9
[8] Bott, O.; Schlotterbeck, F.; Klein, U., Empty-set effects in quantifier interpretation, Journal of Semantics, 36, 99-163 (2019) · doi:10.1093/jos/ffy015
[9] Carcassi, F.; Sbardolini, G., Assertion, denial, and the evolution of boolean operators, Mind and Language, 1, 1-25 (2022)
[10] Chemla, E.; Buccola, B.; Dautriche, I., Connecting Content and Logical Words, Journal of Semantics, 36, 531-547 (2019) · doi:10.1093/jos/ffz001
[11] Ciardelli, I.; Groenendijk, J.; Roelofsen, F., Inquisitive Semantics (2018), Oxford: Oxford University Press, Oxford · Zbl 1403.03001 · doi:10.1093/oso/9780198814788.001.0001
[12] Cresswell, MJ, Possibility semantics for intuitionistic logic, Australasian Journal of Logic, 2, 11-29 (2004) · Zbl 1058.03015 · doi:10.26686/ajl.v2i0.1764
[13] Enguehard, É.; Spector, B., Explaining gaps in the logical lexicon of natural languages: A decision-theoretic perspective on the square of Aristotle, Semantics and Pragmatics, 14, 5 (2021) · doi:10.3765/sp.14.5
[14] Fitting, M., Kleene’s logic, generalized, Journal of Logic and Computation, 1, 797-810 (1990) · Zbl 0744.03025 · doi:10.1093/logcom/1.6.797
[15] Frege, G. (1919). Negation. In M. Beaney (Ed.), The Frege Reader (pp. 151-171). Oxford: Blackwell, 1997.
[16] Gazdar, G., Pragmatics: Implicature, Presupposition, and Logical Form (1979), New York: Academic Press, New York
[17] Geach, PT, Assertion, The Philosophical Review, 74, 449-465 (1965) · doi:10.2307/2183123
[18] Ginsberg, ML, Multivalued logic: a uniform approach to reasoning in Artificial Intelligence, Computational Intelligence, 4, 265-316 (1991) · doi:10.1111/j.1467-8640.1988.tb00280.x
[19] Grice, HP, Studies in the Way of Words (1989), Cambridge, MA: Harvard University Press, Cambridge, MA
[20] Hawke, P.; Steinert-Threlkeld, S., Semantic expressivism for epistemic modals, Linguistics and Philosophy, 44, 475-511 (2021) · doi:10.1007/s10988-020-09295-7
[21] Horn, L. (1972). On the semantic properties of the logical operators in English. Ph.D. thesis UCLA.
[22] Horn, L., A Natural History of Negation (1989), Chicago, IL: University of Chicago Press, Chicago, IL
[23] Horn, L. (2012). Histoire d’*O: Lexical Pragmatics and the Geometry of Opposition. In J.-Y. Beziau, & G. Payette (Eds.), The Square of Opposition. A General Framework for Cognition (pp. 393-426). Bern: Peter Lang.
[24] Icard, T. F., & Moss, L. S. (2023). A simple logic of concepts. Journal of Philosophical Logic, (pp. 1-26). Forthcoming.
[25] Incurvati, L., & Sbardolini, G. (2022). Update rules and semantic universals. Linguistics and Philosophy, (pp. 1-31). Forthcoming.
[26] Incurvati, L.; Schlöder, JJ, Weak Rejection, Australasian Journal of Philosophy, 95, 741-760 (2017) · doi:10.1080/00048402.2016.1277771
[27] Incurvati, L.; Schlöder, JJ, Inferential expressivism and the negation problem, Oxford Studies in Metaethics, 16, 80-107 (2021)
[28] Jespersen, O., Negation in English and other languages (1917), Copenhagen: A. F. Høst, Copenhagen
[29] Kamp, H., Free choice permission, Proceedings of the Aristotelian Society, 74, 57-74 (1974) · doi:10.1093/aristotelian/74.1.57
[30] Katzir, R.; Singh, R., Constraints on the lexicalization of logical operators, Linguistics and Philosophy, 36, 1-29 (2013) · doi:10.1007/s10988-013-9130-8
[31] Keenan, EL; Stavi, J., A semantic characterization of natural language determiners, Linguistics and Philosophy, 9, 253-326 (1986) · Zbl 0633.03017 · doi:10.1007/BF00630273
[32] Kemp, C.; Xu, Y.; Regier, T., Semantic Typology and Efficient Communication, Annual Review of Linguistics, 4, 109-128 (2018) · doi:10.1146/annurev-linguistics-011817-045406
[33] Kratzer, A., Modals and Conditionals (2012), Oxford: Oxford University Press, Oxford · Zbl 1360.03006
[34] Payne, J. (1985). Negation. In T. Shopen (Ed.), Language Typology and Syntactic Description (pp. 197-242). Cambridge: Cambridge University Press volume 1: Clause Structure. First Edition.
[35] Regier, T.; Kay, P.; Khetarpal, N., Color naming reflects optimal partitions of color space, Proceedings of the National Academy of Sciences, 104, 1436-1441 (2007) · doi:10.1073/pnas.0610341104
[36] Regier, T.; Kemp, C.; Kay, P.; MacWhinney, B.; O’Grady, W., Word meanings across languages support efficient communication, The Handbook of Language Emergence, 237-263 (2015), Oxford: Wiley-Blackwell, Oxford · doi:10.1002/9781118346136.ch11
[37] Restall, G.; Hájek, P.; Valdés-Villanueva, L.; Westerstahl, D., Multiple conclusions, Logic, Methodology and Philosophy of Science, 189-206 (2005), London: College Publications, London · Zbl 1105.03011
[38] Ross, A., Imperatives and logic, Philosophy of Science, 11, 30-46 (1944) · doi:10.1086/286823
[39] Rothschild, D. (2021). Living in a Material World: A Critical Notice of Suppose and Tell: The Semantics and Heuristics of Conditionals by Timothy Williamson. Mind, (pp. 1-26). Critical Notice.
[40] Rumfitt, I., Yes and no, Mind, 109, 781-823 (2000) · doi:10.1093/mind/109.436.781
[41] Sauerland, U. (2000). No ‘no’ On the crosslinguistic absence of a determiner ’no. In Proceedings of the Tsukuba workshop on determiners and quantification (pp. 415-444). Tsukuba: Tsukuba University.
[42] Schroeder, M., How expressivists can and should solve their problem with negation, Noûs, 42, 573-599 (2008) · doi:10.1111/j.1468-0068.2008.00693.x
[43] Simons, M., Disjunction and alternativeness, Linguistics and Philosophy, 24, 597-619 (2001) · doi:10.1023/A:1017597811833
[44] Smiley, T., Rejection. Analysis, 56, 1-9 (1996) · Zbl 0943.03606 · doi:10.1093/analys/56.1.1
[45] Steinert-Threlkeld, S.; Szymanik, J., Learnability and semantic universals, Semantics and Pragmatics, 12, 1-35 (2019) · doi:10.3765/sp.12.4
[46] Uegaki, W. (2022). The informativeness/complexity trade-off in the domain of Boolean connectives. Linguistic Inquiry, (pp. 1-39). Forthcoming.
[47] Unwin, N., Quasi-realism, negation and the frege-geach problem, Philosophical Quarterly, 49, 337-352 (1999) · doi:10.1111/1467-9213.00146
[48] von Wright, GH, An Essay in Deontic Logic and the General Theory of Action with a Bibliography of Deontic and Imperative Logic (1968), Amsterdam, Netherlands: North-Holland Pub. Co, Amsterdam, Netherlands
[49] Yalcin, S.; Ball, D.; Rabern, B., Semantics as model-based science, The Science of Meaning: Essays on the Metatheory of Natural Language Semantics, 334-360 (2018), Oxford University Press · doi:10.1093/oso/9780198739548.003.0012
[50] Yang, F., & Väänänen, J. (2017). Propositional team logics. Annals of Pure and Applied Logic, 168, 1406-1441 · Zbl 1422.03058
[51] Zeijlstra, H., On the syntactically complex status of negative indefinites, The Journal of Comparative Germanic Linguistics, 14, 111-138 (2011) · doi:10.1007/s10828-011-9043-2
[52] Zimmermann, TE, Free choice disjunction and epistemic possibility, Natural Language Semantics, 8, 255-290 (2000) · doi:10.1023/A:1011255819284
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.