This paper examines the role of machine functionalism, as one of the most popular positions within the philosophy of mind, in the context of the development of artificial intelligence. Our analysis starts from the idea that machine functionalism is a theory that is largely consistent with the principles behind the strong AI thesis. However, we will see that there is a convincing counter-argument against such claims, and we will problematize this issue. Also, by testing ChatGPT, as the most popular publicly (...) available AI tool, we will make an effort to figure out whether the strong AI thesis could currently even be considered a potentially sustainable principle. Since ChatGPT fails the Turing test our conclusion is that the strong AI thesis cannot be upheld even in principle, implying that the current state of this AI tool does not yet provide strong enough arguments in favor of machine functionalism. (shrink)

The core of the language of thought program is the claim that thinking is the manipulation of symbols according to rules. Yet LOT has said little about symbol natures, and existing accounts are highly controversial. This is a major flaw at the heart of the LOT program: LOT requires an account of symbol natures to naturalize intentionality, to determine whether the brain even engages in symbol manipulations, and to understand how symbols relate to lower-level neurocomputational states. This paper provides the (...) much-needed theory of symbols, and in doing so, alters the LOT program in significant respects. (shrink)

I argue that Sellars’s distinction between signifying and picturing should be taken seriously by philosophers of mind, language, and cognition. I begin with interpretations of key Sellarsian texts in order to show that picturing is best understood as a theory of non-linguistic cognitive representations through which animals navigate their environments. This is distinct from the kind of discursive cognition that Sellars called ‘signifying’ and which is best understood in terms of socio-linguistic inferences. I argue that picturing is required because reflection (...) on signifying cannot adequately explain our need for cognitive friction. I then show how the idea of picturing is further developed by Paul Churchland, Ruth Garrett Millikan, and Huw Price. I finally turn to predictive processing as a theory of cognitive representation, and in particular Andy Clark’s ‘radical predictive processing’, to further characterize picturing. However, doing so has the cost of pushing picturing and signifying further apart than Sellars intended. (shrink)

Defending or attacking either functionalism or computationalism requires clarity on what they amount to and what evidence counts for or against them. My goal here is not to evaluate their plausibility. My goal is to formulate them and their relationship clearly enough that we can determine which type of evidence is relevant to them. I aim to dispel some sources of confusion that surround functionalism and computationalism, recruit recent philosophical work on mechanisms and computation to shed light on them, and (...) clarify how functionalism and computationalism may or may not legitimately come together. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

Functionalism has become one of the predominant theories in the philosophy of mind, with its many merits supposedly including its capacity for precise formulation. The most common method to express this precise formulation is by means of the modified Ramsey sentence. In this article, I will apply work from the field of the philosophy of science to functionalism for the first time, examining how Newman’s objection undermines the Ramsey sentence as a means of formalising functionalism. I will also present a (...) formal variation on Newman’s objection through mathematical induction. Together, these proofs suggest that functionalism formalised by the Ramsey sentence trivially reduces to a kind of behaviourism plus a cardinality constraint on the number of relations holding between mental-relevant behaviours. As most functionalists see functionalism as a distinct theory of mind from behaviourism, this suggests that the modified Ramsey sentence cannot form a satisfactory formalism for functionalism. (shrink)

Philosophical accounts of the constitution relation have been explicated in terms of synchronic relations between higher‐ and lower‐level entities. Such accounts, I argue, are temporally austere or impoverished, and are consequently unable to make sense of the diachronic and dynamic character of constitution in dynamical systems generally and dynamically extended cognitive processes in particular. In this paper, my target domain is extended cognition based on insights from nonlinear dynamics. Contrariwise to the mainstream literature in both analytical metaphysics and extended cognition, (...) I develop a nonstandard, alternative conception of constitution, which I call “diachronic process constitution”. It will be argued that only a diachronic and dynamical conception of constitution is consistent with the nature of constitution in distributed cognitive processes. (shrink)

In this article, I argue that norms and customs, despite frequently being described as being causes of behavior in the social sciences and ordinary conversation, cannot really cause behavior. Terms like "norms" and the like seem to refer to philosophically disreputable disjunctive properties. More problematically, even if they do not, or even if there can be disjunctive properties after all, I argue that norms and customs still cannot cause behavior. The social sciences would be better off without referring to properties (...) like norms and customs as if they could be causal. (shrink)

Abstract: Situations that social scientists and others explain by using concepts like "custom" and "norm" often tend to be situations in which many other kinds of explanations (for example, biological, psychological, economic, historical) seem plausible as well. Do these other explanations compete with the custom or norm explanations, or do they complement them? We need to consider this question carefully and not just assume that various accounts are all permissible at different levels of analysis. In this article I describe two (...) families of noncompeting accounts: (1) explanations of different (but similarly described) facts, and (2) accounts that seem to differ but are really different parts or versions of the same underlying explanation. I argue that while many types of apparent competitors don't really compete with norms, there are usually some that do. These competing accounts will usually undermine the norm account. (shrink)

