Monday, February 29, 2016

Hauser reviews "Why only Us"

Though my interest in Darwin's Problem (DP) is deep, my "expertise," such as it is, is restricted to the logic of the argument. The logic is well known: (i) hierarchical recursion is a distinctive hallmark of human I-languages, (ii) there is no evidence that any other animal displays such recursive powers, (iii) what nonlinguistic evidence there is concerning such powers in humans is of rather recent vintage (roughly 100kya), (iv) logically speaking recursion is an all or nothing affair. The conclusion from (i)-(iv) is that something simple occurred roughly 100kya that in combination with the nonlinguistic cognitive and computational powers extant at the tome in our ancestors allowed for this human species specific capacity to emerge. That's the logic. 

It looks a lot like the logic of PoS arguments in that it starts from a specification of the capacity own interest and argues backwards to the causal mechanisms that could produce it. In other words, just as GGers investigate human linguistic cognition by first describing what it is that has been acquired and inferring from this what the system of acquisition must look like, so too we investigate evolutionary possibilities concerning language by first specifying what it is that has evolved. Sadly, this is not the general methods of investigation. Empiricists (both in psychology and evolutionary biology) seem to think that the direction of argument should be reversed: given that we know what learning and evolution is they conclude that a species specific FL or a species specific characteristics cannot grow in human minds nor have evolved there. The arguments they provide are awful, and not for sophisticated reasons. They are awful because they fail to address what we know about human linguistic capacities. They are based on the premiss, in other words, that the facts that GG has discovered over the last 60 years are bogus. As anyone but a flat earther knows this to be wrong,…[1]

Discussion at this level is where my expertise ends. However, DP is more than just logically interesting (it has potential empirical ramifications) and there is more to the logic than I outlined above (Merge may not be the only unique capacity our linguistic facility manifests (see the review below)). Berwick and Chomsky's Why Only Us (WOU) goes into these issues, and Marc Hauser has thought about them hard. So what better way to get into them more deeply than to ask Marc to do a blog post on WOU. He graciously agreed. Here it is. 


Berwick & Chomsky’s Why only us (2016):
Challenges to the what, when, and why?

Marc D. Hauser

Why only us  [WOU] is a wonderful, slim, engaging, and clearly written book by Robert Berwick and Noam Chomsky.  From the authors’ perspective, it is a book about language and evolution. And of course it is.  However, I think it is actually about something much bigger.  It is an argument about the evolution of thought itself, with language being not only one form of thought, but a domain that can impact thought itself, in ways that are truly unique in the animal kingdom.  Seen in this light, WOU provides a framework for thinking about the evolution of thought and a challenge to Darwin’s claim that the human mind is only quantitatively different from other animals. Since this is an idea that I have championed (Hauser, 2009), I am of course a bit partial! Let me unpack all of this by working through Berwick and Chomsky’s arguments, especially those where we don’t quite agree. 

One caveat up front:  as I have written before, including with Berwick and Chomsky (Hauser et al., 2014), I am not convinced that the ideas put forward here or in WOU are testable: animal capacities are far too impoverished to shed any comparative light on the evolution of human language, and the hominid fossil record is either silent or too recent to be of interest. My goal here, therefore, is to focus on the fascinating ideas raised in WOU,  leaving to the side how or whether such ideas might be confronted by significant empirical tests. 

One of the essential moves in WOU is to argue that MERGE —the simplest recursive operation — is the bedrock of our capacity for infinite expression by finite means, one that generates hierarchical structure. Because no other animal has MERGE, and because MERGE  is simple and the essence of language, the evolutionary process may well have occurred rapidly, appearing suddenly in only one species: modern humans or Homo sapiens sapiens (Hss).  To accept this argument, you have to accept at least five premises:

            1- MERGE is the essence of language
            2- No other animal has MERGE
            3- No other hominid has MERGE
  4- Due to the simplicity of MERGE, it could evolve quickly, perhaps
 due to mutation
            5- Because you either have or don’t have MERGE (there is no
                  demi-MERGE), there is no option for proto-language.

