When characterizing the content of a subject’s perceptual experience, does their seeing an object entail that their visual experience represents it as being a certain way? If it does, are they thereby in a position to have perceptually-based thoughts about it? On one hand, representationalists are under pressure to answer these questions in the affirmative. On the other hand, it seems they cannot. This paper presents a puzzle to illustrate this tension within orthodox representationalism. We identify several interesting morals which (...) may be drawn in response, each of which teaches us something interesting and important about perceptual experience and its interface with cognition and related phenomena. (shrink)

In some domains experts perform better than novices, and in other domains experts do not generally perform better than novices. According to empirical studies of expert performance, this is because the former but not the latter domains make available to training practitioners a direct form of learning feedback. Several philosophers resource this empirical literature to cast doubt on the quality of philosophical expertise. They claim that philosophy is like the dubious domains in that it does not make available the good, (...) direct kind of learning feedback, and thus there are empirical grounds for doubting the epistemic quality of philosophical expertise. I examine the empirical studies that are purportedly bad news for professional philosophers. On the basis of that examination, I provide three reasons why the empirical study of non-philosophical expertise does not undermine the status of philosophical expertise. First, the non-philosophical task-types from which the critics generalize are unrepresentative of relevant philosophical task-types. Second, empirical critiques of non-philosophical experts are often made relative to the performance of linear models—a comparison that is inapt in a philosophical context. Third, the critics fail to discuss findings from the empirical study of non-philosophical expertise that have more favorable implications for the epistemic status of philosophical expertise. In addition to discussing implications for philosophical expertise, this article makes progress in the philosophical analysis of the science of expertise and expert development. (shrink)

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision‐making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing the (...) Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity‐based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

ABSTRACTWhile over the last few decades AI research has largely focused on building tools and applications, recent technological developments have prompted a resurgence of interest in building a genuinely intelligent artificial agent – one that has a mind in the same sense that humans and animals do. In this paper, I offer a theoretical and methodological framework for this project of investigating “artificial minded intelligence” that can help to unify existing approaches and provide new avenues for research. I first outline (...) three desiderata that a framework for AMI research should satisfy. In Section 1, I further motivate the desiderata as well as the need for a new framework. Section 2 develops a general methodological approach, the “generative methodology,” and Section 3 develops a version of this methodology, the “Competence Framework for AI research”. (shrink)

It is widely assumed that functional and dispositional properties are not identical to their physical base, but that there is some kind of asymmetrical ontological dependence between them. In this regard, a popular idea is that the former are realized by the latter, which, under the non-identity assumption, is generally understood to be a non-causal, constitutive relation. In this paper we examine two of the most widely accepted approaches to realization, the so-called ‘flat view’ and the ‘dimensioned view’, and we (...) analyze their explanatory relevance in the light of a number of examples from the life sciences, paying special attention to developmental phenomena. Our conclusion is that the emphasis placed by modern-day biology on such properties as variability, evolvability, and a whole collection of phenomena like modularity, robustness, and developmental constraint or developmental bias requires the adoption of a much more dynamic perspective than traditional realization frameworks are able to capture. (shrink)

Barsalou has recently argued against the strategy of identifying amodal neural representations by using their cross-modal responses (i.e., their responses to stimuli from different modalities). I agree that there are indeed modal structures that satisfy this “cross-modal response” criterion (CM), such as distributed and conjunctive modal representations. However, I argue that we can distinguish between modal and amodal structures by looking into differences in their cross-modal responses. A component of a distributed cell assembly can be considered unimodal because its responses (...) to stimuli from a given modality are stable, whereas its responses to stimuli from any other modality are not (i.e., these are lost within a short time, plausibly as a result of cell assembly dynamics). In turn, conjunctive modal representations, such as superior colliculus cells in charge of sensory integration, are multimodal because they have a stable response to stimuli from different modalities. Finally, some prefrontal cells constitute amodal representations because they exhibit what has been called ‘adaptive coding’. This implies that their responses to stimuli from any given modality can be lost when the context and task conditions are modified. We cannot assign them a modality because they have no stable relation with any input type. (shrink)

A leading theoretical framework for naturalistic explanation of mind holds that we explain the mind by positing progressively "stupider" capacities ("homunculi") until the mind is "discharged" by means of capacities that are not intelligent at all. The so-called homuncular fallacy involves violating this procedure by positing the same capacities at subpersonal levels. I argue that the homuncular fallacy is not a fallacy, and that modern-day homunculi are idle posits. I propose an alternative view of what naturalism requires that reflects how (...) the cognitive sciences are actually integrating mind and matter. (shrink)

