Pietroski (1993) offers a semantics for belief sentences that is supposed to address the problem of equivalence. This paper argues that his proposal fails to solve the problem.

One of Jerry Fodor’s many seminal contributions to philosophy of mind was his inner sentence theory of belief and desire. To believe that p is to have a subpersonal inner sentence in one’s “belief-box” that means that p, and to desire that q is to have a subpersonal inner sentence in one’s “desire-box” that means that q. I will distinguish between two accounts of box-inclusion that exhaust the options: liberal and restrictive. I will show that both accounts have (...) the mistaken implication that in certain cases there can be radical but “secret” changes in a subject’s beliefs and desires. I will suggest that the correct moral to draw is that we should instead accept what Eric Schwitzgebel has called a “surface-level” theory of belief and desire. (shrink)

How do opinion diversity and belief polarisation affect epistemic group decision-making, particularly if decisions must be made without delay and on the basis of permissive evidence? In an agent-based model, we track the consistency of group opinions aggregated through sentence-wise majority voting. Simulations on the model reveal that high opinion diversity, but not polarisation, incurs a significant inconsistency risk. These results indicate that epistemic group decisions based on permissive evidence can be particularly difficult for diverse groups. The results also (...) improve our understanding of what can reasonably be expected of expert groups, and where expert advice might have limits. (shrink)

It is a consequence of both Kennedy and McNally’s typology of the scale structures of gradable adjectives and Kennedy’s :1–45, 2007) economy principle that an object is clean just in case its degree of cleanness is maximal. So they jointly predict that the sentence ‘Both towels are clean, but the red one is cleaner than the blue one’ :259–288, 2004) is a contradiction. Surely, one can account for the sentence’s assertability by saying that the first instance of ‘clean’ is used (...) loosely: since ‘clean’ pragmatically conveys the property of being close to maximally clean rather than the property of being maximally clean, the sentence as a whole conveys a consistent proposition. I challenge this semantics–pragmatics package by considering the sentence ‘Mary believes that both towels are clean but that the red one is cleaner than the blue one’. We can certainly use this sentence to attribute a coherent belief to Mary: One of its readings says that she believes that the towels are clean by a contextually salient standard ; the other says that she believes that the towels are clean by her own standard. I argue that Kennedy’s semantics–pragmatics package can’t deliver those readings, and propose that we drop the economy principle and account for those readings semantically by assigning to the belief sentence two distinct truth conditions. I consider two ways to deliver those truth-conditions. The first one posits world-variables in the sentence’s logical form and analyzes those truth-conditions as resulting from two binding possibilities of those variables. The second one proposes that the threshold function introduced by the phonologically null morpheme pos is shiftable in belief contexts. (shrink)

In “Real Patterns” Daniel Dennett developed an argument about the reality of beliefs on the basis of an analogy with patterns and noise. Here I develop Dennett’s analogy into an argument for descriptivism, the view that belief reports do no specify belief contents but merely describe what someone believes, and show that this view is also supported by empirical evidence. No description can do justice to the richness and specificity or “noisiness” of what someone believes, and the same (...) belief can be described by different sentences or propositions (which is illustrated by Dennett’s analogy, some Gettier cases, and Frege’s puzzle), but in some contexts some of these competing descriptions are misleading or even false. Faithful (or truthful) description must be guided by a principle (or principles) related to the principle of charity: belief descriptions should not attribute irrationality to the believer or have other kinds of “deviant” implications. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of (...) being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

The moral belief problem is that of reconciling expressivism in ethics with both minimalism in the philosophy of language and the syntactic discipline of moral sentences. It is argued that the problem can be solved by distinguishing minimal and robust senses of belief, where a minimal belief is any state of mind expressed by sincere assertoric use of a syntactically disciplined sentence and a robust belief is a minimal belief with some additional property R. (...) Two attempts to specify R are discussed, both based on the thought that beliefs are states that aim at truth. According to the first, robust beliefs are criticisable to the extent that their content fails to match the state of the world. This sense fails to distinguish robust beliefs from minimal beliefs. According to the second, robust beliefs function to have their content match the state of the world. This sense succeeds in distinguishing robust beliefs from minimal beliefs. The conclusion is that the debate concerning the cognitive status of moral convictions needs to address the issue of the function of moral convictions. Evolutionary theorising may be relevant, but will not be decisive, in answering this question. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of (...) the embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

A rational man’s beliefs are not logically consistent, and he does not believe all the logical consequences of his beliefs. This is because in any situational context, we only accept certain believed sentences. Within that context, we insist that sentences be logically consistent, and we accept the logical consequences of the other sentences we accept in that context. But such sentences do not have to be consistent with sentences we accept in other contexts, nor will (...) we always accept in that context the logical consequences of sentences that we accept in other contexts. We go through many different situational contexts in the course of a day. For example, in trying to start a car with a dead battery, explaining why the car won’t start may form one context, while explaining how to start it may form a different context; sentences we accept in the first context may be logically inconsistent with sentences we accept in the second. (shrink)

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the (...) content of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

