Artificial intelligence (AI) research enjoyed an initial period of enthusiasm in the 1970s and 80s. But this enthusiasm was tempered by a long interlude of frustration when genuinely useful AI applications failed to be forthcoming. Today, we are experiencing once again a period of enthusiasm, fired above all by the successes of the technology of deep neural networks or deep machine learning. In this paper we draw attention to what we take to be serious problems underlying current views of artificial (...) intelligence encouraged by these successes, especially in the domain of language processing. We then show an alternative approach to language-centric AI, in which we identify a role for philosophy. (shrink)

The structure of natural languages is usually studied from three major different but interconnected points of view: syntax, semantics, and pragmatics. If we consider that the main purpose of natural languages is communication, we should consider another dimension for languages, which deals with the influence of internal states of communicating individuals on meanings. Such a dimension we refer to as internalism. Within this context, internalism cannot be confused with psycholinguistics, in the same way pragmatics cannot be confused with sociolinguistics. In (...) particular, we argue, language is tied to its systematic use. This view leads us to a non-realist perspective on linguistics. We analyze the role of natural languages into dialogues, by comparing our proposal to the dialogical approach to logic, which considers a dialogue as a game. Within our approach, there is no way to guarantee that two parties involved in a dialogue are playing the same game, due to unavoidable differences in their respective internal states. Another contribution of this paper is to argue that semantics plays a more fundamental role than syntax in the cognitive acquisition of languages. (shrink)

In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. Furthermore, (...) it is not clear whether any substance in von Neumann's celebrated 1945 ‘First Draft Report on the EDVAC’ is influenced in any identifiable way by Turing's work. This raises the questions: When does Turing enter the field? Why did the Association for Computing Machinery honor Turing by associating his name to ACM's most prestigious award, the Turing Award? Previous authors have.. (shrink)

Recent advances in genetics and neurobiology have greatly increased the degree of variation that one finds in what is taken to provide the biological foundations of our species-specific linguistic capacities. In particular, this variation seems to cast doubt on the purportedly homogeneous nature of the language faculty traditionally captured by the concept of “Universal Grammar.” In this article we discuss what this new source of diversity reveals about the biological reality underlying Universal Grammar. Our discussion leads us to support (1) (...) certain hypotheses advanced in evolutionary developmental biology that argue for the existence of robust biological mechanisms capable of canalizing variation at different levels, and (2) a bottom-up perspective on comparative cognition. We conclude by sketching future directions for what we call “comparative biolinguistics,” specifying which experimental directions may help us succeed in this new research avenue. (shrink)

Language sciences have long maintained a close and supposedly necessary coupling between the infinite productivity of the human language faculty and recursive grammars. Because of the formal equivalence between recursion and non-recursive iteration; recursion, in the technical sense, is never a necessary component of a generative grammar. Contrary to some assertions this equivalence extends to both center-embedded relative clauses and hierarchical parse trees. Inspection of language usage suggests that recursive rule components in fact contribute very little, and likely nothing significant, (...) to linguistic creativity. Further than this, if the productivity of human language is considered as not rigidly bound, but not infinite, then the need for any sort of iteration in generative grammars vanishes and can be replaced with a Non-iterative Explicit Alternatives Rule grammar. The knock-on effects of dispensing with recursive grammar components are: that language diversity can simply be based on rule and lexicon combinatorics with no potentially infinite dimensions derived from recursive or iterative components of rules; the oddity of a vast, multiply-infinite competence set of ‘grammatical but unacceptable’ productions is gone; and the development of a language faculty based on rules that eschew iterative rule components avoids any need for explaining ‘special’ mechanisms. On the broader front of searching for the mechanisms of mind, our analysis can be similarly applied to the proposals for a recursive basis for mind as an explanation for humanity’s great leap forward. (shrink)