I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any reasonable way (...) of thinking about mental content, and rejecting those desire-satisfaction principles leads to revenge paradoxes. So the best response is a non-classical one, according to which certain desires are neither determinately satisfied nor determinately not satisfied. Thus, theorizing about paradoxical propositional attitudes helps constrain the space of possibilities for adequate solutions to semantic paradoxes more generally. (shrink)

The question of whether conscious experience is restricted by cognitive access and exhausted by report, or whether it overflows it—comprising more information than can be reported—is hotly debated. Recently, we provided evidence in favor of Overflow, showing that observers discriminated the color‐diversity (CD) of letters in an array, while their working‐memory and attention were dedicated to encoding and reporting a set of cued letters. An alternative interpretation is that CD‐discriminations do not entail conscious experience of the underlying colors. Here we (...) argue, based on conceptual considerations and consistency with neuroscience and phenomenology, in favor of the Overflow interpretation. (shrink)

Mind &Language, Volume 34, Issue 5, Page 667-680, November 2019.

Is faith that p compatible with disbelief that p? I argue that it is. After surveying some recent literature on the compatibility of propositional and non-propositional forms of faith with the lack of belief, I take the next step and offer several arguments for the thesis that both these forms of faith are also compatible, in certain cases, with outright disbelief. This is contrary to the views of some significant recent commentators on propositional faith, including Robert Audi and Daniel Howard-Snyder. (...) The primary argument revolves around the possibility of maintaining a single faith through drastic changes in cognitive attitude. I argue that once we allow that propositional faith is compatible with weaker cognitive attitudes than belief, such as acceptance or assent, there is prima facie reason to consider propositional faith as sometimes compatible with disbelief. I then consider objections and offer some final reflections on the significance of the thesis. (shrink)

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

The paper develops two related thought experiments exploring variations on an ‘animat’ theme. Animats are hybrid devices with both artificial and biological components. Traditionally, ‘components’ have been construed in concrete terms, as physical parts or constituent material structures. Many fascinating issues arise within this context of hybrid physical organization. However, within the context of functional/computational theories of mentality, demarcations based purely on material structure are unduly narrow. It is abstract functional structure which does the key work in characterizing the respective (...) ‘components’ of thinking systems, while the ‘stuff’ of material implementation is of secondary importance. Thus the paper extends the received animat paradigm, and investigates some intriguing consequences of expanding the conception of bio-machine hybrids to include abstract functional and semantic structure. In particular, the thought experiments consider cases of mind-machine merger where there is no physical Brain-Machine Interface: indeed, the material human body and brain have been removed from the picture altogether. The first experiment illustrates some intrinsic theoretical difficulties in attempting to replicate the human mind in an alternative material medium, while the second reveals some deep conceptual problems in attempting to create a form of truly Artificial General Intelligence. (shrink)

How can we think about things in the outside world? There is still no widely accepted theory of how mental representations get their meaning. In light of pioneering research, Nicholas Shea develops a naturalistic account of the nature of mental representation with a firm focus on the subpersonal representations that pervade the cognitive sciences.

I develop and argue for a novel theory of the mental state of identity confusion. I also argue that this mental state can corrupt the proper function of singular terms in linguistic communication. Finally, I propose a theory according to which identity confusion should be treated as a the source of a new sort of linguistic performance error, similar to malapropism, slips of the tongue, and so-called intentional obfuscation (inducing false belief by manipulating language in specific ways). -/- Going into (...) a bit more detail, I start by arguing that contemporary analytic philosophy, and philosophy of language in particular, has been dominated by a ‘puzzle-driven’ methodology. This tradition, I claim, seeks to provide a coherent system for describing semantic features of all conceivable cases where a speaker is confused about the identity or distinctness of an object. On my view, identity confusion is a mental state of an agent who either believes falsely that a is identical to b or believes falsely that a is not identical to b. I show how many influential arguments in philosophy – e.g., Kripke on semantic reference and speaker’s reference – are invalidated because of false assumptions about the state of identity confusion. -/- More positively, I assume an ‘explanation-driven’ approach, combining strands in Gricean intentionalism and Ruth Millikan’s teleosemantics. On this view, confused speakers are ‘sub-optimal’: their mental state disrupts the proper function of the relevant singular terms in their idiolects. Furthermore, I flesh out a theoretically fruitful notion of ‘edenic reference,’ which idealizes away from confusion in defining the optimal or stabilizing function of singular terms. I argue that speakers must satisfy certain broadly cognitive constraints if their utterances are to play a role in explaining the maintenance of a practice of using a singular term in a linguistic community. (shrink)

