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 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 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

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 comment addresses central issues of a "theory theory" approach as exemplified in Gopnik' and Goldman's BBS-articles. Gopnik, on the one hand, tries to demonstrate that empirical evidence from developmental psychology supports the view of a "theory theory" in which common sense beliefs are constructed to explain ourselves and others. Focusing the informational processing routes possibly involved we would like to argue that his main thesis (e.g. idea of intentionality as a cognitive construct) lacks support at least for two reasons: (...) one methodological and one structural. On the other hand, Goldman raises an important question when he is asking how people ascribe mental states to themselves. Reasons why Goldman's attempt to understand common sense mental representations by using an analogy from visual perception is problematic are discussed. The role which is attributed to a phenomenology is evaluated. (shrink)

Fodor’s radical concept nativism flowed from his view that hypothesis testing is the only route to concept acquisition. Many have successfully objected to the overly-narrow restriction to learning by hypothesis testing. Existing representations can be connected to a new representational vehicle so as to constitute a sustaining mechanism for a new representation, without the new representation thereby being constituted by or structured out of the old. This paper argues that there is also a deeper objection. Connectionism shows that a more (...) fundamental assumption underpinning the debate can also be rejected: the assumption that the development of a new representation must be explained in content-involving terms if innateness is to be avoided. -/- Fodor has argued that connectionism offers no new resources to explain concept acquisition: unless it is merely an uninteresting claim about neural implementation, connectionism’s defining commitment to distributed representations reduces to the claim that some representations are structured out of others (which is the old, problematic research programme). Examination of examples of representational development in connectionist networks shows, however, that some such models explain the development of new representational capacities in non-representational terms. They illustrate the possibility of representational development that is not explicable-by-content. Connectionist representations can be distributed in an important sense, which is incompatible with the assumption of explanation-by-content: they can be distributed over non-representational resources that account for their development. Rejecting the assumption of explanation-by-content thereby opens up a more radical way of rejecting Fodor’s argument for radical concept nativism. (shrink)

Most animals have mental states of one sort or another, but few species share our capacity for self-awareness. We are aware of our own mental states via introspection, and we are aware of the mental states of our fellow human beings on the basis of what they do and say. This chapter is not concerned with these traditional forms of mind-reading—forms whose origins predate the beginnings of recorded history—but with the prospects of a rather different and significantly more recent form (...) of ‘mind-reading’: the capacity to reliably ascribe mental states to a creature on the basis of information derived from information about their brain states. (shrink)

Searle’s discussions over the years 1980-2004 of the implications of his “Chinese Room” Gedanken experiment are frustrating because they proceed from a correct assertion: “Instantiating a computer program is never by itself a sufficient condition of intentionality;” and an incorrect assertion: “The explanation of how the brain produces intentionality cannot be that it does it by instantiating a computer program.” In this article, I describe how to construct a Gedanken zombie Chinese Room program that will pass the Turing test and (...) at the same time unambiguously demonstrates the correctness of. I then describe how to construct a Gedanken Chinese brain program that will pass the Turing test, has a mind, and understands Chinese, thus demonstrating that is incorrect. Searle’s instantiation of this program can and does produce intentionality. Searle’s longstanding ignorance of Chinese is simply irrelevant and always has been. I propose a truce and a plan for further exploration. (shrink)

In the novel Die Automate (Hoffmann, 1957 ed.), the German writer Ernst Theodor Amadeus Hoffmann (1776-1822) describes different kinds of musical automatons which play music with expression and musicality. The whole novel is based on the effect of the automatic performances on the feelings of the two personages and on the appearance of musical automatons which simulate, with their musical skill and expressiveness, the structures of the knowledge and feelings of human beings.

Philosophers traditionally recognize two main features of mental states: intentionality and phenomenal consciousness. To a first approximation, intentionality is the aboutness of mental states, and phenomenal consciousness is the felt, experiential, qualitative, or "what it's like" aspect of mental states. In the past few decades, these features have been widely assumed to be distinct and independent. But several philosophers have recently challenged this assumption, arguing that intentionality and consciousness are importantly related. This article overviews the key views on the relationship (...) between consciousness and intentionality and describes our favored view, which is a version of the phenomenal intentionality theory, roughly the view that the most fundamental kind of intentionality arises from phenomenal consciousness. (shrink)

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

Although cognitive scientists have learned a lot about concepts, their findings have yet to be organized in a coherent theoretical framework. In addition, after twenty years of controversy, there is little sign that philosophers and psychologists are converging toward an agreement about the very nature of concepts.Doing without Concepts(Machery 2009) attempts to remedy this state of affairs. In this article, I review the main points and arguments developed at greater length inDoing without Concepts.