Previous research has established that people can implicitly learn chunks, which do not require a memory buffer to process. The present study explores the implicit learning of nonlocal dependencies generated by higher than finite-state grammars, specifically, Chinese tonal retrogrades and inversions , which do require buffers . People were asked to listen to and memorize artificial poetry instantiating one of the two grammars; after this training phase, people were informed of the existence of rules and asked to classify new poems, (...) while providing attributions of the basis of their judgments. People acquired unconscious structural knowledge of both tonal retrogrades and inversions. Moreover, inversions were implicitly learnt more easily than retrogrades constraining the nature of the memory buffer in computational models of implicit learning. (shrink)

Cognitive science is, of course, not really a new discipline, but a recognition of a fundamental set of common concerns shared by the disciplines of psychology, computer science, linguistics, economics, epistemology, and the social sciences generally. All of these disciplines are concerned with information processing systems, and all of them are concerned with systems that are adaptive—that are what they are from being ground between the nether millstone of their physiology or hardware, as the case may be, and the upper (...) millstone of a complex environment in which they exist. Systems that are adaptive may equally well be described as “artificial,” for as environments change, they can be expected to change too, as though they were deliberately designed to fit those environments (as indeed they sometimes are).The task of empirical science is to discover and verify invariants in the phenomena under study. The artificiality of information processing systems creates a subtle problem in defining empirical invariants in such systems. For observed regularities are very likely invariant only within a limited range of variation in their environments, and any accurate statement of the laws of such systems must contain reference to their relativity to environmental features. It is a common experience in experimental psychology, for example, to discover that we are studying sociology—the effects of the past histories of our subjects—when we think we are studying physiology—the effects of properties of the human nervous system. Similarly, business cycle economists are only now becoming aware of the extent to which the parameters of the system they are studying are dependent on the experiences of a population with economic events over the previous generation.In artificial sciences, the descriptive and the normative are never far apart. Thus, in economics, the “principle of rationality” is sometimes asserted as a descriptive invariant, sometimes as advice to decision makers. Similarly, in psychology, the processes of adaptation (learning) have always been a central topic, at one time a topic that dominated the whole field of research. Linguistics, too, has suffered its confusions between descriptive and normative attitudes towards its subject. But we must avoid the error, in studying information processing systems, of thinking that the adaptive processes themselves must be invariant; and we must be prepared to face the complexities of regression in the possibility that they themselves may be subject to improvement and adaptation.It might have been necessary a decade ago to argue for the commonality of the information processes that are employed by such disparate systems as computers and human nervous systems. The evidence for that commonality is now overwhelming, and the remaining questions about the boundaries of cognitive science have more to do with whether there also exist nontrivial commonalities with information processing in genetic systems than with whether men and machines both think. (shrink)

Minimalist grammars (MGs) and multiple context-free grammars (MCFGs) are weakly equivalent in the sense that they define the same languages, a large mildly context-sensitive class that properly includes context-free languages. But in addition, for each MG, there is an MCFG which is strongly equivalent in the sense that it defines the same language with isomorphic derivations. However, the structure-building rules of MGs but not MCFGs are defined in a way that generalizes across categories. Consequently, MGs can be exponentially more succinct (...) than their MCFG equivalents, and this difference shows in parsing models too. An incremental, top-down beam parser for MGs is defined here, sound and complete for all MGs, and hence also capable of parsing all MCFG languages. But since the parser represents its grammar transparently, the relative succinctness of MGs is again evident. Although the determinants of MG structure are narrowly and discretely defined, probabilistic influences from a much broader domain can influence even the earliest analytic steps, allowing frequency and context effects to come early and from almost anywhere, as expected in incremental models. (shrink)

An important distinction between phonology and syntax has been overlooked. All phonological patterns belong to the regular region of the Chomsky Hierarchy, but not all syntactic patterns do. We argue that the hypothesis that humans employ distinct learning mechanisms for phonology and syntax currently offers the best explanation for this difference.

Abstract One perspective in contemporary linguistic theory defends the idea that the language faculty may result from the combinations of diverse systems and principles. As a case study, I critique a recent proposal by Juan Uriagereka and colleagues according to which the evolutionary emergence of the language faculty can be identified through studying the computational structure of knots as present within the fossil record. I here argue that the ability to conceptualize and, thereby, create knots is not parasitic on the (...) ability to conceptualize and create language. On the contrary, these two domains are entirely distinct, unrelatable in terms of their computational complexity, expressive power or, most importantly, in terms of their requisite mental operations and principles. The overall approach defended here can profitably be employed in the study of the relationship between language and thought, as I briefly discuss in the case of the role of language in spatial reorientation. (shrink)

