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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

I argue that immunity to error through misidentification primarily characterizes thoughts that are 'implicitly' de se, as opposed to thoughts that involve an explicit self-identification. Thoughts that are implicitly de se involve no reference to the self at the level of content: what makes them de se is simply the fact that the content of the thought is evaluated with respect to the thinking subject. Or, to put it in familiar terms : the content of the thought is a property (...) which the thinking subject self-ascribes (as in the Loar/Lewis/Chisholm analysis). After answering an objection (to the effect that immunity can affect explicit de se thoughts), I extend the analysis to demonstrative thoughts, which also exhibit the property of immunity to error through misidentification. (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)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

Human beings seem to capture time and the temporal properties of events and things in thought by having beliefs usually expressed with statements using tense, or notions such as ‘now’, ‘past’ or ‘future’. Tensed beliefs like these seem indispensable for correct reasoning and timely action. For instance, my belief that my root canal is over seems inexpressible with a statement that does not use tense or a temporal indexical. However, the dominant view on the nature of time is that it (...) forms, with space, a four-dimensional continuum where time does not encompass private perspectives or an absolute, fixed present. This ‘tenseless’ theory of time encounters a challenge in integrating tensed belief, because it cannot easily explain what constitutes a tensed belief in a tenseless world and how such a belief works inside our cognitive network to bring about the actions it does. Providing such an account is the main goal of this dissertation. -/- I argue here that the correct way to proceed would be to utilize philosophical theories dealing with indexicality, as the puzzling features of tensed belief are shared with beliefs expressed by first-person or spatial indexicals. In chapters II and III I expand the dominant theories about indexicality (Lewis, Perry, Kaplan) and apply them to tensed belief. I show that each is in certain respects incomplete or inadequate. -/- My preferred account critiques the preceding theories as mis-attributing the indexicality involved to a fully conceptual element in the way people think about time. I argue that we should instead connect tensed belief to not fully conceptual elements thought. For support I turn to work in perceptual psychology that connects beliefs about space to perceptions of spatial features. In chapter IV I develop an analogous argument about temporal thought and discuss how mental representations involved in perceptions are constitutively related to the formation and preservation of tensed beliefs. Combining this story with a tenseless theory of time should give us a complete, metaphysically uncontroversial, account of the way a tensed belief functions in reasoning and produces timely action. (shrink)

There is a narrow thread in the vast literature on Kafka which pertains to Kafka’s knowledge of philosophy, and more precisely to Kafka’s use in his fictional writings of some of the main ideas of Franz Brentano. Kafka attended courses in philosophy at the Charles University given by Brentano’s students Anton Marty and Christian von Ehrenfels, and was for several years a member of a discussion-group organized by orthodox adherents of the Brentanian philosophy in Prague. The present essay summarizes what (...) is known about Kafka’s relations to the Brentanist movement. It draws on Brentanian ideas on the evidence of inner perception, on oblique consciousness, on active introspection, on correct and incorrect judgment, and on consciousness as a species of inner tribunal, in order to throw light on central features of Kafka’s writings, including stylistic features. Special attention is directed towards Die Verwandlung and Der Prozess, and a reading of the latter is offered according to which the trial of Joseph K. occurs entirely within the mind of K. himself. The revisions in the 1997 version of the paper relate especially to the treatment of Kafka and Brentano in Arnold Heidsieck’s book The Intellectual Contexts of Kafka’s Fiction: Philosophy, Law, Religion, of 1994. (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)

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)

Before one can even begin to model consciousness and what exactly it means that it is a subjective phenomenon one needs a theory about what a first-person perspective really is. This theory has to be conceptually convincing, empirically plausible and, most of all, open to new developments. The chosen conceptual framework must be able to accommodate scientific progress. Its ba- sic assumptions have to be plastic as it were, so that new details and empirical data can continuously be fed into (...) the theoretical model as it grows and becomes more refined. This paper makes an attempt at sketching the outlines of such a theory, offering a representationalist analysis of the phenomenal first-person perspective. Three phenomenal target properties are centrally relevant. (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)

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)

“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)

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)

Substance dualism has received much attention from philosophers and theologians in contemporary literature. Whilst it may have been fashionable in the recent past to dismiss substance dualism as an unviable and academically absurd position to hold, this is no longer the case. My contention is not so much the merits of substance dualism in general, but a more specified variation of substance dualism. My specific contribution to the literature in this article is that I argue for the viability of pure (...) substance dualism as a more satisfactory option in contrast to compound or composite varieties of substance dualism. I put forth one argument and tease out the implications that make compound dualism less than satisfactory. I conclude that, minimally, more work is required on compound variations of dualism to make it a more appealing and a philosophically satisfactory option. (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)

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)

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)

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)

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.

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)

Self-awareness is commonly expressed by means of indexical expressions, primarily, first- person pronouns like.

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)

En un artículo publicado recientemente en esta revista, Javier Vidal argumenta que toda creencia de primera persona es una creencia consciente, una conclusión que pone en jaque ciertas teorías de la consciencia, como él mismo expone. El razonamiento de Vidal se basa en un argumento que muestra que uno conoce toda creencia de primera persona que tiene y en un principio que vincula conocimiento y consciencia. Mi objetivo en este trabajo es mostrar que el razonamiento de Vidal no es sólido. (...) En particular, hago patente que el argumento depende de rechazar la relación ampliamente aceptada en epistemología entre creencia y conocimiento. Además, argumento que SC* o bien prejuzga la cuestión o bien involucra una noción de consciencia no relevante para la discusión. (shrink)