There are different ways to present a Presidential Address to the APA; the one I have chosen is simply to report on work that I am doing right now, on work in progress. I am going to present some of my further explorations into the computational model of the mind.\**.

According to the dominant computational approach in cognitive science, cognitive agents are digital computers; according to the alternative approach, they are dynamical systems. This target article attempts to articulate and support the dynamical hypothesis. The dynamical hypothesis has two major components: the nature hypothesis (cognitive agents are dynamical systems) and the knowledge hypothesis (cognitive agents can be understood dynamically). A wide range of objections to this hypothesis can be rebutted. The conclusion is that cognitive systems may well be dynamical systems, (...) and only sustained empirical research in cognitive science will determine the extent to which that is true. (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. (shrink)

More than a decade ago, philosopher John Searle started a long-running controversy with his paper “Minds, Brains, and Programs” (Searle, 1980a), an attack on the ambitious claims of artificial intelligence (AI). With his now famous _Chinese Room_ argument, Searle claimed to show that despite the best efforts of AI researchers, a computer could never recreate such vital properties of human mentality as intentionality, subjectivity, and understanding. The AI research program is based on the underlying assumption that all important aspects of (...) human cognition may in principle be captured in a computational model. This assumption stems from the belief that beyond a certain level, implementational details are irrelevant to cognition. According to this belief, neurons, and biological wetware in general, have no preferred status as the substrate for a mind. As it happens, the best examples of minds we have at present have arisen from a carbon-based substrate, but this is due to constraints of evolution and possibly historical accidents, rather than to an absolute metaphysical necessity. As a result of this belief, many cognitive scientists have chosen to focus not on the biological substrate of the mind, but instead on the abstract causal structure_ _that the mind embodies (at an appropriate level of abstraction). The view that it is abstract causal structure that is essential to mentality has been an implicit assumption of the AI research program since Turing (1950), but was first articulated explicitly, in various forms, by Putnam (1960), Armstrong (1970) and Lewis (1970), and has become known as _functionalism_. From here, it is a very short step to _computationalism_, the view that computational structure is what is important in capturing the essence of mentality. This step follows from a belief that any abstract causal structure can be captured computationally: a belief made plausible by the Church–Turing Thesis, which articulates the power. (shrink)

Recent worries about possible epiphenomenalist consequences of nonreductive materialism are misplaced, not, as many have argued, because nonreductive materialism does not have epiphenomenalist implications but because the epiphenomenalist implications are actually virtues of the theory, rather than vices. It is only by showing how certain kinds of mental properties are causally impotent that cognitive scientific explanations of mentality as we know them are possible.

The target article is an attempt to make some progress on the problem of color realism. Are objects colored? And what is the nature of the color properties? We defend the view that physical objects (for instance, tomatoes, radishes, and rubies) are colored, and that colors are physical properties, specifically types of reflectance. This is probably a minority opinion, at least among color scientists. Textbooks frequently claim that physical objects are not colored, and that the colors are "subjective" or "in (...) the mind." The article has two other purposes: first, to introduce an interdisciplinary audience to some distinctively philosophical tools that are useful in tackling the problem of color realism and, second, to clarify the various positions and central arguments in the debate. (shrink)

A traditional view of perception and action makestwo assumptions: that the causal flow betweenperception and action is primarily linear or one-way,and that they are merely instrumentally related toeach other, so that each is a means to the other.Either or both of these assumptions can be rejected. Behaviorism rejects the instrumental but not theone-way aspect of the traditional view, thus leavingitself open to charges of verificationism. Ecologicalviews reject the one-way aspect but not theinstrumental aspect of the traditional view, so thatperception and (...) action are seen as instrumentallyinterdependent. It is argued here that a betteralternative is to reject both assumptions, resultingin a two-level interdependence view in whichperception and action co-depend on dynamicallycircular subpersonal relations and as a result may bemore than merely instrumentally interdependent. Thisis illustrated by reference to motor theories ofperception and control theories of action. (shrink)

Imagine yourself sitting on your front porch, sipping your morning coffee and admiring the scene before you. You see trees, houses, people, automobiles; you see a cat running across the road, and a bee buzzing among the flowers. You see that the flowers are yellow, and blowing in the wind. You see that the people are moving about, many of them on bicycles. You see that the houses are painted different colors, mostly earth tones, and most are one-story but a (...) few are two-story. It is a beautiful morning. Thus the world interfaces with your mind through your senses. There is a strong intuition that we are not disconnected from the world. We and the other things we see around us are part of a continuous whole, and we have direct access to them through vision, touch, etc. However, the philosophical tradition tries to drive a wedge between us and the world by insisting that the information we get from perception is the result of inference from indirect evidence that is about how things look and feel to us. The philosophical problem of perception is then to explain what justifies these inferences. We will focus on visual perception. Figure one presents a crude diagram of the cognitive system of an agent capable of forming beliefs on the basis of visual perception. Cognition begins with the stimulation of the rods and cones on the retina. From that physical input, some kind of visual processing produces an introspectible visual image. In response to the production of the visual image, the cognizer forms beliefs about his or her surroundings. Some beliefs the perceptual beliefs are formed as direct responses to the visual input, and other beliefs are inferred from the perceptual beliefs. The perceptual beliefs are, at the very least, caused or causally influenced by having the image. This is signified by the dashed arrow marked with a large question mark. We will refer to this as the mystery link. Figure one makes it apparent that in order to fully understand how knowledge is based on perception, we need three different theories.. (shrink)

The Gestalt psychologists adopted a set of positions on mind-body issues that seem like an odd mix. They sought to combine a version of naturalism and physiological reductionism with an insistence on the reality of the phenomenal and the attribution of meanings to objects as natural characteristics. After reviewing basic positions in contemporary philosophy of mind, we examine the Gestalt position, characterizing it m terms of phenomenal realism and programmatic reductionism. We then distinguish Gestalt philosophy of mind from instrumentalism and (...) computational functionalism, and examine Gestalt attributions of meaning and value to perceived objects. Finally, we consider a metatheoretical moral from Gestalt theory, which commends the search for commensurate description of mental phenomena and their physiological counterparts. (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.

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

In her landmark book, Language, Thought, and Other Biological Categories (Millikan1984),1 Ruth Garrett Millikan utilizes the idea of a biological function to solve philosophical problems associated with the phenomena of language, thought, and meaning. Language and thought are activities of biological organisms, according to Millikan, and we should treat them as such when trying to answer related philosophical questions. Of special interest is Millikan’s treatment of intentionality. Here Millikan employs the notion of a biological function to explain what it is (...) for one thing in nature, a bee dance (43), for example, to be about another, in this case, the location of a nectar source. My concern in this paper is to understand whether Millikan’s account of intentionality adequately explains how humans achieve reference, in language or thought, to individuals and groups in their environment. In bringing her theory of intentional content to bear on human activities, Millikan focuses largely on natural language. Thus, in what follows, I begin by laying out the biology-based principles that underlie Millikan’s theory of content, then proceed with an explanation of how the theory is to apply to natural language. As it appears, Millikan’s account of how content is determined for natural language terms and sentences rests on the determinacy of intentional content at the psychological level. This leads me to take a careful look at what Millikan says about the content of mental representations, in hopes of finding a sufficient basis there for the application of Millikan’s theory of content to natural language. Ultimately, I conclude that Millikan’s theory faces a problem of vacuity. If we approach the theory as a theory of intentional content, intended to explain the nature of reference, the theory is lacking in an extremely important respect: Millikan explains how it could be one of the biological functions of a mental or natural language term to refer, without telling us precisely what in the natural order constitutes the reference relation.. (shrink)

The goal of philosophy of information is to understand what information is, how it operates, and how to put it to work. But unlike ‘information’ in the technical sense of information theory, what we are interested in is meaningful information. To understand the nature and dynamics of information in this sense we have to understand meaning. What we offer here are simple computational models that show emergence of meaning and information transfer in randomized arrays of neural nets. These we take (...) to be formal instantiations of a tradition of theories of meaning as use. What they offer, we propose, is a glimpse into the origin and dynamics of at least simple forms of meaning and information transfer as properties inherent in behavioral coordination across a community. (shrink)

The Language of Thought Hypothesis is often taken to have the fatal flaw that it generates an explanatory regress. The language of thought is invoked to explain certain features of natural language (e.g., that it is learned, understood, and is meaningful), but, according to the regress argument, the language of thought itself has these same features and hence no explanatory progress has been made. We argue that such arguments rely on the tacit assumption that the entire motivation for the language (...) of thought consists in explaining the explanandum that allegedly generates the regress. But this tacit assumption is simply false. The Language of Thought Hypothesis is a cogent view and one with considerable explanatory advantages. (shrink)

Key Terms: Phenomenal consciousness, access consciousness, qualitative character, subjective character, intransitive self-consciousness, disposition, categorical basis, subliminal perception, blindsight.

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)

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)

