For Perry and many authors, de se thoughts are a species of de re thought. In this paper, I argue that de se thoughts come in two varieties: explicit and implicit. While explicit de se thoughts can be construed as a variety of de re thought, implicit de se thoughts cannot: their content is thetic, while the content of de re thoughts is categoric. The notion of an implicit de se thought is claimed to play a central role in accounting (...) for the phenomenon of immunity to error through misidentification. Lewis has attempted to unify de re and de se in the opposite direction: by reducing de re to de se . This, however, works only if we internalize the acquaintance relations. I criticize Lewis's internalization strategy on the grounds that it rests on Egocentrism (the view that every occurrent thought is ultimately about the thinker at the time of thinking). In the conclusion, I suggest another way of unifying de re and de se , by extending the implicit/explicit distinction to de re thoughts themselves. (shrink)

For Perry and many authors, de se thoughts are a species of de re thought ; for Lewis, it is the other way round. To a large extent, the conflict between the two positions is merely apparent: it is due to insufficient appreciation of the crucial distinction between two types of de se thought. In view of this distinction, we can maintain both that de se thought is a special case of de re thought, and that de re thought is (...) a special case of de se thought. Still, I argue, Lewis's position can be criticized on the grounds that it internalizes acquaintance relations. (shrink)

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

'You ask me about the idiosyncrasies of philosophers? There is their lack of historical sense, their hatred of even the idea of becoming, their Egyptianism. They think they are doing a thing honour when they dehistoricize it, sub specie aeternitatis — when they make a mummy of it.'Nietzsche, Twilight of the Idols.

I consider whether the self-ascription theory can succeed in providing a tenseless (B-theoretic) account of tensed belief and timely action. I evaluate an argument given by William Lane Craig for the conclusion that the self-ascription account of tensed belief entails a tensed theory (A-theory) of time. I claim that how one formulates the selfascription account of tensed belief depends upon whether one takes the subject of selfascription to be a momentary person-stage or an enduring person. I provide two different formulations (...) of the self-ascription account of tensed belief, one that is compatible with a perdurantist account of persons and the other that is compatible with an endurantist account of persons. I argue that a self-ascription account of tensed beliefs for enduring subjects most plausibly involves the self-ascription of relations rather than properties. I argue that whether one takes the subject of self-ascription to be a momentary personstage or an enduring person, the self-ascription theory provides a plausible B-theoretic account of how tensed belief and timely action are possible. (shrink)

There is currently disagreement about whether the phenomenon of first-person, or de se, thought motivates a move towards special kinds of contents. Some take the conclusion that traditional propositions are unable to serve as the content of de se belief to be old news, successfully argued for in a number of influential works several decades ago.1 Recently, some philosophers have challenged the view that there exist uniquely de se contents, claiming that most of the philosophical community has been under the (...) grip of an attractive but unmotivated myth.2 At the very least, this latter group has brought into question the arguments in favor of positing special kinds of content for de se belief; I think they have successfully shown that these arguments are not as conclusive, or fully articulated, as many have taken them to be. In this paper I will address these challenges directly and I will present and defend an argument for the conclusion that the phenomenon of de se thought does indeed motivate the move to a special kind of content, content that is uniquely de se. First, I characterize a notion of de se belief that is neutral with respect to friends and foes of uniquely de se content. I then argue for a determination thesis relating de se belief to belief content: that there is no difference in de se belief without a difference in belief content. I argue that various proposals for rejecting this determination thesis are unsuccessful. In the last part of the paper, I employ this determination thesis to argue for the existence of a type of belief content that is uniquely de se. (shrink)

In her influential paper, ‘The First Person,’ Elizabeth Anscombe brings together a number of considerations which, she believes, lead to the startling conclusion that the first person pronoun is not a referring expression — that ‘I’ is never used to refer. This is startling, because if we consider even superficially the logical properties of first person statements, nothing could, prima facie, seem more obvious than that in any such statement, the first person pronoun functions logically as a singular referring expression. (...) Moreover, Anscombe herself offers the following informal gloss on the truth conditions of first person assertions: ‘If X asserts something with ‘I’ as subject, his assertion will be true if and only if what he asserts is true of X.’. (shrink)

It is sometimes said that questions of form are questions of logic or language. In his "Logical Investigations" Husserl, however, clearly distinguished formal ontology from formal grammar and formal logic. The article attempts to explain Husserl's notion of formal ontology. It investigates the relation between formal and material ontology as well as the relation between epistemic and metaphysical necessity. The article provides an interpretation of Husserl's claim that there are metaphysical necessities which are necessarily recognized by the human mind on (...) the basis of Husserl's well-known distinction between the meanings of mental acts and their objective correlates. (shrink)

