This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (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)

Clark has recently suggested that predictive processing advances a theory of neural function with the resources to put an ecumenical end to the “representation wars” of recent cognitive science. In this paper I defend and develop this suggestion. First, I broaden the representation wars to include three foundational challenges to representational cognitive science. Second, I articulate three features of predictive processing’s account of internal representation that distinguish it from more orthodox representationalist frameworks. Specifically, I argue that it posits a resemblance-based (...) representational architecture with organism-relative contents that functions in the service of pragmatic success, not veridical representation. Finally, I argue that internal representation so understood is either impervious to the three anti-representationalist challenges I outline or can actively embrace them. (shrink)

It seems plausible that successfully communicating with our peers requires entertaining the same thoughts as they do. We argue that this view is incompatible with other, independently plausible principles of thought individuation. Our argument is based on a puzzle inspired by the Kripkean story of Peter and Paderewski: having developed several variations of the original story, we conclude that understanding and communication cannot be modeled as a process of thought transfer between speaker and hearer. While we are not the first (...) to reach this conclusion, the significance of our argument lies in the fact that it only relies on widely accepted premises, without depending on any especially controversial theory of mental and linguistic content. We conclude by drawing out the implications of that conclusion: if communication and understanding do not require thought identity, then one important motivation for the postulation of inter-personally shared thoughts is undercut. (shrink)

The historical debate on representation in cognitive science and neuroscience construes representations as theoretical posits and discusses the degree to which we have reason to posit them. We reject the premise of that debate. We argue that experimental neuroscientists routinely observe and manipulate neural representations in their laboratory. Therefore, neural representations are as real as neurons, action potentials, or any other well-established entities in our ontology.

Cognitive science and its philosophy have been far too long consumed with representation. This concern is indicative of a creeping Cartesianism that many scientists and philosophers wish to evade. However, their naturalism is often insufficiently evolutionary to fully appreciate the lessons of pragmatism. If cognitive neuroscience and pragmatism are to be mutually beneficial, the representational-friendly scientists and the anti-representational pragmatists need an alternative to representation that still accounts for what many find so attractive about representation, namely intentionality. I propose that (...) instead of representations we philosophers and scientists begin thinking in terms of cultural affordances. Like Gibsonian affordances, cultural affordances are opportunities for action. However, unlike Gibsonian affordances, which are merely biological and available for immediate action in the immediately present environment, cultural affordances also present opportunities for thinking about the past and acting into the future—tasks typically attributed to representations. (shrink)

El problema de marco, interpretado como un problema de determinación de la relevancia, ha sido motivo en las décadas de los 80 ́-90 ́ de grandes debates y controversias. La cuestión clave de este trabajo consistirá en dilucidar la relación que entre la dificultad definicional y resolutiva del problema de marco se establece: es necesario aclarar la interpretación particular que del problema de marco se tenga en mente antes de estimar cualquier solución que intente resolverlo. Una manera de abordar esta (...) cuestión es describir algunas de las varias interpretaciones que del problema se han propuesto y analizar luego las dificultades subyacentes. Al igual que Lormand sugerimos que cada una de estas interpretaciones se refiere a un problema distinto y que es necesario atender a las diferencias que entre éstas se establecen antes de estimar cualquier propuesta de resolución. (shrink)

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

Focusing on Machery's claim that concepts play entirely different roles in philosophy and psychology, I explain how one well-known philosophical theory of concepts, Conceptual Atomism (CA), when properly understood, takes into account both kinds of roles.

One of the most important objections to information-based semantic theories is that they are incapable of explaining Frege cases. The worry is that if a concept’s intentional content is a function of its informational content, as such theories propose, then it would appear that coreferring expressions have to be synonymous, and if this is true, it’s difficult to see how an agent could believe that a is F without believing that b is F whenever a and b are identical. I (...) argue that this appearance is deceptive. If we heed the distinction between the analog and digital contents of a signal, it is actually possible to reconstruct something akin to Frege’s sense/reference distinction in purely information-theoretic terms. This allows informational semanticists to treat coreferring expressions as semantically distinct and to solve Frege cases in the same way that Frege did—namely, by appealing to the different contents of coreferring expressions. (shrink)

This article provides a survey of Wittgenstein’s remarks in which he discusses various kinds of technology. I argue that throughout his career, his use of technological examples displays a thematic unity: technologies are invoked in order to illustrate a certain mechanical conception of the mind. I trace how his use of such examples evolved as his views on the mind and on meaning changed. I also discuss an important and somewhat radical anti-mechanistic strain in his later thought and suggest that (...) Wittgenstein’s attitude to mechanistic explanations in psychology was ultimately quite ambivalent. (shrink)

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism—neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous (...) signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. (shrink)

In this paper, I discuss two influential pictures of communication and the relation between them. One picture holds that successful communication requires identity of content: The speaker has a belief that she expresses with her utterance, and the hearer acquires a belief with the same content by understanding the utterance. The second picture was proposed by Lewis in his classic work Convention and then refined in “Languages and Language.” It sees communication as coordination among speakers—a technical notion that Lewis draws (...) from game theory. Samuel Cumming has recently provided an elegant and insightful synthesis of the two pictures, arguing that Lewisian coordination among speakers is in fact a form of content identity. In this paper, my negative goal is to argue against Cumming’s attempt to construe coordination as content identity, showing that it yields incorrect predictions about certain cases of successful communication. My positive goal is to show how we can avoid Cumming’s problematic interpretation of coordination and still do justice to the relevant data within a coordination-based framework. (shrink)