In this paper, I propose a new way of understanding the space of possibilities in the field of mental content. The resulting map assigns separate locations to theories of content that have generally been lumped together on the more traditional map. Conversely, it clusters together some theories of content that have typically been regarded as occupying opposite poles. I make my points concrete by developing a taxonomy of theories of mental content, but the main points of the paper concern not (...) merely how to classify, but how to understand, the theories. Also, though the paper takes theories of mental content as a case study, much of the discussion is applicable to theories of other phenomena. To a first approximation, the difference between the traditional and the proposed taxonomies turns on whether we classify theories of content by, on the one hand, their implications for a non-redundant supervenience base for content facts (i.e., for facts about what contents thoughts have) or, on the other, by their constitutive accounts of content. By a "constitutive account," I mean the kind of elucidation of the nature of a phenomenon that theorists have tried to give for, for example, knowledge, justice, personal identity, consciousness, convention, heat, and limit. The tendency to taxonomize by supervenience base is encouraged, I suggest, by a failure to keep clearly in view a distinction between constitutive and modal determination. Many philosophers would accept that a constitutive account cannot be captured in purely modal terms. Giving a constitutive account is not the same as specifying modally necessary and sufficient conditions. Nevertheless, philosophers often try to cash constitutive claims in modal terms. A case in point is that theories of content tend to be conceptualized in terms of the theories' implications for a supervenience base for content facts. My thesis goes beyond the by-now somewhat familiar proposition that not all modal determinants of a phenomenon are constitutive determinants. One who has taken that point on board might nevertheless conceive of a philosophical account as an attempt to specify constitutive determinants of the target phenomenon that make up a non-redundant supervenience base for the phenomenon. Shoehorning a philosophical account into this form leaves out elements that are modally redundant, but may be explanatorily or ontologically significant. For example, when a constitutive account has multiple levels, the different levels will typically be modally redundant. Formulating the account as a specification of a supervenience base of constitutive determinants will therefore flatten the account into a single level. Many of my arguments can be illustrated by considering the place of normativity in the theory of content. The new taxonomy gives a distinct niche to normative theories of content - theories that explain a thought's having a certain content at least in part in terms of the obtaining of normative facts. By contrast, on a traditional map, normative theories are invisible as such because normative facts supervene on non-normative ones. (shrink)

Mind, it is increasingly fashionable to assert, is an intrinsically embodied and environmentally embedded phenomenon. But there is a potential tension between two strands of thought prominent in this recent literature. One of those strands depicts the body as special, and the fine details of a creature’s embodiment as a major constraint on the nature of its mind: a kind of new-wave body-centrism. The other depicts the body as just one element in a kind of equal-partners dance between brain, body (...) and world, with the nature of the mind fixed by the overall balance thus achieved: a kind of extended functionalism (now with an even broader canvas for multiple realizability than ever before). The present paper displays the tension, scouts the space of possible responses, and ends by attempting to specify what the body actually needs to be, given its complex role in these recent debates. (shrink)

The paper assumes that to be of practical interest process must be understood as physical action that takes place in the world rather than being an idea in the mind. It argues that if an ontology of process is to accommodate actuality, it must be represented in terms of relative probabilities. Folk physics cannot accommodate this, and so the paper appeals to scientific culture because it is an emergent knowledge of the world derived from action in it. Process is represented (...) as a contradictory probability distribution that does not depend on a spatio-temporal frame. An actuality is a probability density that grounds the values of probabilities to constitute their distributions. Because probability is a conserved value, probability distributions are subject to the constraint of symmetry and must be zero-sum. An actuality is locked-in by other actualities to become a zero-sum symmetry of probability values. It is shown that the locking-in of actualities constructs spatio-temporal locality, lends actualities specificity, and makes them a contradiction. Localization is the basis for understanding empirical observation. Because becoming depends on its construction of being, processes exist as trajectories. The historical trajectories of evolution and revolution as well as the non-historical trajectory of strong emergence are how processes are observed to exist. (shrink)

Context: Constructivist approaches to cognition have mostly been descriptive, and now face the challenge of specifying the mechanisms that may support the acquisition of knowledge. Departing from cognitivism, however, requires the development of a new functional framework that will support causal, powerful and goal-directed behavior in the context of the interaction between the organism and the environment. Problem: The properties affecting the computational power of this interaction are, however, unclear, and may include partial information from the environment, exploration, distributed processing (...) and aggregation of information, emergence of knowledge and directedness towards relevant information. Method: We posit that one path towards such a framework may be grounded in these properties, supported by dynamical systems. To assess this hypothesis, we describe computational models inspired from swarm intelligence, which we use as a metaphor to explore the practical implications of the properties highlighted. Results: Our results demonstrate that these properties may serve as the basis for complex operations, yielding the elaboration of knowledge and goal-directed behavior. Implications: This work highlights aspects of interaction that we believe ought to be taken into account when characterizing the possible mechanisms underlying cognition. The scope of the models we describe cannot go beyond that of a metaphor, however, and future work, theoretical and experimental, is required for further insight into the functional role of interaction with the environment for the elaboration of complex behavior. Constructivist content: Inspiration for this work stems from the constructivist impetus to account for knowledge acquisition based on interaction. (shrink)

According to Carruthers ants and bees have minds. This claim is to be understood realistically. We do not interpret the overt behaviour of ants and bees by ascribing to them beliefs and desires in an instrumental manner. They rather possess minds in the relevant cognitive sense. In this paper, I propose to pave the way for a reductio against such a polemic view. In particular, I shall argue that if ants and bees have minds, by the same token, plants do (...) have minds too. In my view, the problem has to do with Carruthers' underlying technical concept of cognitive architecture; a concept which, as I shall argue, can be called into question both on empirical and conceptual grounds. Según Carruthers, las hormigas y las abejas tienen mente. Esta afirmación debe entenderse de modo realista. No es que interpretemos la conducta abierta de hormigas y abejas en términos de creencias y deseos atribuidos instrumentalmente. Se trata más bien de que tienen tales estados mentales en el sentido cognitivo relevante. En este trabajo, me propongo llevar esta polémica concepción a una reductio. En particular, argumentaré que si las hormigas y las abejas tienen mente, por la misma razón las plantas también la tendrían. A mi modo de ver, el problema tiene que ver con el concepto técnico de arquitectura cognitiva de Carruthers ; un concepto que puede ser cuestionado sobre bases empíricas y conceptuales, según argüiré. (shrink)