Natural logic and baby LoTH.

Language-of-thought hypothesis (LoTH) is having a profound impact on cognition studies. However, much remains unknown about its basic primitives and generative operations. Infant studies are fundamental, but methodologically very challenging. By distilling potential primitives from work in natural-language semantics, an approach beyond the corset of standard formal logic may be undertaken. Still, the road ahead is challenging and long.

The scope and role of deduction in infant cognition.

The origins of the human capacity for logically structured thought are still a mystery. Studies on young humans, which can be particularly informative, present conflicting results. Infants seem able to generate competing hypotheses1,2,3 and monitor the certainty or probability of one-shot outcomes,4,5,6,7,8 suggesting the existence of an articulated language of thought.9 However, sometimes toddlers10 and even children younger than 411,12,13,14 fail tasks seemingly requiring the same representational abilities. One fundamental test for the presence of logical abilities is the concept of disjunction as a way into the conception of alternative possibilities, and of disjunctive elimination as a way to prune them. Here, we document their widespread presence in 19-month-old infants. In a word-referent association task, both bilingual and monolingual infants display a pattern of oculomotor inspection previously found to be a hallmark of disjunctive reasoning in adults and children,15,16 showing that the onset of logical reasoning is not crucially dependent on language experience. The pattern appears when targets are novel, but also when both objects and words are known, though likely not yet sedimented into a mature lexicon. Disjunctive reasoning also surfaces in a non-linguistic location search task, not prompted by violated expectations, showing that infants reason by elimination spontaneously. Together, these results help answer long-standing empirical and philosophical puzzles about the role of logic in early knowledge development, suggesting that by increasing confidence in some options while eliminating alternatives, logic provides scaffolding for the organization of knowledge about the world, language, and language-world relations.

Seeing inferences: brain dynamics and oculomotor signatures of non-verbal deduction.

We often express our thoughts through words, but thinking goes well beyond language. Here we focus on an elementary but basic thinking process, disjunction elimination, elicited by elementary visual scenes deprived of linguistic content, describing its neural and oculomotor correlates. We track two main components of a nonverbal deductive process: the construction of a logical representation (A or B), and its simplification by deduction (not A, therefore B). We identify the network active in the two phases and show that in the latter, but not in the former, it overlaps with areas known to respond to verbal logical reasoning. Oculomotor markers consistently differentiate logical processing induced by the construction of a representation, its simplification by deductive inference, and its maintenance when inferences cannot be drawn. Our results reveal how integrative logical processes incorporate novel experience in the flow of thoughts induced by visual scenes.