There is an active debate within the field of phonology concerning the cognitive status of substantive phonetic factors such as ease of articulation and perceptual distinctiveness. A new framework is proposed in which substance acts as a bias, or prior, on phonological learning. Two experiments tested this framework with a method in which participants are first provided highly impoverished evidence of a new phonological pattern, and then tested on how they extend this pattern to novel contexts and novel sounds. Participants (...) were found to generalize velar palatalization (e.g., the change from [k] as in keep to [t⌢∫S] as in cheap) in a way that accords with linguistic typology, and that is predicted by a cognitive bias in favor of changes that relate perceptually similar sounds. Velar palatalization was extended from the mid front vowel context (i.e., before [e] as in cape) to the high front vowel context (i.e., before [i] as in keep), but not vice versa. The key explanatory notion of perceptual similarity is quantified with a psychological model of categorization, and the substantively biased framework is formalized as a conditional random field. Implications of these results for the debate on substance, theories of phonological generalization, and the formalization of similarity are discussed. (shrink)

The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance theTractable Cognition thesis: Human cognitive capacities are constrained by computational tractability. This thesis, if true, serves cognitive psychology by constraining the space of computational‐level theories of cognition. To utilize this constraint, a precise and workable definition of “computational tractability” is needed. Following computer science tradition, many cognitive scientists and psychologists define computational tractability as polynomial‐time computability, leading to theP‐Cognition thesis. This article (...) explains how and why the P‐Cognition thesis may be overly restrictive, risking the exclusion of veridical computational‐level theories from scientific investigation. An argument is made to replace the P‐Cognition thesis by theFPT‐Cognition thesisas an alternative formalization of the Tractable Cognition thesis (here, FPT stands for fixed‐parameter tractable). Possible objections to the Tractable Cognition thesis, and its proposed formalization, are discussed, and existing misconceptions are clarified. (shrink)

Mental representations have continuous as well as discrete, combinatorial properties. For example, while predominantly discrete, phonological representations also vary continuously; this is reflected by gradient effects in instrumental studies of speech production. Can an integrated theoretical framework address both aspects of structure? The framework we introduce here, Gradient Symbol Processing, characterizes the emergence of grammatical macrostructure from the Parallel Distributed Processing microstructure (McClelland, Rumelhart, & The PDP Research Group, 1986) of language processing. The mental representations that emerge, Distributed Symbol Systems, (...) have both combinatorial and gradient structure. They are processed through Subsymbolic Optimization–Quantization, in which an optimization process favoring representations that satisfy well-formedness constraints operates in parallel with a distributed quantization process favoring discrete symbolic structures. We apply a particular instantiation of this framework, λ-Diffusion Theory, to phonological production. Simulations of the resulting model suggest that Gradient Symbol Processing offers a way to unify accounts of grammatical competence with both discrete and continuous patterns in language performance. (shrink)

In this article, I survey the integrated connectionist/symbolic (ICS) cognitive architecture in which higher cognition must be formally characterized on two levels of description. At the microlevel, parallel distributed processing (PDP) characterizes mental processing; this PDP system has special organization in virtue of which it can be characterized at the macrolevel as a kind of symbolic computational system. The symbolic system inherits certain properties from its PDP substrate; the symbolic functions computed constitute optimization of a well-formedness measure called Harmony. The (...) most important outgrowth of the ICS research program is optimality theory (Prince & Smolensky, 1993/2004), an optimization based grammatical theory that provides a formal theory of cross-linguistic typology. Linguistically, Harmony maximization corresponds to minimization of markedness or structural ill-formedness. Cognitive explanation in ICS requires the collaboration of symbolic and connectionist principles. ICS is developed in detail in Smolensky and Legendre (2006a); this article is a précis of and guide to those volumes. (shrink)