Taking Chomsky’s Syntactic Structures as a starting point, this paper explores the use of recursive techniques in contemporary linguistic theory. Specifically, it is shown that there were profound ambiguities surrounding the notion of recursion in the 1950s, and that this was partly due to the fact that influential texts such as Syntactic Structures neglected to define what exactly constituted a recursive device. As a result, uncertainties concerning the role of recursion in linguistic theory have prevailed until the present day, and (...) some of the most common misunderstandings that have appeared in recent discussions are examined at some length. This article shows that debates about such topics are frequently undermined by fundamental misunderstandings concerning core terminology, and the full extent of the prevailing haziness is revealed. An attempt is made, for instance, to distinguish between such things as iterative constructional devices and self-similar syntactic embedding, despite the fact that these are usually both unhelpfully classified as examples of recursion. Consequently, this article effectively constitutes a plea for much greater accuracy and clarity when such important issues are addressed from a linguistic perspective. (shrink)

Cognitive science is an interdisciplinary research endeavor focusing on human cognitive phenomena such as memory, language use, and reasoning. It emerged in the second half of the 20th century and is charting new directions at the beginning of the 21st century. This chapter begins by identifying the disciplines that contribute to cognitive science and reviewing the history of the interdisciplinary engagements that characterize it. The second section examines the role that mechanistic explanation plays in cognitive science, while the third focuses (...) on the importance of mental representations in specifically cognitive explanations. The fourth section considers the interdisciplinary nature of cognitive science and explores how multiple disciplines can contribute to explanations that exceed what any single discipline might accomplish. The conclusion sketches some recent developments in cognitive science and their implications for philosophers. (shrink)

Advances in cognitive science are relevant to the debate between moral pluralism and absolutism. Parametric structure, which plausibly underlies syntax, gives some idea of how pluralism might be true. The cognitive mechanisms underlying mathematical intelligence give some idea of how far absolutism is right. Advances in cognitive science should help us better understand the extent to which we are divided and how far we are potentially harmonious in our values.

Notice that this paper has not claimed that all natural languages are CFL's. What it has shown is that every published argument purporting to demonstrate the non-context-freeness of some natural language is invalid, either formally or empirically or both.18 Whether non-context-free characteristics can be found in the stringset of some natural language remains an open question, just as it was a quarter century ago.Whether the question is ultimately answered in the negative or the affirmative, there will be interesting further questions (...) to ask. If it turns out that natural languages are indeed always CFL's, it will be reasonable to ask whether this helps to explain why speakers apparently recognize so quickly whether a presented utterance corresponds to a grammatical sentence or not, and to associate structural and semantic details with it. It might also be reasonable to speculate about the explanation for the universally context-free character of the languages used by humans, and to wonder whether evolutionary biological factors are implicated in some way (Sampson (1979) could be read in this light). And naturally, it will be reasonable to pursue the program put forward by Gazdar (1981, in press) to see to what extent CFL-inducing grammatical devices can be exploited to yield insightful descriptions of natural languages that capture generalizations in revealing ways.If a human language that is not a CFL is proved to exist, on the other hand, a different question will be raised: give the non-context-free character of human languages in general, why has this property been so hard to demonstrate that it has taken over twenty-five years to bring it to light since the issue was first explicitly posed? If human languages do not have to be CFL's, why do so many (most?) of them come so close to having the property of context-freeness? And, since the CFL's certainly constitute a very broad class of mathematically natural and computationally tractable languages, what property of human beings or their communicative or cognitive needs is it that has caused some linguistic communities to reach beyond the boundaries of this class in the course of evolving a linguistic system?Either way, we shall be interested to see our initial question resolved, and further questions raised. One cautionary word should be said, however, about the implications (or lack of them) that the answer will have for grammatical studies. Chomsky has repeatedly stated that he does not see weak generative capacity as a theme of central importance in the theory of grammar, and we agree. It is very far from being the case that the recent resurgence of interest in exploring the potential of CF-PSG or equivalent systems will, or should, be halted dead in its tracks by the discovery (if it is ever forthcoming) that some natural language is not a CFL. In the area of parsing, for instance, it seems possible that natural languages are not only parsed on the basis of constituent structure such as a CF-PSG would assign, but are parsed as if they were finite state languages (see Langendoen (1975) and Church (1980) for discussion along these lines). That is, precisely those construction-types that figure in the various proofs that English is not an FSL appear to cause massive difficulty in the human processing system; the sentences crucial to the proofs are for the most part unprocessable unless they are extremely short (yet the arguments for English not being and FSL only go through if length is not an issue). This means that in practice properties of finite state grammars are still of great potential importance to linguistic theory despite the fact that they do not provide the framework for defining the total class of grammatical sentences. The same would almost certannly be true of CF-PSG's if they were shown to be inadequate in a similar sense. It is highly unlikely that the advances made so far in far in phrase structure description could be nullified by a discovery about weak generative capacity. Moreover, there are known to be numerous ways in which the power of CF-PSG's can be marginally enhanced to permit, for example, xx languages to be generated without allowing anything like the full class of recursively enumerable or even context-sensitive languages (see Hopcroft and Ullmann (1979), Chapter 14) for an introduction to this topic, noting especially Figure 14.7 on p. 393. The obvious thing to do if natural languages were ever shown not to be CFL's in the general case would be to start exploring such minimal enhancements of expressive power to determine exactly what natural languages call for in this regard and how it could be effectively but parsimoniously provided in a way that closely modelled human linguistic capacities.In the meantime, it seems reasonable to assume that the natural languages are a proper subset of the infinite-cardinality CFL's until such time as they are validly shown not to be. (shrink)