The debate about the nature of the representational format of concepts seems to have reached an impasse. The debate faces two fundamental problems. Firstly, amodalists (i.e., those who argue that concepts are represented by amodal symbols) and modalists (i.e., those who see concepts as involving crucially representations including sensorimotor information) claim that the same empirical evidence is compatible with their views. Secondly, there is no shared understanding of what a modal or amodal format amounts to. Both camps recognize that the (...) two formats play essential roles in higher cognition, leading to an increasing number of hybrid proposals. In this paper, I argue that the existence of those fundamental problems should make us suspicious about a modal/amodal dichotomy. Also, I suggest that hybrid approaches, as they currently stand, do not provide suitable solutions to the impasse. Instead, we should overcome the dichotomy and treat the modal/amodal distinction as a graded phenomenon. I illustrate this hypothesis with an example of a cognitive-computational model of concepts based on the Predictive Processing framework. (shrink)

I defend the deflationary theory of truth and reference I have proposed from the objections raised in Vann McGee’s “Thought, Thoughts, and Deflationism,” trying where possible to use arguments that other deflationists might find useful.

The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense of (...) Russellianism, based upon the existence of an allegedly similar contrast between these two sentences: (PC) Superman is more popular than Clark. (PS) Superman is more popular than Superman. The latter contrast looks pragmatic. But then, Saul asks, why shouldn't we then say the same about the former? The answer to this question is that the two cases simply are not similar. In the case of (PC) and (PS), we have only the facts that these strike us differently, and that people will sometimes say things like (PC), whereas they will never say things like (PS). By contrast, there is an argument to be given that (LS) can be true even if (LC) is false, and this argument does not appeal to anyone's 'intuitions'. The main goal of the paper is to present such a version of the substitution argument, building upon the treatment of the Fregan argument against Russellian accounts of belief itself in "Solving Frege's Puzzle". A subsidiary goal is to contribute to the growing literature arguing that 'intuitions' simply do not play the sort of role in philosophical inquiry that so-called 'experimental philosophers' have supposed they do. (shrink)

Over the past thirty years, it is been common to hear the mind likened to a digital computer. This essay is concerned with a particular philosophical view that holds that the mind literally is a digital computer (in a specific sense of “computer” to be developed), and that thought literally is a kind of computation. This view—which will be called the “Computational Theory of Mind” (CTM)—is thus to be distinguished from other and broader attempts to connect the mind with computation, (...) including (a) various enterprises at modeling features of the mind using computational modeling techniques, and (b) employing some feature or features of production-model computers (such as the stored program concept, or the distinction between hardware and software) merely as a guiding metaphor for understanding some feature of the mind. This entry is therefore concerned solely with the Computational Theory of Mind (CTM) proposed by Hilary Putnam [1961] and developed most notably for philosophers by Jerry Fodor [1975, 1980, 1987, 1993]. The senses of ‘computer’ and ‘computation’ employed here are technical; the main tasks of this entry will therefore be to elucidate: (a) the technical sense of ‘computation’ that is at issue, (b) the ways in which it is claimed to be applicable to the mind, (c) the philosophical problems this understanding of the mind is claimed to solve, and (d) the major criticisms that have accrued to this view. (shrink)

Pancomputationalism is the view that everything is a computer. This, if true, poses some difficulties to the computational theory of cognition. In particular, the strongest version of it suggested by John Searle seems enough to trivialize computational cognitivists’ core idea on which our cognitive system is a computing system. The aim of this paper is to argue against Searle’s pancomputationalism. To achieve this, I will draw a line between realized computers and unrealized computers. Through this distinction, I expect that it (...) will become evident that Searle’s pancomputationalism should be understood in terms of unrealized computers, while the computational theory of cognition is concerned with realized computers. (shrink)

La plupart des auteur-es ayant abordé le problème de l'extension du cognitif, tel qu'il a émergé des débats autour de la thèse de l'esprit étendu, ont supposé que cette extension devait prendre la forme d'un espace régulier, qui peut être ceint par des frontières. Cependant, la littérature en question ne traite pas explicitement de cette supposition, de sorte que, malgré son influence, il n'y a pas d'évaluation de sa véracité ou de sa légitimité. Dans ce mémoire, cette hypothèse est remise (...) en question, et nous prenons sa contrepartie pour hypothèse de recherche, à savoir que, malgré l'assurance des auteur-es qui l'épousent, il est tout à fait légitime d'explorer des propositions de caractérisation du cognitif qui aboutissent à d'autres formes d'extension. Pour démontrer notre hypothèse (H1), nous posons deux autres hypothèses : (H2) les auteur-es qui épousent la supposition selon laquelle l'esprit doit s'étendre sur un espace ceint par des frontières le font sur la base de l'intuition individualiste, et (H3) l'intuition individualiste, malgré certaines apparences, ne permet pas de justifier cette supposition. Nous démontrons H2 à l'aide d'une analyse de texte faite sur le corpus des auteur-es ayant abordé la question de l'extension du cognitif dans la foulée des débats sur l'esprit étendu, et nous montrons que la littérature en sciences cognitives et en philosophie de l'esprit nous donne des raisons de croire que H3 est vraie. Ensemble, H2 et H3 justifient H1. (shrink)