This article describes a left-corner parser implemented within a cognitively and neurologically motivated distributed model of memory. This parser's approach to syntactic ambiguity points toward a tidy account both of surprisal effects and of locality effects, such as the parsing breakdowns caused by center embedding. The model provides an algorithmic-level account of these breakdowns: The structure of the parser's memory and the nature of incremental parsing produce a smooth degradation of processing accuracy for longer center embeddings, and a steeper degradation (...) when they are nested, in line with recall observations by Miller and Isard and speed-accuracy trade-off observations by McElree et al.. Modeling results show that this effect is distinct from the effects of ambiguity and exceeds the effect of mere sentence length. (shrink)

In various contexts and for various reasons, writers often define cognitive processes and architectures as those involving representational states and structures. Similarly, cognitive theories are also often delineated as those that invoke representations. In this paper, I present several reasons for rejecting this way of demarcating the cognitive. Some of the reasons against defining cognition in representational terms are that doing so needlessly restricts our theorizing, it undermines the empirical status of the representational theory of mind, and it encourages wildly (...) deflationary and explanatorily vacuous conceptions of representation. After criticizing this outlook, I sketch alternative ways we might try to capture what is distinctive about cognition and cognitive theorizing. (shrink)

Leech et al.'s analysis adds to an emerging consensus of the role of priming in analogy-making. However, their model cannot scale up to adult-level performance because not all relations can be cast as functions. One-size-fits-all accounts cannot capture the richness of analogy. Proportional analogies and transitive inferences can be made by nonstructural mechanisms. Therefore, these tasks do not generalize to tasks that require structure mapping.

Harmonic Grammar (HG) and Optimality Theory (OT) are closely related formal frameworks for the study of language. In both, the structure of a given language is determined by the relative strengths of a set of constraints. They differ in how these strengths are represented: as numerical weights (HG) or as ranks (OT). Weighted constraints have advantages for the construction of accounts of language learning and other cognitive processes, partly because they allow for the adaptation of connectionist and statistical models. HG (...) has been little studied in generative linguistics, however, largely due to influential claims that weighted constraints make incorrect predictions about the typology of natural languages, predictions that are not shared by the more popular OT. This paper makes the case that HG is in fact a promising framework for typological research, and reviews and extends the existing arguments for weighted over ranked constraints. (shrink)

Category theory has been proposed as the ultimate algebraic model for biology. We review the Ehresmann–Vanbremeersch theory in the context of other mathematical approaches.

Cognitive Science, Volume 46, Issue 4, April 2022.

Processes governing the creation, perception and production of spoken words are sensitive to the patterns of speech sounds in the language user’s lexicon. Generative linguistic theory suggests that listeners infer constraints on possible sound patterning from the lexicon and apply these constraints to all aspects of word use. In contrast, emergentist accounts suggest that these phonotactic constraints are a product of interactive associative mapping with items in the lexicon. To determine the degree to which phonotactic constraints are lexically mediated, we (...) observed the effects of learning new words that violate English phonotactic constraints on phonotactic perceptual repair processes in nonword consonant-consonant-vowel stimuli. Subjects who learned such words were less likely to “repair” illegal onset clusters and report them as legal ones. Effective connectivity analyses of MRI-constrained reconstructions of simultaneously collected magnetoencephalography and EEG data showed that these behavioral shifts were accompanied by changes in the strength of influences of lexical areas on acoustic-phonetic areas. These results strengthen the interpretation of previous results suggesting that phonotactic constraints on perception are produced by top-down lexical influences on speech processing. (shrink)

Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)

Which notion of computation (if any) is essential for explaining cognition? Five answers to this question are discussed in the paper. (1) The classicist answer: symbolic (digital) computation is required for explaining cognition; (2) The broad digital computationalist answer: digital computation broadly construed is required for explaining cognition; (3) The connectionist answer: sub-symbolic computation is required for explaining cognition; (4) The computational neuroscientist answer: neural computation (that, strictly, is neither digital nor analogue) is required for explaining cognition; (5) The extreme (...) dynamicist answer: computation is not required for explaining cognition. The first four answers are only accurate to a first approximation. But the “devil” is in the details. The last answer cashes in on the parenthetical “if any” in the question above. The classicist argues that cognition is symbolic computation. But digital computationalism need not be equated with classicism. Indeed, computationalism can, in principle, range from digital (and analogue) computationalism through (the weaker thesis of) generic computationalism to (the even weaker thesis of) digital (or analogue) pancomputationalism. Connectionism, which has traditionally been criticised by classicists for being non-computational, can be plausibly construed as being either analogue or digital computationalism (depending on the type of connectionist networks used). Computational neuroscience invokes the notion of neural computation that may (possibly) be interpreted as a sui generis type of computation. The extreme dynamicist argues that the time has come for a post-computational cognitive science. This paper is an attempt to shed some light on this debate by examining various conceptions and misconceptions of (particularly digital) computation. (shrink)