Cognitive psychologists, like biologists, frequently describe mechanisms when explaining phenomena. Unlike biologists, who can often trace material transformations to identify operations, psychologists face a more daunting task in identifying operations that transform information. Behavior provides little guidance as to the nature of the operations involved. While not itself revealing the operations, identification of brain areas involved in psychological mechanisms can help constrain attempts to characterize the operations. In current memory research, evidence that the same brain areas are involved in what (...) are often taken to be different memory phenomena or in other cognitive phenomena is playing such a heuristic function. †To contact the author, please write to: Department of Philosophy, 0119, University of California, San Diego, La Jolla, CA 92093‐0119; e‐mail: [email protected]. (shrink)

According to the conventional wisdom, Turing said that computing machines can be intelligent. I don't believe it. I think that what Turing really said was that computing machines –- computers limited to computing –- can only fake intelligence. If we want computers to become genuinelyintelligent, we will have to give them enough “initiative” to do more than compute. In this paper, I want to try to develop this idea. I want to explain how giving computers more ``initiative'' can allow them (...) to do more than compute. And I want to say why I believe that they will have to go beyond computation before they can become genuinely intelligent. (shrink)

Maternal gift-giving sustains life and creates positive human relations. Addressing important issues in the theory of language and communication, Genevieve Vaughan associates language and mothering to the free gift economy. A fundamental hypothesis is that maternal gift-giving, mothering/being-mothered forms a non-essentialist, but fundamental core process of material and verbal communication that has been neglected by the Western view of the world. The mothering/being-mothered paradigm is thematized in the framework of gift logic, which is otherness logic. Restoring such a paradigm offers (...) a new light on language, communication and human relations, contributing to recovery of the “properly human” in terms of gift economy values, ultimately to the end of affecting social praxis for radical social change and creating better worlds. The second part of this text is titled “For the Sake of the Other” and presents an exchange of ideas with Vaughan in the form of a written conversation. This text is structured around the following titles: 1. Otherness and Gifting as the Basis of Communication: 1.1. Semiosis, Language, and the Gift Economy; 1.2. The Gift of Speaking and the “Mother Work Schema”; 1.3. Material gifting, Verbal Nurturing, Imagination; 1.4. New Perspectives for Studies in Language and Communication; 2. For the Sake of the Other, with Genevieve Vaughan. (shrink)