When an agent undergoes fission, how should the beliefs of the fission results relate to the pre-fission beliefs? This question is important for the Everett interpretation of quantum mechanics, but it is of independent philosophical interest. Among other things, fission scenarios demonstrate that ‘self-locating’ information can affect the probability of uncentred propositions even if an agent has no essentially self-locating uncertainty. I present a general update rule for centred beliefs that gives sensible verdicts in cases of fission, without relying on (...) controversial metaphysical or linguistic assumptions. The rule is supported by the same considerations that support standard conditioning in the traditional framework of uncentred propositions. (shrink)

It is a common intuition that I am in a better position to know my own mental states than someone else's. One view that takes this intuition very seriously is Neo-Expressivism, providing a “non-epistemic” account of first-person privilege. But some have denied that we enjoy any principled first-person privilege, as do those who have the Third-Person View, according to which there is no deep difference in our epistemic position with regard to our own and others' mental states. Despite their apparently (...) deep differences, I argue that Neo-Expressivism and the Third-Person View differ in their location of first-person privilege. This difference in the source of first-person privilege allows the key elements of each of these views to be compatible, and can even be combined into a single view about the nature of introspection and self-knowledge. The compatibility of these two views that otherwise appear to be in direct opposition is methodologically significant, highlighting several dialectical lessons that clar.. (shrink)

Terence Horgan defends the thirder position on the Sleeping Beauty problem, claiming that Beauty can, upon awakening during the experiment, engage in “synchronic Bayesian updating” on her knowledge that she is awake now in order to justify a 1/3 credence in heads. In a previous paper, I objected that epistemic probabilities are equivalent to rational degrees of belief given a possible epistemic situation and so the probability of Beauty’s indexical knowledge that she is awake now is necessarily 1, precluding such (...) updating. In response, Horgan maintains that the probability claims in his argument are to be taken, not as claims about possible rational degrees of belief, but rather as claims about “quantitative degrees of evidential support.” This paper argues that the most plausible account of quantitative degree of support, when conjoined with any of the three major accounts of indexical thought in such a way as to plausibly constrain rational credence, contradicts essential elements of Horgan’s argument. (shrink)

A prominent but poorly understood domain of human agency is mental action, i.e., thecapacity for reaching specific desirable mental statesthrough an appropriate monitoring of one's own mentalprocesses. The present paper aims to define mentalacts, and to defend their explanatory role againsttwo objections. One is Gilbert Ryle's contention thatpostulating mental acts leads to an infinite regress.The other is a different although related difficulty,here called the access puzzle: How can the mindalready know how to act in order to reach somepredefined result? A (...) crucial element in the solutionof these puzzles consists in making explicit thecontingency between mental acts and mentaloperations, parallel to the contingency betweenphysical acts and bodily movements. The paper finallydiscusses the kind of reflexivity at stake in mentalacts; it is shown that the capacity to refer tooneself is not a necessary condition of the successfulexecution of mental acts. (shrink)

How do we know what our intentions are? It is argued that work on self-knowledge has tended to neglect the attitude of intention, and that an epistemological account is needed that is attuned to the specific features of that state. Richard Moran’s Authorship view, on which we can acquire self-knowledge by making up our minds, offers a promising insight for such an account: we do not normally discover what we intend through introspection. However, his formulation of the Authorship view, developed (...) primarily with the attitude of belief in mind, is found wanting when applied to intention. An alternative account is proposed for knowledge of one’s own intentions that gives a central role to the mental act of deciding what to do. It is argued that we can come to know what we intend by making a decision about what to do and self-ascribing the content of that decision as our intended action. (shrink)

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small (...) models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (shrink)