I accept 2 because the comparative literature shows nothing remotely like MERGE.  Whether one looks at data from natural communication, artificial language learning experiments, or animal training studies with human language or language-like tokens, there is simply no evidence of anything remotely recursive.  As Berwick and Chomsky note, the closest one gets is the combinatoric gymnastics observed in birdsong, but these are neither recursive nor do they generate hierarchical structures that shape or generate the variety of meaningful expressions observed in all human languages. 

I also accept 3, though here we don’t really have the evidence to say one way or the other, and even if we did, and it turned out that say Neanderthals had MERGE, it wouldn’t really make much of a difference to the argument.  That is, the fossil record for Neanderthal, though richer than we once thought, says nothing about recursive operations, and nor for that matter does the fossil record for Hss. Both records show interesting signs of creative thought — a topic to which I return — but nothing that would indicate recursive thought or expression.  If evidence emerges that Neanderthals had MERGE, that would simply push back the date of origin for Berwick and Chomsky’s evolutionary account, without changing the core details.    

Let’s turn to 1, 4 and 5 then.  What is interesting about the core argument in WOU is that although Berwick and Chomsky place significant emphasis on MERGE, they fully acknowledge that the recursive machinery must interface with the Conceptual-Intensional system on the one hand, and with the Sensory-Motor system on the other.  However, once one acknowledges the non-trivial roles of CI, SM, and the interfaces, while also recognizing the unique properties of each of these systems, it is no longer possible to accept premise 4, and challenges arise for premise 5.  This analysis lays open the door to some fascinating possibilities, many of which might be explored empirically. I consider a few next.

Berwick and Chomsky devote some of the early material of WOU to review work on vocal imitation in songbirds, including comparative genetic and neurobiological data.  In some ways, the songbird system is a lovely example because the work is exquisitely detailed and shows some nice parallels with our own.  In particular, songbirds learn their song in some of the same ways as young children learn language, including evidence of an innate system that constrains both the timing and material acquired.  However, there are elements of the songbird system that are strikingly different from our own, not mentioned in WOU, but when acknowledged, tell an even more interesting tale about the evolution of Hss — one that is at the same time supportive of the uniqueness claims in WOU while also raising questions about the nature of the uniqueness claim.  Specifically, the songbird system is a striking example of extreme modularity.  The capacity of a songbird to imitate or learn its species-specific song is not a capacity that extends to other calls in its vocal repertoire, nor to any visual display. That is, a songbird can imitate the song material it hears, but nothing else.  Not so for our species, where the capacity to imitate is amodal, or at least bimodal, with sounds and actions copied readily, and from birth. This disconnect from sensory modality is a trademark of human thought, and of course, is a critical feature of our language faculty:  at virtually all levels of detail, including syntax, semantics, phonology, acquisition, and pragmatics, there are no differences between signed and spoken languages. No other animal is like this.  Whether we observe songbirds, dolphins, or non-human primates, an individual born deaf does not emerge with a comparably expressive visual system of communication.  The systems of communicative expression are intimately tied to the modality, such that if one modality is damaged, other modalities are incapable of picking up the tab.  The fact that our language, and even more broadly, our thoughts, are detached from modality, suggests a fundamental reorganization in our representations and computations.  This takes us to CI, SM, MERGE and the interfaces.

Given the modularity of the songbird system, and the lack of imitative capacities in non-human primates, we also need an account of how a motor system capable of imitating sounds and actions evolved.  This is an account of how SM evolved, but also, about how and when SM interfaced with CI and MERGE.  There is virtually no evidence on offer, and it is hard to imagine what kind of evidence could emerge. For example, the suggestion that Neanderthals had a hyoid bone like Hss is interesting, but doesn’t tell us what they were doing with it, whether it was capable of being deployed in vocal imitation, and thus, of building up the lexicon.  And of course, we don’t know whether or how it was connected to CI or MERGE.  But whatever we discover about this account, it showcases the importance of understanding the evolution of at least one unique property of SM.