In his oft-cited, if rarely read book, Noam Chomsky ventured to propose a hierarchy of formal grammars. He defined them as rules for rewriting strings of terminal and nonterminal symbols into different strings of terminal and nonterminal symbols, thus giving birth to what is today known as the Chomsky hierarchy. The author himself claimed the theory applied exclusively to formal languages, but in his considerations he also happened to formulate a problem relating to natural languages, namely, to which formal grammar (...) category descriptive grammars of natural languages belong? While restraining from siding with any answer to the problem, Chomsky sparked a long philosophical and linguistic discussion revolving around complex structures in natural languages. (shrink)

Ecological developmental biology considers the phenotype as actively produced through an environmentally informed process of individual development, rather than predetermined by the genotype. Accordingly, the genotype is viewed as one among many interactants that contribute formative elements; it is understood to do so no differently from the way other organism-internal and environmental resources do. Although the EcoDevo approach is evidently particularly apt to inform approaches to human development, which mostly takes shape in rich cultural environments, it is remarkable that, at (...) least within some highly influential circles of the linguistic sciences, the study of many distinctive human cognitive traits including language remains strongly anchored to a preformationist stance. This article brings an EcoDevo approach to the biologically focused study of language to argue that an aspect of language design commonly assumed to be “blueprinted,” namely, the lexicon-syntax interface, may instead be explained as a plastic effect of ongoing developmental processes in the mind of the child, in which designated aspects of the environment fulfill a key constructive role. (shrink)

The concept of linguistic infinity has had a central role to play in foundational debates within theoretical linguistics since its more formal inception in the mid-twentieth century. The conceptualist tradition, marshalled in by Chomsky and others, holds that infinity is a core explanandum and a link to the formal sciences. Realism/Platonism takes this further to argue that linguistics is in fact a formal science with an abstract ontology. In this paper, I argue that a central misconstrual of formal apparatus of (...) recursive operations such as the set-theoretic operation merge has led to a mathematisation of the object of inquiry, producing a strong analogy with discrete mathematics and especially arithmetic. The main product of this error has been the assumption that natural, like some formal, languages are discretely infinite. I will offer an alternative means of capturing the insights and observations related to this posit in terms of scientific modelling. My chief aim will be to draw from the larger philosophy of science literature in order to offer a position of grammars as models compatible with various foundational interpretations of linguistics while being informed by contemporary ideas on scientific modelling for the natural and social sciences. (shrink)

The standard theory of languages has two levels, one centering on the study, teaching, and application of natural languages, and the other on formal languages and formal systems as applied throughout the mathematical and empirical sciences, in analytic philosophy, and for computer programming, software engineering, artificial intelligence, and related technologies. On both of these levels, standard language theory is dualistic, defining languages in isolation from their domains of discourse and treating attributes in isolation from their objective instances while omitting important (...) properties and functions ordinarily provided or executed by language users, automata, or physical systems on which they appear to supervene. This decoupling of languages from their universes, and from necessary linguistic functions such as display, processing, interpretation, and communication, has profound epistemological bearing, limiting scientific knowledge by precluding the linguistic formulation of any verifiable comprehensive description of reality. This paper proposes that in addition to the two existing levels of standard language theory involving natural and formal languages and systems, the theory of language be recognized to possess a third "metaformal" level on which languages and their universes are "wrapped" in a uniquely structured, totally self-contained metalanguage, the Metaformal System, which restores missing linguistic functionality while using a supertautological intelligibility criterion to generically couple languages with their universes on a fundamental level of shared structure and dynamics, thereby restoring the potential for a verifiable comprehensive and fully connected understanding of the reality we share. (shrink)