Contrary to appearances, semantic innocence can be claimed for a Fregean account of the semantics of expressions in indirect discourse. Given externalism about meaning, an expression that refers to its ordinary sense in an opaque context refers, ultimately, to its "references"; for, on this view, the reference of an expression directly determines its meaning. Externalism seems to have similar consequences for the truth-conditions of analytic sentences. If reference determines meaning, how can we distinguish a class of sentences as (...) true in virtue of meaning alone? The paper closes by hinting at an account of analyticity from an externalist perspective. (shrink)

The analytic/synthetic distinction can be conceived from two points of view: from within or from without; from the perspective of one's own language or from the perspective of the language of others. From without, the central question is which sentences of a foreign language are to be classified as analytic. From within, by contrast, the question concerning the synthetic and the analytic acquires a normative dimension: which sentences am I not permitted to reject—if I want to avoid talking (...) nonsense? Both perspectives on analytic sentences do not mutually exclude but supplement and illuminate each other. In "Two Dogmas", Quine's criticism of the analytic/synthetic distinction comes from within, whereas in Word and Object, Quine repeats his earlier criticism from without. His criticism is directed against Carnap's views on our understanding of theoretical terms. I challenge Quine's criticism in both of its versions and provide two definitions for analyticity that are immune to Quine's arguments. Using the first of these definitions (the one from without) I try to show how it is possible to distinguish (genuine) belief revision from linguistic change—even in case of a scientific revolution. (shrink)

There has been much recent debate over the meaning of the claim that God is good and loving. Although the participants in this debate strongly disagree over the correct analysis of the claim, there is nonetheless agreement across all parties that there is a single correct analysis. This paper aims to overthrow this consensus, by showing that sentences such as ‘There is a good and loving God’ are often used to express a variety of beliefs with quite different logico-grammatical (...) characteristics. Belief in a good and loving God might range from being an evidentially grounded and empirically falsifiable ontological hypothesis, all the way to being a belief which is both ungrounded and unfalsifiable, and more akin to an attitude than to an hypothesis. The logical variety exhibited by the belief in a good and loving God often gives rise, in turn, to people holding that belief in a way that is indeterminate, mixed, or fluid between those different varieties. That is, someone’s belief in a good and loving God may hover indeterminately between more than one logical variety of the belief; or it may mix together some of the logical characteristics of different varieties of the belief; or it may change from having one logical character to another and perhaps back again. These properties are often masked by the fact that the belief is always expressed by the same sentence regardless of any indeterminacy, mixedness, or fluidity. Though these properties are rarely discussed by analytic philosophers of religion, logico-grammatical variety, indeterminacy, mixedness, and fluidity are pervasive in religious beliefs and utterances, and account for much of those beliefs and utterances' real-life complexity. This paper will make a start at an examination of these important properties by using the belief in a good and loving God as a representative case study. (shrink)

Reasoning about mental states and processes is important in various subareas of the legal domain. A trial lawyer might need to reason and the beliefs, reasoning and other mental states and processes of members of a jury; a police officer might need to reason about the conjectured beliefs and reasoning of perpetrators; a judge may need to consider a defendant's mental states and processes for the purposes of sentencing and so on. Further, the mental states in question may themselves be (...) about the mental states and processes of other people. Therefore, if AI systems are to assist with reasoning tasks in law, they may need to be able to reason about mental states and processes. Such reasoning is riddled with uncertainty, and this is true in particular in the legal domain. The article discusses how various different types of uncertainty arise, and shows how they greatly complicate the task of reasoning about mental states and processes. The article concentrates on the special case of states of belief and processes of reasoning, and sketches an implemented, prototype computer program (ATT-Meta) that copes with the various types of uncertainty in reasoning about beliefs and reasoning. In particular, the article outlines the system's facilities for handling conflict between different lines of argument, especially when these lie within the reasoning of different people. The system's approach is illustrated by application to a real-life mugging example. [NB: The date on the archived preprint avail via this Phil* page has an incorrect date, 2011, on it. The correct date is 2001.]. (shrink)

A curious and comparatively neglected element of death penalty jurisprudence in America is my target in this paper. That element concerns the circumstances under which severely mentally disabled persons, incarcerated on death row, may have their sentences carried out. Those circumstances are expressed in a part of the law which turns out to be indefensible. This legal doctrine—competence-for-execution —holds that a condemned, death-row inmate may not be killed if, at the time of his scheduled execution, he lacks an awareness (...) of his impending death or the reasons for it. I argue that the law of CFE should be abandoned, along with the notion that it is permissible to kill the deeply disturbed just so long as they meet some narrow test of readiness to die. By adopting CFE, the courts have been forced to give independent conceptual and moral significance to a standard for competence that simply cannot bear the weight placed upon it. To be executable, CFE requires that a condemned prisoner meet a standard demonstrating an awareness of certain facts about his death. Yet this standard both leads to confusing and counter-intuitive results and is unsupported either by the reasons advanced by the courts on its behalf or by any of the standard theoretical justifications of criminal punishment. If executing the profoundly psychotic or delusional is wrong the law needs a better account of the wrong done when prisoners like Ford are killed. I suggest wherein that wrong might be located. (shrink)