Je soutiens qu’accepter les explications réalistes intentionnelles du comportement cognitif conduit inévitablement à endosser l’hypothèse du langage de la pensée, et que cette position théorique est, par conséquent, largement répandue chez les philosophes de l’esprit. Au cours de la discussion, je propose un exposé succinct et précis de cette hypothèse et j’analyse une série d’exemples représentatifs de l’argumentation pro-LOT. Après avoir examiné deux cas de résistance à ce type de raisonnement, je conclus en montrant que le soutien accordé à la (...) LOT est empiriquement substantiel, en dépit de la flexibilité et du caractère incomplet de cette hypothèse. (shrink)

Following Gilbert Ryle’s arguments, many philosophers took it for granted that someone knows how to do something just in case they have the ability to do it. Within the last couple decades, new intellectualists have challenged this longstanding anti-intellectualist assumption. Their central contention is that mere abilities aren’t on the same rational, epistemic level as know how. My goal is to intellectualize know how without over-intellectualizing it. Intelligent behavior is characteristically flexible or responsive to novelty, and the distinctive feature of (...) creatures who exhibit flexible behavior is their capacity to learn. As it turns out, Ryle already identified a core characteristic of learning shared widely across the animal kingdom from the lowly rat to the top athlete. Taking my cues from Ryle, I argue that know how is successful performance resulting from self-regulated abilities. To regulate an ability is to be disposed to adjust to error and respond to feedback. While regulating sophisticated human abilities often requires propositional knowledge, in many simpler cases it does not. I focus on the navigational know how of rats and honeybees. Although they possess know how, whether they possess propositional knowledge is at best an open question. (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 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)