Leech et al.'s model proposes representing relations as primed transformations rather than as structured representations (explicit representations of relations and their roles dynamically bound to fillers). However, this renders the model unable to explain several developmental trends (including relational integration and all changes not attributable to growth in relational knowledge). We suggest looking to an alternative computational model that learns structured representations from examples.

Despite its strengths, Leech et al.'s model fails to address the important benefits that derive from self-explanation and task feedback in analogical reasoning development. These components encourage explicit, self-reflective processes that do not necessarily link to knowledge accretion. We wonder, therefore, what mechanisms can be included within a connectionist framework to model self-reflective involvement and its beneficial consequences.

This paper develops a formal model of the subtle meaning differences that exist between grammatical alternatives in socially conditioned variation and how these variants can be used by speakers as resources for constructing personal linguistic styles. More specifically, this paper introduces a new formal system, called social meaning games, which allows for the unification of variationist sociolinguistics and game-theoretic pragmatics, two fields that have had very little interaction in the past. Although remarks have been made concerning the possible usefulness of (...) game-theoretic tools in the analysis of certain kinds of socially conditioned linguistic phenomena :645–668, 1977; Dror et al. in Lang Linguist Compass 7:561–579, 2013; in Lang Linguist Compass 8:230–242, 2014; Clark in Meaningful games: Exploring language with game theory, MIT Press, Cambridge, MA, 2014, among others), a general framework uniting game-theoretic pragmatics and quantitative sociolinguistics has yet to be developed. This paper constructs such a framework through giving a formalization of the Third Wave approach to the meaning of variation using signalling games and a probabilistic approach to speaker/listener beliefs of the kind commonly used in the Bayesian game-theoretic pragmatics framework :3–44, 2016, for recent overviews). (shrink)

Núñez and colleagues (2019) question whether cognitive science still exists “as a coherent academic field with a well‐defined and cohesive interdisciplinary research program.” This worry may be premature on two grounds. First, we are not convinced that the Lakatosian criterion of coalescence around a core framework is the best standard for judging whether a field is well‐defined and productive. Second, although we acknowledge that cognitive science is not as visible as we would like, we doubt that this low profile accurately (...) reflects the state of actual research and teaching programs based on the cognitive science approach. (shrink)

Núñez and colleagues (2019) question whether cognitive science still exists “as a coherent academic field with a well‐defined and cohesive interdisciplinary research program.” This worry may be premature on two grounds. First, we are not convinced that the Lakatosian criterion of coalescence around a core framework is the best standard for judging whether a field is well‐defined and productive. Second, although we acknowledge that cognitive science is not as visible as we would like, we doubt that this low profile accurately (...) reflects the state of actual research and teaching programs based on the cognitive science approach. (shrink)

To establish Optimality Theory as a framework in anthropology, or as a general model of higher human cognition, researchers have to demonstrate OT is convincing in a number of ways. This commentary summarizes some of them including factorial typologies, exact formulation of candidate sets and constraints, and computational plausibility.

The input data to grammar learning algorithms often consist of overt forms that do not contain full structural descriptions. This lack of information may contribute to the failure of learning. Past work on Optimality Theory introduced Robust Interpretive Parsing (RIP) as a partial solution to this problem. We generalize RIP and suggest replacing the winner candidate with a weighted mean violation of the potential winner candidates. A Boltzmann distribution is introduced on the winner set, and the distribution’s parameter $T$ is (...) gradually decreased. Finally, we show that GRIP, the Generalized Robust Interpretive Parsing Algorithm significantly improves the learning success rate in a model with standard constraints for metrical stress assignment. (shrink)

