This is the first detailed study to explore the little-understood notions of "knowing who someone is," "knowing a person's identity," and related locutions. It locates these notions within the context of a general theory of believing and a semantical theory of belief- and knowledge-ascriptions.The books's main contention is that what one knows, when one knows who someone is, is not normally an identity in the numerical sense of "a = b," but rather a certain sort of predication to know who (...) someone is is just to know that that person is F, where "F" is a predicate that is "important," in a technical sense defined by the authors, for the purposes determined by context. Their book offers a rigorous formal semantics for ascriptions of knowing and of knowing-who in particular, solving such well-known problems and paradoxes as Kripke's Puzzle, and Quines difficulties with de re belief, along the way.The authors apply their analysis to each of several important issues in philosophy of language, philosophy of mind, and ethical theory in which the previously unexamined notion of "knowing who" has loomed large-the mechanics of linguistic referring, the foundations of epistemic logic, problems of self-knowledge and self-regarding belief, universalizability and "Golden Rule" arguments in ethics, and moral "personalism" versus "impartialism."Stephen Boër is Professor of Philosophy at the Ohio State University. William Lycan is Professor of Philosophy at the University of North Carolina and author of Logical Form in Natural Language. A Bradford Book. (shrink)

An argument is developed at some length to show that any semantical theory which treats superficially nonperformative sentences as being governed by performative prefaces at some level of underlying structure must either leave those sentences semantically uninterpreted or assign them the wrong truth-conditions. Several possible escapes from this dilemma are examined; it is tentatively concluded that such hypotheses as the Ross-Lakoff-Sadock Performative Analysis should be rejected despite their attractions.

The late 20th century saw great movement in the philosophy of language, often critical of the fathers of the subject-Gottlieb Frege and Bertrand Russell-but sometimes supportive of (or even defensive about) the work of the fathers. Howard Wettstein's sympathies lie with the critics. But he says that they have often misconceived their critical project, treating it in ways that are technically focused and that miss the deeper implications of their revolutionary challenge. Wettstein argues that Wittgenstein-a figure with whom the critics (...) of Frege and Russell are typically unsympathetic-laid the foundation for much of what is really revolutionary in this late 20th century movement. The subject itself should be of great interest, since philosophy of language has functioned as a kind of foundation for much of 20th century philosophy. But in fact it remains a subject for specialists, since the ideas are difficult and the mode of presentation is often fairly technical. In this book, Wettstein brings the non-specialist into the conversation (especially in early chapters); he also reconceives the debate in a way that avoids technical formulation. The Magic Prism is intended for professional philosophers, graduate students, and upper division undergraduates. (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.

The Substitution Anomaly is the failure of intuitively coreferential expressions of the corresponding forms “that S” and “the proposition that S” to be intersubstitutable salva veritate under certain ‘selective’ attitudinal verbs that grammatically accept both sorts of terms as complements. The Substitution Anomaly poses a direct threat to the basic assumptions of Millianism, which predict the interchangeability of “that S” and “the proposition that S”. Jeffrey King has argued persuasively that the most plausible Millian solution is to treat the selective (...) attitudinal verbs as lexically ambiguous , having distinct meanings associated with the different sorts of complement terms. In opposition this approach, I argue that there are independent reasons for maintaining the univocality of these verbs and that this can be done while accommodating the Substitution Anomaly and without sacrificing the transparency of the relevant attitude ascriptions. In particular, I show how, by employing an extended version of Edward Zalta’s system of intensional logic for abstract objects, one can construct for a regimented fragment ℜ of English containing the relevant vocabulary a semantical theory ℑ which (a) treats ℜ’s selective attitudinal verbs as univocal, (b) regards genuine terms as occurring transparently under such verbs in sentences of ℜ, and yet (c) predicts the occurrence of the Substitution Anomaly in ℜ. (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)

This paper shows in detail how the formal semiotic of M. J. Cresswell [6] may be extended to provide an account of indirect question clauses in English. The resulting account is compared at various points with the theory recently propounded by Karttunen [12] and is argued to have two major advantages over the latter in that (i) it accommodates the manifest teleological relativity of who-clauses, and (ii) it avoids the need for categorial segregation of sentence-taking verbs from wh-clause-taking verbs while (...) offering a uniform explanation of various apparent semantic differences between them. (shrink)