This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Externalism is the view that the intentional content of a mental state supervenes on its relations to objects in the extramental world. Nativism is the view that some of the innate states of the mind/brain have intentional content. I consider both “causal” and “nomic” versions of externalism, and argue that both are incompatible with nativism. I consider likely candidates for a compatibilist position – a nativism of “narrow” representational states, and a nativism of the contentless formal “vehicles” of representational states. (...) I argue that “narrow nativism” is either too implausible to appeal to the nativist – because it entails that innate representational states are lost as the mind becomes more experienced, or too costly to appeal to the externalist – because a reasonable version of it requires the analytic-synthetic distinction. Finally, I argue that “syntactic nativism” is indistinguishable from classical anti-nativist empiricism, given the latter’s broad tolerance for innate implementation of psychological principles and mechanisms. (shrink)

Despite their importance in the history of philosophy and in particular in the work of Aristotle and Kant, mental capacities have been neglected in recent philosophical work. By contrast, the notion of a capacity is deeply entrenched in psychology and the brain sciences. Driven by the idea that a cognitive system has the capacity it does in virtue of its internal components and their organization, it is standard to appeal to capacities in cognitive psychology. The main benefit of invoking capacities (...) in an account of the mind is that it allows for an elegant counterfactual analysis of mental states: it allows us to analyze mental states on three distinct yet interrelated levels. A first level of analysis pertains to the function of mental capacities. A second level of analysis pertains to the mental capacities employed, irrespective of the context in which they are employed. A third level of analysis pertains to the mental capacities employed, taking into account the context in which they are employed. This paper develops an account of perceptual capacities. This account involves an analysis of their function, their individuation and possession conditions, the relation between perceptual capacities and their employment, as well as their informational and neural base conditions. (shrink)

Neuroeconomics illustrates our deepening descent into the details of individual cognition. This descent is guided by the implicit assumption that “individual human” is the important “agent” of neoclassical economics. I argue here that this assumption is neither obviously correct, nor of primary importance to human economies. In particular I suggest that the main genius of the human species lies with its ability to distribute cognition across individuals, and to incrementally accumulate physical and social cognitive artifacts that largely obviate the innate (...) biological limitations of individuals. If this is largely why our economies grow, then we should be much more interested in distributed cognition in human groups, and correspondingly less interested in individual cognition. We should also be much more interested in the cultural accumulation of cognitive artefacts: computational devices and media, social structures and economic institutions. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

Aphantasia, i.e., the inability to voluntarily form visual mental images, affects approximately 2 to 5 percent of the population and plays an important role in a more general debate revolving around the role of imagery for our cognition. This thesis investigates aphantasia by means of an interdisciplinary approach, combining insights from contemporary neuroscientific research with historical philosophical arguments, with a specific focus on the later philosophy of Ludwig Wittgenstein. A new theoretical concept, meta-imagination, is developed and it is argued that (...) the concept can explain why aphantasics perform successfully on a wide range of visual imagery tasks, thus providing important implications for the more general debate about the connection between imagery and cognition. (shrink)

