Abstract
Background
Logical reasoning in young children is difficult to ascertain experimentally even for single propositional operators. We present a novel argument that four- and five-year old children are capable of reasoning with complex representations containing multiple logical operators.
Methods
The argument is based on an interaction between sentence interpretation and intonation. This interaction depends on the computation of logical inferences between the sentence uttered and possible alternative utterances containing proportional generalized quantifiers, and how adults arrive at different interpretations is well understood. The account that explains the interaction predicts that a specific intonation will disambiguate scopal interpretation in sentences with a negation and a universal quantifier, but not in sentences involving two quantifiers.
Results
We show that preschool children speaking German are sensitive to the interaction between logical scope of expressions and intonation in the same way as adult speakers.
Conclusion
This result entails that preschool children can carry out logical reasoning within a higher order logic.
Keywords: children, language, reasoning, intonation, scope, alternatives, negation, quantification, German
Plain language summary
We tend to associate logical reasoning with activities such as proving mathematical theorems or developing scientific theories. But logical reasoning can also often be observed in a more indirect way. Here we built on the widely accepted linguistic result that adults crucially use higher order logical reasoning to disambiguate sentences like “All politicians are not corrupt” on the basis of intonation. We introduce a task where participants interpret similar sentences in German, where we also vary the intonation. We show that preschool children can integrate the intonation with the quantifier interpretation similarly to how adults do it. Because we also test further control conditions, we conclude that preschool children must be employing higher order logical reasoning in the same way as adults do. Our result is the first to provide evidence for higher order logical reasoning in five year old children.
Introduction
The ability to think logically is a core part of our identity as homo sapiens and a central interest for understanding human nature. Its origins and development in children are the topic of much research. Recent work in cognitive science has provided evidence that prelinguistic infants and even members of other species can successfully carry out inferences that indicate an understanding of propositional logic, specifically negation and the disjunctive syllogism ( Cesana-Arlotti et al., 2018; Cesana-Arlotti et al., 2020; Mody & Carey, 2016). Similar work has revealed some understanding of propositional logic even in other species including all the great apes ( Call, 2004), baboons ( Dautriche et al., 2022), and grey parrots ( Pepperberg et al., 2019). There are many logical systems of different orders of formal expressivity with propositional logic being only the most basic ( Frege, 1879). An important research question is how, if at all, the order of logical systems is reflected in cognitive development or evolution. Current work leaves it open at what age reasoning requiring first and higher order logic is acquired in children, however.
The orders of logic
Over millennia, philosophers and mathematicians have developed a variety of formal calculi that can capture logical inference relations in different domains ( Kneale & Kneale, 1962). The two most widely known systems are propositional (or Boolean) and first order (or predicate) logic. Propositional logic has primitives that capture propositional constants and the meanings of conjunction ( ‘and’, ∧), disjunction ( ‘or’, ∨), and negation ( ‘not’, ¬), which operate on one or two propositions. Recent findings on early logical cognition exclusively concerned propositional logic, primarily disjunction, negation ( Cesana-Arlotti et al., 2018; Feiman et al., 2022) 1 and modality ( Leahy & Carey, 2020). First order logic includes at least the additional primitives ∀ for universal (‘for all’) quantification, ∃ for existential (‘exists’) quantification, as well as = for identity (‘equals’) and bound variables. First order logic is a strictly more expressive system than propositional logic, but it still cannot express concepts such as infinity (‘Infinitely many x are P’) or a proportion (‘More than half of x are P’). Only a higher order logic can express these concepts ( Boolos, 1984; Westerståhl, 2019). Our focus is on higher order logical reasoning that involves proportional quantification that concepts expressed by most or more than half by adults. Though children do not know these words, we present novel evidence that children must
Quantification in language
One way quantification can be expressed in English (and many other languages) is via quantificational determiners such as all, some, none, many, and most ( Bach et al., 1995). At least the quantifiers of first order logic seem to be expressible in all natural languages including newly emerged languages ( Kocab et al., 2022). The meaning of quantificational determiners has been analyzed primarily not within first order logic, but by the addition of generalized quantifiers to first order logic ( Barwise & Cooper, 1981; Montague, 1970). While a quantifier Q FO in first order logic combines with a single property σ as in Q FOx . σ( x), a generalized quantifier Q GQ combines with two properties ρ and σ as in Q G Q ( ρ)( σ) ( Lindström, 1966; Mostowski, 1957). Many generalized quantifiers can, however, also be expressed in first order logic and vice versa ( Peters & Westerståhl, 2006). For example, the generalized universal quantifiers ∀ G Q , ∃ GQ and two GQ can be captured within predicate logic itself:
[1] ∀ GQ ( ρ)( σ)is true iff. ∀x( ρ( x) → σ( x))
[2] ∃ GQ ( ρ)( σ)is true iff. ∃x( ρ( x) ∧ σ( x))
[3] two GQ ( ρ)( σ)is true iff. ∃x ∃y ( x ≠ y ∧ ρ( x) ∧ σ( x) ∧ ρ( y) ∧ σ( y))
Because the first order quantifiers ∀ and ∃ can both be expressed by generalized quantifiers, first order logic can be subsumed by a logic with generalized quantifiers. But generalized quantifiers are more expressive than first order quantifiers: proportional relations can only be captured with generalized quantifiers. For example, the generalized quantifier most GQ that expresses ‘more than half of ρ are also σ’ cannot be expressed in first order logic ( Kolaitis & Väänänen, 1995; Resher, 1962):
[4] M GQ ( ρ)( σ) is true iff. |{x | ρ( x) ∧ σ( x) }| > |{x | ρ( x) ∧ ¬σ( x) }|
Human adult logical competence as revealed by language must not only exceed first order logic, but requires higher order logic, because proportional quantifiers exceed the expressivity of first order logic. What about children though?
Evidence from children’s quantifier word comprehension
At what age do children master proportional quantification? For first-order quantifier words such as English a, some and all, several studies show that children understand their core logical meaning before age 5, though independent factors may mask this understanding in more complex sentences ( Aravind et al., 2017; Crain & Thornton, 2000; Foppolo et al., 2012; Huang & Snedeker, 2009). Results from some studies that directly compare most with existential and universals suggest that first-order quantifier words are acquired faster than higher-order most ( Sullivan et al., 2018)
As for proportional quantifiers, existing results seem to indicate that higher order logical relations are not yet fully acquired at the age of 5 years old ( Sullivan et al., 2018). The evidence underlying this conclusion is comprised of a series of results on children’s understanding of the quantifier most and equivalent expressions in other languages ( Barner et al., 2009; Katsos et al., 2016; Papafragou & Schwarz, 2006). While earlier studies showed mixed results, Sullivan et al. (2018) report three studies using the give-a-set-task ( Wynn, 1990), where children are asked for a set of items to give a certain quantity to the experimenter. They report that English-speaking children up to age 6 show no evidence of understanding sentences with the quantifier most differently from sentences containing the non-word blick used as a quantifier, while adults do: 4-year olds reached at least 78% adult performance on the singular existential a and the universal all. While Sulllivan et al.’s study is based only on English, Katsos et al. (2016) present evidence that 5 to 6-year old children speaking 31 different languages exhibit consistently higher performance judging truth and falsity of universally and existentially quantified statements than for statements with the proportional quantifier equivalent to most using a different method (namely, the truth-value judgement task; Crain & Thornton, 2000). Only 60.8% of the 768 children (average age 66 month) correctly rejected a statement such as ‘Most of the apples are in the boxes’ if only two out of five are in the boxes while the same children’s accuracy on the singular existential a and the universal all is above 80% across languages.
Children’s failure with most and its translations into other languages, however, may also reflect other factors such as the internal complexity of most and its counterparts in other languages ( Hackl, 2009). If this is the case, it would then not necessarily provide an accurate measure of children’s facility with higher-order logic. We propose a new method based on the implicit reasoning underlying an interaction of scope ambiguity and intonation to provide evidence of higher order logical reasoning in four- to five-year-old children. We first present the linguistic account of this interaction in adults.
Scope ambiguity
While logical formulas unequivocally indicate operator scope, natural language sentences containing multiple logical words can be ambiguous with respect to their scope. We discuss two examples of this type that play a role in the remainder of the paper: all-not sentences and one-all sentences. Example [ 5] illustrates all-not sentences which involve a universal quantifier all and negation not. The ambiguity of sentence [ 5] is captured by the two logical formula [ 6] and [ 7]. In the so-called surface scope interpretation in [ 6], the scope of the universal quantifier and negation corresponds to the linear order of all and not in the sentence [ 5], while the scope of universal quantifier and negation is the inverse of the linear order of all and not in the inverse scope interpretation in [ 7].
[5] All T-shirts are not dried.
[6] surface scope: ∀ GQ (T-shirt)( λx . ¬dried( x))
[7] inverse scope: ¬∀ GQ (T-shirt)( λx . dried( x))
Figure 1 shows two scenarios that distinguish between the two interpretations of [ 5]. The surface scope interpretation [ 6] is true for scenario 1-a and false for 1-b. The inverse scope interpretation [ 7], on the other hand, is true for scenario 1-b, while it is also logically true for scenario 1-a. 2
Figure 1. Scenarios to test the scope ambiguity of the all-not sentence [ 5] ‘All T-shirts are not dried.’ Reading [ 6] is true in scenario a. and false in scenario b., while reading [ 7] is true in scenario b.
An example of a one-all sentence is shown in [ 8]. For this sentence, the relative scope of the existential one and the universal all can either be surface scope in the logical configuration of ∃ having scope over ∀ in [ 9] or inverse scope in [ 10].
[8] One boy has picked all the flowers.
[9] surface scope: ∃ GQ (boy)( λx . ∀ GQ (flower)( λy . picked( x,y)))
[10] inverse scope: ∀ GQ (flower)( λy . ∃ GQ (boy)( λx . picked( x,y)))
Figures 2a and 2b correspond to the two interpretations of [ 8]. The surface scope interpretation in [ 9] is true in Figure 2a but false in Figure 2b, while the inverse scope interpretation in [ 10] is logically true in both scenarios.
Figure 2. Scenarios to test the scopal ambiguity of the one-all sentence [ 8] ‘One boy picked all the flowers.’ Reading [ 9] is true in scenario a, but false in scenario b. Only reading [ 10] is true in the scenario b.
Important factors that constrain scope ambiguity in general are language ( Frey, 1993; Huang, 1982), sentence structure ( Rodman, 1976; Wurmbrand, 2018) and logical relations among operators ( Fox, 2000), but in the present paper, we only discuss intonation.
Disambiguation by contrastive topic intonation
While an all-not sentence like [ 5] in English is scopally ambiguous when uttered with neutral intonation, it becomes unambiguous, allowing for only the inverse scope interpretation in [ 7], when it is uttered with a specific intonation contour called the B-accent ( Jackendoff, 1972; Jespersen, 1933). A similar phenomenon is observed in German ( Jacobs, 1984), the language we investigated experimentally. In German, disambiguation in all-not sentences is caused by an intonation contour called the hat intonation. The German neutral and hat intonation contours are shown in the spectrograms in Figure 3.
Figure 3.
Spectrograms with a F0 pitch track (red line) of a. the neutral intonation contour and b. the contrastive topic intonation contour of the German translations of [ 5] as used in the experimental study reported. The pitch track in b. shows the tonal rise on alle (all) and a fall on nicht (not). Figure 3 a. all T-shirts are not dried. Figure 3 b. all T T-shirts are not F dried.
The term Contrastive Topic Intonation refers to intonation contours like the English B-accent and the German hat contour independent of their language-specific phonetic properties ( Féry, 1993). Contrastive topic intonation in the languages where it has been studied is localized on two words (or phrases) in a sentence. We adopt the notation of underlining both accented words and furthermore marking the first with subscript T and the second with subscript F as shown in Figure 3b. Büring ( 1997, 2003) establishes a widely-accepted explanation of the scope disambiguation of all-not sentences by contrastive topic intonation. The explanation is based on the observation that the hat contour also occurs in answers to questions that contain multiple interrogative particles ( Bolinger, 1965): For example, in answer to the question Who drank what?, the underlined words would receive the contrastive topic accents — Chris T drank coffee F and Kai T drank tea F.
We summarize Büring’s proposal in the following condition:
[11] A statement S with contrastive topic intonation is licit if and only if there is a question Q targeting the two elements marked by the contrastive topic intonation of S such that S partially, but not completely answers Q.
The scope disambiguation in the not-all sentence in [ 5] follows from condition in [ 11] via a sequence of inferences. The following question in [ 12] targets negation and the universal in the sense of [ 11]:
[12] Q 1 = For what n are at least n% of the T-shirts dried or not dried?
The question Q 1 is completely answered by interpretation in [ 6] for sentence [ 5], however, because if All / 100% of the T-shirts are such that they are not dried, it is also the case that for any number x < 100, at least x% of the T-shirts must be not dried. Therefore condition in [ 11] would not be satisfied if the speaker uttering [ 5] intended the surface scope interpretation in [ 6] (All the t-shirts are such that they are dry). Interpretation [ 7], however, answers Q 1 only partially, not completely: That it is not the case that 100% of the T-shirts are dried provides a partial answer to Q 1, but not a complete one because it still remains open whether or not, for example, at least 90% of the T-shirts are dried. Therefore condition in [ 11] is satisfied if the inverse scope interpretation in [ 7] is intended. Hearers who apply this reasoning are then correctly predicted to infer that the intended interpretation for sentence [ 5] with contrastive topic intonation must be [ 7]. Importantly the correct disambiguation of all-not sentences is only predicted if listeners go through a chain of logical reasoning with proportional quantifiers—i.e. the account relies on higher order quantificational reasoning. 3
No disambiguation in one-all sentences
Statements like [ 8] are not disambiguated by contrastive topic intonation ( Krifka, 1998) as the requirement in [ 11] correctly predicts. Specifically, a question corresponding to [ 8] in the sense of [ 11] is Q 2:
[13] Q 2 = For what n and for what m did n of the boys pick m% of the flowers?
But both interpretations in [ 8] answer the question Q 2 in in [ 13] only partially: (i) the surface scope interpretation in [ 9] leaves open whether any of the boys picked multiple flowers, and (ii) the inverse scope interpretation in [ 10] leaves open whether multiple boys picked some or all of the flowers. Condition in [ 11], therefore, predicts correctly that the contrastive topic intonation does not disambiguate one-all sentences. The difference in the availability of disambiguation between all-not sentences and one-all sentences provides crucial evidence that German adults apply higher order logical reasoning as required by condition [ 11] to interpret contrastive focus.
A novel test for higher order logic
Our novel test for the higher order logical reasoning in children applies therefore scope disambiguation by intonation. If children exhibit the same pattern of disambiguation for all-not and one-all sentences as adults do, this would argue that children can apply the same higher order reasoning as adults do. Lohiniva & Panizza (2016) and Sugawara et al. (2018) investigate scope disambiguation by intonation by German and English speaking children (4;4-6;10) respectively. However both studies test only all-not sentences like [ 5], not one-all, leaving the picture incomplete. Specifically, recent research lead us to be skeptical as to whether children could successfully apply condition [ 11] for the following three reasons. First, prior research by Musolino (1998) on scope ambiguity in children has endorsed the view that children can only access interpretations where the linear order in the sentence corresponds to the scopal order of logical elements ( Gualmini et al., 2008; Viau et al., 2010, and others). Secondly, other research has found that children are not as sensitive to intonation as adults in various cases of disambiguation: Choi & Mazuka (2003) report on 5- to 6-year-old Korean children’s phrasal segmentation disambiguation, Snedeker & Trueswell (2001) study 4- to 6-year-old American children’s disambiguation of two potential syntactic attachment sites, and ( Crain et al. (1994), Costa & Szendrői (2006), and Sekerina & Trueswell (2012) considered focus intonation in association with a focus particle or as contrastive topic (cf. Szendrői et al., 2018; Zhou et al., 2012). Finally, some prior research argues that children could not access alternatives to a sentence they hear ( Barner et al., 2011; Chierchia et al., 2001), but condition [ 11] requires access to alternative with a different proportional quantifier. In sum, it seems initially implausible that children should be capable of relying on condition [ 11] to interpret contrastive topic intonation. Instead it seems plausible that they might rely on a less complex alternative strategy such as the following:
[14] Contrastive topic intonation indicates that an inverse scope intonation is intended.
To distinguish whether children rely for scope disambiguation on condition [ 11] or on [ 14], some-all sentences provide a crucial control. For the all-not example in [ 5], strategy [ 14] makes the same predictions as [ 11]: children should disambiguate [ 6] when it is produced with a contrastive topic intonation as [ 5]. But the strategy [ 14] would predict that contrastive topic intonation should also disambiguate one-all sentences like 8 towards the inverse scope interpretation. As we noted above, adults do not disambiguate [ 8] even with contrastive topic intonation. This lack of disambiguation shows that the adult behavior could not be explained by [ 14]. We therefore compared the disambiguation effect of contrastive topic in all-not and in one-all sentence with child and adult participants– the crucial comparison to test for higher order logical reasoning.
Methods
Experimental manipulations
The experiment was based on the design by Sugawara et al. (2018), using a picture selection paradigm. The experiment was conducted with each participant individually using a presentation program (Keynote) on a tablet (iPad, Apple). Audio stimuli were pre-recorded by a trained female native German speaker and played from the loudspeaker of the tablet used for the experiment. Each item consisted of two slides: the first to set up the relevant context, and the second showing four possible outcomes. The experimental procedure was designed to portray a conversation between a protagonist on the slide and the experimenter. The conversation was designed to set up the right context/question under discussion to which the experimental sentence that is uttered by the protagonist is at least a partial answer ( Büring, 1997). An example is shown in [ 15] (see supplementary information for all items). Participants see a picture of a protagonist with some objects (e.g., a girl with many wet T-shirts in the background; Figure 4), and hear the context from her perspective.
Figure 4. Introductory picture for the example item 15.
[15] Ich habe viel zum Waschen heute. Ich bin gerade damit fertig geworden die
T-Shirts zu waschen, aber sie sind immer noch nass.
‘I have a lot of laundry today. I just finished washing the T-shirts but they’re still wet.’
The second slide (in Figure 5) was partitioned into four parts, each part showing pictures as follows:
Figure 5. Sample picture presented with sentence [ 5].
-
(1) a.
surface scope picture (all ≫ not)
-
b.
inverse scope picture (not ≫ all)
-
c.
positive picture (that correspond to the test sentence without the negation; e.g. all t-shirts are dry: False)
-
d.
Irrelevant situation (e.g. all jeans are dry: Presupposition Failure)
After the experimenter asks the protagonist a question ( Sind alle T-Shirts getrocknet? ‘Have all the T-shirts dried?’), the protagonist responds to the question, using the experimental sentence with either the neutral or the hat intonation contour: Alle T-shirts sind nicht getrocknet. ‘All the T-shirts are not dry.’ The participant is then asked to choose one of the pictures that matched the statement by the protagonist.
There were two familiarization items to introduce the task to the participant. There were eight test items with all and negation, six test items with two quantifiers, and six fillers, resulting in 22 items in total. The order of the test and filler items was pseudo-randomized. The position of surface scope and inverse scope pictures were balanced among the four corners in the 14 test items.
The responses were recorded manually on a paper response sheet, indicating which picture the participant chose for each item. We assigned a number for each section of the monitor (1 for the top left to 4 for bottom right) and the experimenter entered the number assigned to the section on the response sheet, to avoid confusion. After the experiment, the experimenter entered them on a spreadsheet. The full experimental materials are openly accessible as part of ( Yatsushiro et al., 2025 [Dataset]).
Units of delivery and analysis
We created two versions of the experiment. For each version, only one of the intonation contours was used throughout the experiment in order to avoid one type of intonation contour affecting another item with the same syntactic configuration but produced with a different intonation contour.
Informed consent
In accordance with the Declaration of Helsinki and other regulations, we obtained written informed consent from participants. The data were originally collected in the project “Working memory and structural knowledge” (PI K. Yatsushiro). The ethics committee of the German linguistics society (DGfS) revied and approved the project’s procedures for informed consent, participant rights and experiment design (approval date: 23.09.2014). The data we report on were collected in the years 2017 to 2019. For adult participants, written informed consent was obtained before participation. For child participants, we first obtained written informed consent from their legal guardians by sending home a consent form through their daycare. In addition, child participants were informed verbally in a child-appropriate manner of their rights as participants and asked to consent to participate.
Results
Participants
We tested 36 monolingual German speaking children (3;7–5;11, M=4;10 mo), and 20 adult speakers as the control group. Participants were randomly assigned by coin-flip to two lists (the neutral and the hat intonation contours) and therefore the two group sizes were not identical. 20 children (4;0–5;11, M=4;10) and 11 adults were tested with the neutral intonation contour and 16 children (3;7-5;4, M=4;8) and 9 adults were tested with the hat intonation contour. The children selected by chance for the critical task with hat intonation had a numerically younger mean age but the difference in mean age between the two groups was not statistically significant by a t-test ( p = .05114). All participants completed the experiment. The full results are openly accessible as part of ( Yatsushiro et al., 2025 [Dataset]).
Discussion
The figures in 6 show the proportion of inverse scope assignment from 36 child and 20 adult participants. The two left plots in both panels show the results from adult speakers for either contrastive topic (pink) or neutral (blue) intonation, while the two right plots show the results from children. Each dots represents a single speaker’s mean on six items.
We separated data from child and adults participants, and fitted a generalized linear mixed models (logit) with the response type (inverse scope picture vs. surface scope picture) as the dependent variable and the intonation pattern as the fixed effect. We found the effect of intonation pattern with the all-not sentences for both adults (z-value: −4 .795, p < .01) and children (z-value: −3 .645, p < .01). This effect is predicted by condition [ 11] but not by the alternative [ 14]. With the one-all sentences we did not find any effect of the intonation with adults (z-value: 0, p = 1) as expected by both [ 11] and by the alternative [ 14]. There was a significant difference with children (z-value: 2 .307, p < .05). The direction of the difference, however, was in the opposite direction of what the alternative [ 14] hypothesis predicts. Namely we found more inverse scope interpretations with neutral intonation than with the hat intonation contour. The analysis scripts are openly accessible as part of ( Yatsushiro et al., 2025 [Dataset]).
Figure 6.
Ratio of inverse scope picture choices relative to all all choices of a surface or inverse scope picture for a. all-not sentences like [ 5] and b. one-all sentences like [ 8]. The two left plots in both panels show the results from adult speakers for either contrastive topic (pink) or neutral (blue) intonation while the two right plots show the results from children. Each dot represents a single speaker’s mean on six items.
Interpretation: We found that both adults and children are sensitive to contrastive topic intonation in the interpretation of all-not sentences, and also both adults and children show no sensitivity to the contrastive topic intonation in the interpretation of one-all sentences, indicating that both adults and children rely on condition 11 for interpreting contrastive topic and successfully follow through the higher-order logical reasoning this involves.
Children behaved slightly differently from adults especially on the control condition, but not in a way affecting the conclusion. Namely, adults showed no evidence for ambiguity of one-all sentences, and furthermore, they always chose the picture representing the surface scope interpretation in [ 9]. This result, we think, reflects a preference for an interpretation where scope relations reflect the linear order of quantifier words ( Fox, 2000; Frey, 1993; Jackendoff, 1972). We find a higher rate of acceptance of the alternative picture by children. Children seem not to be sensitive to this preference to the same extent as adults are, though they too prefer the surface scope interpretation. For Japanese, a similar difference between adults and children has been reported and attributed to the suggestion that children can more freely assign quantifier scope than adults can ( Yamakoshi, 2013).
Using quantifier scope disambiguation by contrastive topic intonation, we found that even four- to five-year old children are capable of reasoning with proportional quantifiers as they apply condition 11. As far as we are aware, our result is the first to reveal first or higher order logical reasoning at such a young age. Specifically the method we used shows knowledge of proportional quantification at a younger age than direct tests of the meaning of most do.
Our results show that the order of logics by expressivity provides a useful framework for the investigation of reasoning skills as Pepperberg (2020) also argues from a cross-species perspective. The first vs. higher order logic distinction has also been used to account for differences between singular ( every, each) and plural ( all) universal quantifiers ( Knowlton et al., 2022). The order of logics, however, correlates strongly with other potential factors underlying reasoning performance such as computational complexity and numerical ability. For example, most is not computable by finite automata without counters ( van Benthem, 1986). At the same time, 11 months olds show evidence of approximate numerical representations of proportions ( Denison & Xu, 2014) and of expressions of comparison at age 3 ( Hohaus et al., 2014). A more fine-grained formal understanding of logical-arithmetical systems ( van Benthem & Icard, 2023) should aid future cognitive work on logical reasoning.
Ethics and consent
IRB: Ethics committee of the German linguistics society (DGfS), Approval date: September 23, 2014, Approval number: not applicable. The ethical approval letter is provided as part of ( Yatsushiro et al., 2025 [Dataset]) at https://doi.org/10.17605/OSF.IO/43GHX.
Funding Statement
This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreements No 856421 and No 787929) and the Japanese Society for the Promotion of Science (JSPS), grant KAKENHI JP19K13221.
The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.
[version 1; peer review: 1 approved, 2 approved with reservations]
Footnotes
1 Disjunction in language has sometimes been argued to involve the concept of possibility ( Goldstein, 2019; Zimmermann, 2000) and would then not be part of propositional logic proper, but only analyzable in modal logic. But the analysis that disjunction in language corresponds to the disjunction of propositional logic remains as viable ( Bar-Lev & Fox, 2020; Fox, 2007).
2 Interpretation [ 7] is however pragmatically not expected to be fully acceptable in scenario 1-a just like the sentence ‘Not all T-shirts are dried’ is because of a pragmatic implicature ( Atlas & Levinson, 1981; Sauerland, 2004).
3 Higher order quantificational reasoning also plays a key role in more recent variants of Büring’s proposal of scope disambiguation by intonation ( Constant, 2014; Syrett et al., 2014; Wagner, 2012).
Data availability
Open Science Foundation (OSF): Intonation and Logic. https://doi.org/10.17605/OSF.IO/43GHX. This project contains the following underlying data: intonation_presentations.zip, zip-archive of experimental stimuli for both treatment groups in original Apple Keynote format and Microsoft Powerpoint format, soundfiles.zip, zip-archive of all audiofiles used in the experimental stimuli in wav-format, int-data.csv, anonymized raw data collected; Ethikvotum.pdf, IRB letter indicating ethical approval; intonation_final.Rmd, analysis and visualization scripts used; and intonation_final.html, full result report of the analysis and visualization scripts. Data are available under the terms of the Creative Commons Attribution 4.0 International license (CC-BY 4.0, https://creativecommons.org/licenses/by/4.0/) as part of ( Yatsushiro et al., 2025 [Dataset]).
Extended data
There are no data available other than those in ( Yatsushiro et al., 2025 [Dataset]).
Reporting guidelines
This publication follows the Journal Article Reporting Standards for Quantitative Research in Psychology ( Appelbaum et al., 2018, https://doi.org/10.1037/amp0000191, license: copyright 2018 the American Psychological Association).
References
- Appelbaum M, Cooper H, Kline RB, et al. : Journal article reporting standards for quantitative research in psychology: the APA publications and communications board task force report. Am Psychol. 2018;73(1):3–25. 10.1037/amp0000191 [DOI] [PubMed] [Google Scholar]
- Aravind A, De Villiers J, De Villiers P, et al. : Children’s quantification with every over time. Glossa: a journal of general linguistics. 2017;2(1): 43. 10.5334/gjgl.166 [DOI] [Google Scholar]
- Atlas JD, Levinson SC: It-clefts, informativeness, and logical form: radical pragmatics (revised standard version).In: P. Cole (Ed.): Radical pragmatics.Academic Press,1981;1–61. Reference Source [Google Scholar]
- Bach E, Jelinek E, Kratzer A, et al. , Eds.: Quantification in natural languages. Kluwer,1995. 10.1007/978-94-017-2817-1 [DOI] [Google Scholar]
- Bar-Lev ME, Fox D: Free choice, simplification, and innocent inclusion. Nat Lang Semantics. 2020;28:175–223. 10.1007/s11050-020-09162-y [DOI] [Google Scholar]
- Barner D, Brooks N, Bale A: Accessing the unsaid: the role of scalar alternatives in children’s pragmatic inference. Cognition. 2011;118(1):84–93. 10.1016/j.cognition.2010.10.010 [DOI] [PubMed] [Google Scholar]
- Barner D, Chow K, Yang SJ: Finding one’s meaning: a test of the relation between quantifiers and integers in language development. Cogn Psychol. 2009;58(2):195–219. 10.1016/j.cogpsych.2008.07.001 [DOI] [PubMed] [Google Scholar]
- Barwise J, Cooper R: Generalized quantifiers and natural language. Linguist Philos. 1981;4:159–219. 10.1007/BF00350139 [DOI] [Google Scholar]
- Bolinger DLM: Forms of english: accent, morpheme, order. Harvard University Press,1965. Reference Source [Google Scholar]
- Boolos G: To be is to be a value of a variable (or to be some values of some variables). J Philos. 1984;81:430–449. Reference Source [Google Scholar]
- Büring D: The great scope inversion conspiracy. Linguist Philos. 1997;20:175–194. 10.1023/A:1005397026866 [DOI] [Google Scholar]
- Büring D: On D-trees, beans, and B-accents. Linguist Philos. 2003;26:511–545. 10.1023/A:1025887707652 [DOI] [Google Scholar]
- Call J: Inferences about the location of food in the Great Apes ( Pan paniscus, Pan troglodytes, Gorilla gorilla, and Pongo pygmaeus). J Comp Psychol. 2004;118(2):232–241. 10.1037/0735-7036.118.2.232 [DOI] [PubMed] [Google Scholar]
- Cesana-Arlotti N, Kovács ÁM, Téglás E: Infants recruit logic to learn about the social world. Nat Commun. 2020;11(1): 5999. 10.1038/s41467-020-19734-5 [DOI] [PMC free article] [PubMed] [Google Scholar]
- Cesana-Arlotti N, Martín A, Téglás E, et al. : Precursors of logical reasoning in preverbal human infants. Science. 2018;359(6381):1263–1266. 10.1126/science.aao3539 [DOI] [PubMed] [Google Scholar]
- Chierchia G, Crain S, Guasti MT, et al. : The acquisition of disjunction: evidence for a grammatical view of scalar implicatures.In: A.-J. Do et al. (Eds.), BUCLD 25 proceedings,2001;157–168. Reference Source [Google Scholar]
- Choi Y, Mazuka R: Young children’s use of prosody in sentence parsing. J Psycholinguist Res. 2003;32(2):197–217. 10.1023/a:1022400424874 [DOI] [PubMed] [Google Scholar]
- Constant N: Contrastive topic: meanings and realizations. [Doctoral dissertation, University of Massachachusetts]. Amherst,2014. Reference Source [Google Scholar]
- Costa J, Szendrői K: Acquisition of focus marking in European Portuguese.In: The acquisition of syntax in Romance languages.2006;319–330. 10.1075/lald.41.15cos [DOI] [Google Scholar]
- Crain S, Ni W, Conway L: Learning, parsing and modularity. In: Perspectives on sentence processing.1994;443–467. Reference Source [Google Scholar]
- Crain S, Thornton R: Investigations in universal grammar: a guide to experiments on the acquisition of syntax and semantics.MIT Press,2000. 10.7551/mitpress/3948.001.0001 [DOI] [Google Scholar]
- Dautriche I, Buccola B, Berthet M, et al. : Evidence for compositionality in baboons ( Papio papio) through the test case of negation. Sci Rep. 2022;12(1): 19181. 10.1038/s41598-022-21143-1 [DOI] [PMC free article] [PubMed] [Google Scholar]
- Denison S, Xu F: The origins of probabilistic inference in human infants. Cognition. 2014;130(3):335–347. 10.1016/j.cognition.2013.12.001 [DOI] [PubMed] [Google Scholar]
- Feiman R, Mody S, Carey S: The development of reasoning by exclusion in infancy. Cogn Psychol. 2022;135: 101473. 10.1016/j.cogpsych.2022.101473 [DOI] [PMC free article] [PubMed] [Google Scholar]
- Féry C: German Intonational Patterns.Niemeyer,1993. 10.1515/9783111677606 [DOI] [Google Scholar]
- Foppolo F, Guasti MT, Chierchia G: Scalar implicatures in child language: give children a chance. Lang learn develop. 2012;8(4):365–394. 10.1080/15475441.2011.626386 [DOI] [Google Scholar]
- Fox D: Economy and semantic interpretation.MIT Press,2000. Reference Source [Google Scholar]
- Fox D: Free choice and the theory of scalar implicatures.In: U. Sauerland & P. Stateva (Eds.), Presupposition and Implicature in Compositional Semantics. Palgrave Macmillan,2007;71–120. 10.1057/9780230210752_4 [DOI] [Google Scholar]
- Frege G: Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Neubert,1879. Reference Source [Google Scholar]
- Frey W: Syntaktische Bedingungen für die semantische Interpretation: Über Bindung, implizite Argumente und Skopus. Akademie,1993. Reference Source [Google Scholar]
- Goldstein S: Free choice and homogeneity. Semant Pragmat. 2019;12(23):1–53. 10.3765/sp.12.23 [DOI] [Google Scholar]
- Gualmini A, Hulsey S, Hacquard V, et al. : The question-answer requirement for scope assignment. Nat Lang Semantics. 2008;16:205–237. 10.1007/s11050-008-9029-z [DOI] [Google Scholar]
- Hackl M: On the grammar and processing of proportional quantifiers: most versus more than half. Nat Lang Semantics. 2009;17(1):63–98. 10.1007/s11050-008-9039-x [DOI] [Google Scholar]
- Hohaus V, Tiemann S, Beck S: Acquisition of comparison constructions. Lang Acquisit. 2014;21(3):215–249. Reference Source [Google Scholar]
- Huang CJ: Logical relations in Chinese and the theory of grammar. [Doctoral dissertation, Massachusetts Institute of Technology]. Cambridge, Mass,1982. Reference Source [Google Scholar]
- Huang YT, Snedeker J: Semantic meaning and pragmatic interpretation in 5–3year-olds: evidence from real-time spoken language comprehension. Dev Psychol. 2009;45(6):1723–1739. 10.1037/a0016704 [DOI] [PubMed] [Google Scholar]
- Jackendoff R: Semantic interpretation in generative grammar.MIT Press,1972. Reference Source [Google Scholar]
- Jacobs J: Funktionale Satzperspektive und Illokutionssemantik. Linguistische Berichte. 1984;91:25–58. [Google Scholar]
- Jespersen O: Essentials of English grammar.Routledge,1933. Reference Source [Google Scholar]
- Katsos N, Cummins C, Ezeizabarrena MJ, et al. : Cross-linguistic patterns in the acquisition of quantifiers. Proc Natl Acad Sci U S A. 2016;113(33):9244–9249. 10.1073/pnas.1601341113 [DOI] [PMC free article] [PubMed] [Google Scholar]
- Kneale WC, Kneale M: The development of logic.Oxford University Press,1962. Reference Source [Google Scholar]
- Knowlton T, Pietroski P, Halberda J, et al. : The mental representation of universal quantifiers. Linguist and Philos. 2022;45:911–941. 10.1007/s10988-021-09337-8 [DOI] [Google Scholar]
- Kocab A, Davidson K, Snedeker J: The emergence of natural language quantification. Cogn Sci. 2022;46(2): e13097. 10.1111/cogs.13097 [DOI] [PubMed] [Google Scholar]
- Kolaitis PG, Väänänen JA: Generalized quantifiers and pebble games on finite structures. Ann Pure Appl Log. 1995;74(1):23–75. 10.1016/0168-0072(94)00025-X [DOI] [Google Scholar]
- Krifka M: Scope inversion under the rise-fall contour in German. Linguist Inq. 1998;29(1):75–112. 10.1162/002438998553662 [DOI] [Google Scholar]
- Leahy BP, Carey SE: The acquisition of modal concepts. Trends Cogn Sci. 2020;24(1):65–78. 10.1016/j.tics.2019.11.004 [DOI] [PubMed] [Google Scholar]
- Lindström P: First order predicate logic with generalized quantifiers. Theoria. 1966;32(3):186–195. 10.1111/j.1755-2567.1966.tb00600.x [DOI] [Google Scholar]
- Lohiniva K, Panizza D: When pragmatics helps syntax: an eye tracking study on scope ambiguity resolution in 4- to 5-year-old children. Proceedings of BUCLD. 2016;40:216–228. Reference Source [Google Scholar]
- Mody S, Carey S: The emergence of reasoning by the disjunctive syllogism in early childhood. Cognition. 2016;154:40–48. 10.1016/j.cognition.2016.05.012 [DOI] [PMC free article] [PubMed] [Google Scholar]
- Montague R: The proper treatment of quantification in ordinary English.In: R. Thomason (Ed.), Richard Montague: Selected papers.Yale University Press,1970;247–270. [Google Scholar]
- Musolino J: Universal grammar and the acquisition of semantic knowledge: an experimental investigation into the acquisition of quantifier-negation interaction in English.[Doctoral dissertation, University of Maryland], College Park, MD,1998. Reference Source [Google Scholar]
- Mostowski A: On a generalization of quantifiers. Fundamenta Mathematicae. 1957;44:12–36. Reference Source [Google Scholar]
- Papafragou A, Schwarz N: Most wanted. Language Acquisition. 2006;13(6):207–251. 10.1207/s15327817la1303_3 [DOI] [Google Scholar]
- Pepperberg IM: The comparative psychology of intelligence: some thirty years later. Front Psychol. 2020;11:973. 10.3389/fpsyg.2020.00973 [DOI] [PMC free article] [PubMed] [Google Scholar]
- Pepperberg IM, Gray SL, Mody S, et al. : Logical reasoning by a Grey parrot? A case study of the disjunctive syllogism. Behaviour. 2019;156(5–8):409–445. 10.1163/1568539X-00003528 [DOI] [Google Scholar]
- Peters S, Westerståhl D: Quantifiers in Language and Logic.Oxford University Press,2006. Reference Source [Google Scholar]
- Resher N: Plurality-quantification. The Journal of Symbolic Logic. 1962;27:373–374. [Google Scholar]
- Rodman R: Scope phenomena, “movement transformations”, and relative clauses.In: B. Partee (Ed.), Montague Grammar.Academic Press,1976;165–176. 10.1016/B978-0-12-545850-4.50011-X [DOI] [Google Scholar]
- Sauerland U: Scalar implicatures in complex sentences. Linguist Philos. 2004;27:367–391. 10.1023/B:LING.0000023378.71748.db [DOI] [Google Scholar]
- Sekerina IA, Trueswell JC: Interactive processing of contrastive expressions by Russian children. First Language. 2012;32(1–2):63–87. Reference Source [DOI] [PMC free article] [PubMed] [Google Scholar]
- Snedeker J, Trueswell J: Unheeded cues: prosody and syntactic ambiguity in mother-child communication. 26th Boston University Conference on Language Development. 2001. [Google Scholar]
- Sugawara A, Hackl M, Onoprienko I, et al. : Children know the prosody-semantic/pragmatic link: experimental evidence from rise-fall-rise and scope.In: Linguistic and Cognitive Aspects of Quantification.Springer,2018;47:31–55. 10.1007/978-3-319-91566-1_3 [DOI] [Google Scholar]
- Sullivan J, Bale A, Barner D: Most preschoolers don’t know most. Language Learning and Development. 2018;14(4):320–338. 10.1080/15475441.2018.1489813 [DOI] [Google Scholar]
- Syrett K, Simon G, Nisula K: Prosodic disambiguation of scopally ambiguous quantificational sentences in a discourse context. J Linguist. 2014;50(02):453–493. 10.1017/S0022226714000012 [DOI] [Google Scholar]
- Szendrői K, Bernard C, Berger F, et al. : Acquisition of prosodic focus marking by English, French, and German three-, four-, five- and six-year-olds. J Child Lang. 2018;45(1):219–241. 10.1017/S0305000917000071 [DOI] [PubMed] [Google Scholar]
- van Benthem J, Icard T: Interleaving logic and counting. Bulletin of Symbolic Logic. 2023;29(4):503–587. 10.1017/bsl.2023.30 [DOI] [Google Scholar]
- van Benthem J: Essays in logical semantics.Springer Netherlands,1986. 10.1007/978-94-009-4540-1 [DOI] [Google Scholar]
- Viau J, Lidz J, Musolino J: Priming of abstract logical representations in 4-year-olds. Language Acquisition. 2010;17(1–2):26–50. 10.1080/10489221003620946 [DOI] [Google Scholar]
- Wagner M: Contrastive topics decomposed. Semant Pragmat. 2012;5:1–54. 10.3765/sp.5.8 [DOI] [Google Scholar]
- Westerståhl D: Generalized Quantifiers.In: E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy.(Winter 2019). Metaphysics Research Lab, Stanford University,2019. Reference Source [Google Scholar]
- Wurmbrand S: The cost of raising quantifiers. Glossa. 2018;3(1). 10.5334/gjgl.329 [DOI] [Google Scholar]
- Wynn K: Children’s understanding of counting. Cognition. 1990;36(2):155–193. 10.1016/0010-0277(90)90003-3 [DOI] [PubMed] [Google Scholar]
- Yamakoshi K: Children’s interpretations of quantifier scope interactions in Japanese. Japanese/Korean Linguistics. 2013;20. Reference Source [Google Scholar]
- Yatsushiro K, Sauerland U, Sugawara A: Intonation and logic. Open Science Foundation. (2025 [Dataset]). 10.17605/OSF.IO/43GHX [DOI]
- Zhou P, Crain S, Zhan L: Sometimes children are as good as adults: the pragmatic use of prosody in children’s on-line sentence processing. J Mem Lang. 2012;67(1):149–164. 10.1016/j.jml.2012.03.005 [DOI] [Google Scholar]
- Zimmermann TE: Free choice disjunction and epistemic possibility. Nat Lang Semant. 2000;8:255–290. 10.1023/A:1011255819284 [DOI] [Google Scholar]