When we turn to CI, and in particular, lexical or conceptual atoms, we know extremely little about them, even in fully linguistics human adults.  Needless to say, this makes comparative and developmental work difficult.  But one observation seems fairly uncontroversial: many of our concepts are completely detached from sensory experiences, and thus can’t be defined by them. If we take this as a starting point, we can ask: do animals have anything remotely like this?  On one reading of Randy Gallistel’s elegant work, the answer is “Yes.”  All of the empirical work on number, time and space in animals suggests that such concepts are either not linked to or defined by a particular modality, or minimally, can be expressed in multiple modalities.  Similarly, there is evidence that animals are capable of representing some sense of identity or sameness that is not tied to a modality.  If this is right, and even if these concepts are not as abstract as ours, they suggest a potential comparative approach that at this point, seems closed off for our recursive capacity.   Having a comparative evolutionary landscape of inquiry not only aids in our analyses, it also raises a challenge to premises 4 and 5, as well as to Richard Lewontin’s comment (supported by Berwick and Chomsky) that we can’t study or understand the evolution of cognition.  Let me take a small detour to describe a gorgeous series of studies on the evolution of cognition to show what can and has been done, and then return to premises 4 and 5.

In most monogamous species, the male and female share the same home range or territory.  In polygynous species, in contrast, there are several females associated with one male, and thus, the male’s home range area encompasses all of the smaller female home ranges.  Based on this observation, Steve Gaulin and his colleagues (Gaulin & Wartell, 1990; Jacobs, Gaulin, Sherry, & Hoffman, 1990; Puts, Gaulin, & Breedlove, 2007) predicted that the spatial abilities of a monogamous vole would show no sex differences, whereas males would show greater abilities than females in a closely related polygynous vole species. Using a maze running task to test for spatial capacity, results provided strong support for the prediction.  Further, the size of the hippocampus — an area of the brain known to play an important role in spatial navigation — was significantly larger in males of the polygynous species when contrasted with females, whereas no sex differences were found for the monogamous species. This, and several other examples, reveal how one can in fact study the evolution of cognition. Lewontin is, I believe, flatly wrong.

Back to premises 4 and 5. If nonhuman animals have abstract, amodal concepts — as some authors suggest —  then we have a significant line of empirical inquiry into the evolution of this system.  If our concepts are unique — as authors such as Berwick and Chomsky believe —  then there may not be that many empirical options. Perhaps Neanderthals have such concepts, perhaps not. Either way, the evolutionary timescale is short, and the evidence thus far, relatively thin.  On either account, however, there is the pressing need to understand the nature of such concepts as they bear on what I believe is the most interesting side effect of this discussion, and the issues raised in WOU.  In brief, if one concedes that what is unique about language, and thus, its evolutionary history, is MERGE, CI, SM and the interfaces, then a different issue emerges:  are these four ingredients unique to language or part of all aspects of human thought?  Said differently, perhaps WOU is really an account of how our uniquely human system of thought evolved, with language being only one domain in terms of its internal and external systems of expression. Berwick and Chomsky often refer to our Language of Thought, as the core of language, and what is our most dominant use of language: internal thought.  On this view, externalization of this system in expressed language is not at the core of the evolutionary account.  On the one hand, I agree. On the other hand, I think the use of the term of Language of Thought or LOT has confused the issue because of the multiple uses of the word “language.” If the essence of the argument in WOU is about the computations and representations of thought, with linguistic thought being one flavor, then I would suggest we call this system the Logic of Thought.  I suggest this substitution of L-words for two reasons.  Language of Thought implies that the system is explicitly linguistic, and I don’t believe it is.  Further, I think Logic of Thought better captures the abstract nature of the ingredients, including both the recursive operations, concepts, motor routines, and interfaces. 

