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)

The operations of deep networks are widely acknowledged to be inscrutable. The growing field of Explainable AI has emerged in direct response to this problem. However, owing to the nature of the opacity in question, XAI has been forced to prioritise interpretability at the expense of completeness, and even realism, so that its explanations are frequently interpretable without being underpinned by more comprehensive explanations faithful to the way a network computes its predictions. While this has been taken to be a (...) shortcoming of the field of XAI, I argue that it is broadly the right approach to the problem. (shrink)

That one person's modus ponens is another's modus tollens is the bane of philosophy because it strips many philosophical arguments of their persuasive force. The problem is that philosophical arguments become mere pantomemes: arguments that are reasonable to resist simply by denying the conclusion. Appeals to proof, intuition, evidence, and truth fail to alleviate the problem. Two broad strategies, however, do help in certain circumstances: an appeal to normal informal standards of what is reasonable (nisowir) and argument by interpretation. The (...) method of explication features prominently in both strategies, and the paper extends this method to apply to nisowir, introducing the concept of canonical explication. The paper illustrates the two strategies with examples of arguments from formal epistemology and suggests that an appeal to nisowir might help to defend against philosophical scepticism by shifting the burden of proof to the sceptic. (shrink)

In this response, we provide further clarification of the propositional approach to human associative learning. We explain why the empirical evidence favors the propositional approach over a dual-system approach and how the propositional approach is compatible with evolution and neuroscience. Finally, we point out aspects of the propositional approach that need further development and challenge proponents of dual-system models to specify the systems more clearly so that these models can be tested.

In this paper I describe basic features of traditional (British) emergentism and Popper’s emergentist theory of consciousness and compare them to the contemporary versions of emergentism present in connectionist approach in cognitive sciences. I argue that despite their similarities, the traditional form, as well as Popper’s theory belong to strong causal emergentism and yield radically different ontological consequences compared to the weaker, contemporary version present in cognitive science. Strong causal emergentism denies the causal closure of the physical domain and introduces (...) genuine new mental causal powers and genuine downward causation, while weak emergentism provides new insights in understanding the mechanisms and explanation that is compatible with physicalism. (shrink)

As AI systems become increasingly complex it may become unclear, even to the designer of a system, why exactly a system does what it does. This leads to a lack of trust in AI systems. To solve this, the field of explainable AI has been working on ways to produce explanations of these systems’ behaviors. Many methods in explainable AI, such as LIME, offer only a statistical argument for the validity of their explanations. However, some methods instead study the internal (...) structure of the system and try to find components which can be assigned an interpretation. I believe that these methods provide more valuable explanations than those statistical in nature. I will try to identify which explanations can be considered internal to the system using the Chomskyan notion of tacit knowledge. I argue that each explanation expresses a rule, and through the localization of this rule in the system internals, we can take a system to have tacit knowledge of the rule. I conclude that the only methods which are able to sufficiently establish this tacit knowledge are those along the lines of Olah : 4901–4911, 2017), and therefore they provide explanations with unique strengths. (shrink)

A traditional view of perception and action makestwo assumptions: that the causal flow betweenperception and action is primarily linear or one-way,and that they are merely instrumentally related toeach other, so that each is a means to the other.Either or both of these assumptions can be rejected. Behaviorism rejects the instrumental but not theone-way aspect of the traditional view, thus leavingitself open to charges of verificationism. Ecologicalviews reject the one-way aspect but not theinstrumental aspect of the traditional view, so thatperception and (...) action are seen as instrumentallyinterdependent. It is argued here that a betteralternative is to reject both assumptions, resultingin a two-level interdependence view in whichperception and action co-depend on dynamicallycircular subpersonal relations and as a result may bemore than merely instrumentally interdependent. Thisis illustrated by reference to motor theories ofperception and control theories of action. (shrink)

In "Representations without Rules, Connectionism and the Syntactic Argument'', Kenneth Aizawa argues against the view that connectionist nets can be understood as processing representations without the use of representation-level rules, and he provides a positive characterization of how to interpret connectionist nets as following representation-level rules. He takes Terry Horgan and John Tienson to be the targets of his critique. The present paper marshals functional and methodological considerations, gleaned from the practice of cognitive modelling, to argue against Aizawa's characterization of (...) how connectionist nets may be understood as making use of representation-level rules. (shrink)

In the study of cognitive processes, limitations on computational resources (computing time and memory space) are usually considered to be beyond the scope of a theory of competence, and to be exclusively relevant to the study of performance. Starting from considerations derived from the theory of computational complexity, in this paper I argue that there are good reasons for claiming that some aspects of resource limitations pertain to the domain of a theory of competence.

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)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods from (...) computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (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)

The paper is an examination of the ways and extent to which neuroscience places constraints on cognitive science. In Part I, I clarify the issue, as well as the notion of levels in cognitive inquiry. I then present and address, in Part II, two arguments designed to show that facts from neuroscience are at a level too low to constrain cognitive theory in any important sense. I argue, to the contrary, that there are several respects in which facts from neurophysiology (...) will constrain cognitive theory. Part III then turns to an examination of Connectionism and Classical Cognitivism to determine which, if either, is in a better position to accomodate neural constraints in the ways suggested in Part II. (shrink)

This paper discusses the relation between cognitive and implementational levels of analysis. Chalmers (1990, 1993) argues that a connectionist implementation of a classical cognitive architecture possesses a compositional semantics, and therefore undercuts Fodor and Pylyshyn's (1988) argument that connectionist networks cannot possess a compositional semantics. I argue that Chalmers argument misconstrues the relation between cognitive and implementational levels of analysis. This paper clarifies the distinction, and shows that while Fodor and Pylyshyn's argument survives Chalmers' critique, it cannot be used to (...) establish the irrelevance of neurophysiological implementation to cognitive modeling; some aspects of Chater and Oaksford's (1990) response to Fodor and Pylyshyn, though not all, are therefore cogent. (shrink)

[This is an earlier (1997), much longer and more detailed version of my entry on LOTH in the _Stanford Encyclopedia of Philosophy_] The Language of Thought Hypothesis (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)

Recent work in the methodology of connectionist explanation has I'ocrrsccl on the notion of levels of explanation. Specific issucs in conncctionisrn hcrc intersect with rvider areas of debate in the philosophy of psychology and thc philosophy of science generally. The issues I raise in this chapter, then, are not unique to cognitive science; but they arise in new and important contexts when connectionism is taken seriously as a model of cognition. The general questions are the relation between levels and the (...) status of levels which have no obvious relation to others. In speaking of levels, what is the connection, if there is one, between explanation and ontology? Which, if any, conccpt of reduction is applicable to connectionist systems? What kind of legitinrtcy can the constructs of common sense psychology, or of that vclsion ol intentional realism represented by classical symbol-systems n I, hirvc irr ir full-scale connectionist theory of mind? (shrink)