The field of the philosophy of biology is flourishing in its aim to evaluate and rethink the view inherited from the previous century ---the Modern Synthesis. Different research areas and theories have come to the fore in the last decades in order to account for different biological phenomena that, in the first instance, fall beyond the explanatory scope of the Modern Synthesis. This thesis is anchored and motivated by this revolt in the philosophy of biology. -/- The central target in (...) this context is the possibility of naturalizing teleology, a classical nightmare for the history of biology itself. This requires, principally, understanding the causes of teleological explanations without assuming an unfashioned backward causation of sorts. As the riddles of teleological explanations are about their temporal dimension, I analyze different temporal scales of biological processes: evolutionary, developmental, and physiological. -/- The first one is the one defended in the context of the Modern Synthesis. As expected, one of the aims of this thesis is to evaluate the adequacy of an evolutionary account of teleological explanation. The scrutiny is negative. Evolutionary explanations in the context of the Modern Synthesis lack the necessary causal roots to naturalize teleology. Concerning the physiological scale, a long tradition pushed up by Kant and the organicist movement in the 20th century allows us to better understand how teleological explanations can be naturalized in physiological process. The key notions in this temporal scale are self-organization and the recursive, looped character of physiological process. While the physiological scale may be suitably accounted by contemporaries views, such as Autonomous Systems Theory, different central teleological phenomena remain unexplained from a purely physiological perspective. In particular, different issues concerning the (adaptive) construction of organism ---such as plasticity, robustness, variation, novelty, inheritance--- deserve an ontogenetic analysis. -/- The principal aim of this thesis is to provide a theory of teleological development that falls beyond the Modern Synthesis' framework and is prompted by different insights from the history of biology. I call it Agential Teleosemantics. It rests on two central pillars. First, that developmental processes, beyond any gene-centered stance, can be understood in informational terms; i.e. developmental processes are about the interaction of developmental resources conveying biological information. The second ingredient is agentivity, namely the idea that development is regulated by an agentive system according to the adaptiveness of the phenotypic outcomes produced. The role of agency in Agential Teleosemantic is equivalent to the role of genes in the Modern Synthesis: it is responsible for explaining the order and the adaptive complexity in the living realm. -/- The second target of this thesis regards the possibility of naturalizing intentional explanations in cognitive science. The central project involved in such an aim is known as teleosemantics. Classical teleosemantics however is etiological: it explains the teleofunctions of representational systems in terms of evolutionary processes. The different disputes in the contemporary philosophy of biology provide two insights to analyze teleosemantics in cognitive science. First, the challenges against the Modern Synthesis must be extended to the evolutionary approach of etiological teleosemantics. Second, as Agential Teleosemantics suggests an alternative source for teleofunctions ---ontogeny, I offer an attempt to integrate Agential Teleosemantics into cognitive science in order to provide an alternative teleosemantic project to understand intentional explanations in cognitive science. (shrink)

The frame problem was originally a problem for Artificial Intelligence, but philosophers have interpreted it as an epistemological problem for human cognition. As a result of this reinterpretation, however, specifying the frame problem has become a difficult task. To get a better idea of what the frame problem is, how it gives rise to more general problems of relevance, and how deep these problems run, I expound six guises of the frame problem. I then assess some proposed heuristic solutions to (...) the frame problem; I show that these proposals misunderstand, and fail to address, an important aspect of the frame problem. Finally, I argue that though human cognition does not solve the frame problem in its epistemological guise, human cognition avoids some of the epistemological worries. (shrink)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

I argue that any account of perceptual experience should satisfy the following two desiderata. First, it should account for the particularity of perceptual experience, that is, it should account for the mind-independent object of an experience making a difference to individuating the experience. Second, it should explain the possibility that perceptual relations to distinct environments could yield subjectively indistinguishable experiences. Relational views of perceptual experience can easily satisfy the first but not the second desideratum. Representational views can easily satisfy the (...) second but not the first desideratum. I argue that to satisfy both desiderata perceptual experience is best conceived of as fundamentally both relational and representational. I develop a view of perceptual experience that synthesizes the virtues of relationalism and representationalism, by arguing that perceptual content is constituted by potentially gappy de re modes of presentation. (shrink)

This dissertation argues that cognition is a kind of natural agency. Natural agency is the capacity that certain systems have to act in accordance with their own norms. Natural agents are systems that bias their repertoires in response to affordances in the pursuit of their goals. Cognition is a special mode of this general phenomenon. Cognitive systems are agents that have the additional capacity to actively take their worlds to be certain ways, regardless of whether the world is really that (...) way. In this way, cognitive systems are desituated. Desituatedness is the root of specifically cognitive capacities for representation and abstraction. There are two main reasons why this view needs defending. First, natural agency is typically viewed as incompatible with natural science because it is committed to a teleological mode of explanation. Second, cognition is typically held to be categorically distinct from natural agency. This dissertation argues against both of these views. It argues against the incompatibility of agency and natural science by demonstrating that systems biology, general systems theory, and sciences that deal with complex systems have typically underappreciated conceptual and theoretical resources for grounding agency in the causal structure of the world. These conceptual resources do not, however, reduce agency to systems theory because the normativity inherent in agency demands descriptive resources beyond those of even the most sophisticated systems theory. It argues against the categorical difference between natural agency and cognition by pointing out that separating cognition from a richer web of situated, ecologically embedded relations between the agent and the world generates the frame problem, which is an insuperable obstacle to making cognition that is sufficiently responsive to the complexity of the world. Rooting cognition in natural agency is a more robust empirical bet for theorizing cognition and artificial intelligence. (shrink)

