Online research in philosophy

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 book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de re, and de se beliefs as well as the opacity of belief reports. According to this ontology, the relata of the belief-relation are an agent and a special sort of object-dependent sense (a "thought-content"), the latter being an "abstract" property encoding various syntactic and semantic constraints on sentences of a language of thought. One bears the belief-relation to a thought-content T just (...) in case one (is disposed as one who) inwardly affirms a certain sentence S of one’s language of thought that satisfies what T encodes, which in turn requires that S’s non-logical parts stand in appropriate semantical relations to items specified by T. Since these items may include other senses as well as ordinary objects, beliefs of arbitrary complexity are automatically accommodated. Within the framework of the formal ontology, a context-dependent compositional semantics is then provided for a fragment of regimented English capable of formulating ascriptions of belief—a semantics that treats substitutional opacity as a genuine semantic datum. Finally, the resulting picture of belief and its attribution is defended by showing how it solves standard puzzles, avoids objections to rival accounts, and satisfies certain adequacy conditions not fulfilled by traditional theories. Along the way, clarification and defense is offered for the ingredient conception of object-dependent senses, and it is shown how adoption of the language of thought hypothesis permits Bertrand Russell’s obscure doctrine of logical forms to be understood in a way that not only vindicates his Multiple Relation theory of de re belief but also reveals the connection between these logical forms and thought-contents. (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). (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.

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.

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)