Skip to main content

Part of the book series: Studies in Linguistics and Philosophy ((SLAP,volume 96))

  • 566 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

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
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover 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.

    See also Zajenkowski et al. (2013).

  2. 2.

    Recall the discussion of inferential meaning from Sect. 2.4. The ordering here reduces computational complexity of the problem.

  3. 3.

    Compare with Column Pairs Sorted trials in the experiment of (Pietroski et al., 2009).

  4. 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. 5.

    All models were implemented in JAGS (Plummer 2003).

  6. 6.

    See also McMillan et al. (2006) for evidence on quantifier comprehension in patients with focal neurodegenerative disease, and Clark and Grossman (2007); Troiani et al. (2009) for a more general discussion.

  7. 7.

    Chapter 4 contains the mathematical details of the correspondence between quantifiers and automata.

  8. 8.

    See Baddeley (1986, 2003), Baddeley and Hitch (1974).

  9. 9.

    See Conway and Engle (1996), Daneman and Green (1986), Just and Carpenter (1992), King and Just (1991).

  10. 10.

    See also Szymanik and Zajenkowski (2011) for a more detailed comparison between proportional and parity quantifiers.

  11. 11.

    Cf. Zajenkowski et al. (2013).

  12. 12.

    For the POS tagging, we relied on the NLTK 3-gram tagger by Bird et al. (2009).

  13. 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. 14.

    See Barwise and Cooper (1981), Peters and Westerståhl (2006).

  15. 15.

    For an example, see the discussion of collective quantifiers in Chap. 10 and a similar distribution analysis for various readings of reciprocal sentences in Sect. 8.6.2.

  16. 16.

    See Chap. 1.

  17. 17.

    See the next section for more details.

  18. 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. 19.

    Compare the discussion of the Interface Transparency Thesis in the next section.

  20. 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. 21.

    For example, Moxey et al. (2001) note that statements quantified by negative and positive quantifiers can put attentional focus on different subsets of the model and that the focus patterns have their roots in denial rather than in monotonicity (cf. Sanford et al. 1994).

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

    Google Scholar 

  • Anderson, J. R. (2007). How can the Human Mind Occur in the Physical Universe? New York: Oxford University Press.

    Google Scholar 

  • Baddeley, A. (1986). Working Memory. Oxford: Oxford University Press.

    Google Scholar 

  • Baddeley, A. (2003). Working memory and language: An overview. Journal of Communication Disorders, 36, 189–208.

    Article  Google Scholar 

  • Baddeley, A., & Hitch, G. (1974). Working memory. In G. Bower (Ed.), The Psychology of Learning and Motivation (pp. 47–90). New York: Academic Press.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159–219.

    Article  Google Scholar 

  • van Benthem, J. (1986). Essays in Logical Semantics. Reidel.

    Google Scholar 

  • van Benthem, J. (1987). Towards a computational semantics. In P. Gärdenfors (Ed.), Generalized Quantifiers (pp. 31–71). Reidel Publishing Company.

    Google Scholar 

  • Bird, S., Klein, E., & Loper, E. (2009). Natural Language Processing with Python. O’Reilly.

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  • Clark, H. H. (1976). Semantics and Comprehension. Mouton.

    Google Scholar 

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

    Google Scholar 

  • Clark, H., & Chase, W. (1972). On the process of comparing sentences against pictures. Cognitive Psychology, 3(3), 472–517.

    Article  Google Scholar 

  • Clark, R., & Grossman, M. (2007). Number sense and quantifier interpretation. Topoi, 26(1), 51–62.

    Article  Google Scholar 

  • Conway, A., & Engle, R. (1996). Individual differences in working memory capacity—more evidence for a general capacity theory. Memory, 6, 122–125.

    Google Scholar 

  • Cummins, C., & Katsos, N. (2010). Comparative and superlative quantifiers: Pragmatic effects of comparison type. Journal of Semantics, 27(3), 271–305.

    Article  Google Scholar 

  • Daneman, M., & Carpenter, P. (1980). Individual differences in working memory and reading. Journal of Verbal Learning and Verbal Behavior, 19, 450–466.

    Article  Google Scholar 

  • Daneman, M., & Green, I. (1986). Individual differences in comprehending and producing words in context. Journal of Memory and Language, 25, 1–18.

    Article  Google Scholar 

  • Daneman, M., & Merikle, P. (1996). Working memory and language comprehension: A meta-analysis. Psychonomic Bulletin and Review, 3, 422–433.

    Article  Google Scholar 

  • Dehaene, S. (1999). The Number Sense: How the Mind Creates Mathematics. USA: Oxford University Press.

    Google Scholar 

  • 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).

    Google Scholar 

  • Duff, S., & Logie, R. (2001). Processing and storage in working memory span. The Quarterly Journal of Experimental Psychology, 54, 31–48.

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Hackl, M. (2009). On the grammar and processing of proportional quantifiers: Most versus more than half. Natural Language Semantics, 17(1), 63–98.

    Article  Google Scholar 

  • Just, M., & Carpenter, P. (1971). Comprehension of negation with quantification. Journal of Verbal Learning and Verbal Behavior, 10(3), 244–253.

    Article  Google Scholar 

  • Just, M., & Carpenter, P. (1992). A capacity theory of comprehension: Individual differences in working memory. Psychological Review, 99, 122–149.

    Article  Google Scholar 

  • Just, M., Carpenter, P., & Woolley, J. (1982). Paradigms and processes in reading comprehension. Journal of Experimental Psychology: General, 111(2), 228.

    Google Scholar 

  • 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).

    Google Scholar 

  • King, J., & Just, M. (1991). Individual differences in syntactic processing: The role of working memory. Journal of Memory and Language, 30, 580–602.

    Article  Google Scholar 

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

    Google Scholar 

  • Ladusaw, W. (1979). Polarity Sensitivity as Inherent Scope Relations. PhD thesis, University of Texas.

    Google Scholar 

  • Lee, J., & Park, S. (2005). Working memory impairments in schizophrenia: A meta-analysis. Journal of Abnormal Psychology, 114(4), 599.

    Article  Google Scholar 

  • Lidz, J., Pietroski, P., Halberda, J., & Hunter, T. (2011). Interface transparency and the psychosemantics of most. Natural Language Semantics, 19(3), 227–256.

    Article  Google Scholar 

  • Marr, D. (1983). Vision: A Computational Investigation into the Human Representation and Processing Visual Information. San Francisco: W. H. Freeman.

    Google Scholar 

  • McMillan, C. T., Clark, R., Moore, P., Devita, C., & Grossman, M. (2005). Neural basis for generalized quantifier comprehension. Neuropsychologia, 43, 1729–1737.

    Article  Google Scholar 

  • McMillan, C. T., Clark, R., Moore, P., & Grossman, M. (2006). Quantifiers comprehension in corticobasal degeneration. Brain and Cognition, 65, 250–260.

    Article  Google Scholar 

  • Miestamo, M., Sinnemäki, K., & Karlsson, F. (Eds.). (2008). Language Complexity: Typology, Contact, Change. Studies in Language Companion Series. John Benjamins Publishing Company.

    Google Scholar 

  • Miller, G. A., & Chomsky, N. (1963). Finitary models of language users. Handbook of Mathematical Psychology, 2, 419–491.

    Google Scholar 

  • Moxey, L., & Sanford, A. (1993). Communicating Quantities. A Psychological Perspective. Lawrence Erlbaum Associates Publishers.

    Google Scholar 

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

    Article  Google Scholar 

  • Peters, S., & Westerståhl, D. (2006). Quantifiers in Language and Logic. Oxford: Clarendon Press.

    Google Scholar 

  • Piantadosi, S. T. (2011). Learning and the Language of Thought. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA.

    Google Scholar 

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

    Google Scholar 

  • Pica, P., Lemer, C., Izard, V., & Dehaene, S. (2004). Exact and approximate arithmetic in an Amazonian indigene group. Science, 306, 499–503.

    Article  Google Scholar 

  • Pietroski, P., Lidz, J., Hunter, T., & Halberda, J. (2009). The meaning of ‘most’: Semantics, numerosity, and psychology. Mind and Language, 24(5), 554–585.

    Google Scholar 

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

    Google Scholar 

  • Rabin, M. O. (1963). Probabilistic automata. Information and Control, 6(3), 230–245.

    Article  Google Scholar 

  • Raven, J. (2000). The Raven’s progressive matrices: Change and stability over culture and time. Cognitive Psychology, 41(1), 1–48.

    Article  Google Scholar 

  • Sanford, A. J., Moxey, L. M., & Paterson, K. (1994). Psychological studies of quantifiers. Journal of Semantics, 11(3), 153–170.

    Google Scholar 

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

    Google Scholar 

  • Simon, H. A. (1957). The Models of Man: Social and Rational. Wiley.

    Google Scholar 

  • Steinert-Threlkeld, S. (2014b). A note on the psychosemantics of most, manuscript.

    Google Scholar 

  • Sternberg, R. J. (2008). Cognitive Psychology (5th ed.). Wadsworth Publishing.

    Google Scholar 

  • Sternberg, S. (1966). High-speed scanning in human memory. Science, 153, 652–654.

    Article  Google Scholar 

  • Szymanik, J. (2007). A comment on a neuroimaging study of natural language quantifier comprehension. Neuropsychologia, 45(9), 2158–2160.

    Article  Google Scholar 

  • Szymanik, J. (2009). Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language. PhD thesis. University of Amsterdam, Amsterdam.

    Google Scholar 

  • Szymanik, J., & Zajenkowski, M. (2010a). Comprehension of simple quantifiers. Empirical evaluation of a computational model. Cognitive Science: A Multidisciplinary Journal, 34(3), 521–532.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Szymanik, J., & Zajenkowski, M. (2011). Contribution of working memory in parity and proportional judgments. Belgian Journal of Linguistics, 25(1), 176–194.

    Google Scholar 

  • Thorne, C. (2012). Studying the distribution of fragments of English using deep semantic annotation. In H. Bunt (Ed.), Proceedings of the ISA8 Workshop. SIGSEM.

    Google Scholar 

  • Thorne, C., & Szymanik, J. (2015). Semantic complexity of quantifiers and their distribution in corpora. In Proceedings of the International Conference on Computational Semantics.

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

  • Zajenkowski, M., Szymanik, J., & Garraffa, M. (2013). Working memory mechanism in proportional quantifier verification. Journal of Psycholinguistic Research, 1–15.

    Google Scholar 

  • Zipf, G. (1949). Human Behaviour and the Principle of Least-Effort. Cambridge: Addison-Wesley.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jakub Szymanik .

Rights and permissions

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

Publish with us

Policies and ethics