Moral discourse is propositionally clothed, that is, it exhibits those features – such as the ability of its sentences to intelligibly embed in conditionals and other unasserted contexts – that have been taken by some philosophers to be constitutive of discourses that express propositions. If there is nothing more to a mental state being a belief than it being characteristically expressed by sentences that are propositionally clothed then the version of expressivism which accepts that moral discourse is (...) propositionally clothed (‘quasi-realism’) is self-refuting. Fortunately for quasi-realists, this view of belief, which I label ‘minimalism’, is false. I present three arguments against it and dismiss two possible defences (the first drawn from the work of Wright, the second given by Harcourt). The conclusion is that the issue between expressivists and their opponents cannot be settled by the mere fact that moral discourse wears propositional clothing. (shrink)

According to Russellianism (or Millianism), the two sentences ‘Ralph believes George Eliot is a novelist’ and ‘Ralph believes Mary Ann Evans is a novelist’ cannot diverge in truth-value, since they express the same proposition. The problem for the Russellian (or Millian) is that a puzzle of Kaplan’s seems to show that they can diverge in truth-value and that therefore, since the Russellian holds that they express the same proposition, the Russellian view is contradictory. I argue that the standard Russellian (...) appeal to “ways of thinking” or “propositional guises” is not necessary to solve the puzzle. Rather than this retrograde concession to Fregeanism, appeal should be made to second-order belief. The puzzle is solved, and the contradiction avoided, by maintaining that both sentences are indeed true in addition to the sentence ‘Ralph (mistakenly) believes that he does not believe Mary Ann Evans/George Eliot is a novelist’. (shrink)

Event concepts are unstructured atomic concepts that apply to event types. A paradigm example of such an event type would be that of diaper changing, and so a putative example of an atomic event concept would be DADDY'S-CHANGING-MY-DIAPER.1 I will defend two claims about such concepts. First, the conceptual claim that it is in principle possible to possess a concept such as DADDY'S-CHANGING-MY-DIAPER without possessing the concept DIAPER. Second, the empirical claim that we actually possess such concepts and that they (...) play an important role in our cognitive lives. The argument for the empirical claim has the form of an inference to the best explanation and is aimed at those who are already willing to attribute concepts and beliefs to infants and nonhuman animals. Many animals and prelinguistic infants seem capable of re-identifying event-types in the world, and they seem to store information about things happening at particular times and places. My account offers a plausible model of how such organisms are able to do this without attributing linguistically structured mental states to them. And although language allows adults to form linguistically structured mental representations of the world, there is no good reason to think that such structured representations necessarily replace the unstructured ones. There is also no good reason for a philosopher who is willing to explain the behavior of an organism by appealing to atomic concepts of individuals or kinds to not use a similar form of explanation when explaining the organism's capacity to recognize events. -/- We can form empirical concepts of individuals, kinds, properties, event-types, and states of affairs, among other things, and I assume that such concepts function like what François Recanati calls ‘mental files’ or what Ruth Millikan calls ‘substance concepts’ (Recanati 2012; Millikan 1999, 2000, 2017). To possess such a concept one must have a reliable capacity to re-identify the object in question, but this capacity of re-identification does not fix the reference of the concept. Such concepts allow us to collect and utilize useful information about things that we re-encounter in our environment. We can distinguish between a perception-action system and a perception-belief system, and I will argue that empirical concepts, including atomic event concepts, can play a role in both systems. The perception-action system involves the application of concepts in the service of (often skilled) action. We can think of the concept as a mental file containing motor-plans that can be activated once the individual recognizes that they are in a certain situation. In this way, recognizing something (whether an object or an event) as a token of a type, plays a role in guiding immediate action. The perception-belief system, in contrast, allows for the formation of beliefs that can play a role in deliberation and planning and in the formation of expectations. I distinguish between two particular types of belief which I call where-beliefs and when-beliefs, and I argue that we can model the formation of such perceptual beliefs in nonlinguistic animals and human infants in terms of the formation of a link between an empirical concept and a position on a cognitive map. According to the account offered, seemingly complex beliefs, such as a baby's belief that Daddy changed her diaper in the kitchen earlier, will not be linguistically structured. If we think that prelinguistic infants possess such concepts and are able to form such beliefs, it is likely that adults do too. The ability to form such beliefs does not require the capacity for public language, and we can model them in nonlinguistic terms; thus, we have no good reason to think of such beliefs as propositional attitudes. Of course, we can use sentences to refer to such beliefs, and thus it is possible to think of such beliefs as somehow relations to propositions. But it is not clear to me what is gained by this as we have a perfectly good way to think about the structure of such beliefs that does not involve any appeal to language. (shrink)

According to the propositional view of belief, a belief situation involves a believer’s standing in the relation of belief to a proposition. It is argued that the propositional view has unacceptable implications concerning the identity conditions of belief situations involving beliefs with indexical contents, especially where such beliefs are held over a period of time during which background circumstances change. After a critical discussion of Perry’s alternative to the propositional view, a version of the adverbial theory (...) of belief, which accounts satisfactorily for the identity conditions of belief situations, is advanced. This theory, which avoids the standard objections to adverbialism, is defended against the charge that it cannot provide an account of the semantics of sentences attributing the same belief to two or more believers. In the course of this defense it is argued that the standard propositional account of such sentences is insensitive to everyday language. (shrink)