In this dissertation, I defend a Russellian form of descriptivism. The main supporting argument invokes a relation between meaning and thought. I argue that the meanings of sentences are the thoughts people use them to express. This is part of a Gricean outlook on meaning according to which psychological intentionality is prior to, and determinative of, linguistic intentionality. The right approach to thought, I argue in Chapter 1, is a type of functionalism on which thoughts have narrow contents. On this (...) view, the attitude ascriptions of a regimented psychology capture what people really believe and desire. These attitude ascriptions have content clauses that are what David Lewis calls ‘modified Ramsey sentences.’ I then conclude that, since the meanings of sentences are the narrow contents of the thoughts speakers use them to express, the meanings of sentences can also be represented with such descriptive sentences. I extend the view so that it applies to individual words. The resulting view is a form of descriptivism. Referring, I claim in Chapter 2, is the expression of a de re attitude. I argue that the non-psychological, de re individuation of thoughts captures only contingent features of these thoughts. Furthermore, whether a thought counts as de re depends on the attributor’s context. These two characteristics carry over to reference. The referential properties of speech acts and expressions are merely contingent features. Furthermore, whether a speech act or expression counts as referring depends upon the attributor’s context. In Chapter 3, I apply this version of descriptivism to indexicals, demonstratives and names. Indexicals turn out to have non-descriptive, context-insensitive, semantically determined meanings. Demonstratives have descriptive, context-sensitive, pragmatically determined meanings. Names, finally, have descriptive, context-insensitive, semantically determined meanings. In the final chapter, I address Putnam's model-theoretic argument, the most formidable obstacle to the form descriptivism outlined here. I criticize Lewis's ‘magnetist’ solution that invokes primitive naturalness because it is committed to the existence of incorrigible error about the external world. I suggest an empiricist approach on which psychological intentionality, and so ultimately linguistic intentionality as well, is anchored in experience. (shrink)

RésuméSelon une thèse holistique sur les symboles, un symbole nepeut exister isolément mais doit faire partie d'un système symbolique. Une opinion, elle aussi plausible, veut que les systémes symboliques émergent graduellement chez un individu, un groupe ou une espéce. Le problème c'est qu'on voit mal, si le holisme des systémes symboliques tient, comment un système symbolique peut émerger graduellement, du moins pour la première fois. Ce n'est possible, semble-t-il, que si être un symbole est affaire de degré, thèse au départ (...) problématique. Cet article explique comment être un symbole cognitif peut après tout être affaire de degré. L'intuition contraire vient de ce que le processus d' interprétation nous force au tout ou rien, ce qui laisse unjeu dans la façon dont le matériel sous-jacent réalise les symboles à des degres divers. Les travaux de Daniel Dennett sont à cet égard éclairants. Le holisme vautpour les symboles tels qu'ils sont interprétés, tandis que le gradualisme vaut pour la façon dont le matériel sous-jacent réalise les symboles. (shrink)

A representation is a remnant of previous experience that allows that experience to affect later behavior. This paper develops a metatheoretical view of representation and applies it to issues concerning representation in animals. To describe a representational system one must specify the following: thedomainor range of situations in the represented world to which the system applies; thecontentor set of features encoded and preserved by the system; thecodeor transformational rules relating features of the representation to the corresponding features of the represented (...) world; themedium, or the representation's physical instantiation; and thedynamics, or how the system changes with time. In part because of the behaviorist assumption that the hypothetical, covert changes occurring in an organism during learning correspond to the overt physical changes that are observed, issues of representation in animal behavior have been largely ignored as irrelevant or misleading. However, it can be inferred that representations, acting as models of environmental regularities, operate at many levels of behavioral functioning, both cognitive and noncognitive. Objections to the use of this concept in explanations of animal behavior, based on the claim that it is indeterminate and on behaviorist considerations of parsimony, can be answered. Animal representations may be specialized in terms of tasks and species. Data from tasks involving spatial memory, delayed matching-to-sample, and sequence learning suggest some foundations for a general theory of animal representations. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models.Higher-level analyses of these connectionist models reveal subtle relations to symbolic models. Parallel connectionist memory and linguistic processes are hypothesized to give rise to processes that are describable at a higher level as sequential rule application. At the lower level, computation has the character of massively parallel satisfaction of soft numerical constraints; at the higher level, this can lead to competence characterizable by hard rules. Performance will typically deviate from this competence since behavior is achieved not by interpreting hard rules but by satisfying soft constraints. The result is a picture in which traditional and connectionist theoretical constructs collaborate intimately to provide an understanding of cognition. (shrink)

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

The mainstream view in cognitive science is that computation lies at the basis of and explains cognition. Our analysis reveals that there is no compelling evidence or argument for thinking that brains compute. It makes the case for inverting the explanatory order proposed by the computational basis of cognition thesis. We give reasons to reverse the polarity of standard thinking on this topic, and ask how it is possible that computation, natural and artificial, might be based on cognition and not (...) the other way around. (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)