Textual and historical subtleties aside, let's call the idea that numbers are properties of equinumerous sets ‘the Fregean thesis.’ In a recent paper, Palle Yourgrau claims to have found a decisive refutation of this thesis. More surprising still, he claims in addition that the essence of this refutation is found in the Grundlagen itself – the very masterpiece in which Frege first proffered his thesis. My intention in this note is to evaluate these claims, and along the way to shed (...) some light on relevant passages of the Grundlagen. I will argue that Yourgrau does not make his case.The arguments with which we are concerned are found in the last three sections of Yourgrau's paper. A pervasive difficulty in these sections is that it is not clear exactly what Yourgrau is arguing against. The stated object of his attack is the Fregean thesis, a thesis about what numbers are; however, instead of a frontal assault, his strategy is to embark on a foray into the ill-defined issue of what it is that numbers number, where, roughly speaking, a number n numbers an object x just in case n can be legitimately assigned to x. The reason for this shift in emphasis appears to be rooted in a misconception. As we’ll see in more detail shortly, Yourgrau's argument against the Fregean thesis is based on an extension of a well known argument of Frege's found in §§22-3 of the Grundlagen, which Glenn Kessler has tagged the ‘relativity argument,’. According to Yourgrau, this is an argument ‘to the effect that what is literally numbered cannot simply be concrete objects’. This is incorrect. Frege himself clarifies the point of the argument in §21 with the following preface:In language, numbers (i.e., numerals] most commonly appear in adjectival form and attributive construction in the same sort of way as the words "hard" or "heavy" or "red," which have for their meanings properties of external things. It is natural to ask whether we must think of the individual numbers too as such properties, and whether, accordingly, the concept of number can be classed along with that, say, of color. (shrink)

Assuming minimal fine-individuation--that there are some necessarily equivalent intensional objects (e.g. propositions) that are nonetheless distinct objects, on standard actualist frameworks, the answer to our title question is "No". First I specify a fully cognitively accessible, purely qualitative maximal consistent state of affairs (MCS). (That there is an MCS that is either fully graspable or purely qualitative is in itself quite contrary to conventional dogma.) Then I identify another MCS, one necessarily equivalent to the first. It follows that there could (...) have been more than one obtaining MCS. I then argue that there is more than one obtaining MCS. So there is nothing answering to "the actual world", and the set of worlds is not the set of MCSs. I explore various patch-ups. Finally, I compare the actualist and modal realist notions of worlds, and I argue that even if the realist were right about concrete world ensembles, our reflections indicate that necessary truth is not truth in all worlds anyway, which undercuts the rationale for the realist's program. (shrink)

Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard principle of (...) translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)

Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard principle of (...) translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)

“I”‐thought is often taken to have a special cognitive significance, with “I” symbolising a subjective way of thinking about oneself that is inapt for communication. In this paper I argue that the way one thinks of oneself in “I”‐thought is immaterial to the meaning of “I,” for in general the psychological role associated with a referential expression is separable from its meaning. With respect to “I,” I suggest that its meaning consists in an interpersonal way of fixing its reference in (...) a context, which is accessible to the speaker and the hearer. Consequently, “I” would have a dual cognitive significance. (shrink)

Self-Knowledge and Self-Reference is a defense and reconciliation of the two apparently conflicting theses that the self is peculiarly elusive and that our basic, cogito-judgments are certain. On the one hand, Descartes seems to be correct that nothing is more certain than basic statements of self-knowledge, such as "I am thinking." On the other hand, there is the compelling Humean observation that when we introspect, nothing is found except for various "impressions." The problem, then, is that the Humean and Cartesian (...) insights are both initially appealing, yet they appear to be in tension with one another. In this paper I attempt to satisfy both intuitions by developing a roughly descriptivist account of self-reference according to which our certainty in basic beliefs stems precisely from our needing to know so little in order to have them. (shrink)

This article selectively surveys recent work touching consciousness. It discusses some recent arguments and positions with a view to throwing light on a working principle of much influential philosophical psychology, namely that the first?person point of view is theoretically redundant. The discussion is divided under a number of headings corresponding to specific functions that have been attributed to the first?person viewpoint, from the experience of something it is like to undergo physical processes, to the presence of selfhood, mental substance, meaning, (...) understanding, and value. Arguments indicating limitations of the working principle are adduced, as well as arguments indicating possible exploitations of those limitations by first?personalist positions. Although some of the latter also have limitations, the direction in which the examination tends is that of a progressive widening of the concept of consciousness. (shrink)

In this short, clear and engaging book, Neil Feit defends the unorthodox view that the contents of beliefs and other cognitive attitudes are properties, and not, as is usually held, propositions. The core of his argument has to do with de se beliefs, beliefs about the self. Based on examples and arguments due to Perry , Lewis and Chisholm , along with considerations about internalism and physicalism, Feit offers a battery of arguments for the conclusion that the contents of de (...) se beliefs cannot be propositions and therefore must be properties. For reasons of uniformity and simplicity Feit then extends this conclusion to all beliefs. So, according to Feit, the content of the de se belief that I am a philosopher is the property of being a philosopher, and my having this belief consists in my self-ascribing this property. For de dicto beliefs, believing that p is self-ascribing the property of being such that p, and for de re beliefs, believing that x is F is self-ascribing the property of bearing some relation of acquaintance R to something that is F. For example, to have the de dicto belief that …. (shrink)

