The Representational Theory of the Mind allows for psychological explanations couched in terms of the contents of propositional attitudes. Propositional attitudes themselves are taken to be relations to mental representations. These representations (partially) determine the contents of the attitudes in which they figure. Thus, Representationalism owes an explanation of the contents of mental representations. This essay constitutes an atomistic theory of the content of formally or syntactically simple mental representation, proposing that the content of such a representation is determined by (...) the intersection of the representation's correlational and control properties. The theory is distinguished from standard information-based accounts of mental content in allowing that the relevant correlations be contingent while insisting on an efferent aspect to mental content. The theory on offer allows for a natural explanation of misrepresentation, finds a niche for the notion of narrow content, welcomes radical first person fallibility with respect to questions of content, admits of mental ambiguity and recognizes that the future of a psychological agent is a factor in determining the content of the agent's present psychological states. (shrink)

This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a "thought-content") which contains a way of thinking of that truth condition; (3) for an agent a to have a belief "about" such-and-such items it (...) is necessary that a possesses a language of thought, $M_{a}$ , and that a (is disposed as one who) inwardly affirms a sentence of $M_{a}$ in which there are terms that denote those objects. Employing an extended version of E. Zalta's system ILAO, the proffered theory locates thought-contents within a typed hierarchy of "senses" and their "modes of presentation", the provisional definitions of which (suppressing complications added later to accommodate the contents of beliefs about beliefs) are as follows. A mode of presentation of e is a ternary relation of the sort [λxyz z is a name in $M_{y}$ that denotes x, and $D_{e}yz$ ] in which $D_{e}$ is an e-determiner - a relation between agents and their mental expressions imposing a syntactico-semantic condition sufficient for such an expression to denote e therein. A sense of an entity e is an abstract property that "contains" a mode of presentation $R_{e}$ of e by dint of encoding its property-reduct [λx(∃y)(∃z) $R_{e}xyz$ ]. In particular, a thought-content is a sense T of an ordinary first-order property P containing a mode of presentation whose P-determiner $D_{P}$ is such that, for any y and z, $D_{P}yz$ entails that z is a λ-abstract [λv S] of $M_{y}$ in which S is a sentence whose non-logical parts stand in appropriate semantic relations to the constituents of T's (some of which may themselves be senses). Where $I_{a}$ is agent a's dedicated self-demonstrative and |T| is the mode of presentation contained in a thought-content T, the belief relation itself is then characterized as obtaining between a and T iff a( is disposed as one who) inwardly affirms the substitution instance $S(I_{a}/v)$ of a sentence S in $M_{a}$ such that |T|(P, a, [λv S]). The aforementioned "constituents" and "appropriate semantic relations" are formally characterized so as to permit a system of canonical descriptions for thought-contents of arbitrary complexity. These canonical descriptions are then employed to chart the nature and interrelations of belief de re, de dicto and de se and to identify the source of opacity in belief ascription. (shrink)

Christopher Peacocke has presented an original version of the perennial philosophical thesis that we can gain substantive metaphysical and epistemological insight from an analysis of our concepts. Peacocke's innovation is to look at how concepts are individuated by their possession conditions, which he believes can be specified in terms of conditions in which certain propositions containing those concepts are accepted. The ability to provide such insight is one of Peacocke's major arguments for his theory of concepts. I will critically examine (...) this "fruitfulness" argument by looking at one philosophical problem Peacocke uses his theory to solve and treats in depth. Peacocke (1999, 2001) defines what he calls the "Integration Challenge." The challenge is to integrate our metaphysics with our epistemology by showing that they are mutually acceptable. Peacocke's key conclusion is that the Integration Challenge can be met for "epistemically individuated concepts." A good theory of content, he believes, will close the apparent gap between an account of truth for any given subject matter and an overall account of knowledge. I shall argue that there are no epistemically individuated concepts, and shall critically analyze Peacocke's arguments for their existence. I will suggest more generally that the possession conditions of concepts and their principles of individuation shed little light on the epistemology or metaphysics of things other than concepts. My broader goal is to shed light on what concepts are by showing that they are more fundamental than the sorts of cognitive and epistemic factors a leading theory uses to define them. (shrink)

The proper treatment of computationalism, as the thesis that cognition is computable, is presented and defended. Some arguments of James H. Fetzer against computationalism are examined and found wanting, and his positive theory of minds as semiotic systems is shown to be consistent with computationalism. An objection is raised to an argument of Selmer Bringsjord against one strand of computationalism, namely, that Turing-Test± passing artifacts are persons, it is argued that, whether or not this objection holds, such artifacts will inevitably (...) be persons. (shrink)

The aim of this paper is to show how, by developing apparatus that has roots in Russell's own early work, it is possible to vindicate a version of his notorious "multiple relation" theory of judgment by formally reducing it to a plausible representationalist theory. Various adequacy conditions on such a reductive vindication are introduced and motivated. The theories in question are then axiomatized, and bridge principles are provided to effect the desired reduction. Finally, the reduction is shown to be a (...) vindication in virtue of meeting all of the aforementioned adequacy conditions. (shrink)

This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.