It is astonishing that we humans are able to have, act on and express moral beliefs. This dissertation aims to provide a better philosophical understanding of why and how this is possible especially when we assume metaethical expressivism. Metaethical expressivism is the combination of expressivism and noncognitivism. Expressivism is the view that the meaning of a sentence is explained by the mental state it is conventionally used to express. Noncognitivism is the view that the mental state expressed by a moral (...) sentence is a noncognitive, desire-like state. The central question of this dissertation is this: "How can metaethical expressivists explain that we are able to express moral beliefs?" The shortest answer this dissertation will give is the following: "by becoming `dispositional expressivists´." Dispositional expressivists hold that moral beliefs are dispositions to be in certain mental states that resemble desires. More precisely, a central thesis of this study is that to hold a moral belief is to be disposed to be in a desire-like, noncognitive state where this state has some specific structure. This dissertation arrives at and justifies this thesis by making a number of steps. It starts with preparing the ground by developing a general theory of what it is for a sentence to express a mental state. Roughly, this theory states that for a sentence to express a mental state is for that sentence to be conventionally used to perform a speech act which counts as sincere only if the user or speaker is in that mental state. This theory of expressing satisfies all the constraints that must be satisfied for it to be compatible with the purposes of metaethical expressivism. The next step is to provide a solution to the most notorious semantic problem confronting metaethical expressivism, the problem of explaining how sentences containing moral words can have compositional meaning and stand in logical relations also known as the Frege-Geach or embedding problem. Building on the research of Mark Schroeder, a new expressivist semantics, called `Attitude Semantics´, will be developed for a first-order language. The motivating idea underlying attitude semantics is that expressivists can avoid the problematic feature of so-called `biforcation´ if they treat the structures of the mental states expressed by moral sentences as well as that expressed by non-moral sentences as being isomorphic. In order to give those structures a philosophically interesting interpretation, it will be suggested that we treat sentences as expressing dispositional states. As a toy example we will treat the sentence `murder is wrong´ as expressing the disposition to be for blaming for murder. After dealing with the Frege-Geach problem, I turn to the metaethical expressivists' project of quasi-realism. Two major goals of this project are to explain how moral sentence can be truth-apt and how the states expressed by them can be regarded as moral beliefs. In order to establish those goals I critically examine a number of theories of truth-aptness by providing counterexamples to them. I then present my own theory which says that a sentence is truth-apt iff and because there is a conventional way to use it to express a belief. What is new about this theory is that it treats expressing a belief as being explanatorily more basic than being truth-apt. Belief, according to this theory, explains truth-aptness, not vice versa. This has the important consequence that it shows that what I call the `orthodox strategy´ of quasi-realists is mistaken and needs to be inverted: expressivists must `earn the right´ to moral belief before they can establish that moral sentences are truth-apt, and not the other way round. The second part of this dissertation is then concerned with the question of what it is to hold a moral belief and how they can figure in rational reasoning. In short: it is concerned with earning the right to moral belief. After discussing the major problems confronting a noncognitivist theory of belief, most importantly what I call the `tightrope problem´, I argue for a dispositional form of noncognitivism about moral belief that combines elements from Eric Schwitzgebel's dispositionalism about belief and Sebastian Köhler's `conceptual role expressivism´. This dispositional noncognitivism perfectly matches and justifies the dispositionalist interpretation of the expressivist semantics developed before. In order to fully earn the right to moral belief, however, metaethical expressivists must also deal with several epistemological objections concerning the rationality of moral belief. The first objection I deal with comes from Derek Baker and is directed against Mark Schroeder's specific development of expressivism. I deal with this objection because my own theory bears close resemblance to Schroeder's theory and so it might be worried that it confronts the same issues. Fortunately, we will see that Baker's objection rest on a number of mistaken assumptions and so neither applies to Schroeder's expressivism nor to the version which I defend in this study. The other epistemological objection to metaethical expressivism I deal with is Cian Dorr's famous wishful-thinking objection. In contrast to previous replies to this objection I attack it by directly questioning the central assumption on which it rests, namely that reasoners can never be justified in basing a factual belief on a desire-like state. I argue that this is false, and that under certain conditions reasoning from desire-like mental states to factual beliefs is justified. My argument shows that even if holding a moral belief is being in a desire-like noncognitive state, basing factual belief on a moral belief can give one an epistemic reason for the factual belief. Hence, even if moral thoughts are wishes, moral thinking is not wishful thinking. I take my arguments to earn the dispositional expressivist the right to moral belief. By the previously defended theory of truth-aptness in terms of belief, this allows the dispositional expressivists to conclude that moral sentences are also truth-apt. This finishes the quasi-realist project of this dissertation. In the last part of this dissertation I switch gears and present two unnoted problems for metaethical expressivists having to do with explaining moral motivation. Both arguments are surprisingly simple. The first one is this: if motivation requires a belief as well as a desire (Humeanism), and moral judgments motivate by themselves (internalism), then moral judgments cannot be desires only. If this argument is sound, it shows that the famous `motivation argument´ not only entails the falsity of cognitivism, but also the falsity of noncognitivism. The second argument is the following: moral judgments when combined with suitable external desires motivate to act (externalism), but if motivation requires belief as well as desire (Humeanism), then moral judgments cannot be desires only. I discuss several ways in which noncognitivists might want to deal with those problems, but leave it as an open question whether those solutions will ultimately be viable. Overall, this dissertation makes serious contributions to the research program of metaethical expressivism. It makes proposals for how to solve a number of notorious problems, such as the Frege-Geach problem in semantics and the wishful-thinking problem in epistemology. Besides this, however, it also raises two new problems for metaethical expressivism in the philosophy of action. For those reasons this dissertation will be of interest for anyone who wants to defend or criticize expressivism in metaethics, and more generally, anyone who wants to better understand our astonishing ability to express moral beliefs. (shrink)

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in (...) a more accurate way our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