In this dissertation, I provide an interpretation and defense of Merleau-Ponty's thesis of the primacy of perception, namely, the thesis that all knowledge is founded in perceptual experience. I take as an interpretative and argumentative key Merleau-Ponty's phenomenological conception of motivation. Whereas epistemology has traditionally accepted a dichotomy between reason and natural causality, I show that this dichotomy is not exhaustive of the forms of epistemic grounding. There is a third type of grounding, the one characteristic of the grounding relations (...) found in perception: motivation. I argue that introducing motivation as a form of epistemic grounding allows us to see how Merleau-Ponty's thesis of the primacy of perception avoids both rationalism and empiricism. Whereas empiricism has argued that all the content of our knowledge is grounded in causal interactions between the world and our senses, and rationalism has held that experience does not suffice as a reason for knowledge, thinking of the relation between experience and knowledge in terms of motivation accommodates the best insights of rationalism and empiricism. Motivation allows us to see how knowledge can be grounded in experience without the content of knowledge being reducible to that of experience. (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 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.

This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for epistemic intensions. The homotopic abstraction principle for epistemic intensions provides an epistemic conduit into our knowledge of intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, Bayesian perceptual psychology, (...) and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the Language of Thought. (shrink)

This paper examines the interaction between the philosophy and psychology of concepts and the modal characterization of the deductive concept of logical validity. The concept of logical consequence on which I focus is model-theoretic, where the concept records the property of necessary truth-preservation from the premise of an argument to its conclusion, as well as the condition that, in the class of all possible worlds in which a premise is true, a consequent formula or succedent class of formulas is true, (...) as well. Focusing on the case of logical necessity, I argue that the ability to account for the modal properties of concepts places a desideratum on the explanatory adequacy of theories of mental representation. I outline, then, five approaches to the nature of concepts pursued in philosophy and cognitive science, and argue that the above desideratum does not appear to be satisfiable by the candidate proposals. Given the limits of the foregoing, I appeal to a sixth approach -- namely, cognitivism about epistemic modality, according to which epistemic intensions are semantically imbued functions in the language of thought -- and endeavor to demonstrate how the proposal can sufficiently account for the modal profile of the concept of logical consequence. (shrink)