Perceptual systems respond to proximal stimuli by forming mental representations of distal stimuli. A central goal for the philosophy of perception is to characterize the representations delivered by perceptual systems. It may be that all perceptual representations are in some way proprietarily perceptual and differ from the representational format of thought (Dretske 1981; Carey 2009; Burge 2010; Block ms.). Or it may instead be that perception and cognition always trade in the same code (Prinz 2002; Pylyshyn 2003). This paper rejects (...) both approaches in favor of perceptual pluralism, the thesis that perception delivers a multiplicity of representational formats, some proprietary and some shared with cognition. The argument for perceptual pluralism marshals a wide array of empirical evidence in favor of iconic (i.e., image-like, analog) representations in perception as well as discursive (i.e., language-like, digital) perceptual object representations. (shrink)

The paper looks at the intersection of extended cognition and social cognition. The central claim is that the mechanisms of shared intentionality can equally be considered as coupling mechanisms of cognitive extension into the social domain. This claim will be demonstrated by investigating a detailed example of cooperative action, and it will be argued that such cases imply that socially extended cognition is not only about cognitive vehicles, but that content must additionally to be taken into account. It is finally (...) outlined how social content externalism can in principle be grounded in socially extended cognition. (shrink)

I argue that we are sometimes morally responsible for having and using (or not using) our concepts, despite the fact that we generally do not choose to have them or have full or direct voluntary control over how we use them. I do so by extending an argument of Angela Smith's; the same features that she says make us morally responsible for some of our attitudes also make us morally responsible for some of our concepts. Specifically, like attitudes, concepts can (...) be (a) conceptually and rationally connected to our evaluative judgments, (b) in principle subject to rational revision (reasons‐responsive), and (c) the basis for actual and potential moral assessments of people that we have good reasons to endorse. Thus, we are open to moral appraisal on the basis of having and using (or not using) our concepts when they reflect our evaluative judgments, though even then it is not always appropriate to praise or blame us on that basis. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

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 papers in this special issue make important contributions to a longstanding debate about how we should conceive of and explain mental phenomena. In other words, they make a case about the best philosophical paradigm for cognitive science. The two main competing approaches, hotly debated for several decades, are representationalism and enactivism. However, recent developments in disciplines such as machine learning and computational neuroscience have fostered a proliferation of intermediate approaches, leading to the emergence of completely new positions, in particular (...) the Predictive Processing approach. Here, we will consider the different approaches discussed in this volume. (shrink)

This paper engages critically with anti-representationalist arguments pressed by prominent enactivists and their allies. The arguments in question are meant to show that the “as-such” and “job-description” problems constitute insurmountable challenges to causal-informational theories of mental content. In response to these challenges, a positive account of what makes a physical or computational structure a mental representation is proposed; the positive account is inspired partly by Dretske’s views about content and partly by the role of mental representations in contemporary cognitive scientific (...) modeling. (shrink)

People cannot contemplate a proposition without believing that proposition. A model of belief fixation is sketched and used to explain hitherto disparate, recalcitrant, and somewhat mysterious psychological phenomena and philosophical paradoxes. Toward this end I also contend that our intuitive understanding of the workings of introspection is mistaken. In particular, I argue that propositional attitudes are beyond the grasp of our introspective capacities. We learn about our beliefs from observing our behavior, not from introspecting our stock beliefs. -/- The model (...) of belief fixation offered in the dissertation poses a novel dilemma for theories of rationality. One might have thought that the ability to contemplate ideas while withholding assent is a necessary condition on rationality. In short, it seems that rational creatures shouldn‘t just form their beliefs based on whatever they happen to think. However, it seems that we are creatures that automatically and reflexively form our beliefs based on whatever propositions we happen to consider. Thus, either the rational requirement that states that we must have evidence for our beliefs must be jettisoned or we must accept the conclusion that we are necessarily irrational. (shrink)