Purpose. This article attempts to investigate the ways to overcome negative after-effects of intercultural communication. Methodology and theoretical results: To avoid the negative after-effects of intercultural communication caused by the clash of different reality tunnels, it is necessary to go beyond the framework of the specific symbolical territory, which is seen as the only true reality. Expanding the horizons of life, going beyond the boundaries of a personal reality tunnel can be achieved, in particular, by using parables. Acquaintance with parables (...) helps to extend the set of the world perception models and to change the positions of the communication process participants. Parables act as intermediaries between people of different cultures and mentalities. Owing to its archetypical form, parable becomes one of the most popular narratives illustrating deep and multi-faceted truths that sometimes cannot be expressed by any other way. Parable serves as an open and flexible model of the world and a model of an individual "I self". This model helps people to constitute themselves as a part of their world. Parable requires to reject its interpretation in the oppositions inherent in a given culture and to reconsider the very way of understanding. Rejection of the oppositions provides the possibility of perceiving the world as integrity, unity in diversity, helps to overcome one-sided picture of the inner world of a man and his life in society. Understanding of a parable works towards changing personal position, and human creative nature is actualized. Conclusion: Parables uniquely reflect the real world and contribute to personal understanding of reality. Parables are successfully transplanted into different cultures operating as heritage of a culture-recipient and as a connecting link, which optimizes an intercultural dialogue. (shrink)

Temporal regularities in speech, such as interdependencies in the timing of speech events, are thought to scaffold early acquisition of the building blocks in speech. By providing on-line clues to the location and duration of upcoming syllables, temporal structure may aid segmentation and clustering of continuous speech into separable units. This hypothesis tacitly assumes that learners exploit predictability in the temporal structure of speech. Existing measures of speech timing tend to focus on first-order regularities among adjacent units, and are overly (...) sensitive to idiosyncrasies in the data they describe. Here, we compare several statistical methods on a sample of 18 languages, testing whether syllable occurrence is predictable over time. Rather than looking for differences between languages, we aim to find across languages (using clearly defined acoustic, rather than orthographic, measures), temporal predictability in the speech signal which could be exploited by a language learner. First, we analyse distributional regularities using two novel techniques: a Bayesian ideal learner analysis, and a simple distributional measure. Second, we model higher-order temporal structure—regularities arising in an ordered series of syllable timings—testing the hypothesis that non-adjacent temporal structures may explain the gap between subjectively-perceived temporal regularities, and the absence of universally-accepted lower-order objective measures. Together, our analyses provide limited evidence for predictability at different time scales, though higher-order predictability is difficult to reliably infer. We conclude that temporal predictability in speech may well arise from a combination of individually weak perceptual cues at multiple structural levels, but is challenging to pinpoint. (shrink)

In the generative tradition, the language faculty has been shrinking—perhaps to include only the mechanism of recursion. This paper argues that even this view of the language faculty is too expansive. We first argue that a language faculty is difficult to reconcile with evolutionary considerations. We then focus on recursion as a detailed case study, arguing that our ability to process recursive structure does not rely on recursion as a property of the grammar, but instead emerges gradually by piggybacking on (...) domain-general sequence learning abilities. Evidence from genetics, comparative work on non-human primates, and cognitive neuroscience suggests that humans have evolved complex sequence learning skills, which were subsequently pressed into service to accommodate language. Constraints on sequence learning therefore have played an important role in shaping the cultural evolution of linguistic structure, including our limited abilities for processing recursive structure. Finally, we re-evaluate some of the key considerations that have often been taken to require the postulation of a language faculty. (shrink)

For the past two decades, it has widely been assumed by linguists that there is a single computational operation, Merge, which is unique to language, distinguishing it from other cognitive domains. The intention of this paper is to progress the discussion of language evolution in two ways: (i) survey what the ethological record reveals about the uniqueness of the human computational system, and (ii) explore how syntactic theories account for what ethology may determine to be human-specific. It is shown that (...) the operation Label, not Merge, constitutes the evolutionary novelty which distinguishes human language from non-human computational systems; a proposal lending weight to a Weak Continuity Hypothesis and leading to the formation of what is termed Computational Ethology. Some directions for future ethological research are suggested. (shrink)

