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)

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. 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 relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal 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 epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic 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, by contrast to availing of modal axiom 4 (i.e. the KK principle). 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 chapter \textbf{4} is 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 intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between topic-sensitive epistemic two-dimensional truthmaker semantics, 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. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{10} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{11} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}.}. (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)

The paper defends the philosophical method of "regimentation" by example, especially in relation to the theory of mind. The starting point is the Place-Smart after-image argument: A green after-image will not be located outside the skull, but if we cracked open your skull, we won't find anything green in there either. (If we did, you'd have some disturbing medical news.) So the after-image seems not to be in physical space, suggesting that it is non-physical. In response, I argue that the (...) green blob is a fictional object, while assuming a weak sort of realism about fictional objects (where they exist as mind-dependent objects). This view can look like dualism, however, but I try to interpret it not as implying metaphysical dualism, but rather as reflecting a dualism of theory. Roughly, there can be a theory of mind-independent objects, and a theory of mind-dependent objects. Yet there are principled reasons why we cannot integrate the two into a consistent whole, for reasons related to Russell's vicious circle principle. Most of the paper motivates this by an analogy between the physicalist's theory of the world, and drawing a map with a complete representation of the map itself. Regimentation unearths the inconsistencies that arise, when trying to represent as part of a model the very representations used to define the model. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

The aim of this paper is to give an account of what it is to internalize a rule. I claim that internalization is the process of redistributing the burden of instruction from the teacher to the student. The process is complete when instruction is no longer needed, and the rule has reshaped perceptual classification of the circumstances in which it applies. Teaching a rule is the initiation of this process. We internalize rules by simulating instruction coming from someone else. Running (...) these simulations enables us to toggle between the perspective of the instructor and our own perspective. By doing this we coordinate our perspectives with that of the teacher. The account given here provides a deeper explanation of why internalizing a rule involves the dispositions and reactive attitudes proponents of Rule Consequentialism often say it does, why moral reflection is variably demanding, how intergenerational moral progress is made possible by our cognitive architectures, and why the adoption of a rule should be understood in terms of teaching that rule. (shrink)

In this paper, I develop an account of linguistic content based on the active inference framework. While ecological and enactive theorists have rightly rejected the notion of content as a basis for cognitive processes, they must recognize the important role that it plays in the social regulation of linguistic interaction. According to an influential theory in philosophy of language, normative inferentialism, an utterance has the content that it has in virtue of its normative status, that is, in virtue of the (...) set of commitments and entitlements that the speaker undertakes by producing this utterance. This normative status is determined by the normative attitudes shared by members of the utterer’s linguistic community. I propose here an account of such normative attitudes based on the ecological interpretation of the active inference framework. I explain how social normativity can be understood in that framework as the way in which members of a group shape their social niche to make it more predictable. Finally, I apply this account of social normativity to basic communicative practices, thereby explaining how social normative expectations can emerge to regulate these communicative practices, eventually leading to the institution of the sort of normative statuses constitutive of linguistic content. (shrink)

Higher-order theories of consciousness posit that a mental state is conscious by virtue of being represented by another mental state, which is therefore a higher-order representation (HOR). Whether HORs are construed as thoughts or experiences, higher-order theorists have generally contested whether such metarepresentations have any significant cognitive function. In this paper, I argue that they do, focusing on the value of conscious thinking, as distinguished from conscious perceiving, conscious feeling, and other forms of conscious mentality. A thinking process is constituted (...) by propositional-attitude states, and during conscious thinking some or all of these states would be targeted by HORs. Since cases of nonconscious thinking are widely accepted, the question arises as to the use of representing one's thoughts during thinking. Contra the views of Armstrong and Rolls, I argue that HORs do not facilitate first-order thinking. Rather, I propose that such representations enable reasoning about one's act of thinking, and I give various examples of this sort of metacognition in support of the theory. I further argue that the general correlation between complex thinking and its being conscious is merely due to the fact that assessing one's mental act is particularly useful during such thinking, not because consciousness somehow facilitates first-order inference-making, as folk psychology implies. My view is thus consistent with recent empirical evidence that complex thinking sometimes yields better results when nonconscious. (shrink)