This paper addresses a fundamental line of research in neuroscience: the identification of a putative neural processing core of the cerebral cortex, often claimed to be “canonical”. This “canonical” core would be shared by the entire cortex, and would explain why it is so powerful and diversified in tasks and functions, yet so uniform in architecture. The purpose of this paper is to analyze the search for canonical explanations over the past 40 years, discussing the theoretical frameworks informing this research. (...) It will highlight a bias that, in my opinion, has limited the success of this research project, that of overlooking the dimension of cortical development. The earliest explanation of the cerebral cortex as canonical was attempted by David Marr, deriving putative cortical circuits from general mathematical laws, loosely following a deductive-nomological account. Although Marr’s theory turned out to be incorrect, one of its merits was to have put the issue of cortical circuit development at the top of his agenda. This aspect has been largely neglected in much of the research on canonical models that has followed. Models proposed in the 1980s were conceived as mechanistic. They identified a small number of components that interacted as a basic circuit, with each component defined as a function. More recent models have been presented as idealized canonical computations, distinct from mechanistic explanations, due to the lack of identifiable cortical components. Currently, the entire enterprise of coming up with a single canonical explanation has been criticized as being misguided, and the premise of the uniformity of the cortex has been strongly challenged. This debate is analyzed here. The legacy of the canonical circuit concept is reflected in both positive and negative ways in recent large-scale brain projects, such as the Human Brain Project. One positive aspect is that these projects might achieve the aim of producing detailed simulations of cortical electrical activity, a negative one regards whether they will be able to find ways of simulating how circuits actually develop. (shrink)

This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.

Defined as vicarious sensorimotor experiencing, mental imagery is a powerful source of aesthetic enjoyment in everyday life and, reportedly, one of the commonest things readers remember about literary narratives in the long term. Furthermore, it is positively correlated with other dimensions of reader response, most notably with emotion. Until recent decades, however, the phenomenon of mental imagery has been largely overlooked by modern literary scholarship. As an attempt to strengthen the status of mental imagery within the literary and, more generally, (...) aesthetic discipline, this dissertation proposes an analysis positioned at a confluence of literary theory and the cognitive sciences, especially the emergent research framework of embodied cognition. Questions asked throughout the dissertation include the following: a) What are the basic varieties of mental imagery in the reading of literary narrative? b) By what contents or narrative strategies are they most likely to be prompted? c) What is it like to experience a mental image of a particular variety? d) What are its psychophysiological underpinnings? e) How does a mental image of a particular variety relate to perception? f) How does it relate to higher-order meaning-making? Four prototypical imagery varieties are distinguished on the basis of two variables with two values each (referential vs. verbal domain; inner vs. outer stance). Gradual transitions and in-between imagery varieties are acknowledged. The imagery typology and related hypotheses are grounded in introspection but carefully supported with indirect empirical evidence and, whenever possible, formulated so as to facilitate direct validation. (shrink)

People can be taught to manipulate symbols according to formal mathematical and logical rules. Cognitive scientists have traditionally viewed this capacity—the capacity for symbolic reasoning—as grounded in the ability to internally represent numbers, logical relationships, and mathematical rules in an abstract, amodal fashion. We present an alternative view, portraying symbolic reasoning as a special kind of embodied reasoning in which arithmetic and logical formulae, externally represented as notations, serve as targets for powerful perceptual and sensorimotor systems. Although symbolic reasoning often (...) conforms to abstract mathematical principles, it is typically implemented by perceptual and sensorimotor engagement with concrete environmental structures. (shrink)

A large body of compelling evidence has been accumulated demonstrating that embodiment – the agent’s physical setup, including its shape, materials, sensors and actuators – is constitutive for any form of cognition and as a consequence, models of cognition need to be embodied. In contrast to methods from empirical sciences to study cognition, robots can be freely manipulated and virtually all key variables of their embodiment and control programs can be systematically varied. As such, they provide an extremely powerful tool (...) of investigation. We present a robotic bottom-up or developmental approach, focusing on three stages: (a) low-level behaviors like walking and reflexes, (b) learning regularities in sensorimotor spaces, and (c) human-like cognition. We also show that robotic based research is not only a productive path to deepening our understanding of cognition, but that robots can strongly benefit from human-like cognition in order to become more autonomous, robust, resilient, and safe. (shrink)

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...) not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

ABSTRACTThis paper provides a naturalistic account of inference. We posit that the core of inference is constituted by bare inferential transitions, transitions between discursive mental representations guided by rules built into the architecture of cognitive systems. In further developing the concept of BITs, we provide an account of what Boghossian [2014] calls ‘taking’—that is, the appreciation of the rule that guides an inferential transition. We argue that BITs are sufficient for implicit taking, and then, to analyse explicit taking, we posit (...) rich inferential transitions, which are transitions that the subject is disposed to endorse. (shrink)