In this paper, I argue that theories of perception that appeal to Helmholtz’s idea of unconscious inference (“Helmholtzian” theories) should be taken literally, i.e. that the inferences appealed to in such theories are inferences in the full sense of the term, as employed elsewhere in philosophy and in ordinary discourse. -/- In the course of the argument, I consider constraints on inference based on the idea that inference is a deliberate acton, and on the idea that inferences depend on the (...) syntactic structure of representations. I argue that inference is a personal-level but sometimes unconscious process that cannot in general be distinguished from association on the basis of the structures of the representations over which it’s defined. I also critique arguments against representationalist interpretations of Helmholtzian theories, and argue against the view that perceptual inference is encapsulated in a module. (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)

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)

This chapter describes the conceptual foundations of cognitive science during its establishment as a science in the 20th century. It is organized around the core ideas of individual agency as its basic explanans and information-processing as its basic explanandum. The latter consists of a package of ideas that provide a mathematico-engineering framework for the philosophical theory of materialism.

This paper proposes a novel conception of mental files, aimed at addressing Frege puzzles. Classical Frege puzzles involve ignorance and discovery of identity. These may be addressed by accounting for a more basic way for identity to figure in thought—the treatment of beliefs by the believer as being about the same thing. This manifests itself in rational inferences that presuppose the identity of what the beliefs are about. Mental files help to provide a functional characterization of a mind capable of (...) this presupposition, but more must be said to show how it may be rational. I argue that this can be done by drawing out the way in which mental files interact with a thinker's motivational states and so come to have normative functional properties. I show how this theory works better than some other treatments of mental files. (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.

Complex systems are to be seen as typically having multiple levels of organization. For instance, in the behavioural and cognitive sciences, there has been a long lasting trend, promoted by the seminal work of David Marr, putting focus on three distinct levels of analysis: the computational level, accounting for the What and Why issues, the algorithmic and the implementational levels specifying the How problem. However, the tremendous developments in neuroscience knowledge about processes at different scales of organization together with the (...) complexity of today cognitive theories suggest that there will hardly be only three levels of explanation. Instead, there will be many different degrees of commitments corresponding to the different granularities—from high-level (behavioural) models to low-level (neural and molecular) models of the cognitive research program. For instance, Bayesian approaches, that are usually advocated for formalizing Marr’s computational level and rational behaviour, have even been adopted to model synaptic plasticity and axon guidance by molecular gradients. As a result, we can consider the behavioural scientist as dealing with models at a multiplicity of levels. The purpose of this Research Topic in Frontiers in Theoretical and Philosophical Psychology is to promote an approach to the role of the levels and explanation and models which is of interest for cognitive scientists, neuroscientists, psychologists, behavioural scientists, and philosophers of science. (shrink)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.

This dissertation 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

In this essay, I argue, via a revision of Freud's notions of primary and secondary process, that experiences of resonant form lie at the root of many serious ineffability claims. I suggest further that Western European culture's resistance to the perception of resonant form underlies some of its present crises.

I argue for two claims. First I argue against the consensus view that accurate behavioral prediction based on accurate representation of cognitive states, i.e. mind reading , is the sustaining function of propositional attitude ascription. This practice cannot have been selected in evolution and cannot persist, in virtue of its predictive utility, because there are principled reasons why it is inadequate as a tool for behavioral prediction. Second I give reasons that favor an alternative account of the sustaining function of (...) propositional attitude ascription. I argue that it serves a mind-shaping function. Roughly, propositional attitude ascription enables human beings to set up regulative ideals that function to mold behavior so as to make it easier to coordinate with. (shrink)

This paper examines the relevance of philosophical work on consciousness to its scientific study. Of particular concern is the debate over whether consciousness can be naturalized, which is typically taken to have consequences for the prospects for its scientific investigation. It is not at all clear that philosophers of consciousness have properly identified and evaluated the assumptions about scientific activity made by both naturalization and anti- naturalization projects. I argue that there is good reason to think that some of the (...) assumptions about physicalism and explanation made by the parties to the debate are open to serious doubt. Thus this paper is an invitation for those inquiring into whether consciousness can be naturalized to more carefully consider the expected payoff of such efforts. (shrink)

Koriat & Goldsmith's distinction between the correspondence and storehouse metaphors is valuable for both memory theory and methodology. It is questionable, however, whether this distinction underlies the heated debate about so called “everyday memory” research. The distinction between experimental and naturalistic methodologies better characterizes this debate. I compare these distinctions and discuss how the methodological distinction, between experimental and naturalistic designs, could give rise to different theoretical approaches.

Amit's Hebbian model risks being overexplanatory, since it does not depend on specific physiological modelling of cortical ANNs, but concentrates on those phenomena which are modelled by a large class of ANNs. While offering a strong demonstration of the presence of Hebb's “cell assemblies,” it does not offer an equal account of Hebb's “phase sequence” concept.