In this paper I defend the classical computational account of reasoning against a range of highly influential objections, sometimes called relevance problems. Such problems are closely associated with the frame problem in artificial intelligence and, to a first approximation, concern the issue of how humans are able to determine which of a range of representations are relevant to the performance of a given cognitive task. Though many critics maintain that the nature and existence of such problems provide grounds for rejecting (...) classical computationalism, I show that this is not so. Some of these putative problems are a cause for concern only on highly implausible assumptions about the extent of our cognitive capacities, whilst others are a cause for concern only on similarly implausible views about the commitments of classical computationalism. Finally, some versions of the relevance problem are not really objections but hard research issues that any satisfactory account of cognition needs to address. I conclude by considering the diagnostic issue of why accounts of cognition in general—and classical computational accounts, in particular—have faired so poorly in addressing such research issues.Keywords: Computationalism; Frame problem; Relevance. (shrink)

One of the central debates in cognitive science is the dispute over the role of representation in cognition: on computational/representational accounts, representations are theoretically central; on dynamic systems approaches in which cognition is investigated as a particular sort of physical process, representations play either no role, or, at best, a derivative one. But these two perspectives lead to a deeply unsatisfying theoretical divide: accounts situated in the representational camp are plagued by the inscrutable problem of intentionality, while those hedging towards (...) anti-representationalism seem incapable of saying anything theoretically interesting about high-level cognition. This unhelpful polarization is due in part, at least, to a muddy debate; while some take representationalism to be a commitment to the necessity of conceptual representations for cognition, representations the having of which require certain conceptual capacities, others do not. Recently, there has been a surge of work on non-conceptual representation. This article aims to add to this movement by suggesting a particular cognitive mechanism for non-conceptual representations, one that plays a pivotal role in making conceptual representations possible. One of the central consequences of this new view of representation is the possibility of a non-question-begging naturalistic account of intentionality. (shrink)