We revisit a debate initiated some 15 years ago by Ray Elugardo and Robert Stainton about the domain of arguments. Our main result is that arguments are not exclusively sets of linguistic expressions. Instead, as we put it, some non-linguistic items have ‘logical form’. The crucial examples are arguments, both deductive and inductive, made with unembedded words and phrases. … subsentential expressions such as singular terms and predicates… cannot serve as premises or conclusions in inferences.

The mental realm seems different to the physical realm; the mental is thought to be dependent on, yet distinct from the physical. But how, exactly, are the two realms supposed to be different, and what, exactly, creates the seemingly insurmountable juxtaposition between the mental and the physical? This review identifies and discusses five marks of the mental, features that set characteristically mental phenomena apart from the characteristically physical phenomena. These five marks (intentionality, consciousness, free will, teleology, and normativity) are not (...) presented as a set of features that define mentality. Rather, each of them is something we seem to associate with phenomena we consider mental, and each of them seems to be in tension with the physical view of reality in its own particular way. It is thus suggested how there is no single mind-body problem, but a set of distinct but interconnected problems. Each of these separate problems is analyzed, and their differences, similarities and connections are identified. This provides a useful basis for future theoretical work on psychology and philosophy of mind, that until now has too often suffered from unclarities, inadequacies, and conflations. (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)

In the introduction to the special volume, Gilbert Ryle: Intelligence, Practice and Skill, Julia Tanney introduces the contributions of Michael Kremer, Stina Bäckström and Martin Gustafsson, and Will Small, each of which indicates concern about the appropriation of Ryle’s distinction between knowing-how and knowing-that in seminal work in contemporary epistemology. Expressing agreement with the authors that something has gone awry in these borrowings from Ryle, Tanney takes this criticism to a deeper level. She argues that the very notion of content-bearing, (...) causally-efficacious mental states, let alone representational states of knowledge-that or knowledge-how, embodies the very presuppositions that Ryle calls into question in his rejection of classical theories of meaning and his related warning of the type-errors involved in conflating rational and mechanistic explanation. That these mental posits are presupposed, unchallenged, in today’s debates make his arguments against intellectualism particularly difficult to discern. (shrink)

What is the relationship between unconscious and conscious intentionality? Contemporary philosophy of mind treats the contents of conscious 10 intentional mental states as the same kind of thing as the contents of un- conscious mental states. According to the standard view that beliefs and desires are propositional attitudes, for example, the contents of these states are propositions, whether or not the states are conscious or unconscious. I dispute this way of thinking of conscious and unconscious content, and propose an alternative, (...) which helps to explain why the various mental things that are called unconscious deserve that label. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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 book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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 develops the situational model of primate beliefs from the Prior-Lurz line of thought. There is a strong skepticism concerning primate beliefs in the analytic tradition which holds that beliefs have to be propositional and non-human animals do not have them. The response offered in this paper is twofold. First, two arguments against the propositional model as applied to other animals are put forward: an a priori argument from referential opacity and an empirical argument from varieties of working memory. (...) Second, the Prior-Lurz situational model based on state of affairs as opposed to propositions is introduced and defended with two significant modifications. With this model of primate beliefs we can make progress in understanding how other primates can have certain mindreading capacity. (shrink)

Nativists about theory of mind have typically explained why children below the age of four fail the false belief task by appealing to the demands that these tasks place on children’s developing executive abilities. However, this appeal to executive functioning cannot explain a wide range of evidence showing that social and linguistic factors also affect when children pass this task. In this paper, I present a revised nativist proposal about theory of mind development that is able to accommodate these findings, (...) which I call the pragmatic development account. According to this proposal, we can gain a better understanding of the shift in children’s performance on standard false-belief tasks around four years of age by considering how children’s experiences with the pragmatics of belief discourse affect the way they interpret the task. (shrink)