The sentences ‘p but I don’t believe p’ (omissive form) and ‘p but I believe that not-p’ (comissive form) are typical examples of Moore’s paradox. When an agent (sincerely) asserts such sentences under normal circumstances, we consider his statements absurd. The Simple Solution (Moore, Heal, Wolgast, Kriegel, et al.) finds the source of absurdity for such statements in a certain formal contradiction (some kind of like ‘p & not-p’), the presence of which is lexically disguised. This solution is (...) facing criticism since it is obvious that the denial of the contradiction allegedly hidden in Moore’s paradox will not become an expression of tautology for us. Hintikka offers another solution to Moore’s paradox. In his view, the source of absurdity is the practical inconceivability of the situation, in which the agent would be able to hold mutually incompatible (inconsistent) beliefs. The sentences ‘p but I don’t believe that p’ and ‘p but I believe that not-p’ sound absurd because they express high-ordered beliefs that no rational agent can hold. A belief expressed in the sentence ‘he believes that p’, in order to be available to the agent, must be compatible with the truth of everything the agent believes. The problem with Hintikka’s solution is that it relies on an epistemic principle that does not correspond to our general intuitions about the notion of belief. According to this principle, there must be a close connection between the sentence ‘p but I don’t believe that p’ and the sentence ‘I believe that is the case is that p but I don’t believe that p’. However, it is not difficult to imagine the context for situations when the agent asserts the sentence ‘p but I don’t believe that p’ when s/he believes that p, but in parallel does not hold any high-ordered belief about his/her belief in p. For example, the agent does not recognize oneself in a photograph after a hard plastic surgery, and when one asks him ‘who is this?’ it would not be absurd for him/her to accept the following description of his/her beliefs ‘I believe that {I am me} but I don’t believe that I believe that {I am me}’. Wittgenstein provides an alternative solution based on a descriptive analysis of the grammar of verbs we use to express, attribute, and understand each other’s psychological states. In his view, the everyday practice of using the verb ‘believe’ demonstrates a characteristic asymmetry in the semantic and logical properties of the usage of this verb in the first person. The expression ‘I believe falsely’ has no real meaning since no one can meaningfully say the sentence ‘Now I believe falsely that p’ on their own behalf. Therefore, the genuine source of absurdity is associated with situations of self-attribution of false belief by the agent. Despite its originality, Wittgenstein’s solution faces objections. For example, in a certain context, it would not be absurd to assert the sentence ‘There are no beliefs, but I don’t believe in it’, unlike the sentence ‘There are no beliefs and I believe that it is so’. The solution proposed by Wittgenstein does not allow us to correct the situation since one could assert quite reasonably and without any absurdity a sentence like ‘In fact, there are no beliefs and now I falsely believe that it is so’. Based on Evans’ principle of epistemic transparency, some researchers (Atlas, Chan, Kwon, et al.) offer another strategy for solving Moore’s paradox, in which peculiar attention is paid to the dependence of understanding and evaluating the meaning of the sentences ‘p but I do not believe that p’ and ‘p but I believe that not-p’ from the immediate context of their usage. The source of absurdity should be looked for in the established practice of the self-referential use of the pronoun ‘I’. In the researchers’ view, Moore’s paradox arises only in the context of situations where the agent asserting such sentences is conscious speaking about oneself. Therefore, there is an obvious structural analogy between the sentences of the Liar family (‘This very sentence is false’, ‘Now I am lying’, etc.) and Moore’s paradox (‘p but I don’t believe that p’, ‘p but I believe that not-p’) – self-reference is constitutive for both families of paradoxical statements. (shrink)

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the (...) correctness of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