Four different kinds of grammars that can define crossing dependencies in human language are compared here: (i) context sensitive rewrite grammars with rules that depend on context, (ii) matching grammars with constraints that filter the generative structure of the language, (iii) copying grammars which can copy structures of unbounded size, and (iv) generating grammars in which crossing dependencies are generated from a finite lexical basis. Context sensitive rewrite grammars are syntactically, semantically and computationally unattractive. Generating grammars have a collection of (...) nice properties that ensure they define only “mildly context sensitive” languages, and Joshi has proposed that human languages have those properties too. But for certain distinctive kinds of crossing dependencies in human languages, copying or matching analyses predominate. Some results relevant to the viability of mildly context sensitive analyses and some open questions are reviewed. (shrink)

A word-by-word human sentence processing complexity metric is presented. This metric formalizes the intuition that comprehenders have more trouble on words contributing larger amounts of information about the syntactic structure of the sentence as a whole. The formalization is in terms of the conditional entropy of grammatical continuations, given the words that have been heard so far. To calculate the predictions of this metric, Wilson and Carroll's (1954) original entropy reduction idea is extended to infinite languages. This is demonstrated with (...) a mildly context-sensitive language that includes relative clauses formed on a variety of grammatical relations across the Accessibility Hierarchy of Keenan and Comrie (1977). Predictions are derived that correlate significantly with repetition accuracy results obtained in a sentence-memory experiment (Keenan & Hawkins, 1987). (shrink)

Chomsky’s highly influential Syntactic Structures ( SS ) has been much praised its originality, explicitness, and relevance for subsequent cognitive science. Such claims are greatly overstated. SS contains no proof that English is beyond the power of finite state description (it is not clear that Chomsky ever gave a sound mathematical argument for that claim). The approach advocated by SS springs directly out of the work of the mathematical logician Emil Post on formalizing proof, but few linguists are aware of (...) this, because Post’s papers are not cited. Chomsky’s extensions to Post’s systems are not clearly defined, and the arguments for their necessity are weak. Linguists have also overlooked Post’s proofs of the first two theorems about effects of rule format restrictions on generative capacity, published more than ten years before SS was published. (shrink)

In this article we argue for an extension of Pere Alberch’s notion of developmental morphospace into the realm of cognition and introduce the notion of cognitive phenotype as a new tool for the evolutionary and developmental study of cognitive abilities.

The cognition of music, like that of language, is partly rooted in enculturative processes of implicit and incidental learning. Musicians and nonmusicians alike are commonly found to possess detailed implicit knowledge of musical structure which is acquired incidentally through interaction with large samples of music. This paper reports an experiment combining the methodology of artificial grammar learning with musical acquisition of melodic structure. Participants acquired knowledge of grammatical melodic structures under incidental learning conditions in both experimental and untrained control conditions. (...) Subsequent analysis indicates a large effect of unsupervised online learning in the experimental and control group throughout the course of the testing phase suggesting an effective ongoing learning process. Musicians did not outperform nonmusicians, indicating that musical expertise is not advantageous for the learning of a new, unfamiliar melodic system. Confidence ratings suggest that participants became aware of the knowledge guiding their classification performance despite the incidental learning conditions. (shrink)

Philosophy of science is positioned to make distinctive contributions to cognitive science by providing perspective on its conceptual foundations and by advancing normative recommendations. The philosophy of science I embrace is naturalistic in that it is grounded in the study of actual science. Focusing on explanation, I describe the recent development of a mechanistic philosophy of science from which I draw three normative consequences for cognitive science. First, insofar as cognitive mechanisms are information-processing mechanisms, cognitive science needs an account of (...) how the representations invoked in cognitive mechanisms carry information about contents, and I suggest that control theory offers the needed perspective on the relation of representations to contents. Second, I argue that cognitive science requires, but is still in search of, a catalog of cognitive operations that researchers can draw upon in explaining cognitive mechanisms. Last, I provide a new perspective on the relation of cognitive science to brain sciences, one which embraces both reductive research on neural components that figure in cognitive mechanisms and a concern with recomposing higher-level mechanisms from their components and situating them in their environments. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

“Everyone knows that language is variable.” This is the bald sentence with which Sapir (1921:147) begins his chapter on language as an historical product. He goes on to emphasize how two speakers’ usage is bound to differ “in choice of words, in sentence structure, in the relative frequency with which particular forms or combinations of words are used”. I should add that much sociolinguistic and historical linguistic research has shown that the same speaker’s usage is also variable (Labov 1966, Kroch (...) 2001:722). However, the tradition of most syntacticians has been to ignore this thing that everyone knows. (shrink)

