To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

Connectionism provides hope for unifying work in neuroscience, computer science, and cognitive psychology. This promise has met with some resistance from Classical Computionalists, which may have inspired Connectionists to retaliate with bold, inflationary claims on behalf of Connectionist models. This paper demonstrates, by examining three intimately connected issues, that these inflationary claims made on behalf of Connectionism are wrong. This should not be construed as an attack on Connectionism, however, since the inflated claims made on its behalf have the look (...) of cures for which there are no ailments. There is nothing wrong with Connectionism for its failure to solve illusory problems. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Figure 1: A pr ototyp ical exa mple of a three-layer feed forward network, used by Plunkett and M archm an (1 991 ) to simulate learning the past-tense of En glish verbs. The inpu t units encode representations of the three phonemes of the present tense of the artificial words used in this simulation. Th e netwo rk is trained to produce a representation of the phonemes employed in the past tense form and the suffix (/d/, /ed/, or /t/) (...) used on regular verbs. To run the network, each input unit is assigned an activation value o f 0 or 1 , dep ending on whethe r the featu re is present or not. Eac h input unit is conne cted to each of the 30 hidden units by a we ighted conn ection and p rovid es an inp ut to each hidden unit equal to the product of the input unit's activation and the weight. Each hidd en unit's activation is then determined by summing ov er the va lues co ming fro m each inp ut unit to deter mine a netinput, and then applying a non-linear function (e.g., the logistic function 1/(1+e^netinput). Th is whole proced ure is. (shrink)

Recently, connectionist models have been developed that seem to exhibit structuresensitive cognitive capacities without executing a program. This paper examines one such model and argues that it does execute a program. The argument proceeds by showing that what is essential to running a program is preserving the functional structure of the program. It has generally been assumed that this can only be done by systems possessing a certain temporalcausal organization. However, counterfactualpreserving functional architecture can be instantiated in other ways, for (...) example geometrically, which are realizable by connectionist networks. (shrink)

Smolensky's (1995) proposal for a connectionist explanation of systematicity doesn't work.

Fodor and Pylyshyn (1988), Fodor and McLaughlin (1990) and McLaughlin (1993) challenge connectionists to explain systematicity without simply implementing a classical architecture. In this paper I argue that what makes the challenge difficult for connectionists to meet has less to do with what is to be explained than with what is to count as an explanation. Fodor et al. are prepared to admit as explanatory, accounts of a sort that only classical models can provide. If connectionists are to meet the (...) challenge, they are going to have to insist on the propriety of changing what counts as an explanation of systematicity. Once that is done, there would seem to be as yet no reason to suppose that connectionists are unable to explain systematicity. (shrink)

Connectionism was explicitly put forward as an alternative to classical cognitive science. The questions arise: how exactly does connectionism differ from classical cognitive science, and how is it potentially better? The classical “rules and representations” conception of cognition is that cognitive transitions are determined by exceptionless rules that apply to the syntactic structure of symbols. Many philosophers have seen connectionism as a basis for denying structured symbols. We, on the other hand, argue that cognition is too rich and flexible to (...) be simulable by the exceptionless representation-level rules that classicism requires. However, this very richness of cognition requires syntactically structured representations—what philosophers call a language of thought. The natural mathematical characterization of neural networks comes from the theory of dynamical systems. We propose that the mathematics of dynamical systems, not the mathematics of algorithms, holds the key to how cognitive structure and cognitive processes can be realized in the physical structure and processes of a network. (shrink)

By following the arguments developed by Vygotsky and employing the cultural-historical activity theory (CHAT) in addition to dialectical logic, this paper attempts to investigate the interaction between psychology and artificial intelligence (AI) to confront the epistemological and methodological challenges encountered in AI research. The paper proposes that AI is facing an epistemological and methodological crisis inherited from psychology based on dualist ontology. The roots of this crisis lie in the duality between rationalism and objectivism or in the mind-body rupture that (...) has governed the production of scientific thought and the proliferation of approaches. In addition, by highlighting the sociohistorical conditions of AI, this paper investigates the historical characteristics of the shift of the crisis from psychology to AI. Additionally, we examine the epistemological and methodological roots of the main challenges encountered in AI research by noting that empiricism is the dominant tendency in the field. Empiricism gives rise to methodological and practical challenges, including challenges related to the emergence of meaning, abstraction, generalization, the emergence of symbols, concept formation, functional reflection of reality, and the emergence of higher psychological functions. Furthermore, through discussing attempts to formalize dialectical logic, the paper, based on contradiction formation, proposes a qualitative epistemological, methodological, and formal alternative by using a preliminary algorithmic model that grasps the formation of meaning as an essential ability for the qualitative reflection of reality and the emergence of other mental functions. (shrink)

It has recently been argued that the success of the connectionist program in cognitive science would threaten folk psychology. I articulate and defend a "minimalist" construal of folk psychology that comports well with empirical evidence on the folk understanding of belief and is compatible with even the most radical developments in cognitive science.

The architecture of brain, consciousness, and behavioral processes is shown to be formally similar in that all three may be conceived and depicted as Petri net patterned processes structured by a series of elements occurring or becoming active in stochastic succession, in parallel, with different rhythms of temporal iteration, and with a distinct qualitative manifestation in the spatiotemporal domain. A patterned process theory is derived from the isomorphic features of the models and contrasted with connectionist, dynamic system notions. This empirically (...) derived formulation is considered to be optimally compatible with the dual aspect theory in that the foundation of the diverse aspects would be a highly structured and dynamic process, the psychophysical neutral “ground” of mind and matter posed (but not properly determined) by dual aspect and neutral monist theories. It is methodologically sound to approach each one of these processes with specific tools and to establish concurrences in real time between them at the organismic level of analysis. Such intra‐level and inter‐perspective correlations could eventually constitute psychophysical bridge‐laws. A mature psychology of consciousness is necessary to situate and verify the bridges required by a genuine mind‐body science. (shrink)

This project provides a detailed examination and critique of current philosophical, linguistic, and cognitive accounts of first language acquisition. In particular, I focus on the concept of "innate" and how it is embraced, marginally utilized, or abandoned altogether in efforts to describe the way that a child comes to be a competent user of a language. A central question that naturally falls out of this general inquiry is therefore what exactly is supposed to be "innate," according to various theories? Philosophically, (...) the theory of innate ideas put forth to explain human learning has existed for centuries and hence, this thesis as it relates to language is discussed. The revival of nativism by linguists like Chomsky is thus a central theme of the first chapter. Universal Grammar and the various arguments for it are closely scrutinized, and I close this chapter with what I take to be the commitments of linguistic nativism, how its proponents conceive of "innate," and several possible objections to the arguments they put forth. Just as the theory of innate ideas has had its contesters throughout the history of philosophy, so too have linguists and cognitive scientists rejected Universal Grammar and other forms of linguistic nativism. Thus, the second chapter presents several of these alternative explanations of language acquisition. Namely, I divide the chapter into three sections, Usage-Based Linguistics, Emergentism, and Sociolinguistic Acquisition, as it is my suggestion that most of the anti-UG attacks are levied from one of these three fields. In discussing the details of each, two distinctions become of particular concern: first, a large part of the differing conceptions of "innate" seem to hinge on what is meant by "learning" and "acquiring," and therefore second, a fine line between UBL and Emergentism can be drawn, a relationship that is otherwise conflated in the literature. Because chapter two involves a brief account of the way in which connectionist simulations are often utilized to model or represent language acquisition, particularly from an Emergentist perspective, chapter three begins by examining this feature of Emergentism in more detail. Due to its explanatory power, ability to be effectively modeled, and the evidentiary support found in neuroscience, Emergentism would appear to be the most tenable position to maintain regarding language acquisition. This possibility seems further strengthened when we take into account the neuroscientific data often used to bolster anti-nativist claims. Nevertheless, reflecting on the overarching concern of the project, regarding what is really meant by "innate," it is shown that this attack on nativism might stand on shakier ground than was originally assumed. Finally, based on these considerations, a case is made for an intermediary position, a theory of "Minimally Innate Ideas.". (shrink)