Plato's Theaetetus rejects four explanations of how someone could falsely believe something. The Sophist accepts an explanation of how someone could falsely believe something. The problem is to fit together what Plato rejects in the Theaetetus with what he accepts in the Sophist, given the intended unity of these two dialogues. ;The traditional solution is to take the Sophist's explanation of false speech and belief to be Plato's last word on the matter, to take that explanation as somehow overreaching (...) the problems raised in the Theaetetus. I argue that this solution is unsatisfactory: Using the Cratylus, I point out a 'match-up postulate' needed for false speech, namely, that a person can 'match-up' x with y in some way or other whether or not x and y really belong together in that way. But The Theaetetus rejects this postulate. And This rejection is canonical, that is, Plato is there arguing in his own person. Now Nowhere in the Sophist is any reason given to accept this postulate, nor is it compatible with certain parts of the Sophist. Thus The Sophist's explanation does not overreach the problems raised in the Theaetetus. ;Having rejected the traditional way of fitting together the Theaetetus and Sophist, I suggest the following new way. Instead of taking the explanation of the Sophist to be Plato's last word on false speech, I take his last word to be the rejection of the various explanations in the Theaetetus. ;I motivate this suggestion by comparing Plato's peculiar style of dialogue--as found, for instance, in the Laches and Meno--with the modern, expository style of presenting philosophy. The aim of my comparison is to show that, whereas in an exposition the arguing is done in the middle followed by the conclusion at the end, in Plato's dialogue style the arguing is done in the middle followed by a denial of the conclusion at the end. (shrink)

I explain and criticize a theory of beliefs and of belief sentences offered by Graeme Forbes. My main criticism will be directed at Forbes' idea that, as a matter of the semantic rules of belief reporting -- as a matter of the meaning of belief ascriptions -- to get at the subject's way of thinking in an attitude ascription, we must use expressions that are "linguistic counterparts" of the subject's expressions. I think we often do something (...) like that, but that we have other, equally good methods of getting at ways of thinking; so what is wanted is a more inclusive characterization of the rules of belief reporting by which we manage to do it -- a characterization more along the lines of: anything goes. (shrink)

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application (...) of second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

This paper defends a theory of speech act that I call concurrentism. It consists of the following three theses. 1. We believe, ceteris paribus, that other people’s speech acts concur with their beliefs. 2. Our speech acts, ceteris paribus, concur with our beliefs. 3. When our speech acts deviate from our beliefs, we do not, ceteris paribus, declare the deviations to other people. Concurrentism sheds light on what the hearer believes when he hears an indicative sentence, what the speaker believes (...) when he says an indicative sentence, what the speaker does after he says an indicative sentence contrary to what he believes, why Moore’s paradox occurs, why it is puzzling to say some variants of Moorean sentences, and why it is not absurd to say other variants of Moorean sentences. (shrink)

Are religious beliefs psychologically different from matter-of-fact beliefs? Many scholars say no: that religious people, in a matter-of-fact way, simply think their deities exist. Others say yes: that religious beliefs are more compartmentalized, less certain, and less responsive to evidence. Little research to date has explored whether lay people themselves recognize such a difference. We addressed this question in a series of sentence completion tasks, conducted in five settings that differed both in religious traditions and in language: the US, Ghana, (...) Thailand, China, and Vanuatu. Participants everywhere routinely used different verbs to describe religious versus matter-of-fact beliefs, and they did so even when the ascribed belief contents were held constant and only the surrounding context varied. These findings support the view that people from diverse cultures and language communities recognize a difference in attitude type between religious belief and everyday matter-of-fact belief. (shrink)

Russellianism is the view that the meaning of a proper name is the individual designated by the name. Together with other plausible assumptions, Russellianism entails the following: Sentences containing proper names express Russellian propositions, which involve the individual designated by the name as a direct constituent, and which can be represented as sets of individuals and properties. Moreover, as they occur in ordinary belief reports, ‘that’-clauses designate Russellian propositions. Such belief reports are true if and only if (...) the subject of the belief report bears the belief relation to the proposition designated by the ‘that’-clause. In defending this doctrine, some Russellians appeal to propositional guises, which, roughly speaking, are ways of grasping propositions. However, some Russellians don’t appeal to such entities. In this paper, I explain the varieties of Russellianism and then argue for Modest Russellianism: Believing a Russellian proposition is essentially mediated by guises, so that an agent can’t believe a Russellian proposition without standing in some appropriate relation to both the proposition and a guise. Nonetheless, guises don’t feature in the semantics of ordinary belief reports, so that an adequate account of the meaning of such belief reports needn’t invoke guises. (shrink)

A fictional text is commonly viewed as constituting an invitation to play a certain game of make-believe, with the individual sentences written by the author providing the propositions we are to imagine and/or accept as true within the fiction. However, we can’t always take the text at face value. What narratologists call ‘unreliable narrators’ may present a confused or misleading picture of the fictional world. Meanwhile there has been a debate in philosophy about so-called ‘imaginative resistance’ in which we (...) are inclined to resist imagining (or even accepting as true in the fiction) what’s explicitly stated in the text. But if we can’t take the text’s word for it, how do we determine what’s true in a fiction? We propose an account of fiction interpretation in a dynamic setting (a version of DRT with a mechanism for opening, updating, and closing temporary ‘workspaces’) and combine this framework with belief revision logic. With these tools in hand we turn to modelling imaginative resistance and unreliable narrators. (shrink)