In this paper I argue that, by combining eliminativist and fictionalist approaches toward the sub-personal representational posits of predictive processing, we arrive at an empirically robust and yet metaphysically innocuous cognitive scientific framework. I begin the paper by providing a non-representational account of the five key posits of predictive processing. Then, I motivate a fictionalist approach toward the remaining indispensable representational posits of predictive processing, and explain how representation can play an epistemologically indispensable role within predictive processing explanations without thereby (...) requiring that representation metaphysically exists. Finally, I outline four consequences of accepting this approach and explain why they are beneficial: we arrive at a victory for metaphysical eliminativism in the ‘representation wars’; my account fits with extant empirical practice; my account provides guidance for future research; and, my account provides the beginnings of a response to Mark Sprevak’s IBE problem for fictionalist approaches toward sub-personal representation. (shrink)

The rise of Bayesianism in cognitive science promises to shape the debate between nativists and empiricists into more productive forms—or so have claimed several philosophers and cognitive scientists. The present paper explicates this claim, distinguishing different ways of understanding it. After clarifying what is at stake in the controversy between nativists and empiricists, and what is involved in current Bayesian cognitive science, the paper argues that Bayesianism offers not a vindication of either nativism or empiricism, but one way to talk (...) precisely and transparently about the kinds of mechanisms and representations underlying the acquisition of psychological traits without a commitment to an innate language of thought. (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)

A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. But it's hardly a conceptual or analytical truth that if a glass contains water, then it contains H2O-molecules. Neither is it a priori. The fact that water is composed of H2O-molecules was an empirical discovery made in the eighteenth century. (...) The fact that all bachelors are unmarried was not. But neither is a logical truth, so how do we explain the difference? Two-dimensional semantics is a framework that promises to shed light on these issues. The main purpose of this thesis is to understand and evaluate this framework in relation to various alternatives, to see whether some version of it can be defended. I argue that it fares better than the alternatives. However, much criticism of two-dimensionalism has focused on its alleged inability to provide a proper semantics for certain epistemic operators, in particular the belief operator and the a priori operator. In response to this criticism, a two-dimensional semantics for belief ascriptions is developed using structured propositions. In connection with this, a number of other issues in the semantics of belief ascriptions are addressed, concerning indexicals, beliefs de se, beliefs de re, and the problem of logical omniscience. (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)