It has recently been proposed that the framework of semantic relativism be put to use to describe mental content, as deployed in some of the fundamental operations of the mind. This programme has inspired in particular a novel strategy of accounting for the essential egocentricity of first-personal or de se thoughts in relativist terms, with the advantage of dispensing with a notion of self-representation. This paper is a critical discussion of this strategy. While it is based on a plausible appeal (...) to cognitive economy, the relativist theory does not fully account for the epistemic profile that distinguishes de se thinking, as some of its proponents hope to do. A deeper worry concerns the reliance of the theory on a primitive notion of “centre” that hasn’t yet received enough critical attention, and is ambiguous between a thin and a rich reading. I argue that while the rich reading is required if the relativist analysis of the de se is to achieve its most ambitious aims, it also deprives the theory of much of its explanatory power. (shrink)

The thesis that the necessary and the a priori are extensionally equivalent consists of two independent claims: 1) All a priori truths are necessary and 2) all necessary truths are a priori. In Naming and Necessity1 Saul A. Kripke gives examples of necessary but a posteriori truths, so he disagrees with the second leg of the thesis.2 His examples are of two types; on the one hand statements involving essential properties and on the other hand true identity statements. My concern (...) will be with examples of the second type and whether they refute (2). (2), however, is ambiguous and can mean one of three things. (shrink)

The property theory of content takes the content of each cognitive attitude (each belief, desire, and so on) to be a property to which the subject of the attitude is related in the appropriate psychological way. This view is motivated by standard cases of de se belief and other attitudes. In this paper, I consider a couple of related objections to the property theory of content. Both objections have to do with the possible non-existence of the subject. More specifically, the (...) objections are based on attitudes, the contents of which entail the non-existence of their subjects, and also on attitudes that commit their subjects to preferences regarding situations in which the subjects do not exist. I show that the property theory can answer these objections adequately, and I argue that my answer to the objections is more plausible than other possible responses. (shrink)

The author presents and defends a general view about belief, and certain attributions of belief, with the intention of providing a solution to Saul Kripke's puzzle about belief. According to the position developed in the paper, there are two senses in which one could be said to have contradictory beliefs. Just one of these senses threatens the rationality of the believer; but Kripke's puzzle concerns only the other one. The general solution is then extended to certain variants of Kripke's original (...) puzzle, which have to do with belief attributions containing empty names and kind terms. (shrink)

I defend a cluster of views about names from fiction and myth. The views are based on two claims: first, proper names refer directly totheir bearers; and second, names from fiction and myth are genuinely empty, they simply do not refer. I argue that when such names are used in direct discourse, utterances containing them have truth values but do not express propositions. I also argue that it is a mistake to think that if an utterance of, for example, “Vulcan (...) is a planet” fails to express a proposition, then an utterance of “Le Verrier believed that Vulcan is a planet” cannot express a proposition. The argument applies to claims about fiction, such as “Sherlock Holmes is strong,” and claims about the attitudes of authors and auditors. The upshot is a semantics for fictional statements that provides a satisfying way for direct reference theorists to avoid taking fictional entities to be abstract objects and to accept the commonsense view that what is true in a fiction is ultimately a matter of what is pretended to be the case. (shrink)

Reflection on the self's way of being "in" consciousness yields two arguments for a theory of self-reference not based in any way all all on self-cognition. First, I show that one theory of self-reference predicts an experience of the self because the theory inadequately analyzes the semantical facts about indexicality. I construct a dilemma for this cognitivism, which it cannot get out of, for it requires even solitary self-reference to be based on some original self-knowledge, which is not available. I (...) describe my "kinetic model" of unspoken self-reference, and I show how it fits the facts of four forms of consciousness, all of which presuppose self-reference, rather than yield it. Second, a speaker uses the first person pronoun in sentences because she is aware of the unmediated role in agency of the beliefs she would express, and not because she is aware of herself in their content. The cognitive model, in contrast, succumbs to a vicious regress and is exposed as an obstacle to an understanding of consciousness. (shrink)

Very often, different people, with different constitutions and comic sensibilities, will make divergent, conflicting judgments about the comic properties of a given person, object, or event, on account of those differences in their constitutions and comic sensibilities. And in many such cases, while we are inclined to say that their comic judgments are in conflict, we are not inclined to say that anybody is in error. The comic looks like a poster domain for the phenomenon of faultless disagreement. I argue (...) that the kind of theory that does the best job of accounting for the appearance of faultless disagreement is a de se version of a response-dependence account, according to which thinking that x is funny is self-attributing a property of the type, being disposed to have R to x in C. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (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 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.

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)