Reprinted in Philosophy of Religion: An Anthology, Wadsworth 2015, 6th edition, eds Michael Rea and Louis Pojman. What is propositional faith? At a first approximation, we might answer that it is the psychological attitude picked out by standard uses of the English locution “S has faith that p,” where p takes declarative sentences as instances, as in “He has faith that they’ll win”. Although correct, this answer is not nearly as informative as we might like. Many people say that (...) there is a more informative answer. They say that, at the very least, propositional faith requires propositional belief. More precisely, they say that faith that p requires belief that p or that it must be partly constituted by belief that p. This view is common enough; call it the Common View. I have two main aims in this paper: (i) to exhibit the falsity of the Common View and the paucity of reasons for it, and (ii) to sketch a more accurate and comprehensive account of what propositional faith is. (shrink)

Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he (...) intends that result to show us that ‘believes’ has no transparent sense. Criticisms of this argument are either based on unwarranted assertions or on definitions of key terms that depart from Quine’s usage of those terms. (shrink)

My belief that Socrates was wise, and your belief that Socrates was mortal can be said to have a common focus, insofar as both these thoughts are about Socrates. In Peter Geach’s terminology, the objects of our beliefs bear the feature of intentional identity, because our beliefs share the same putative target. But what if it turned out that Socrates never existed? Can a pair of thoughts share a common focus if the object both thoughts are about, does (...) not actually, really exist? Object-centric accounts of intentionality which explain the aboutness or directedness of thought in terms of the intentional object the thought in question is about, contend that thoughts which share a common focus do so in virtue of both thoughts simply being about the same intentional object. However, Alexander Sandgren contends that such theories face difficulties in explaining a puzzle of intentional identity put forward by Walter Edelberg, in which a pair of sentences seem to differ in truth value but are purportedly logically equivalent on the object-centric theory. If this is right, then it seems that any account which explains intentionality with reference to an intentional object is threatened by this result, whether this object be abstract, merely possible, Meinongian, or otherwise. In this paper, I argue that Edelberg’s Puzzle is analogous to Frege’s Puzzle and the same tools conventionally used to solve Frege’s Puzzle can be used to solve Edelberg’s Puzzle. I then propose a new object-centric solution to Edelberg’s Puzzle which takes into account modes of presentation and which is able to accommodate all the relevant linguistic data. (shrink)

According to an attractive account of belief, our beliefs have centered content. According to an attractive account of communication, we utter sentences to express our beliefs and share them with each other. However, the two accounts are in conflict. In this paper I explore the consequences of holding on to the claim that beliefs have centered content. If we do in fact express the centered content of our beliefs, the content of the belief the hearer acquires cannot (...) in general be identical to the content the speaker expresses. I sketch an alternative account of communication, the Recentering model, that accepts this consequence and explains how expressed and acquired content are related. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between (...) reasoning in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect (...) whether it is the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

This paper discusses an "expressive constraint" on accounts of thought and language which requires that when a speaker expresses a belief by sincerely uttering a sentence, the utterance and the belief have the same content. It will be argued that this constraint should be viewed as expressing a conceptual connection between thought and language rather than a mere empirical generalization about the two. However, the most obvious accounts of the relation between thought and language compatible with the constraint (...) (giving an independent account of one of either linguistic meaning or thought content and understanding the other in terms of it) both face serious difficulties. Because of this, the following will suggest an alternative picture of the relation between thought and language that remains compatible with the constraint. (shrink)

A stereotype is a belief or claim that a group of people has a particular feature. Stereotypes are expressed by sentences that have the form of generic statements, like “Canadians are nice.” Recent work on generics lends new life to understanding generics as statements involving probabilities. I argue that generics (and thus sentences expressing stereotypes) can take one of several forms involving conditional probabilities, and these probabilities have what I call a naturalness requirement. This is the natural (...) probability theory of stereotypes. Each of the two components of the theory entails a family of fallacies that contributes to the spurious reinforcement of stereotypes: inferential slippage within and between the different generic forms, and inferential slippage from facts about frequencies of group traits to beliefs about natural propensities or dispositions of groups. Empirical research suggests that we often commit these fallacies. Moreover, this theory can referee a vitriolic debate between some psychologists, who hold that stereotypes are always false and stereotyping is always wrong, and other psychologists, who hold that stereotypes are often accurate and stereotyping is often reasonable. (shrink)

We use generic sentences like ‘Blondes are stupid’ to express stereotypes. But why is this? Does the fact that we use generic sentences to express stereotypes mean that stereotypes are themselves, in some sense, generic? I argue that they are. However, stereotypes are mental and generics linguistic, so how can stereotypes be generic? My answer is that stereotypes are generic in virtue of the beliefs they contain. Stereotypes about blondes being stupid contain a belief element, namely a (...) belief that blondes are stupid. This belief is an attitude taken towards the same proposition expressed by the sentence ‘Blondes are stupid’, hence why we use the latter to articulate the former. -/- This generic account of stereotypes can help us better understand their inner workings. I focus on one feature of generics, variability in the types of facts that can make them true, and argue that it can explain how stereotypes shape inferential patterns and thereby guide how we treat members of stereotyped groups. This feature, in turn, illuminates the harms caused by stereotyping and suggests some courses of action. (shrink)