Chomsky’s (1995, 2000a) Minimalist Program (MP) invites a perspective on semantics that is distinctive and attractive. In section one, I discuss a general idea that many theorists should find congenial: the spoken or signed languages that human children naturally acquire and use— henceforth, human languages—are biologically implemented procedures that generate expressions, whose meanings are recursively combinable instructions to build concepts that reflect a minimal interface between the Human Faculty of Language (HFL) and other cognitive systems. In sections two and three, (...) I develop this picture in the spirit of MP, in part by asking how much of the standard Frege-Tarski apparatus is needed in order to provide adequate and illuminating descriptions of the “concept assembly instructions” that human languages can generate. I’ll suggest that we can make do with relatively little, by treating all phrasal meanings as instructions to assemble number-neutral concepts that are monadic and conjunctive. But the goal is not to legislate what counts as minimal in semantics. Rather, by pursuing one line of Minimalist thought, I hope to show how such thinking can be fruitful. (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)

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)

This paper defends Michel Foucault’s notion of archaeology of knowledge against the influential and putatively devastating criticism by Dreyfus and Rabinow that Foucault’s archaeological project is based on an incoherent conception of the rules of the discursive practices it purports to study. I argue first that Foucault’s considered view of these rules as simultaneously implicit and historically efficacious corresponds to a general requirement for the normative structure of a discursive practice. Then I argue that Foucault is entitled to that view (...) despite the charges to the contrary by Dreyfus and Rabinow. I also explain in detail how the argument by Dreyfus and Rabinow arises from a misunderstanding of Foucault’s archaeological project as transcendental inquiry, while archaeology of knowledge is, in fact, a diagnostic project. The result is a novel understanding of the notion of archaeology of knowledge that enables a reassessment of Foucault’s philosophical work in connection with current debates regarding the relationship between reflection and practice in the structure of thought. (shrink)

When do we agree? The answer might once have seemed simple and obvious; we agree that p when we each believe that p. But from a formal epistemological perspective, where degrees of belief are more fundamental than beliefs, this answer is unsatisfactory. On the one hand, there is reason to suppose that it is false; degrees of belief about p might differ when beliefs simpliciter on p do not. On the other hand, even if it is true, it is too (...) vague; for what it is to believe simpliciter ought to be explained in terms of degrees of belief. This paper presents several possible notions of agreement, and corresponding notions of disagreement. It indicates how the findings are fruitful for the epistemology of disagreement, with special reference to the notion of epistemic peerhood. (shrink)

Reliable misrepresentation is getting things wrong in the same way all the time. In Mendelovici 2013, I argue that tracking theories of mental representation cannot allow for certain kinds of reliable misrepresentation, and that this is a problem for those views. Artiga 2013 defends teleosemantics from this argument. He agrees with Mendelovici 2013 that teleosemantics cannot account for clean cases of reliable misrepresentation, but argues that this is not a problem for the views. This paper clarifies and improves the argument (...) in Mendelovici 2013 and response to Artiga's arguments. Tracking theories, teleosemantics included, really do need to allow for clean cases of reliable misrepresentation. (shrink)

This paper concerns the dialectal role of Frege Cases in the debate between Concept Cartesians and Concept Pragmatists. I take as a starting point Christopher Peacocke’s argument that, unlike Cartesianism, his ‘Fregean’ Pragmatism can account for facts about the rationality and epistemic status of certain judgments. I argue that since this argument presupposes that the rationality of thoughts turn on their content, it is thus question-begging against Cartesians, who claim that issues about rationality turn on the form, not the content, (...) of thoughts. I then consider Jerry Fodor’s argument that ‘modes of presentation’ are not identical with Fregean senses, and argue that explanatory considerations should leads us to reject his ‘syntactic’ treatment of Frege cases. Rejecting the Cartesian treatment of Frege cases, however, is not tantamount to accepting Peacocke’s claim that reasons and rationality are central to the individuation of concepts. For I argue that we can steer a middle course between Fodor’s Cartesianism and Peacocke’s Pragmatism, and adopt a form of Pragmatism that is constrained by Fregean considerations, but at the same time denies that concepts are constitutively tied to reasons and rationality. (shrink)