Mind–body dualism has rarely been an issue in the generative study of mind; Chomsky himself has long claimed it to be incoherent and unformulable. We first present and defend this negative argument but then suggest that the generative enterprise may license a rather novel and internalist view of the mind and its place in nature, different from all of, (i) the commonly assumed functionalist metaphysics of generative linguistics, (ii) physicalism, and (iii) Chomsky’s negative stance. Our argument departs from the empirical (...) observation that the linguistic mind gives rise to hierarchies of semantic complexity that we argue (only) follow from constraints of an essentially mathematical kind. We assume that the faculty of language tightly correlates with the mathematical capacity both formally and in evolution, the latter plausibly arising as an abstraction from the former, as a kind of specialized output. On this basis, and since the semantic hierarchies in question are mirrored in the syntactic complexity of the expression involved, we posit the existence of a higher-dimensional syntax structured on the model of the hierarchy of numbers, in order to explain the semantic facts in question. If so, syntax does not have a physicalist interpretation any more than the hierarchy of number-theoretic spaces does. (shrink)

This paper proposes a social account for the origin of the truth value and the emergence of the first declarative sentence. Such a proposal is based on two assumptions. The first is known as the social intelligence hypothesis: that the cognitive evolution of humans is first and foremost an adaptation to social demands. The second is the function-first approach to explaining the evolution of traits: before a prototype of a new trait develops and the adaptation process begins, something already existing (...) is used for a new purpose. Applied to the emergence of declarative sentences (statements), this suggests something already existing––natural signs (such as indexical objects)––was used for the declarative function and thereby integrated into communication. I show that index display (such as the display of hunting trophies) can imply a conceptual structure similar to that informing the syntax of sentences. The view developed in this paper is broadly consistent with the argumentative theory of Mercier and Sperber, which suggests that reasoning is less adapted to decision making than to social purposes such as winning disputes. In this paper I extend this view to the evaluation of propositions expressed in declarative sentences. According to my proposal, the first declarative sentence emerged as the negation of the (implicit) negation of an implicit statement. Thereby, I suggest that the binary structure of the truth value underlying any declarative sentence is founded on disagreements based on conflicts of interests. (shrink)

This paper presents an experimental study investigating artificial grammar learning (AGL) in monolingual and bilingual children, with and without dyslexia, using an original methodology. We administered a serial reaction time (SRT) task, in the form of a modified Simon task, in which the sequence of the stimuli was manipulated according to the rules of a simple Lindenmayer grammar (more specifically, a Fibonacci grammar). By ensuring that the subjects focused on the correct response execution at the motor stage in presence of (...) congruent or incongruent visual stimuli, we could meet the two fundamental criteria for implicit learning: the absence of an intention to learn and the lack of awareness at the level of resulting knowledge. The participants of our studies were four groups of 10-year-old children: 30 Italian monolingual typically developing children, 30 bilingual typically developing children with Italian L2, 24 Italian monolingual dyslexic children and 24 bilingual dyslexic children with Italian L2. Participants were administered the modified Simon task developed according to the rules of the Fibonacci grammar and tested with respect to the implicit learning of three regularities: (i) a red is followed by a blue; (ii) a sequence of two blues is followed by a red and (iii) a blue can be followed either by a red or by a blue. Results clearly support the hypothesis that implicit learning took place, since participants of all groups became increasingly sensitive to the structure of the input, implicitly learning the sequence of the trials and thus appropriately predicting the occurrence of the relevant items, as manifested by faster reaction times in predictable trials. Moreover, group differences were found, with bilinguals being overall faster than monolinguals and dyslexics less accurate than controls. Finally, an advantage of bilingualism in dyslexia was found, with bilingual dyslexics performing consistently better than monolingual dyslexics and, in some conditions, at the level of the two control groups. These results are taken to suggest that bilingualism should be supported also among linguistically impaired individuals. (shrink)