This paper is about compositionality, belief reports, and related issues. I begin by introducing Putnam’s proposal for understanding compositionality, namely that the sense of a sentence is a function of the sense of its parts and of its logical structure (section 1). Both Church and Sellars think that Putnam’s move is superfluous or unnecessary since there is no relevant puzzle to begin with (section 2). I will urge that Putnam is right in thinking that there is indeed a puzzle (...) with a discussion of translation and belief individuation (section 3). Later Salmon (2001/ 2007) reinforces Church’s position, but I will argue that it is still possible to make my case by clarifying the nature of my proposal, i.e., understanding explanations of action from the third-person point of view (section 4). Now, Fine (2007) agrees with Putnam that there is indeed a puzzle to be solved, but he argues that Putnam’s solution of it is problematic, and that his own semantic relationism is a better view. In response to this, I will recast the notion of compositionality based on a certain conception of belief individuation, namely that the semantic content of a sentence is a function of the semantic contents of its parts and of the structure of intensional discourses (sections 3 and 5). Finally the paper will end with a reconsideration of the recalcitrant Kripke’s puzzle about belief (1979/1988), since it might seem to put some pressure on my account. It turns out that my understanding of this puzzle is again different from Fine’s perspective (section 6). (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in (...) terms of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

One of Moore’s paradoxical sentence types is ‘P, but I believe ~P’. Mooreans have assumed that all tokens of that sentence type are absurd in some way: epistemically, pragmatically, semantically, or assertively. And then they proceed to debate what the absurdity really is. I argue that if one has the appropriate philosophical views, then one can rationally assert tokens of that sentence type, and one can be epistemically reasonable in the corresponding compound belief as well.

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The (...) question to be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

Saul Kripke's puzzle about belief demonstrates the lack of soundness of the traditional argument for the Fregean fundamental principle that the sentences 'S believes that a is F' and 'S believes that b is F' can differ in truth value even if a = b. This principle is a crucial premise in the traditional Fregean argument for the existence of semantically relevant senses, individuative elements of beliefs that are sensitive to our varying conceptions of what the beliefs are (...) about. Joseph Owens has offered a new argument for this fundamental principle, one that is not subject to Kripke's criticisms. I argue that even though Owens' argument avoids Kripke's criticisms, it has other flaws. (shrink)

The problem of communication in de se thoughts is the problem of communication of first-person or self-locating thoughts across the speakers of a conversation. The problem mainly stems from the lack of a proper account of attitude and content — an account that is supposed to explain whether or how the context of linguistic utterances is related to the semantic content of a sentence, assertion and belief. In this paper, after introducing two new semantic items, namely, almost-impossible and almost-necessary (...) propositions, that could be taken as theoretically primitive entities in the semantic framework I wish to draw, I propose an account of modified Lewisian-centered content and attitude based on the metaphysical framework of the Lewisian counterpart-theoretic semantics for quantified modal logic to the extent that the modification relies on those new semantic items. I then show that we can solve the problem by using our modified account. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Do metaphorical sentences express facts or represent states of affairs in the world? Can a metaphorical statement tell us ‘what there is’? These questions raise the issue of whether metaphors can be used to make truth-claims; that is, whether metaphors can be regarded as assertions that can be evaluated as true or false. Some theorists on metaphor have argued for a negative answer to the above-mentioned questions. They have claimed, among others, that metaphorical utterances are non-descriptive uses of language (...) (Blackburn 1998); truth is not the constitutive aim of metaphors (Lamarque and Olsen 1994); metaphorical sentences do not have propositional contents (Davidson 1979; Cooper 1986; Rorty 1987, 1989; Lepore and Stone 2010, 2015); metaphorical utterances are neither assertions nor expressions of beliefs (Loewenberg 1973, 1975; Davies 1982; Davies 1984; Blackburn, 1984). I discuss a particular view, Metaphorical Expressivism, which exploits the relationship between truth, belief and assertion, and argues for the irrelevancy of truth to metaphors on the premise that metaphorical utterances do not count as assertions and that they do not count as the expression of beliefs. The denial of the truth-evaluability of metaphors on this view, I argue, is a product of an unmotivated tendency to see truth and meaning in terms of the portrayal of facts and a commitment to two untenable principles: literalism and representationalism. (shrink)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that (...) p"—as they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

Nico Silins (2012, 2013, 2020) argues that conscious judgments justify self-attribution of belief in the content judged. In defending his view, he makes use of Moore’s Paradox, seeking to show how his theory can explain what seems irrational or absurd about sentences of the form, ‘p and I do not believe that p’. I show why his argument strategy is not available to defend the view that conscious judgments can justify the self-attribution of belief in the content (...) judged. I then propose an amended version of his theory, which holds that sincerely asserting a proposition—whether aloud or silently—justifies self-ascribing belief in the proposition expressed. In doing so, I draw on an argument which I made in Gregory (2018) that there is something it is like to make a sincere assertion which is different from what it is like to make an insincere assertion. The phenomenology of sincere assertion provides immediate justification for self-ascription of belief in a proposition which has been sincerely asserted; nonetheless, it may be that we need to interpret our own assertions in order to determine which propositions they express. This paves the way for showing how two competing schools of thought about self-knowledge—one which holds that self-knowledge is immediate and one which holds that self-knowledge is inferential—might be combined. (shrink)