Abstract
In this chapter, I set out to study the cognitive task of sentence verification. In particular, I investigate the cognitive capacity to recognize the truth-value of sentences with simple quantifiers (like ‘some’, ‘an even number of’, ‘more than 7’, ‘less than half’). As the exact strategies people use to verify quantifier sentences are mostly uncertain, I study optimal (computationally minimal) algorithms that can handle the tasks, i.e., semantic automata. I overview a number of cognitive science experiments on the processing of natural language quantifiers, which establish the psychological generality of the semantic automata model. The experiments include, behavioral measures of reaction times, accuracy, and working memory involvement, neurocognitive studies, experiments with schizophrenic patients, and linguistic analysis of quantifier distributions in corpora. The empirical data shows that the computational distinctions described in the previous chapter are reflected in human quantifier processing. However, there are many cognitive findings for the explanation of which we need a more fine-grained semantic theory, combining computational, logical, and linguistic insights with cognitive modeling.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See also Zajenkowski et al. (2013).
- 2.
Recall the discussion of inferential meaning from Sect. 2.4. The ordering here reduces computational complexity of the problem.
- 3.
Compare with Column Pairs Sorted trials in the experiment of (Pietroski et al., 2009).
- 4.
To make this processing step more cognitively plausible, we could introduce a probabilistic sampling to encode the models, but we leave this for future work.
- 5.
All models were implemented in JAGS (Plummer 2003).
- 6.
- 7.
Chapter 4 contains the mathematical details of the correspondence between quantifiers and automata.
- 8.
- 9.
- 10.
See also Szymanik and Zajenkowski (2011) for a more detailed comparison between proportional and parity quantifiers.
- 11.
Cf. Zajenkowski et al. (2013).
- 12.
For the POS tagging, we relied on the NLTK 3-gram tagger by Bird et al. (2009).
- 13.
Of course, a really good explanation would try to connect computational complexity with Zipf laws via some information-theoretic analysis (cf. Piantadosi et al. 2011).
- 14.
- 15.
- 16.
See Chap. 1.
- 17.
See the next section for more details.
- 18.
Alternatively, if we assume that subjects search through all the cars without quick perceptual identification of the target set, then the estimation of the verification times would depend on the order in which subjects process the elements. As we cannot know this, we would need to consider average cases (even more probable taking into account that the cars were randomly distributed). In such a situation the number of states would not change, but the number of transitions could vary between the minimal case (7 or 8 as in the first analysis) and the maximal case of ‘looking at’ all the cars, i.e., 15. As a result we would get \(11,5t+8s\) for true ‘more than 7’ and false ‘fewer than 8’. In the case of false ‘more than 7’ and true ‘fewer than 8’ the subjects would still need to check all 15 cars. As we will see later, such an alternative analysis is inconsistent with the obtained data.
- 19.
Compare the discussion of the Interface Transparency Thesis in the next section.
- 20.
Note that Lidz et al. (2011) argue that the number of dots (i.e., elements in the restrictor set) and the number of blue dots (i.e., elements in the intersection of the restrictor set and the scope) are computed directly while the number of nonblue dots is computed indirectly by means of subtraction. Therefore, they would have to predict the effects of monotonicity even with proportional quantifiers. However, under the Approximate Number System model they consider this prediction to not necessarily be guaranteed as the Approximate Number System talks about ‘estimating numbers’ rather than counting. Anyway, step-by-step counting was not even possible with the 150 ms time limit. See also the next section.
- 21.
- 22.
One of the claims of Koster-Moeller et al. (2008) is that processing difficulty is affected by the number n mentioned in the sentences instead of the number N that determines the truth-value.
- 23.
Tomaszewicz (2013) additionally presented evidence that participants are prompted to switch between verification procedures by a change in the linguistic input. In addition to ‘most’ she also tested subjects on verification tasks involving a different superlative quantifier in Polish and Bulgarian meaning ‘the biggest group of’.
- 24.
The Weber fraction expresses the smallest numerical difference between two quantities that participants can distinguish. The Weber fraction of \(n_1\) vs \(n_2\) is calculated as \((n_1-n_2)/n_2\).
References
Anderson, J. (1990). The Adaptive Character of Thought. Studies in Cognition. Lawrence Erlbaum.
Anderson, J. R. (2007). How can the Human Mind Occur in the Physical Universe? New York: Oxford University Press.
Baddeley, A. (1986). Working Memory. Oxford: Oxford University Press.
Baddeley, A. (2003). Working memory and language: An overview. Journal of Communication Disorders, 36, 189–208.
Baddeley, A., & Hitch, G. (1974). Working memory. In G. Bower (Ed.), The Psychology of Learning and Motivation (pp. 47–90). New York: Academic Press.
Bagner, D. M., Melinder, M. R., & Barch, D. M. (2003). Language comprehension and working memory deficits in patients with schizophrenia. Schizophrenia Research, 60(2), 299–309.
Baroni, M. (2009). Distributions in Text. In A. Lüdeling & M. Kytö (Eds.), Corpus Linguistics: An International Handbook (Vol. 2, pp. 803–821). Mouton de Gruyter.
Baroni, M., Bernardini, S., Ferraresi, A., & Zanchetta, E. (2009). The WaCky Wide Web: A collection of very large linguistically processed web-crawled corpora. Language Resources and Evaluation, 43(3), 209–226.
Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159–219.
van Benthem, J. (1986). Essays in Logical Semantics. Reidel.
van Benthem, J. (1987). Towards a computational semantics. In P. Gärdenfors (Ed.), Generalized Quantifiers (pp. 31–71). Reidel Publishing Company.
Bird, S., Klein, E., & Loper, E. (2009). Natural Language Processing with Python. O’Reilly.
Brébion, G., Amador, X., Smith, M. J., & Gorman, J. M. (1998). Memory impairment and schizophrenia: The role of processing speed. Schizophrenia Research, 30(1), 31–39.
Chuderski, A., & Nęcka, E. (2012). The contribution of working memory to fluid reasoning: Capacity, control, or both? Journal of Experimental Psychology: Learning, Memory, and Cognition, 38(6), 1689.
Clark, H. H. (1976). Semantics and Comprehension. Mouton.
Clark, R. (2010). On the learnability of quantifiers. In J. van Benthem & A. ter Meulen (Eds.), Handbook of Logic and Language (2nd ed., pp. 909–922). Elsevier.
Clark, H., & Chase, W. (1972). On the process of comparing sentences against pictures. Cognitive Psychology, 3(3), 472–517.
Clark, R., & Grossman, M. (2007). Number sense and quantifier interpretation. Topoi, 26(1), 51–62.
Conway, A., & Engle, R. (1996). Individual differences in working memory capacity—more evidence for a general capacity theory. Memory, 6, 122–125.
Cummins, C., & Katsos, N. (2010). Comparative and superlative quantifiers: Pragmatic effects of comparison type. Journal of Semantics, 27(3), 271–305.
Daneman, M., & Carpenter, P. (1980). Individual differences in working memory and reading. Journal of Verbal Learning and Verbal Behavior, 19, 450–466.
Daneman, M., & Green, I. (1986). Individual differences in comprehending and producing words in context. Journal of Memory and Language, 25, 1–18.
Daneman, M., & Merikle, P. (1996). Working memory and language comprehension: A meta-analysis. Psychonomic Bulletin and Review, 3, 422–433.
Dehaene, S. (1999). The Number Sense: How the Mind Creates Mathematics. USA: Oxford University Press.
Dotlačil, J., Szymanik, J., & Zajenkowski, M. (2014). Probabilistic semantic automata in the verification of quantified statements. In P. Bello, M. McShane, M. Guarini & B. Scassellati (Eds.), Proceedings of the 36th Annual Conference of the Cognitive Science Society (pp. 1778–1783).
Duff, S., & Logie, R. (2001). Processing and storage in working memory span. The Quarterly Journal of Experimental Psychology, 54, 31–48.
Engle, R. W., Kane, M. J., & Tuholski, S. W. (1999). Individual differences in working memory capacity and what they tell us about controlled attention, general fluid intelligence, and functions of the prefrontal cortex. In A. Miyake & P. Shah (Eds.), Models of Working Memory: Mechanisms of Active Maintenance and Executive Control (pp. 102–134). Cambridge University Press.
Fan, J., McCandliss, B., Sommer, T., Raz, A., & Posner, M. (2002). Testing the efficiency and independence of attentional networks. Journal of Cognitive Neuroscience, 14, 340–347.
Francis, W. N., & Kucera, H. (1979). Brown Corpus Manual. Technical report, Department of Linguistics, Brown University, Providence, Rhode Island, US. http://icame.uib.no/brown/bcm.html.
Frixione, M. (2001). Tractable competence. Minds and Machines, 11(3), 379–397.
Geurts, B., Katsos, N., Cummins, C., Moons, J., & Noordman, L. (2010). Scalar quantifiers: Logic, acquisition, and processing. Language and Cognitive Processes, 25(1), 244–253.
Gierasimczuk, N. (2007). The problem of learning the semantics of quantifiers. In B. Ten Cate & H. Zeevat (Eds.), Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005. Volume 4363 of Lecture Notes in Computer Science (pp. 117–126). Batumi: Springer.
Gierasimczuk, N. (2009). Identification through inductive verification. Application to monotone quantifiers. In P. Bosch, D. Gabelaia & J. Lang (Eds.), Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007. Volume 5422 of Lecture Notes on Artificial Intelligence (pp. 193–205). Tbilisi, Georgia: Springer.
Hackl, M. (2009). On the grammar and processing of proportional quantifiers: Most versus more than half. Natural Language Semantics, 17(1), 63–98.
Just, M., & Carpenter, P. (1971). Comprehension of negation with quantification. Journal of Verbal Learning and Verbal Behavior, 10(3), 244–253.
Just, M., & Carpenter, P. (1992). A capacity theory of comprehension: Individual differences in working memory. Psychological Review, 99, 122–149.
Just, M., Carpenter, P., & Woolley, J. (1982). Paradigms and processes in reading comprehension. Journal of Experimental Psychology: General, 111(2), 228.
Kaup, B., Ludtke, J., & Zwaan, R. A. (2005). Effects of negation, truth value, and delay on picture recognition after reading affirmative and negative sentences. In B. Bara, L. Barsalou & M. Bucciarelli (Eds.), Proceedings of the 27th Annual Conference of the Cognitive Science Society (pp. 1114–1119).
King, J., & Just, M. (1991). Individual differences in syntactic processing: The role of working memory. Journal of Memory and Language, 30, 580–602.
Koster-Moeller, J., Varvoutis, J., & Hackl, M. (2008). Verification procedures for modified numeral quantifiers. In N. Abner & J. Bishop (Eds.), Proceedings of the 27th West Coast Conference on Formal Linguistics (Vol. 1986, pp. 310–317). Somerville: Cascadilla Proceedings Project.
Ladusaw, W. (1979). Polarity Sensitivity as Inherent Scope Relations. PhD thesis, University of Texas.
Lee, J., & Park, S. (2005). Working memory impairments in schizophrenia: A meta-analysis. Journal of Abnormal Psychology, 114(4), 599.
Lidz, J., Pietroski, P., Halberda, J., & Hunter, T. (2011). Interface transparency and the psychosemantics of most. Natural Language Semantics, 19(3), 227–256.
Marr, D. (1983). Vision: A Computational Investigation into the Human Representation and Processing Visual Information. San Francisco: W. H. Freeman.
McMillan, C. T., Clark, R., Moore, P., Devita, C., & Grossman, M. (2005). Neural basis for generalized quantifier comprehension. Neuropsychologia, 43, 1729–1737.
McMillan, C. T., Clark, R., Moore, P., & Grossman, M. (2006). Quantifiers comprehension in corticobasal degeneration. Brain and Cognition, 65, 250–260.
Miestamo, M., Sinnemäki, K., & Karlsson, F. (Eds.). (2008). Language Complexity: Typology, Contact, Change. Studies in Language Companion Series. John Benjamins Publishing Company.
Miller, G. A., & Chomsky, N. (1963). Finitary models of language users. Handbook of Mathematical Psychology, 2, 419–491.
Moxey, L., & Sanford, A. (1993). Communicating Quantities. A Psychological Perspective. Lawrence Erlbaum Associates Publishers.
Moxey, L. M., Sanford, A. J., & Dawydiak, E. J. (2001). Denials as controllers of negative quantifier focus. Journal of Memory and Language, 44(3), 427–442.
Peters, S., & Westerståhl, D. (2006). Quantifiers in Language and Logic. Oxford: Clarendon Press.
Piantadosi, S. T. (2011). Learning and the Language of Thought. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA.
Piantadosi, S. T., Tily, H., & Gibson, E. (2011). Word lengths are optimized for efficient communication. Proceedings of the National Academy of Sciences, 108(9), 3526–3529.
Pica, P., Lemer, C., Izard, V., & Dehaene, S. (2004). Exact and approximate arithmetic in an Amazonian indigene group. Science, 306, 499–503.
Pietroski, P., Lidz, J., Hunter, T., & Halberda, J. (2009). The meaning of ‘most’: Semantics, numerosity, and psychology. Mind and Language, 24(5), 554–585.
Plummer, M. (2003). JAGS: A program for analysis of Bayesian graphical models using Gibbs sampling. In K. Hornik, F. Leisch & A. Zeileis (Eds.), Proceedings of the 3rd International Workshop on Distributed Statistical Computing (DSC 2003) (pp. 20–22). Technische Universität Wien.
Rabin, M. O. (1963). Probabilistic automata. Information and Control, 6(3), 230–245.
Raven, J. (2000). The Raven’s progressive matrices: Change and stability over culture and time. Cognitive Psychology, 41(1), 1–48.
Sanford, A. J., Moxey, L. M., & Paterson, K. (1994). Psychological studies of quantifiers. Journal of Semantics, 11(3), 153–170.
Seidman, L. J., Yurgelun-Todd, D., Kremen, W. S., Woods, B. T., Goldstein, J. M., Faraone, S. V., et al. (1994). Relationship of prefrontal and temporal lobe MRI measures to neuropsychological performance in chronic schizophrenia. Biological Psychiatry, 35(4), 235–246.
Simon, H. A. (1957). The Models of Man: Social and Rational. Wiley.
Steinert-Threlkeld, S. (2014b). A note on the psychosemantics of most, manuscript.
Sternberg, R. J. (2008). Cognitive Psychology (5th ed.). Wadsworth Publishing.
Sternberg, S. (1966). High-speed scanning in human memory. Science, 153, 652–654.
Szymanik, J. (2007). A comment on a neuroimaging study of natural language quantifier comprehension. Neuropsychologia, 45(9), 2158–2160.
Szymanik, J. (2009). Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language. PhD thesis. University of Amsterdam, Amsterdam.
Szymanik, J., & Zajenkowski, M. (2010a). Comprehension of simple quantifiers. Empirical evaluation of a computational model. Cognitive Science: A Multidisciplinary Journal, 34(3), 521–532.
Szymanik, J., & Zajenkowski, M. (2010b). Quantifiers and working memory. In M. Aloni & K. Schulz (Eds.), Amsterdam Colloquium 2009. Lecture Notes In Artificial Intelligence 6042 (pp. 456–464). Springer.
Szymanik, J., & Zajenkowski, M. (2013). Monotonicity has only a relative effect on the complexity of quantifier verification. In M. Aloni, M. Franke & F. Roelofsen (Eds.), Proceedings of the 19th Amsterdam Colloquium (pp. 219–225). University of Chicago Press.
Szymanik, J., & Zajenkowski, M. (2011). Contribution of working memory in parity and proportional judgments. Belgian Journal of Linguistics, 25(1), 176–194.
Thorne, C. (2012). Studying the distribution of fragments of English using deep semantic annotation. In H. Bunt (Ed.), Proceedings of the ISA8 Workshop. SIGSEM.
Thorne, C., & Szymanik, J. (2015). Semantic complexity of quantifiers and their distribution in corpora. In Proceedings of the International Conference on Computational Semantics.
Tomaszewicz, B. (2013). Linguistic and visual cognition: Verifying proportional and superlative most in Bulgarian and Polish. Journal of Logic, Language and Information, 22(3), 335–356.
Troiani, V., Peelle, J., Clark, R., & Grossman, M. (2009). Is it logical to count on quantifiers? Dissociable neural networks underlying numerical and logical quantifiers. Neuropsychologia, 47(1), 104–111.
Velligan, D. I., Mahurin, R. K., Diamond, P. L., Hazleton, B. C., Eckert, S. L., & Miller, A. L. (1997). The functional significance of symptomatology and cognitive function in schizophrenia. Schizophrenia Research, 25(1), 21–31.
Zajenkowski, M., Styła, R., & Szymanik, J. (2011). A computational approach to quantifiers as an explanation for some language impairments in schizophrenia. Journal of Communication Disorders, 44(6), 595–600.
Zajenkowski, M., & Szymanik, J. (2013). Most intelligent people are accurate and some fast people are intelligent: Intelligence, working memory, and semantic processing of quantifiers from a computational perspective. Intelligence, 41(5), 456–466.
Zajenkowski, M., Szymanik, J., & Garraffa, M. (2013). Working memory mechanism in proportional quantifier verification. Journal of Psycholinguistic Research, 1–15.
Zipf, G. (1949). Human Behaviour and the Principle of Least-Effort. Cambridge: Addison-Wesley.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Szymanik, J. (2016). Cognitive Processing of Quantifiers. In: Quantifiers and Cognition: Logical and Computational Perspectives. Studies in Linguistics and Philosophy, vol 96. Springer, Cham. https://doi.org/10.1007/978-3-319-28749-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-28749-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28747-8
Online ISBN: 978-3-319-28749-2
eBook Packages: Social SciencesSocial Sciences (R0)