The Logic of Thought, I would argue, is uniquely human, and underpins not only language, but many other domains as well.  It explains, I believe, why actions that appear similar in other animals are actually not similar at all.  It also provides the ultimate challenge to Darwin’s argument that there is continuity in mental thought between humans and other animals, with differences attributable to quantity as opposed to quality.  In contrast, if the ideas discussed here, and ultimately raised by Berwick and Chomsky are right, then it is the Logic of Thought that is unique to humans.  The Logic of Thought includes all four ingredients: MERGE, CI, SM, and the interfaces. How these components are articulated in different domains is fascinating in its own right, and raises several additional puzzles. For example, if MERGE is the simplest recursive operation, is it one neural mechanism that interfaces with different, domain-specific concepts and actions, or were merge like circuits effectively cloned repeatedly, each subserving a different domain?  The first possibility suggests that damage to this singular MERGE circuit would reveal deficits in multiple domains.  The second option suggests that damage to the MERGE circuit in one domain would only reveal deficits in this domain. To my knowledge, there is no evidence of neuropsychological deficits or imaging studies that point to the nature or distribution of such recursive circuitry. 

In sum, WOU is really a terrific book. It is thought provoking and clear.  What more could you want?  My central challenge is that it paints an evolutionary account that can only work if the essence of language is simple, restricted to MERGE.  But language is much more than this.  As such, there has to be more to the evolutionary process.  By raising these issues, I believe Berwick and Chomsky have challenged us to think about another option, one that preserves their title, but focuses on the logic of thought.  Why only us? Much to think about.

Gaulin, S. J., & Wartell, M. S. (1990). Effects of experience and motivation on symmetrical-maze performance in the prairie vole (Microtus ochrogaster). Journal of Comparative Psychology, 104(2), 183–189.
Hauser, M. D. (2009). The possibility of impossible cultures. Nature, 460, 190–196.
Hauser, M. D., Yang, C., Berwick, R. C., Tattersall, I., Ryan, M. J., Watumull, J., et al. (2014). The mystery of language evolution. Frontiers in Psychology, 5(401), 1–12.
Jacobs, L. F., Gaulin, S. J., Sherry, D. F., & Hoffman, G. E. (1990). Evolution of spatial cognition: sex-specific patterns of spatial behavior predict hippocampal size. Proceedings of the National Academy of Sciences, 87(16), 6349–6352.

Puts, D. A., Gaulin, S. J., & Breedlove, S. M. (2007). Sex differences in spatial ability: evolution, hormones and the brain. Evolutionary Cognitive Neuroscience. MIT Press, pp 329-379.