When cognitive scientists are looking for the neural basis of consciousness or the computational processes underlying vision, what are they looking to find? I argue for a new account of this explanatory project in cognitive science (and the special sciences more generally) on which it is best understood on close analogy with causal explanation in the special sciences. Causal explanations cite causal difference-makers: they explain how certain events causally depend on other events. Generative explanations cite generative difference-makers: they explain how (...) certain events obtain in virtue of (and so are generated by) other events. I show how that this generative difference-making account (GDM) extends well regarded developments in philosophical work on causal explanation, helps to usefully clarify and expands the hypothesis space of a key project in cognitive science – that of understanding how underlying nonmental processes give rise to the mental, including consciousness. In section 2, I develop GDM by close analogy with causal explanation, and locate both of them as species of a more general project in the special sciences: that of discovering what makes a difference to what. In section 3, I motivate GDM by contrasting it with other rival accounts, including correlationist, identity, and grounding accounts, as well as Carl Craver’s constitutive relevance account. In section 4, I tie all of the strands of the preceding discussion together to show how GDM provides a new and compelling response to the so-called hard problem of consciousness. (shrink)

The central aim of this paper is to shed light on the nature of explanation in computational neuroscience. I argue that computational models in this domain possess explanatory force to the extent that they describe the mechanisms responsible for producing a given phenomenon—paralleling how other mechanistic models explain. Conceiving computational explanation as a species of mechanistic explanation affords an important distinction between computational models that play genuine explanatory roles and those that merely provide accurate descriptions or predictions of phenomena. It (...) also serves to clarify the pattern of model refinement and elaboration undertaken by computational neuroscientists. (shrink)

The sociotechnical domain is the realm of scientists, the communities and institutions they form, and the tools and instruments they use to create, disseminate, and preserve knowledge. This paper reviews current scientonomic theory concerning this domain. A core scientonomic concept is that of an epistemic agent. Generally, an agent is an entity capable of intentional action—action that has content or meaning due to its purposeful direction towards a goal. An epistemic agent is one whose actions are the taking of epistemic (...) stances, such as acceptance or rejection, towards epistemic elements, like theories or questions. An epistemic agent must semantically understand the propositions in question, and their alternatives, and choose among them with reason, with the motive of acquiring knowledge. The most obvious example of an epistemic agent is an individual human being. Rejecting the network of practitioners view, current scientonomic theory argues that appropriately organized communities of scientists can also function as epistemic agents. Communal epistemic agents are of particular scientonomic importance. Whereas the methods of theory assessment of individual scientists can be idiosyncratic, scientonomic theory contends that the taking of epistemic stances by scientific communities is a lawful, rule governed process. A second concept of central importance is that of an epistemic tool. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge under the method employed by that agent. (shrink)

In this article, I defend an account of linguistic comprehension on which meaning is not cognized, or on which we do not tacitly know our language's semantics. On this view, sentence comprehension is explained instead by our capacity to translate sentences into the language of thought. I explain how this view can explain our capacity to correctly interpret novel utterances, and then I defend it against several standing objections.