I believe that there are only a select few topics, which arouse a similar level of interest and curiosity among academics and laymen alike, as does the study of mind and brain. Although mind and brain have been capturing the attention of philosophers for centuries, it is the "scientific investigation" of age old philosophical queries by socalled cognitive scientists, which is distinctive of the developments of the last few decades and which, in times to come, may well be considered the (...) hallmark of the study of mind in the 20th and early 21st centuries. In the past, advances in the natural sciences underlay or boosted a plethora of developments in the technological, economic and political spheres that not only improved the standard of living and prolonged the average life span for a vast number of people, but also fuelled hopes that a new and improved understanding of the nature of man was also within reach. Despite all the benefits mankind derived from scientific and technological progress past and present, the success of the natural sciences also helped spread and foster a virulent and nowadays quasi-ubiquitous and unquestioned believe in the omnipotence of science and technology. In the context of the study of mind, in particular, it fostered the widespread conception that in order for an investigation leading to insight and understanding a "scientific" approach is a sine qua non. This thesis highlights the danger of such an approach. By investigating the framework of explanation adopted by cognitive scientists, the cognitive view, and by examining its inherent conceptions of mind and thought, it will be shown that the scientific, or rather scientistic, approach inherent in the views depicted above is highly questionable, and in the case of the study of mind and brain, does not further insight and understanding, but rather prevents it. In the 20th century, Ludwig Wittgenstein has been one of the few philosophers who recognized the fallaciousness of these ideas and who opposed the inherent scientism. His later philosophy, which provides the philosophical mise en scène for the following investigations, provides a much-needed antidote against the misconceptions common among cognitive scientists today. Although, many of the shortcomings of the ideas and views of cognitive scientists have, with a certain regularity, been discussed by philosophers working in the tradition of the later Wittgenstein their criticisms, more often than not, fell on deaf ears. I believe that one of the main reasons underlying the imperviousness of the community of cognitive scientists to the criticism of the kind of analytic philosophy inspired by the later Wittgenstein, is that it mainly focused on select misconceptions inherent in the cognitive view, but regularly failed to point out their place in the overall framework of thought for cognitive scientists. As a result, it was easy to dismiss these criticisms with excuses of the sort "but that does not bear any direct relevance to the work I do...". For this reason, this thesis aimed to portray and examine the cognitive view in its entirety, i.e. to depict the intricate interconnections existing between the premises that provide the foundation of the cognitive view, and to point out their disastrous consequences for our understanding not only of a select view aspects of mental phenomena, but to our understanding of the mind in its entirety. In order to provide such a "big picture", and to describe the numerous often very subtle interconnections between the various ideas making up the cognitive view in all their breadth and depth, a lot of well-trodden ground had to be revisited and reviewed. Thus, Anthony Kenny's and Peter Hackers' discussions of the mereological fallacy will provide the "base camp" from which we will visit less familiar aspects of the cognitive view via novel routes on our way to the peak of this "philosophical mountain". Where required, my indebtedness to the works of these philosophers will be highlighted throughout the text. (shrink)

The question, ‘Is cognition linguistic?' divides recent cognitive theories into two antagonistic groups. Sententialists claim that we think in some language, while advocates of non linguistic views of cognition deny this claim. The Introspective Argument for Sententialism is one of the most appealing arguments for sententialism. In substance, it claims that the introspective fact of inner speech provides strong evidence that our thoughts are linguistic. This article challenges this argument. I claim that the Introspective Argument for Sententialism confuses the content (...) of our thoughts with their vehicles: while sententialism is a thesis about the vehicles of our thoughts, inner speech sentences are the content of auditory or articulatory images. The rebuttal of the introspective argument for sententialism is shown to have a general significance in cognitive science: Introspection does not tell us how we think. (shrink)

Fodor's thinking on modularity has been influential throughout a range of the areas studying cognition, chiefly as a prod for positive work on modularity and domain-specificity. In _The Mind Doesn't Work That Way_, Fodor has developed the dark message of _The Modularity of Mind_ regarding the limits to modularity and computational analyses. This paper offers a critical assessment of Fodor's scepticism with an eye to highlighting some broader issues in play, including the nature of computation and the role of recent (...) empirical developments in the cognitive sciences in assessing Fodor's position. (shrink)

I examine the phenomenon of implicit learning, the process by which knowledge about the rule-governed complexities of the stimulus environment is acquired independently of conscious attempts to do so. Our research with the two seemingly disparate experimental paradigms of synthetic grammar learning and probability learning, is reviewed and integrated with other approaches to the general problem of unconscious cognition. The conclusions reached are as follows: Implicit learning produces a tacit knowledge base that is abstract and representative of the structure of (...) the environment; such knowledge is optimally acquired independently of conscious efforts to learn; and it can be used implicitly to solve problems and make accurate decisions about novel stimulus circumstances. Various epistemological issues and related problems such as intuition, neuroclinical disorders of learning and memory, and the relationship of evolutionary processes to cognitive science are also discussed. (shrink)