People exhibit conflicting intuitions concerning the mind/body links. Here, I explore a novel explanation for these inconsistencies: Dualism is a violable constraint that interacts with Essentialism. Two experiments probe these interactions. In Experiment 1, participants evaluated the emergence of psychological traits in either a replica of one's body, or in the afterlife—after the body's demise. In line with Dualism, epistemic (i.e., disembodied) traits (e.g., knowing the contrast between good/bad) were considered more likely to emerge (relative to sensorimotor/affective traits) only in (...) the afterlife. However, so were innate traits (in line with Essentialism). To further gauge Essentialism, Experiment 2 presented the same traits to innateness judgments. Here, sensorimotor/affective (i.e., embodied) traits were considered more likely to be innate, suggesting that innateness intuitions are informed by embodiment. Moreover, innateness judgments (in Experiment 2) and embodiment intuitions (in Experiment 1) correlated. These results suggest that Dualism tacitly constrains reasoning about one's innate origins and its persistence after death. But since Dualism is “soft” and interacts with Essentialism, supernatural intuitions are chimeric, not purely ethereal. (shrink)

People naturally intuit that an agent's ethereal thoughts can cause its body to move. Per intuitive physics; however, one body can only interact with another. Are people, then, covertly puzzled by the capacity of thoughts to command the body? Experiment 1 first confirms that thoughts (e.g., thinking about a cup) are indeed perceived as ethereal—as less detectible in the body (brain), and more likely to exist in the afterlife relative to matched percepts (e.g., seeing a cup). Experiments 2–5 show that (...) thoughts are considered less likely to cause behavior than percepts (e.g., thinking of a cup vs. seeing one). Furthermore, mind–body causation is more remarkable when its bodily consequences are salient (e.g., moving an arm vs. brain activation). Finally, epistemic causes are remarkable only when they are ascribed to mental‐ (e.g., “thinking”) but not to physical states (“activation”). Together, these results suggest that mind–body interactions elicit a latent dualist dissonance. (shrink)

Cognitive Science, Volume 46, Issue 7, July 2022.

I propose a new approach to the constitutive problem of psychology ‘what is mind?’ The first section introduces modifications of the received scope, methodology, and evaluation criteria of unified theories of cognition in accordance with the requirements of evolutionary compatibility and of a mature science. The second section outlines the proposed theory. Its first part provides empirically verifiable conditions delineating the class of meaningful neural formations and modifies accordingly the traditional conceptions of meaning, concept and thinking. This analysis is part (...) of a theory of communication in terms of inter-level systems of primitives that proposes the communication-understanding principle as a psychological invariance. It unifies a substantial amount of research by systematizing the notions of meaning, thinking, concept, belief, communication, and understanding and leads to a minimum vocabulary for this core system of mental phenomena. Its second part argues that written human language is the key characteristic of the artificially natural human mind. Overall, the theory both supports Darwin’s continuity hypothesis and proposes that the mental gap is within our own species. (shrink)

In his article Open Problems in the Philosophy of Information [1] Luciano Floridi presented a Philosophy of Information research program in the form of eighteen open problems, covering the following fundamental areas: Information definition, information semantics, intelligence/cognition, informational universe/nature and values/ethics. We revisit Floridi’s program, highlighting some of the major advances, commenting on unsolved problems and rendering the new landscape of the Philosophy of Information (PI) emerging at present. As we analyze the progress of PI we try to situate Floridi’s (...) program in the context of scientific and technological development that have been made last ten years. We emphasize that Philosophy of Information is a huge and vibrant research field, with its origins dating before Open Problems, and its domains extending even outside their scope. In this paper, we have been able only to sketch some of the developments during the past ten years. Our hope is that, even if fragmentary, this review may serve as a contribution to the effort of understanding the present state of the art and the paths of development of Philosophy of Information as seen through the lens of Open Problems. (shrink)