Eliminativism is a position most readily associated with the eliminative materialism of the Churchlands, denying that there are such things as propositional states. This position has created much controversy, despite the fact that intentionality has long been seen as perhaps the core problem for naturalistic philosophy. There is a more radical interpretation of eliminativism, however, denying not only mental states, such as beliefs and desires, but also intentionality (i.e., aboutness) on a global level. This position traces its contemporary origin back (...) to Quine, but has generally been assumed to undermine naturalism or, worse, to be incoherent by the majority of philosophers who maintain that there clearly are things or mental states that are about others. In a recent paper, Hutto and Satne (2015a) offer an update that tries to revive John Haugeland’s baseball analogy from his influential 1990 review paper The Intentionality All-Stars on the state of the game to argue that the failure of Neo-Cartesians, Neo- Behaviorists, and Neo-Pragmatists should urge us to make them work together to naturalize content and “win the game.” But Hutto and Satne misunderstand what the game is ultimately about. The goal of the Intentionality All-Stars is not to naturalize content against eliminativism but to defend a naturalist “thirdperson” view of the problem against first-person phenomenalists. For this goal, a naturalist defense of global content eliminativism would equally enable them to emerge victorious. Revisiting Haugeland, I will offer my own analysis of the current state of play to argue that global content eliminativism has not received sufficient attention and deserves a more prominent place in the debate than it currently occupies. (shrink)

