This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

This thesis offers a teleosemantic account of moral discourse and judgment. It develops a number of views about the function and content of moral judgments and the nature of moral discourse based on Ruth Millikan’s theory of intentional content and the functions of intentional attitudes. Non-cognitivists in meta-ethics have argued that moral judgments are more akin to desires and other motivational attitudes than to descriptive beliefs. I argue that teleosemantics allows us to assign descriptive content to motivational attitudes and hence (...) that even if the non-cognitivist is correct, moral judgments can be said to describe the world. Moreover, given further teleosemantic assumptions, this conclusion has consequences that are both surprising and interesting. First of all, while moral judgments have descriptive content, moral statements do not. The purpose of moral discourse is not to convey beliefs that are true simpliciter, but to convey attitudes that are descriptively correct when tokened by the addressee. Consequently, moral discourse requires speakers to adapt to hearers in order to secure their assent and bring them into "community of judgment" with themselves. Secondly, the descriptive content of a motivational attitude is partly a matter of the subject’s own preferences and circumstances. In particular, the descriptive correctness of a moral judgment is partly a function of the degree to which it is shared with others. Since a moral judgment also motivates the subject to spread it, it has the ability to, in a certain sense, make itself true. If regular descriptive beliefs are supposed to adapt the subject to the world, a moral judgment also has the capacity to adapt the world to the subject. (shrink)

How did I raise my arm? The simple answer is that I raised it as a consequence of intending to raise it. A slightly more complicated response would mention the absence of any factors which would inhibit the execution of the intention- and a more complicated one still would specify the intention in terms of a goal (say, drinking a beer) which requires arm-raising as a means towards that end. Whatever the complications, the simple answer appears to be on the (...) right track. (shrink)

According to the mental continuity claim (MCC), human mental faculties are physical and beneficial to human survival, so they must have evolved gradually from ancestral forms and we should expect to see their precursors across species. Materialism of mind coupled with Darwin’s evolutionary theory leads directly to such claims and even today arguments for animal mental properties are often presented with the MCC as a premise. However, the MCC has been often challenged among contemporary scholars. It is usually argued that (...) only humans use language and that language as such has no precursors in the animal kingdom. Moreover, language is quite often understood as a necessary tool for having representations and forming beliefs. As a consequence, by lacking language animals could not have developed representational systems or beliefs. In response to these worries, we aim to mount a limited defense of the MCC as an empirical hypothesis. First, we will provide a short historical overview of the origins of the MCC and examine some of the motives behind traditional arguments for and against it. Second, we will focus on one particular question, namely whether language as such is necessary for having beliefs. Our goal is to show that there is little reason to think language is necessary for belief. In doing so, we will challenge a view of belief that is widely accepted by those working in animal cognition, namely representational belief, and we will argue that if belief is non-representational, then different research questions and methods are required. We will conclude with an argument that to study the evolution of belief across species, it is essential to begin the study of subjects in their social and ecological environment rather than in contexts that are not ecologically valid along the social and ecological dimensions. Thus, rather than serving as a premise in an argument 3 in favor of animal minds, the MCC can only be defended by empirical investigation, but importantly, empirical investigation of the right sort.. (shrink)

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content is (...) extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

Theories of cognition and theories of social practices and institutions have often each separately acknowledged the relevance of the other; but seldom have there been consistent and sustained attempts to synthesize these two areas within one explanatory framework. This is precisely what my dissertation aims to remedy. I propose that certain recent developments and themes in philosophy of mind and cognitive science, when understood in the right way, can explain the emergence and dynamics of social practices and institutions. Likewise, the (...) view I construct explains how social practices and institutions shape the character of cognition of their constituent agents. Moreover, I explain both cognitive and social agency under the single explanatory framework provided by Dynamic Systems Theory. Drawing upon the phenomenological tradition, "embodied, "extended", "embedded", "enactive", and "ecological" approaches to cognition, as well as the conceptual resources of Dynamic Systems Theory, I construct a theory of agency that sees cognitive and social agents as far-from-equilibrium, open, recursively self-maintenant dynamic systems. Depending on the specifics of concrete circumstances, such systems, which I call "Dynamic Embodied Agents", may develop and possess emergent capacities for error-detection, flexible learning, normative behavior, representation, self-reflection, various modes of pattern-recognition, a temporal sense of self, and even moral responsibility. Some such systems are also sensitive to perceived social influences ; while reciprocally constituting and causally affecting them. (shrink)

My aim in this thesis is to explain how a non-reductionist metaphysics can accommodate the causal relevance of the psychological and of the special sciences generally. According to physicalism, all behavior is caused by brain-states; given "folk-psychology", behavior is caused by some psychological state. If psychological states are distinct from brain states, then our behavior is overdetermined and this, it is claimed, is unacceptable. I argue that this consequence is not unacceptable. I claim that our explanatory practice should guide our (...) ontological commitment. If we can offer true explanations that appeal to more than one event, then we are committed to overdetermination for the event explained. I argue that accepting overdetermination is not absurd and that we can give an adequate account of causal relevance for psychological and other supervenient properties. The result is a partial defense of both property and event pluralism. Recent work by Davidson, Fodor, Jackson, Kim, Pettit and Yablo receives explicit and critical discussion. (shrink)