[1] Talking about flat-earthers and limitless ignorance, it is worth comparing Hauser’s review below to one by V. Evans (yes, that V. Evans) here. The best that I can say is that it is consistent with what I have come to expect from Evans’ work, (viz. it is not worse than his other recent output (tant pis)).


  1. " (iv) logically speaking recursion is an all or nothing affair."

    I understand the mathematical justification for this claim,
    but it seems there is a difference of levels of abstraction -- recursion as an abstract property of a computational level description of a grammar, versus what evolved which is some neural circuitry which can acquire and process sentences of some limited finite length.

    It seems quite plausible to me, looking at the capabilities of recursive neural networks of various modern types, that one can have a gradual evolution of something that can process progressively deeper hierarchical structures.

    1. Your point is a good one, but let me quibble anyhow. First, everyone agrees that whatever we have now has evolved from what was there before. So the question regards "gradual," and this usually entails gradual due to selection pressures guiding the process. Let me take on "gradual."

      Again all agree that the change from the previous system is "small." Say but one change. Now is this change guided by selection? Well, what would that mean? Selection sees the genotype through the phenotype. So the idea must be that there is "gradual selection" FOR recursion through some selection advantage for the recursive phenotype. So, one level of embedding is good, but there is selective pressure that gradually changes the genotype to give hierarchical recursion. Now, one possible story is that selection pushes the system from 1 embedding to 2 to 3 to infinity. We seem to both agree that this is daffy. Moreover, there is little reason to think that conceptually speaking (note, rather than as a matter of actual history) we need the earlier finite levels to give us recursion. Ok, what needs showing is that the earlier finite systems are casually necessary. Ok, show me. I agree, that this is conceivable, but there is little reason to think that it is true (at least right now) at either the empirical or conceptual level.

      Second, what would force a system to prefer recursion given a finite precursor? Recall, the question is not evolution, but evolution via selection. Let me add, that Dawkins, a pretty radical selectionist, finds the idea pretty hard to swallow (as I've noted elsewhere). So, IF there was gradual evolution, it is not clear that it was in response to selection pressures, and if we agree on this, then I think that Chomsky's point stands.

      At any rate, you are right about the big point. What evolves is a genotype (or epi-genotype etc) and this might have gradually come into place. However, if it did, there seems little reason to believe that it was selected for FOR recursion, and this seems to me the main issue.

    2. Here's what might be a slightly different view of things. The fundamental property of human language is not 'recursion', under any of its definitions, but hierarchically structured performances, where a performance of some type has sub-performances of some other types, following some scheme (whether ID/LP rules as in LFG, something like what Adger proposes in Baggett Lec 2 or something else doesn't matter).

      Given such a scheme, which seems needed even for Piraha, it requires an *extraneous constraint* to prevent embedding recursion, eg NP able to contain PP able to contain NP ... (whether on the edge or centrally makes no difference).

      Since central recursion does occur in some languages whose cultures presumably knew nothing about formal language theory (eg Plato's, as in the 'the eyes of the soul of the multitude' example I put up once upon a time), the human language faculty doesn't do a no recursion check (whereas the Fortran-77 compiler did). Furthermore, it doesn't crash when presented with recursive examples in the PLD, so in that sense, UG supports recursion.

      My guess as to the antecedent for this is a) the capacity to form hierarchy structured plans (forex the steps required to make some plant material edible instead of instantl lethal in Australia) = production b) the capacity to figure out what your groupmates are up to by watching what they're doing = parsing. a) can be useful to the sole individual who has it, and b) can be useful to somebody who has it surrounded by people who don't, but do have a).

  2. "we also need an account of how a motor system capable of imitating sounds and actions evolved. This is an account of how SM evolved, but also, about how and when SM interfaced with CI and MERGE."

    Yes. Since both SM and CI systems are essentially unique to humans, the idea that Merge just correlated the extant (nonhuman) SM and CI systems--the wandering hominid hypothesis--must be radically false.

    1. I dont' see that the CI system is unique to humans, since animals clearly have some sort of limited conceptual inventory. For example, dogs can recognize individual humans in multiple modalities (sight and smell) which seems to imply they have singular term type concepts. It's a murky area though. And I guess it depends on your concept of a concept.

    2. The CI and SM systems are 'essentially unique to humans'? What's your evidence for this?

    3. And, CI & SM are plausibly not completely different, since there might be some kind of link between them to enable interpreting your group-mates' behavior. Learning by imitation, for example, which all mammals and birds seem to be capable of doing to some extent, requires working out what another organism is doing, perhaps a member of a different species, (CI), and then trying to do 'the same thing' yourself (SM).

    4. Adding to AveryAndrews, from a gene's-eye-view and brain's-eye-view, the mystical CI-SM distinction is fairly useless. Like the FLN-FLB distinction, it's good linguistics but bad biology (ditto most of the talk about 'MERGE').

  3. This comment has been removed by the author.

  4. Hi, thanks for a thought provoking review!

    I have a question if you don't mind; According to authors of the book, if Merge is purely an internal process and had nothing to do with communication, why this operation is not also usable in other types of cognitive processes besides language -like tool making-. If it is used, why call it UG and make it only about language?

  5. There are several ways of answering this. First, it is not clear that it is not available in other domains (though I am skeptical that it is). But even if it is, it may first have arisen as proprietary to language. So, we would predict that only linguistically capable animals would show recursive capacities in other domains. Why? Because it would piggy back on the linguistic facility. I don't know if this is so, but it strikes me as plausible.
    Second, I don't see how tying things to communication would help much. Many animals communicate. None other than humans have grammars like ours. So how does seeing language as communicative help?
    Third, I think it is an open question whether the KIND of recursion we find in language is really similar to what we find in other domains. Maybe it is, but maybe not. People say that what we see here is, say, like what we see in music. But friends of mine who know this stuff better than I do do not buy this. It is unclear that we have analogues of embedding and binding and island effects in other cognitive domains. Maybe we do, but we need work to show this.
    Hope this helps.