A process-oriented model of belief is presented which permits the representation of nested propositional attitudes within first-order logic. The model (NIM, for nested intensional model) is axiomatized, sense-based (via intensions), and sanctions inferences involving nested epistemic attitudes, with different agents and different times. Because NIM is grounded upon senses, it provides a framework in which agents may reason about the beliefs of another agent while remaining neutral with respect to the syntactic forms used to express the latter agent's beliefs. Moreover, (...) NIM provides agents with a conceptual map, interrelating the concepts of knowledge, belief, truth, and a number of cognate concepts, such as infers, retracts, and questions. The broad scope of NIM arises in part from the fact that its axioms are represented in a novel extension of first-order logic, -FOL (presented herein). -FOL simultaneously permits the representation of truth ascriptions, implicit self-reference, and arbitrarily embedded sentences within a first-order setting. Through the combined use of principles derived from Frege, Montague, and Kripke, together with context-sensitive semantic conventions, -FOL captures the logic of truth inferences, while avoiding the inconsistencies exhibited by Tarski. Applications of -FOL and NIM to interagent reasoning are described and the soundness and completeness of -FOL are established herein. (shrink)

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

The purpose of this article is to examine two major arguments in favour of the philosophical thesis that the meaning of an expression is its use, and not its referent or what it corresponds to. A second philosophical thesis which is closely related to the first is that the study of the ordinary, “actual” uses of certain expressions is not of purely linguistic interest but in fact is a way, probably the only proper way, of solving the problems of traditional (...) philosophy; in the sequel to the present article, we shall examine one major argument in favour of this second thesis. Both theses occupy a place of central importance in the dominant movement in contemporary British philosophy, to which we shall refer as “the philosophy of ordinary language”. Together they seem to constitute the basis of the most characteristic claim of this movement: that traditional philosophic discourse is logically improper and that philosophy is a legitimate cognitive discipline only if it is concerned with “the spatial and temporal phenomenon of language” by describing “the actual use of language”. Both theses are necessary for the justifi cation of this more general claim. (shrink)

In this essay, I have rejected the inductive interpretation of the paradigm of contextual implication (to say “p”; is to imply that one believes that ) and proposed in its stead an explicatory model according to which a speaker in making a statement contextually implies whatever one is entitled to infer on the basis of the presumption that his act of stating is normal. In developing this model, I show how contextual implication depends on three distinct matters: a stating context, (...) presumptions of normality, and rules for the correct use of expressions. (shrink)