Human languages vary in terms of which meanings they lexicalize, but this variation is constrained. It has been argued that languages are under two competing pressures: the pressure to be simple (e.g., to have a small lexicon) and to allow for informative (i.e., precise) communication, and that which meanings get lexicalized may be explained by languages finding a good way to trade off between these two pressures. However, in certain semantic domains, languages can reach very high levels of informativeness even (...) if they lexicalize very few meanings in that domain. This is due to productive morphosyntax and compositional semantics, which may allow for construction of meanings which are not lexicalized. Consider the semantic domain of natural numbers: many languages lexicalize few natural number meanings as monomorphemic expressions, but can precisely convey very many natural number meanings using morphosyntactically complex numerals. In such semantic domains, lexicon size is not in direct competition with informativeness. What explains which meanings are lexicalized in such semantic domains? We will propose that in such cases, languages need to solve a different kind of trade‐off problem: the trade‐off between the pressure to lexicalize as few meanings as possible (i.e, to minimize lexicon size) and the pressure to produce as morphosyntactically simple utterances as possible (i.e, to minimize average morphosyntactic complexity of utterances). To support this claim, we will present a case study of 128 natural languages' numeral systems, and show computationally that they achieve a near‐optimal trade‐off between lexicon size and average morphosyntactic complexity of numerals. This study in conjunction with previous work on communicative efficiency suggests that languages' lexicons are shaped by a trade‐off between not two but three pressures: be simple, be informative, and minimize average morphosyntactic complexity of utterances. (shrink)

Ethologists and others studying animal behavior in a spirit are in need of a descriptive language and method that are neither anachronistically bound by behaviorist scruples nor prematurely committed to particular Just such an interim descriptive method can be found in intentional system theory. The use of intentional system theory is illustrated with the case of the apparently communicative behavior of vervet monkeys. A way of using the theory to generate data - including usable, testable data - is sketched. The (...) underlying assumptions of this approach can be seen to ally it directly with theorizing in evolutionary biology, which has recently come under attack from Stephen Gould and Richard Lewontin, who castigate it as the Their arguments, which are strongly analogous to B. F, Skinner's arguments against point to certain pitfalls that attend the careless exercise of such thinking (and rival varieties of thinking as well), but do not constitute a fundamental objection to either adaptationist theorizing or its cousin, intentional system theory. (shrink)

commentary on Fodor, “Against Darwinism.”.

We examine schoolchildren’s reasoning with spatial relations, such as ‘is to the left of’. Our aims are to obtain a more precise account of the effect of working memory on reasoning, a more detaile...

Reductionism is a central issue in the philosophy of biology. One common objection to reduction is that molecular explanation requires reference to higher-level properties, which I refer to as the context objection. I respond to this objection by arguing that a well-articulated notion of a mechanism and what I term mechanism extension enables one to accommodate the context-dependence of biological processes within a reductive explanation. The existence of emergent features in the context could be raised as an objection to the (...) possibility of reduction via this strategy. I argue that this objection can be overcome by showing that there is no tenable argument for the existence of emergent properties that are not susceptible to a reductive explanation. (shrink)

According to enactivism all living systems, from single cell organisms to human beings, are ontologically endowed with some form of teleological and sense-making agency. Furthermore, enactivists maintain that: there is no fixed pregiven world and as a consequence all organisms “bring forth” their own unique “worlds” through processes of sense-making. The first half of the paper takes these two ontological claims as its central focus and aims to clarify and make explicit the arguments and motivations underlying them. Our analysis here (...) highlights three distinct but connected problems for enactivism: these arguments do not and cannot guarantee that there is no pregiven world, instead, they end up generating a contradiction whereby a pregiven world seems to in fact be tacitly presupposed by virtue of a reliance on a tacit epistemic perspectivalism which is also inherently representationalist and as a consequence makes it difficult to satisfactorily account for the ontological plurality of worlds. Taking these considerations on board, the second half of the paper then aims to develop a more robust ontologically grounded enactivism. Drawing from biosemiotic enactivism, science and technology studies and anthropology, the paper aims to present an account which both rejects a pregiven world and coherently accounts for how organisms bring forth ontologically multiple worlds. (shrink)