Abstract In the first part of this essay (Russell, 1988a) I argued that ?cognisance? (roughly: a subject's knowledge of his relation to the physical world as an experiencer of it) cannot be explained in terms of a syntactic theory of mind, due to the ?referential? and ?holistic? nature of this knowledge. The syntactic account of the higher mental functions is immediately intelligible to us due to its derivation from computer technology, so this would not appear to be a happy result (...) for scientific psychology. In this paper I outline a strategy for developing a scientific psychology of cognisance, beginning from the assumption that such a theory should have a similar status to Chomsky's competence theory of human grammar, whilst diverging from Chomsky on the question of how such a theory should be answerable to data. Most of the paper is taken up with illustrating the way in which Jean Piaget's theory of mental development in humans is at least a first approximation to such a theory. (shrink)

This study addresses the dynamical nature of a “representation‐hungry” cognitive task involving an imagined action. In our experiment, participants were handed rods that systematically increased or decreased in length on subsequent trials. Participants were asked to judge whether or not they thought they could reach for a distant object with the hand‐held rod. The results are in agreement with a dynamical model, extended from Tuller, Case, Ding, and Kelso (1994). The dynamical effects observed in this study suggest that predictive judgments (...) regarding the possibility or impossibility of a certain action can be understood in terms of dynamically evolving basins of attraction instead of as depending on representational structures. (shrink)

Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin's key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

The computational view of mind rests on certain intuitions regarding the fundamental similarity between computation and cognition. We examine some of these intuitions and suggest that they derive from the fact that computers and human organisms are both physical systems whose behavior is correctly described as being governed by rules acting on symbolic representations. Some of the implications of this view are discussed. It is suggested that a fundamental hypothesis of this approach is that there is a natural domain of (...) human functioning that can be addressed exclusively in terms of a formal symbolic or algorithmic vocabulary or level of analysis. Much of the paper elaborates various conditions that need to be met if a literal view of mental activity as computation is to serve as the basis for explanatory theories. The coherence of such a view depends on there being a principled distinction between functions whose explanation requires that we posit internal representations and those that we can appropriately describe as merely instantiating causal physical or biological laws. In this paper the distinction is empirically grounded in a methodological criterion called the " cognitive impenetrability condition." Functions are said to be cognitively impenetrable if they cannot be influenced by such purely cognitive factors as goals, beliefs, inferences, tacit knowledge, and so on. Such a criterion makes it possible to empirically separate the fixed capacities of mind from the particular representations and algorithms used on specific occasions. In order for computational theories to avoid being ad hoc, they must deal effectively with the "degrees of freedom" problem by constraining the extent to which they can be arbitrarily adjusted post hoc to fit some particular set of observations. This in turn requires that the fixed architectural function and the algorithms be independently validated. It is argued that the architectural assumptions implicit in many contemporary models run afoul of the cognitive impenetrability condition, since the required fixed functions are demonstrably sensitive to tacit knowledge and goals. The paper concludes with some tactical suggestions for the development of computational cognitive theories. (shrink)

Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need to state a (...) large number of frame axioms is alleviated by introducing a concept of chronological preservation to dynamic logic. As a side effect, this concept permits the encoding of temporal properties in a natural way. We compare the relative merits of our approach and non-monotonic approaches as regards different aspects of the frame problem. Technically, we show that the resulting extended systems of propositional dynamic logic preserve (weak) completeness, finite model property and decidability. (shrink)

Severity of Test (SoT) is an alternative to Popper's logical falsification that solves a number of problems of the logical view. It was presented by Popper himself in 1963. SoT is a less sophisticated probabilistic model of hypothesis testing than Oaksford & Chater's (O&C's) information gain model, but it has a number of striking similarities. Moreover, it captures the intuition of everyday hypothesis testing.

In artificial intelligence (AI), a number of criticisms were raised against the use of probability for dealing with uncertainty. All these criticisms, except what in this article we call the non-adequacy claim, have been eventually confuted. The non-adequacy claim is an exception because, unlike the other criticisms, it is exquisitely philosophical and, possibly for this reason, it was not discussed in the technical literature. A lack of clarity and understanding of this claim had a major impact on AI. Indeed, mostly (...) leaning on this claim, some scientists developed an alternative research direction and, as a result, the AI community split in two schools: a probabilistic and an alternative one. In this article, we argue that the non-adequacy claim has a strongly metaphysical character and, as such, should not be accepted as a conclusive argument against the adequacy of probability. (shrink)

It is often assumed that cognitive science is built upon folk psychology, and that challenges to folk psychology are therefore challenges to cognitive science itself. We argue that, in practice, cognitive science and folk psychology treat entirely non-overlapping domains: cognitive science considers aspects of mental life which do not depend on general knowledge, whereas folk psychology considers aspects of mental life which do depend on general knowledge. We back up our argument on theoretical grounds, and also illustrate the separation between (...) cognitive scientific and folk psychological phenomena in a number of cognitive domains. We consider the methodological and theoretical significance of our arguments for cognitive science research. (shrink)

We propose a view of embodied representations that is alternative to both symbolic/linguistic approaches and purely sensorimotor views of cognition, and can account for procedural and declarative knowledge manipulation. In accordance with recent evidence in cognitive neuroscience and psychology, we argue that anticipatory and simulative mechanisms, which arose during evolution for action control and not for cognition, determined the first form of representational content and were exapted for increasingly sophisticated cognitive uses. In particular, procedural and declarative forms of knowledge can (...) be explained, respectively, in terms of on-line sensorimotor anticipation and off-line simulations of potential actions, which can give access to tacit knowledge and make it explicit. That is, mechanisms that evolved for the on-line prediction of the consequences of one's own actions (i.e. forward models) determine a (procedural) form of representation, and became exapted for off-line use. They can therefore be used to produce (declarative) knowledge of the world, by running a simulation of the action that would produce the relevant information. We conclude by discussing how embodied representations afford a form of internal manipulation that can be described as internalized situated action. (shrink)

Default reasoning occurs whenever the truth of the evidence available to the reasoner does not guarantee the truth of the conclusion being drawn. Despite this, one is entitled to draw the conclusion “by default” on the grounds that we have no information which would make us doubt that the inference should be drawn. It is the type of conclusion we draw in the ordinary world and ordinary situations in which we find ourselves. Formally speaking, ‘nonmonotonic reasoning’ refers to argumentation in (...) which one uses certain information to reach a conclusion, but where it is possible that adding some further information to those very same premises could make one want to retract the original conclusion. It is easily seen that the informal notion of default reasoning manifests a type of nonmonotonic reasoning. Generally speaking, default statements are said to be true about the class of objects they describe, despite the acknowledged existence of “exceptional instances” of the class. In the absence of explicit information that an object is one of the exceptions we are enjoined to apply the default statement to the object. But further information may later tell us that the object is in fact one of the exceptions. So this is one of the points where nonmonotonicity resides in default reasoning. (shrink)

Inspired by Bermúdez’s notion of proto-logic, I would like to fathom what the true proto-logic could be like. But this will be approached only in a negative way of figuring out what it could not be. I shall argue that it could not be purely deductive by exploiting the recent researches in logic of maps. This will allow us to reorient the search for proto-logic, starting with animal abduction. I will also suggest that proto-logic won’t get off the ground without (...) proto-geometry. These negative results will shed some lights on some further conceptual and historical issues around the language of thought hypothesis to arrive at the true proto-logic. (shrink)

We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, we compute certain fixpoints of a set of types — which can be viewed as an on-the-fly emptiness of the automaton. We use BDDs to represent and manipulate such type sets, and investigate different kinds of representations as well as a “level-based” representation scheme. The latter turns out to speed up construction and reduce memory consumption (...) considerably. We also study the effect of formula simplification on our decision procedures. To prove the viability of our approach, we compare our approach with a representative selection of other approaches, including a translation of K to QBF. Our results indicate that the BDD-based approach dominates for modally heavy formulae, while search-based approaches dominate for propositionally heavy formulae. (shrink)

Human cognition requires coping with a complex and uncertain world. This suggests that dealing with uncertainty may be the central challenge for human reasoning. In Bayesian Rationality we argue that probability theory, the calculus of uncertainty, is the right framework in which to understand everyday reasoning. We also argue that probability theory explains behavior, even on experimental tasks that have been designed to probe people's logical reasoning abilities. Most commentators agree on the centrality of uncertainty; some suggest that there is (...) a residual role for logic in understanding reasoning; and others put forward alternative formalisms for uncertain reasoning, or raise specific technical, methodological, or empirical challenges. In responding to these points, we aim to clarify the scope and limits of probability and logic in cognitive science; explore the meaning of the explanation of cognition; and re-evaluate the empirical case for Bayesian rationality. (shrink)