In the 70 years since Alan Turing’s ‘Computing Machinery and Intelligence’ appeared in Mind, there have been two widely-accepted interpretations of the Turing test: the canonical behaviourist interpretation and the rival inductive or epistemic interpretation. These readings are based on Turing’s Mind paper; few seem aware that Turing described two other versions of the imitation game. I have argued that both readings are inconsistent with Turing’s 1948 and 1952 statements about intelligence, and fail to explain the design of his game. (...) I argue instead for a response-dependence interpretation. This interpretation has implications for Turing’s view of free will: I argue that Turing’s writings suggest a new form of free will compatibilism, which I call response-dependence compatibilism. The philosophical implications of rethinking Turing’s test go yet further. It is assumed by numerous theorists that Turing anticipated the computational theory of mind. On the contrary, I argue, his remarks on intelligence and free will lead to a new objection to computationalism. (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

Why are there so many controversies in evolutionary psychology? Using a couple of concepts from philosophy of science, this paper argues that evolutionary psychology has not reached the stage of mature, normal science, since it does not currently have a unifying research program that guides individual scientists working in the discipline. The argument goes against claims made by certain proponents and opponents of evolutionary psychology, and it is supported by discussion of several examples. The paper notes that just because evolutionary (...) psychology has not reached the stage of normal science, the discipline is nevertheless a source of many progressive theoretical developments and interesting empirical discoveries. (shrink)

Mental representations remain the central posits of psychology after many decades of scrutiny. However, there is no consensus about the representational format(s) of biological cognition. This paper provides a survey of evidence from computational cognitive psychology, perceptual psychology, developmental psychology, comparative psychology, and social psychology, and concludes that one type of format that routinely crops up is the language-of-thought (LoT). We outline six core properties of LoTs: (i) discrete constituents; (ii) role-filler independence; (iii) predicate–argument structure; (iv) logical operators; (v) inferential (...) promiscuity; and (vi) abstract content. These properties cluster together throughout cognitive science. Bayesian computational modeling, compositional features of object perception, complex infant and animal reasoning, and automatic, intuitive cognition in adults all implicate LoT-like structures. Instead of regarding LoT as a relic of the previous century, researchers in cognitive science and philosophy-of-mind must take seriously the explanatory breadth of LoT-based architectures. We grant that the mind may harbor many formats and architectures, including iconic and associative structures as well as deep-neural-network-like architectures. However, as computational/representational approaches to the mind continue to advance, classical compositional symbolic structures – that is, LoTs – only prove more flexible and well-supported over time. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

Three decades ago, William Ramsey, Steven Stich & Joseph Garon put forward an argument in favor of the following conditional: if connectionist models that implement parallelly distributed processing represent faithfully human cognitive processing, eliminativism about propositional attitudes is true. The corollary of their argument (if it proves to be sound) is that there is no place for folk psychology in contemporary cognitive science. This understanding of connectionism as a hypothesis about cognitive architecture compatible with eliminativism is also endorsed by Paul (...) Churchland, a radical opponent of folk psychology and a prominent supporter of eliminative materialism. I aim to examine whether current connectionist models based on long-short term memory (LSTM) neural networks can back up these arguments in favor of eliminativism. Nonetheless, I will rather put my faith in the eliminativism of the limited domain. This position amounts to the claim that even though connectionist cognitive science has no need whatsoever for folk psychology qua theory, this does not entail the illegitimacy of folk psychology per se in other scientific domains, most notably in humanities, but only on condition that one regards folk psychology as mere heuristics. (shrink)

Developing a definition of group selection, and applying that definition to the dispute in the social sciences between methodological holists and methodological individualists, are the two goals of this paper. The definition proposed distinguishes between changes in groups that are due to group selection and changes in groups that are artefacts of selection processes occurring at lower levels of organization. It also explains why the existence of group selection is not implied by the mere fact that fitness values of organisms (...) are sensitive to the composition of groups. And, lastly, the definition explains why group selection need not involve selection for altruism. Group selection is thereby seen as an evolutionary force which is objectively distinct from other evolutionary forces. Applying the distinction between group and individual selection to the holism/individualism dispute has the desirable result that the dispute is not decidable a priori. This way of looking at the dispute yields a conception of individualism which is untainted by atomism and a conception of holism which is unspoiled by hypostatis. (shrink)

This chapter analyzes the relation between brain sciences and philosophy of mind, in order to clarify in what ways philosophy can contribute to neuroscience and neuroscience can contribute to philosophy. Especially since the 1980s and the emergence of “neurophilosophy”, more and more philosophers have been bringing home morals from neuroscience to settle philosophical issues. I mention examples from the problem of consciousness, philosophy of perception and the problem of free will, and I argue that such attempts are not successful in (...) trying to settle questions like whether psychology can be reduced to neuroscience, whether we see the external world directly in perception, or whether we have free will. The failure results from an ability of the philosophical questions to evade the data. What makes these questions persisting philosophical questions is precisely that there is no way to settle them through empirical evidence, as they are conceptual questions and their solution lies in conceptual analysis. (shrink)

This research explores the critical study of language and thought. It is a response to Wittgenstein and Fodor who believe in priority, superiority, and individuality of language and thought. In this paper, we can resolve this language and thought dichotomy to discuss the concept of priority issue. We shall argue that language and thought are modular concepts inside mind and here are also other modules present in our mind. This paper determines the role of language and thought and their priority (...) in mind. Furthermore, this article shows inconsistency in priority, superiority and individuality. It also explores the role of quantification theory which discusses about the structure of thought and language, as well as about the model logic theory which discusses about the semantic part of language an. (shrink)

According to David Chalmers, the hard problem of consciousness consists of explaining how and why qualitative experience arises from physical states. Moreover, Chalmers argues that materialist and reductive explanations of mentality are incapable of addressing the hard problem. In this chapter, I suggest that Chalmers’ hard problem can be usefully distinguished into a ‘how question’ and ‘why question,’ and I argue that evolutionary biology has the resources to address the question of why qualitative experience arises from brain states. From this (...) perspective, I discuss the different kinds of evolutionary explanations (e.g., adaptationist, exaptationist, spandrel) that can explain the origins of the qualitative aspects of various conscious states. This argument is intended to clarify which parts of Chalmers’ hard problem are amenable to scientific analysis. (shrink)

Imagism about Phenomenal Thought is (roughly) the view that there is some concept *Q* (for some sensory quality Q) that we can employ only while we experience the quality Q. I believe this view is theoretically significant, is or can be made intuitively appealing, and is explicitly or implicitly accepted by many contemporary philosophers However, there is no good reason to accept it. Or so I argue.

The theoretical use of representation faces, among others, two types of inconsistencies, namely: a representation requires the figure of the agent to which it will be representative, which leads either to circularity or to infinite return; and the resulting one, which is the difficulty in reconciling a description, in representative terms, with other more fundamental scientific categories. The proposal of the present study for the solution of these problems was the identification of a referential process starting from the correlation between (...) states of a physical system. It will present an inference about how the superposition of causal history moments of a system can result in a self-referential structure. (shrink)

The most pressing worry for panpsychism is arguably the combination problem, the problem of intelligibly explaining how the experiences of microphysical entities combine to form the experiences of macrophysical entities such as ourselves. This chapter argues that the combination problem is similar in kind to other problems of mental combination that are problems for everyone: the problem of phenomenal unity, the problem of mental structure, and the problem of new quality spaces. The ubiquity of combination problems suggests the ignorance hypothesis, (...) the hypothesis that we are ignorant of certain key facts about mental combination, which allows the panpsychist to avoid certain objections based on the combination problem. (shrink)

Husserl’s philosophy, by the usual account, evolved through three stages: 1. development of an anti-psychologistic, objective foundation of logic and mathematics, rooted in Brentanian descriptive psychology; 2. development of a new discipline of "phenomenology" founded on a metaphysical position dubbed "transcendental idealism"; transformation of phenomenology from a form of methodological solipsism into a phenomenology of intersubjectivity and ultimately (in his Crisis of 1936) into an ontology of the life-world, embracing the social worlds of culture and history. We show that this (...) story of three revolutions can provide at best a preliminary orientation, and that Husserl was constantly expanding and revising his philosophical system, integrating views in phenomenology, ontology, epistemology and logic with views on the nature and tasks of philosophy and science as well as on the nature of culture and the world in ways that reveal more common elements than violent shifts of direction. We argue further that Husserl is a seminal figure in the evolution from traditional philosophy to the characteristic philosophical concerns of the late twentieth century: concerns with representation and intentionality and with problems at the borderlines of the philosophy of mind, ontology, and cognitive science. (shrink)

What is the primary function of consciousness in the nervous system? The answer to this question remains enigmatic, not so much because of a lack of relevant data, but because of the lack of a conceptual framework with which to interpret the data. To this end, we have developed Passive Frame Theory, an internally coherent framework that, from an action-based perspective, synthesizes empirically supported hypotheses from diverse fields of investigation. The theory proposes that the primary function of consciousness is well-circumscribed, (...) serving the 'somatic nervous system[. For this system, consciousness serves as a frame that constrains and directs skeletal muscle output, thereby yielding adaptive behavior. The mechanism by which consciousness achieves this is more counterintuitive, passive, and “low level” than the kinds of functions that theorists have previously attributed to consciousness. Passive frame theory begins to illuminate (a) what consciousness contributes to nervous function, (b) how consciousness achieves this function, and (c) the neuroanatomical substrates of conscious processes. Our untraditional, action-based perspective focuses on olfaction instead of on vision and is 'descriptive' (describing the products of nature as they evolved to be) rather than 'normative' (construing processes in terms of how they should function). Passive frame theory begins to isolate the neuroanatomical, cognitive-mechanistic, and representational (e.g., conscious contents) processes associated with consciousness. (shrink)

In this paper I evaluate embodied social cognition, embodied cognition’s account of how we understand others. I identify and evaluate three claims that motivate embodied social cognition. These claims are not specific to social cognition; they are general hypotheses about cognition. As such, they may be used in more general arguments for embodied cognition. I argue that we have good reasons to reject these claims. Thus, the case for embodied social cognition fails. Moreover, to the extent that general arguments for (...) embodied cognition rest on these premises, they are correspondingly uncompelling. (shrink)

I develop a view of the common factor between subjectively indistinguishable perceptions and hallucinations that avoids analyzing experiences as involving awareness relations to abstract entities, sense-data, or any other peculiar entities. The main thesis is that hallucinating subjects employ concepts (or analogous nonconceptual structures), namely the very same concepts that in a subjectively indistinguishable perception are employed as a consequence of being related to external, mind-independent objects or property-instances. These concepts and nonconceptual structures are identified with modes of presentation types. (...) Since a hallucinating subject is not related to any such objects or property-instances, the concepts she employs remain empty. I argue that the phenomenology of hallucinations and perceptions can be identified with employing concepts and analogous nonconceptual structures. By doing so, I defend an ontologically minimalist view of the phenomenology of experience that (1) vindicates Aristotelianism about types and (2) amounts to a naturalized view of the phenomenology of experience. (shrink)

Recently, the thesis that experience is fundamentally a matter of representing the world as being a certain way has been questioned by austere relationalists. I defend this thesis by developing a view of perceptual content that avoids their objections. I will argue that on a relational understanding of perceptual content, the fundamental insights of austere relationalism do not compete with perceptual experience being representational. As it will show that most objections to the thesis that experience has content apply only to (...) accounts of perceptual content on which perceptual relations to the world play no explanatory role. With austere relationalists, I will argue that perceptual experience is fundamentally relational. But against austere relationalists, I will argue that it is fundamentally both relational and representational. (shrink)

What representational state mediates between perception and action? Bence Nanay says pragmatic representations, which are outputs of perceptual systems. This commits him to the view that optic ataxics face difficulty in performing visually guided arm movements because the relevant perceptual systems output their pragmatic representations incorrectly. Here, I argue that it is not enough to say that pragmatic representations are output incorrectly; we also need to know why they are output that way. Given recent evidence that optic ataxia impairs peripersonal (...) space representation, I argue that pragmatic representations are output incorrectly because the organizing principle of the vision-for-action system is blocked by optic ataxia. I then show how this means that this principle, not pragmatic representations, is the representational state that mediates between perception and action, i.e. the principle, not pragmatic representations, is the immediate mental antecedent of action. (shrink)

This work is a phenomenological exploration of overgeneral memory in depressed patients. It reviews the current philosophical literature on the first-person experience of depression, which has so far omitted the phenomenon of overgeneral memory. However, this phenomenon is well documented within psychology; and this essay will show that its symptomatic appearance in depression and subsequent disturbance of self- experience justifies attention to the phenomenon within the phenomenology of depression. Both the theory of embodiment and the extended mind thesis work extensively (...) with the nature of memory in other conditions such as Alzheimer's and dementia. Thus, these philosophical approaches will be utilised in an analysis of overgeneral memory; this will enrich the philosophy of depression, memory and self and highlight the value of the concepts of embodiment and the extended mind. Moreover, this philosophical interrogation suggests a route toward therapeutic interventions to help patients suffering from overgeneral memory applying techniques from extended mind and cognition studies. (shrink)

This paper argues that there are two distinct kinds of senses, immediate senses and reflective senses. Immediate senses are what we are immediately aware of when we are in an intentional mental state, while reflective senses are what we understand of an intentional mental state's (putative) referent upon reflection. I suggest an account of immediate and reflective senses that is based on the phenomenal intentionality theory, a theory of intentionality in terms of phenomenal consciousness. My focus is on the immediate (...) and reflective senses of thoughts and the concepts they involve, but it also applies to other mental instances of intentionality. (shrink)

In the article I discuss functionalist interpretations of Husserlian phenomenology. The first one was coined in the discussion between Hubert Dreyfus and Ronald McIntyre. They argue that Husserl’s phenomenology shares similarities with computational functionalism, and the key similarity is between the concept of noema and the concept of mental representation. I show the weaknesses of that reading and argue that there is another available functionalist reading of Husserlian phenomenology. I propose to shift perspective and approach the relation between phenomenology and (...) functionalism from a methodological perspective, specifically taking into account the functionalist explanatory strategy called functional analysis. I discuss the notion of function in Husserl’s works and Husserl’s idea of functional phenomenology. The key argument I develop is that in functional phenomenology we can find an explanatory strategy which is analogous to the strategy of functional decomposition used in functional analysis. I conclude that the proposed functionalist reading of phenomenology opens a new approach to the integration of phenomenology with cognitive sciences. (shrink)

This is an essay on McDowell’s naturalism. It is, pace some commentators, argued that McDowell’s naturalism does not end up in any strange metaphysical positions in the philosophy of mind, because second nature non-reductively supervenes on first nature and have causal powers. Pace certain other commentators, it is also argued that McDowell can be read as drawing a clear line between ethical platonism, and his own naturalized platonism, but only at the cost of landing in standard naturalism.

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

This book contains a representationalist theory of self-consciousness and of the phenomenal first-person perspective. It draws on empirical data from the cognitive and neurosciences.