Fodor argued that learning a concept by hypothesis testing would involve an impossible circularity. I show that Fodor's argument implicitly relies on the assumption that actually φ-ing entails an ability to φ. But this assumption is false in cases of φ-ing by luck, and just such luck is involved in testing hypotheses with the kinds of generative random sampling methods that many cognitive scientists take our minds to use. Concepts thus can be learned by hypothesis testing without circularity, and it (...) is plausible that this is how humans in fact acquire at least some of their concepts. (shrink)

Neste artigo exporemos os principais obstáculos à esperança de que grande parte dos filósofos e cientistas do cérebro contemporâneos tende a entender os aspectos subjetivos da vivência mental como sendo tangíveis às abordagens filosóficas ou científicas atuais. Avaliaremos se tal otimismo pode ser levado a sério à luz do que pensamos acerca das reflexões de Shoemaker sobre a possibilidade de funcionalização dos qualia. Veremos que mesmo sendo possível a discriminação numa tabela do que poderia ser pensado como “aspecto qualitativo da (...) experiência”, que se articulam enquanto crenças qualitativas que geram determinados comportamentos, razões metafísicas se colocam como entrave à ideia de se conceber como plausível a possibilidade de funcionalização dos qualia.: In this article we will expose the main obstacles to hope that most contemporary philosophers and scientists of the brain tends to understand the subjective aspects of mental experience as tangible to current philosophical and scientific approaches. Evaluate whether such optimism can be taken seriously in light of what we think about the reflections of Shoemaker about the possibility of functionalization of qualia. We will see that even being possible discrimination in a table that could be thought of as “qualitative aspect of experience,” that articulate while qualitative beliefs that generate certain behaviors, metaphysical reasons stand as obstacle to the idea of conceiving how plausible the possibility of functionalization qualia. Keywords : Functionalism; Qualitative Similarity; Causal Track. (shrink)

Experimental studies indicate that nonhuman animals and infants represent numerosities above three or four approximately and that their mental number line is logarithmic rather than linear. In contrast, human children from most cultures gradually acquire the capacity to denote exact cardinal values. To explain this difference, I take an extended mind perspective, arguing that the distinctly human ability to use external representations as a complement for internal cognitive operations enables us to represent natural numbers. Reviewing neuroscientific, developmental, and anthropological evidence, (...) I argue that the use of external media that represent natural numbers (like number words, body parts, tokens or numerals) influences the functional architecture of the brain, which suggests a two-way traffic between the brain and cultural public representations. (shrink)

