Noam Chomsky and other linguists and psychologists have suggested that human linguistic behavior is somehow governed by a mental representation of a transformational grammar. Challenges to this controversial claim have often been met by invoking an explicitly computational perspective: It makes perfect sense to suppose that a grammar could be represented in the memory of a computational device and that this grammar could govern the device's use of a language. This paper urges, however, that the claim that humans are such (...) a device is unsupported and that it seems unlikely that linguists and psychologists really want to claim any such thing. Evidence for the linguists' original claim is drawn from three main sources: the explanation of language comprehension and other linguistic abilities; evidence for formal properties of the rules of the grammar; and the explanation of language acquisition. It is argued in this paper that none of these sources provides support for the view that the grammar governs language processing in something like the way a program governs the operation of a programmed machine. The computational approach, on the contrary, suggests ways in which linguistic abilities can be explained without the attribution of any explicit representation of rules governing linguistic behavior. (shrink)

By formalizing recent syntactic theories for natural languages Stabler shows how their complexity can be handled without guesswork or oversimplification. By formalizing recent syntactic theories for natural languages in the tradition of Chomsky's Barriers, Stabler shows how their complexity can be handled without guesswork or oversimplification. He introduces logical representations of these theories together with special deductive techniques for exploring their consequences that will provide linguists with a valuable tool for deriving and testing theoretical predictions and for experimenting with alternative (...) formulations of grammatical principles. Stabler's novel approach allows results to be deduced with straightforward calculations and provides a systematic framework for tackling the problem of how speakers can infer the properties of an utterance from principles of the grammar. The special treatment of equality, induction principles, and inclusion of a general method for collecting structures from proofs means that sophisticated linguistic arguments can be carried out in detail, giving a rich perspective to issues in linguistic theory and parsing. (shrink)

Saul Kripke has proposed an argument to show that there is a serious problem with many computational accounts of physical systems and with functionalist theories in the philosophy of mind. The problem with computational accounts is roughly that they provide no noncircular way to maintain that any particular function with an infinite domain is realized by any physical system, and functionalism has the similar problem because of the character of the functional systems that are supposed to be realized by organisms. (...) This paper shows that the standard account of what it is for a physical system to compute a function can avoid Kripke's criticisms without being reduced to circularity; a very minor and natural elaboration of the standard account suffices to save both functionalist theories and computational accounts generally. (shrink)

Linguists rely on intuitive conceptions of structure when comparing expressions and languages. In an algebraic presentation of a language, some natural notions of similarity can be rigorously defined (e.g. among elements of a language, equivalence w.r.t. isomorphisms of the language; and among languages, equivalence w.r.t. isomorphisms of symmetry groups), but it tums out that slightly more complex and nonstandard notions are needed to capture the kinds of comparisons linguists want to make. This paper identihes some of the important notions of (...) structural similarity, with attention to similarity claims that are prominent in the current linguistic tradition of transformational grammar. @ 2002 Elsevier Science B.V. All rights reserved. (shrink)

Recent years have seen numerous sociological disagreements devolve into heated debates, with scholars openly accusing their peers of being both empirically wrong and morally misguided. While social scientists routinely reflect on the ethical implications of certain research assumptions and data collection methods, the sociology of knowledge production has said little about how moral debates over scholarship shape subsequent research trajectories. Drawing on the new French pragmatic sociology, this article examines how sociologists respond to criticisms of the moral worth of their (...) research. The article outlines three typical responses: (1) accepting the criticism and changing direction completely; (2) accepting the criticism but changing discursive framing to incorporate existing research without being subject to critique; and (3) navigating through the debate by devising new research directions that do not trigger such criticism. To demonstrate, the article looks at how sociologists of religion responded, in their published scholarship, to criticisms of secularization theory as depreciating religious people and spiritual experience. Across the responses, we show that sociologists have included moral considerations in their empirical investigations, and have switched among several diverse moral justifications to address—and also avoid—criticism. We conclude by demonstrating that this model can be extended to other domains of sociological inquiry, including the study of gender-based wage inequality and methodological nationalism. The article highlights the importance of mapping the moral frameworks sociologists use for the sociology of knowledge and the sociology of morality. (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)

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)

We illustrate a novel conception of linguistic invariant which applies to grammars of different natural languages even though they may use different categories and have difl'erent rules. We illustrate formally how semantically defined notions, such as "is an anaphor" may be invariant in all linguistically motivated grammars, and we show that individual morphemes, such as case markers, may be invariant in grammars that have them in exactly the same sense in which properties, such as "is a Verb Phrase" or relations (...) such as "is a constituent of". (shrink)

Quine's (1969) proposal that the foundationalist programs in epistemology should be abandoned in favor of a scientific study of how we come to hold our theories about the world is still widely misunderstood. It does not eliminate the possibility of rational adjudication of scientific dispute, nor is it essentially tied to behaviorist approaches in psychology. On the contrary, recent work in psychology and philosophy of science can very naturally be seen as embodying the sort of program envisioned by Quine; now (...) freed of behaviorist strictures, it clearly addresses issues that have been of interest in traditional epistemology. This view is defended with particular attention to Quine's concerns with translation and the related concerns with belief individuation which have inspired critics of recent cognitive psychology. (shrink)

This book is a volume in the Penn Press Anniversary Collection. To mark its 125th anniversary in 2015, the University of Pennsylvania Press rereleased more than 1,100 titles from Penn Press's distinguished backlist from 1899-1999 that had fallen out of print. Spanning an entire century, the Anniversary Collection offers peer-reviewed scholarship in a wide range of subject areas.

The performance of a connectionist learning system on a simple problem has been described by Hinton and is briefly reviewed here: a finite set is learned from a finite collection of finite sets, and the system generalizes correctly from partial information by finding simple "features" of the environment. For comparison, a very similar problem is formulated in the Gold paradigm of discrete learning functions. To get generalization similar to the connectionist system, a non-conservative learning strategy is required. We define a (...) simple, non-conservative strategy that generalizes like the connectionist system, finding simple "features" of the environment. By placing an arbitrary finite bound on the number and complexity of the features to be found, learning can be guaranteed relative to a probabilistic criterion of success. However, this approach to induction has essentially the same problems as many others that have failed. (shrink)