Much of the contemporary research in cognitive psychology presupposes an information processing or computational model of human cognitive processes. On this view cognitive states are characterized as relations to internally inscribed representations. Jerry Fodor and Zenon Pylyshyn have argued that those representations have a combinatorial syntax and a compositional semantics, and Fodor has argued that the individuation of representations according to semantic type corresponds, roughly, to individuation according to syntactic type. ;I investigate whether this computational model requires us to appeal, (...) directly or indirectly, to the semantic properties of representations when we explain cognitive behavior. I first discuss the requirements of scientific explanation in general, and the constraints of "materialism" and "physicalism" in particular. Then I outline how it is possible for semantic entities to be involved in cognitive explanations, and how Fodor and Pylyshyn think they are involved in explanations on the computational model. I consider whether, given the computational model, references to representations are necessary to explain cognitive processes or whether references to representations can be eliminated in favor or references to uninterpreted formulae. Finally I criticize the argument, suggested by both Fodor and Pylyshyn, that it is our ability to respond to nonnomic or nonprojectable properties of stimuli that requires explanation in terms of the semantic properties of representations. (shrink)

Most people find it obvious that concepts like APPLE, DOG, WATER, CACTUS, SWIM, CHIRP, FURRY, and SMOOTH are acquired from perceptual experiences along with some kind of inferential procedure. Models of how these concepts are inferentially acquired, however, force the acquired concepts to be representationally complex, built from, and composed by, the more primitive representations. Since at least the time of Plato, philosophers and psychologists have struggled to find complex sets of representations that have the same meanings, definitionally or probabilistically, (...) as these concepts. For example, to think about the property-kind being gold is not the same as to think about the complex property-kind being yellowish & shiny & malleable.... I call this Fodor's Challenge: Find an acquisition process that is genuinely inferential and yields a concept that genuinely is one of these lexical concepts. Rather than continue the pursuit of a complex representation that has the same meaning as our concept GOLD. I offer a model on which many lexical concepts are acquired from perception and inference, without being built up from, and composed by, the representations involved. The model, Baptizing Meanings for Concepts, is inspired in part by Saul Kripke's baptism process for assigning meanings to linguistic terms. Many lexical concepts, according to the BMC, are acquired by inferring the presence a new property-kind, picking out the property-kind in terms of those perceptible features, and then assigning a simple mental term, a concept, for that property-kind. (shrink)

Models of memory in cognitive science and philosophy have traditionally explained human remembering in terms of storage and retrieval. This tendency has been entrenched by reliance on computationalist explanations over the course of the twentieth century; even research programs that eschew computationalism in name, or attempt the revision of traditional models, demonstrate tacit commitment to computationalist assumptions. It is assumed that memory must be stored by means of an isomorphic trace, that memory processes must divide into conceptually distinct systems and (...) phases, and that human remembering consists in inner, cognitive processes that are implemented by distinct neural processes. This dissertation draws on recent empirical work, and on philosophical arguments from Ludwig Wittgenstein and others, to demonstrate that this latent computationalism in the study of memory is problematic, and that it can and should be eliminated. Cognitive psychologists studying memory have encountered numerous data in recent decades that belie archival models. In cognitive neuroscience, establishing the neural basis of storage and retrieval processes has proven elusive. A number of revised models on offer in memory science, that have taken these issues into account, fail to sufficiently extricate the archival framework. Several impasses in memory science are products of these underlying computationalist assumptions. Wittgenstein and other philosophers offer a number of arguments against the need for, and the efficacy of, the storage and retrieval of traces in human remembering. A study of these arguments clarifies the ways that these computationalist assumptions are presently impeding the science of memory, and provides ways forward in removing them. We can and should characterize and model human memory without invoking the storage and retrieval of traces. A range of work in connectionism, dynamical systems theory, and recent philosophical accounts of memory demonstrate how the science of memory can proceed without these assumptions, toward non-archival models of remembering. (shrink)