Embodied cognition: assumptions, theses and challenges: The paper aims at providing a concise presentation of the concept of embodied cognition that emerged in the cognitive sciences a few decades ago and has gained great popularity among empirically and philosophically informed researchers. The term “embodied cognition” is used by the author in two senses. The narrow sense implies that the body plays an important role in the process of cognition. In the broad sense “embodied cognition” is to characterize the general tendency (...) within cognitive science which finds its articulation in the 4E perspective on cognition. The working hypothesis of the 4E perspective is that cognition depends on the characteristics of the agent’s body and its interaction with the physical and social environment. It emphasizes that cognition is: embodied, embedded, enacted, extended. After reconstructing the key concepts and basic assumptions the author offers a brief appraisal of the views under discussion. He claims that the characteristics of such a trend are incomplete and not homogeneity since the perspective encompasses at least a few related and partly overlapping views on cognition. The author concludes that “embodied cognition” serves as a label for a variety of research programs within cognitive science rather than a strictly defined and well-established research tradition or a new paradigm. (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

I defend a conception of the relationship between the personal and sub-personal levels as interaction withoutreduction.There are downward inferences from the personal to the sub-personal level but we find upward explanatory gaps when we try to construct illuminating accounts of personal level conditions using just sub-personal level notions. This conception faces several serious challenges but the objection that I consider in this paper says that, when theories support downward inferences from the personal to the sub-personal level, this is the product (...) of an unacceptably • mechanistic view of persons. According to this objection, if we were to focus on persons as conscious rational thinkers and agents then the support for putative downward inferences would be undermined. I consider and reject developments of this objection in response to two arguments for downward inferences. (shrink)

The social exchange theory of reasoning, which is championed by Leda Cosmides and John Tooby, falls under the general rubric “evolutionary psychology” and asserts that human reasoning is governed by content-dependent, domain-specific, evolutionarily-derived algorithms. According to Cosmides and Tooby, the presumptive existence of what they call “cheater-detection” algorithms disconfirms the claim that we reason via general-purpose mechanisms or via inductively acquired principles. We contend that the Cosmides/Tooby arguments in favor of domain-specific algorithms or evolutionarily-derived mechanisms fail and that the notion (...) of a social exchange rule, which is central to their theory, is not correctly characterized. As a consequence, whether or not their conclusion is true cannot be established on the basis of the arguments they have presented. (shrink)

Abstract Mental representations, Swiatczak (Minds Mach 21:19–32, 2011) argues, are fundamentally biochemical and their operations depend on consciousness; hence the computational theory of mind, based as it is on multiple realisability and purely syntactic operations, must be wrong. Swiatczak, however, is mistaken. Computation, properly understood, can afford descriptions/explanations of any physical process, and since Swiatczak accepts that consciousness has a physical basis, his argument against computationalism must fail. Of course, we may not have much idea how consciousness (itself a rather (...) unclear plurality of notions) might be implemented, but we do have a hypothesis—that all of our mental life, including consciousness, is the result of computational processes and so not tied to a biochemical substrate. Like it or not, the computational theory of mind remains the only game in town. Content Type Journal Article Pages 1-8 DOI 10.1007/s11023-012-9271-5 Authors David Davenport, Computer Engineering Department, Bilkent University, 06800 Ankara, Turkey Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495. (shrink)

Artificial intelligence, conceived either as an attempt to provide models of human cognition or as the development of programs able to perform intelligent tasks, is primarily interested in theuses of language. It should be concerned, therefore, withpragmatics. But its concern with pragmatics should not be restricted to the narrow, traditional conception of pragmatics as the theory of communication (or of the social uses of language). In addition to that, AI should take into account also the mental uses of language (in (...) reasoning, for example) and the existential dimensions of language as a determiner of the world we (and our computers) live in. In this paper, the relevance of these three branches of pragmatics-sociopragmatics, psychopragmatics, and ontopragmatics-for AI are explored. (shrink)

Received approaches to a unified phenomenon called “language” are firmly committed to a Cartesian view of distinct unobservable minds. Questioning this commitment leads us to recognize that the boundaries conventionally separating the linguistic from the non-linguistic can appear arbitrary, omitting much that is regularly present during vocal communication. The thesis is put forward that uttering, or voicing, is a much older phenomenon than the formal structures studied by the linguist, and that the voice has found elaborations and codifications in other (...) domains too, such as in systems of ritual and rite. Voice, it is suggested, necessarily gives rise to a temporally bound subjectivity, whether it is in inner speech (Descartes' “cogito”), in conversation, or in the synchronized utterances of collective speech found in prayer, protest, and sports arenas world wide. The notion of a fleeting subjective pole tied to dynamically entwined participants who exert reciprocal influence upon each other in real time provides an insightful way to understand notions of common ground, or socially shared cognition. It suggests that the remarkable capacity to construct a shared world that is so characteristic of Homo sapiens may be grounded in this ability to become dynamically entangled as seen, e.g., in the centrality of joint attention in human interaction. Empirical evidence of dynamic entanglement in joint speaking is found in behavioral and neuroimaging studies. A convergent theoretical vocabulary is now available in the concept of participatory sense-making, leading to the development of a rich scientific agenda liberated from a stifling metaphysics that obscures, rather than illuminates, the means by which we come to inhabit a shared world. (shrink)

It has been commonplace in epistemology since its inception to idealize away from computational resource constraints, i.e., from the constraints of time and memory. One thought is that a kind of ideal rationality can be specified that ignores the constraints imposed by limited time and memory, and that actual cognitive performance can be seen as an interaction between the norms of ideal rationality and the practicalities of time and memory limitations. But a cornerstone of naturalistic epistemology is that normative assessment (...) is constrained by capacities: you cannot require someone to do something they cannot or, as it is usually put, ought implies can. This much we take to be uncontroversial. We argue that differences in architectures, goals and resources imply substantial differences in capacity, and that some of these differences are ineliminable. It follows that some differences in goals and architectural and computational resources matter at the normative level: they constrain what principles of normative epistemology can be used to describe and prescribe their behavior. As a result, we can expect there to be important epistemic differences between the way brains, individuals, and science work. (shrink)

Many philosophers think that being in an intentional state is a matter of being related to a sentence in a mental language-a 'Language of Thought' (see especially Fodor 1975, 1987 Appendix; Field 1978). According to this view-which I shall call 'the LT hypothesis'-when anyone has a belief or a desire or a hope with a certain content, they have a sentence of this language, with that content, 'written' in their heads. The claim is meant quite literally: the mental representations that (...) make up the items of this language have semantic and syntactic properties. This is why, according to this view, cognitive psychology does, and should, treat that part of the mind which deals with intentional states as a semantic and a syntactic 'engine'. (shrink)

Jerry Fodor, by common agreement, is one of the world’s leading philosophers. At the forefront of the cognitive revolution since the 1960s, his work has determined much of the research agenda in the philosophy of mind and the philosophy of psychology for well over 40 years. This special issue dedicated to his work is intended both as a tribute to Fodor and as a contribution to the fruitful debates that his work has generated. One philosophical thesis that has dominated Fodor’s (...) work since the 1960s is realism about the mental. Are there really mental states, events and processes? From his first book, Psychological Explanation (1968), onwards, Fodor has always answered this question with a resolute yes. From his early rejection of Wittgensteinian and behaviourist conceptions of the mind, to his later disputes with philosophers of mind of the elminativist ilk, he has always been opposed to views that try to explain away mental phenomena. On his view, there are minds, and minds can change the world. (shrink)

In his recent book, Concepts: Where Cognitive Science Went Wrong, Jerry Fodor retracts the radical concept-nativism he once defended. Yet that postion stood, virtually unchallenged, for more than twenty years. This neglect is puzzling, as Fodor's arguments against concepts being learnable from experience remain unanswered, and nativism has historically been taken very seriously as a response to empiricism's perceived shortcomings. In this paper, I urge that Fodorean nativism should indeed be rejected. I argue, however, that its deficiencies are not so (...) obvious that they can simply be taken for granted. Fodor can counter extant objections by stressing two distinctions: between historicist and counterfactual semantic theories and between explaining reference and explaining concept-acquisition. But, I argue, this victory is pyrrhic. Reformulated as objections to his account qua theory of concept-acquisition, and not qua theory of reference, analogous difficulties are fatal to the Fodorean position. (shrink)

Contemporary semantic theories can be classified along two dimensions: (i) the way and time-course in which contextual factors influence sentence truth-conditions; and (ii) whether and to what extent comprehension involves sensory, motor and emotional processes. In order to explore this theoretical space, our ERP study investigates the time-course of the interaction between the lexically specified telic component of a noun (the function of the object to which the noun refers to, e.g., a funnel is generally used to pour liquids into (...) containers) and an ad-hoc affordance contextually induced by the situation described in the discourse. We found that, if preceded by a neutral discourse context, a verb incongruent with the noun’s telic component as in “She uses the funnel to hang her coat” elicited an enhanced N400 compared to a congruent verb as in “She uses the funnel to pour water into a container”. However, if the situation introduced in the preceding discourse induced a new function for the object as an ad-hoc affordance (e.g., the funnel is glued to the wall and the agent wants to hang the coat), we observed a crossing-over regarding the direction of the N400 effect: comparing the ad-hoc affordance-inducing context with the neutral context, the N400 for the incongruent verb was significantly reduced, whereas the N400 for the congruent verb was significantly enhanced. We explain these results as a consequence of the incorporation of the contextually triggered ad-hoc affordance into the meaning of the noun. Combining these results with an analysis of semantic similarity values between test sentences and contexts, we argue that one possibility is that the incorporation of an ad-hoc affordance may be explained on the basis of the mental simulation of concurrent motor information. (shrink)

To begin, I introduce an analysis of interlevel relations that allows us to offer an initial characterization of the debate about the way classical and connectionist models relate. Subsequently, I examine a compatibility thesis and a conditional claim on this issue.With respect to the compatibility thesis, I argue that, even if classical and connectionist models are not necessarily incompatible, the emergence of the latter seems to undermine the best arguments for the Language of Thought Hypothesis, which is essential to the (...) former. (shrink)

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.

One of the claims of Type Theory with Records is that it can be used to model types learned by agents in order to classify objects and events in the world, including speech events. That is, the types can be represented by patterns of neural activation in the brain. This claim would be empty if it turns out that the types are in principle impossible to represent on a finite network of neurons. We will discuss how to represent types in (...) terms of neural events on a network and present a preliminary computational implementation that maps types to events on a network. The kind of networks we will use are closely related to the transparent neural networks discussed by Strannegård. (shrink)

Theories of embodied cognition hold that the conceptual system uses perceptual simulations for the purposes of representation. A strong prediction is that perceptual phenomena should emerge in conceptual processing, and, in support, previous research has shown that switching modalities from one trial to the next incurs a processing cost during conceptual tasks. However, to date, such research has been limited by its reliance on the retrieval of familiar concepts. We therefore examined concept creation by asking participants to interpret modality-specific compound (...) phrases (i.e., conceptual combinations). Results show that modality switching costs emerge during the creation of new conceptual entities: People are slower to simulate a novel concept (e.g., auditory jingling onion) when their attention has already been engaged by a different modality in simulating a familiar concept (e.g., visual shiny penny). Furthermore, these costs cannot be accounted for by linguistic factors alone. Rather, our findings support the embodied view that concept creation, as well as retrieval, requires situated perceptual simulation. (shrink)

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal to (...) the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)

Robert Hanna (Rationality and logic. MIT Press, Cambridge, 2006) articulates and defends the thesis of logical cognitivism, the claim that human logical competence is grounded in a cognitive faculty (in Chomsky’s sense) that is not naturalistically explicable. This position is intended to steer us between the Scylla of logical Platonism and the Charybdis of logical naturalism (/psychologism). The paper argues that Hanna’s interpretation of Chomsky is mistaken. Read aright, Chomsky’s position offers a defensible version of naturalism, one Hanna may accept (...) as far as his version of naturalism goes, although not one that supports the claim that cognitive science offers a place for logic that is somehow outside the natural, contingent order. (shrink)

It has been speculated, by Chomsky and others, that our capacity for scientific understanding is not only enabled but also limited by a biologically endowed science forming faculty . I look at two sorts of consideration for the SFF thesis and find both wanting. Firstly, it has been claimed that a problem‐mystery distinction militates for the SFF thesis. I suggest that the distinction can be coherently drawn for cases, but that the purported‘evidence’for even a fairly lose general demarcation of problems (...) and mysteries is not best explained by a SFF. Secondly, I consider in detail a range of cognitive considerations for the SFF thesis and contend that it is at best moot whether science can be so construed as to make it feasible that it is a faculty competence. (shrink)