Having briefly sketched the aims of our paper, namely, to logically analyse the ascription of propositional attitudes to somebody else in terms, not of Fregean senses or of intensions-with-s, but of the intentional object of the person spoken about, say, the believer or intender (Section 1), we try to introduce the concept of an intentional object as simply as possible, to wit, as coming into view whenever two (or more) subjective belief-worlds strikingly diverge (Section 2). Then, we assess (...) the pros and cons of Frege’s view that the indirect reference of an expression is nothing but its customary sense (Sections 3–4), and call the reader’s attention to the fact that in belief ascriptions de re we take it for granted that the believer’s intentional object is at the same time a ‘citizen’ of the belief ascriber’s subjective world (or, for that matter, the real word), and that the idea of such a ‘dual citizenship’ is even more obviously presupposed in the cases of true belief and propositional knowledge (Section 5). Then, we try to argue that it is more fertile to take the belief ascriber’s intentional object to be, not the whole state of affairs the believer has in mind and thinks to exist, but the latter’s intentional object as such, that is, as being his intentional object (Section 6). Finally, we discuss the intricate and mostly neglected question of whether an intentional object’s inhabiting two or more subjective belief-worlds should be considered to be sort of a ‘transmundane identity’ in the numerical sense or rather in some deviant sense of the term, which can be specified as a momentous subcase of a ‘categorial difference’ (Section 7). (shrink)

Syntactical treatments of propositional attitudes are attractive to artificial intelligence researchers. But results of Montague (1974) and Thomason (1980) seem to show that syntactical treatments are not viable. They show that if representation languages are sufficiently expressive, then axiom schemes characterizing knowledge and belief give rise to paradox. Des Rivières and Levesque (1988) characterize a class of sentences within which these schemes can safely be instantiated. These sentences do not quantify over the propositional objects of knowledge and (...) belief. We argue that their solution is incomplete, and extend it by characterizing a more inclusive class of sentences over which the axiom schemes can safely range. Our sentences do quantify over propositional objects. (shrink)

Donald davidson has proposed an account of indirect discourse that has been the subject of a great deal of discussion. Critics have contended that the theory saddles sentences in indirect discourse with implications they do not have, That the theory rests on an unsuitably obscure primitive notion that it cannot be extended to "de re" constructions and that it cannot be extended to sentences about other propositional attitudes such as belief. In this paper, I formulate davidson's theory more (...) precisely than it has been formulated, Thus far, And defend the theory from all the criticisms just described. (shrink)

I shall examine Quine’s conception of logic, of propositional attitudes, and of the unity of knowledge in order to show that there are some tensions in Quine’s system. I first propose a conception of the use or application of logic, stating that logic strictly speaking applies to intentional phenomena or to things that presuppose the existence of intentional phenomena. Then, I consider briefly Quine’s philosophy of logic and discuss some issues. In Quine’s philosophy, (...) class='Hi'>logic stays at the very center of the web of our beliefs; it is central in science and ordinary knowledge as well. Then I examine Quine’s tendency to “quine” the mental, given his own maxim of minimum mutilation. Finally, I consider Quine’s thesis of the unity of knowledge, the thesis that there is continuity from ordinary to scientific knowledge. If I am right about the use of logic and the presence of the propositional attitude idiom in ordinary knowledge and social sciences and humanities, I think there is a problem of consistency in Quine’s system, and that Quine himself pointed to a part of the solution. (shrink)

The conventional wisdom has it that between 1905 and 1919 Russell was critical to pragmatism. In particular, in two essays written in 1908–9, he sharply attacked the pragmatist theory of truth, emphasizing that truth is not relative to human practice. In fact, however, Russell was much more indebted to the pragmatists, in particular to William James, as usually believed. For example, he borrowed from James two key concepts of his new epistemology: sense-data, and the distinction between knowledge by acquaintance and (...) knowledge by description. Reasonable explanation of this is that, historically, Russell’s logical realism and James’s pragmatism have the same roots—the German philosopher Rudolph Hermann Lotze (1817–1881). In this paper we are going to explore the fact that in 1905, under Lotze’s influence, Russell married propositions with beliefs. A few years later this step also made Russell prone to embrace the theory of truth-making that has its roots in James. In contrast to the concept of sense-data and to the distinction between knowledge by acquaintance and knowledge by description, however, the understanding that we believe propositions—and not, for example, simply grasp them—was in tension with Russell’s Principle of Extensionality, according to which propositions can be logically connected with other propositions only as truth-functions. The point is that when we judge a mind-relation (for example, a relation of belief) to a proposition, the latter cannot be determined as true or false. The two most talented pupils of Russell, Wittgenstein and Ramsey, severely criticized the central place propositional attitudes play in Russell’s logic. Wittgenstein analyzed “A believes that p” to “ ‘p’ says p” (5.542). Ramsey criticized Russell’s beliefs in propositions the other way round: He stressed that belief is an ambiguous term that can be interpreted for the better in the sense of pragmatism. Prima facie surprisingly, he maintained that his “pragmatism is derived from Mr Russell.” (1927: 51). (shrink)

In this article I will develop the first steps of a wholly general theory of how indexical and reflexive pronouns function in propositional attitude ascriptions. This will involve a theory of ascriptions of de se beliefs and de se utterances, which can probably be also generalized so as to apply to ascriptions of other attitudes. It will also involve a theory about the ascriptions of beliefs or other attitudes a person has at a time about what happens (...) then (attitudes de praesente, as they are sometimes called) and the beliefs of a person concerning the one whom he is addressing (which I might call beliefs de recipiente) etc.. The most distinctive aspect of the theory will be that I will argue that many phenomena associated with such ascriptions that are nowadays most often viewed as pragmatic are semantic. I will use a system of symbolic logic to formalize such ascriptions. I will start from David Kaplan’s Logic of Demonstratives and generalize it into a logic I call Doxastic Logic of Demonstratives, DLD. Crucial to the semantics of the logic will be an exact definition of the adjustments of a character from one context to another. (shrink)

Kant was among the first philosophers to recognize that modalities come in many varieties, and that there are systematic connections among them--an insight which has since been confirmed by the multitude of applications of the basic techniques of formalized modal logic. In particular, He recognized an affinity among what are now called doxastic and epistemic logics, As well as with a logic of judging which has not exact counterpart in contemporary thought. This paper will be concerned with the (...) explication of the theory of judgment in its relation to the logics of belief and knowledge. It will seek to show that there is a clear and consistent way to translate Kant's notions of modality into modern symbolic terminology, And that the relations he took to hold among them are well-grounded in his philosophy of logic. (shrink)

Some philosophers hold that philosophy is what you do to a problem until it’s clear enough to solve it by doing science. Others hold that if a philosophical problem succumbs to empirical methods, that shows it wasn’t really philosophical to begin with. Either way, the facts seem clear enough: questions first mooted by philosophers are sometimes coopted by people who do experiments. This seems to be happening now to the question: “what are propositional attitudes?” and cognitive psychology is (...) the science of note. (shrink)

In Part I of this essay I distinguish perception from sensation and sensory processing, and I argue that propositional perceiving is an act, intentional, cognitive, and can go amiss. In Part II I show that perceiving must be committive to go amiss, and since a committive, cognitive, intentional act is assentive, I conclude that propositional perceiving is assentive. In Part III of the essay I argue that nonpropositional perceiving is an act, intentional, cognitive, and capable of going amiss, (...) and hence committive. In the course of showing that nonpropositional perceiving is cognitive, I examine Bertrand Russell's views on knowledge by acquaintance and argue that such knowledge is logically propositional. Since nonpropositional perceiving is a committive, cognitive, intentional act, I conclude that it too is assentive. Thus, the conclusion I reach in this work is that the propositional attitude in perception, whether propositional or nonpropositional, is one of assent. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections (...) on the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory. (shrink)

This book shows that the semantic analysis of modal notions of possibility and necessity can be used to enhance our understanding of the interpretation of reports of belief or emotional state. It introduces intuitive notation and terminology to express ideas in modern theories of modal interpretation that are normally represented in complex logical formulas, effectively updates the 1960s-era link between possible worlds and the semantics of propositional attitude ascriptions, and reconciles two disparate views of the role of events in (...) semantic interpretation, that of Donald Davidson and that of David Lewis. It reduces a host of variable behaviors of propositional attitude ascription to an intuitive and precise distinction between ascriptions that merely express a commitment to propositional content versus ones that attribute a mental state to the holder of the propositional attitude. This leads to an explanation of the nature and effects of the language disorder of fluent aphasia. (shrink)

Two arguments favoring propositionalist accounts of attitude sentences are being revisited: the Church-Langford translation argument and Thomason's argument against quotational theories of indirect discourse. None of them proves to be decisive, thus leaving the option of searching for a developed quotational alternative. Such an alternative is found in an interpreted logical form theory of attitude ascription. The theory differentiates elegantly among different attitudes but it fails to account for logical dependencies among them. It is argued, however, that the concept (...) of logical consequence does not well apply to dependencies among belief sentences and that the requirement to account for logical relations among such sentences should be relaxed. (shrink)

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general modeltheoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways (...) or special propositional content or preparatory conditions. According to standard logic of attitudes , human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode. (shrink)

The most common account of attitude reports is the relational analysis according towhich an attitude verb taking that-clause complements expresses a two-placerelation between agents and propositions and the that-clause acts as an expressionwhose function is to provide the propositional argument. I will argue that a closerexamination of a broader range of linguistic facts raises serious problems for thisanalysis and instead favours a Russellian `multiple relations analysis' (which hasgenerally been discarded because of its apparent obvious linguistic implausibility).The resulting account can (...) be given independent philosophical motivations within anintentionalist view of truth and predication. (shrink)

Eliminative materialism is a popular view of the mind which holds that propositional attitudes, the typical units of our traditional understanding, are unsupported by modern connectionist psychology and neuroscience, and consequently that propositional attitudes are a poor scientific postulate, and do not exist. Since our traditional folk psychology employs propositional attitudes, the usual argument runs, it too represents a poor theory, and may in the future be replaced by a more successful neurologically grounded theory, (...) resulting in a drastic improvement in our interpersonal relationships. I contend that these eliminativist arguments typically run together two distinct capacities: the folk psychological mechanisms which we use to understand one another, and scientific and philosophical guesses about the structure of those understandings. Both capacities are ontologically committed and therefore empirical. However, the commitments whose prospects look so dismal to the eliminativist, in particular the causal and logical image of propositional attitudes, belong to the guesses, and not necessarily to the underlying mechanisms. It is the commitments of traditional philosophical perspectives about the operation of our folk psychology which are contradicted by␣new evidence and modeling methods in connectionist psychology. Our actual folk psychology was not clearly committed to causal, sentential propositional attitudes, and thus is not directly threatened by connectionist psychology. (shrink)

Propositions are central to at least most theorizing about the connection between our mental lives and the world: we use them in our theories of an array of attitudes including belief, desire, hope, fear, knowledge, and understanding. Unfortunately, when we press on these theories, we encounter a relatively neglected family of paradoxes first studied by Arthur Prior. I argue that these paradoxes present a fatal problem for most familiar resolutions of paradoxes. In particular, I argue that truth-value gap, contextualist, (...) situation theoretic, revision theoretic, ramified, and dialetheist approaches to the paradoxes must deny us the conceptual resources that they themselves make use of, on pain of contradiction. I then detail the costs of the extant strategies that avoid this issue: Hartry Field’s paracomplete approach; Andrew Bacon’s classical treatment of indeterminacy; a generalization of ideas from Prior, Nicholas J.J. Smith, and Hartley Slater; and free logics as recently explored by Bacon, John Hawthorne, and Gabriel Uzquiano. I argue that none of these is perfect, and that each restricts the theories we can endorse in a variety of areas of philosophy. I spell these restrictions out, showing, I hope, that the further investigation of these paradoxes must be a part of future research on propositional attitudes. (shrink)

The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as (...) of The Morning Star and The Evening Star (section 1). Given the second members of the pairs, the modes of presentation, it is quite natural to allow exportation everywhere. There is no need for essentialism. (One also can have non-essentialistic modal logic if one grants analyticity or the like.) (section 2). Given that the second member of the pair need only be one that is satisfied by the entity that is the first member (and need not be specificative), the method has no difficulties when one is concerned only with discriminations (and not specifications) (section 3). When this method is combined with the Frege-Carnap method of descriptions, fictional entities can be accommodated; Goodman''s unicorn-picture and the like can be brought within a Tarskian semantics; and Geach''s difficulties with intentional identity appear to be handled (section 4). Given the author''s ordered pair construals, there appears to be no additional need for notional construals; i.e., the author''s one unified method appears satisfactory for dealing with both traditionalde re (relational) andde dicto (notional) construals. The Paradox of the Knower and the like do not appear formulatable against the author''s approach. (section 5). The author also argues against the basic principles behind the Church-Langford translation argument (section 6). (shrink)

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...) same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research (...) attention. We introduce a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

According to some, such as Carruthers (2009, 2010, 2011, 2015), the confabulation data (experimental data showing subjects making false psychological self-ascriptions) undermine the view that we can know our propositional attitudes by introspection. He believes that these data favour his interpretive sensory-access (ISA) theory—the view that self-knowledge of our propositional attitudes always involves self-interpretation of our sensations, behaviour, or situational cues. This paper will review some of the confabulation data and conclude that the presence and pattern (...) of these data do not substantiate the claim that we cannot introspect our propositional attitudes. As a consequence of this discussion, I conclude that the ISA theory is not well supported by the empirical data. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical (...) interpretation of the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

One way to obtain a comprehensive semantics for various systems of modal logic is to use a general notion of non-normal world. In the present article, a general notion of modal system is considered together with a semantic framework provided by such a general notion of non-normal world. Methodologically, the main purpose of this paper is to provide a logical framework for the study of various modalities, notably prepositional attitudes. Some specific systems are studied together with semantics using (...) non-normal worlds of different kinds. (shrink)

For the sentences of languages that contain operators that express the concepts of definiteness and indefiniteness, there is an unavoidable tension between a truth-theoretic semantics that delivers truth conditions for those sentences that capture their propositional contents and any model-theoretic semantics that has a story to tell about how indetifiniteness in a constituent affects the semantic value of sentences which imbed it. But semantic theories of both kinds play essential roles, so the tension needs to be resolved. I argue (...) that it is the truth theory which correctly characterises the notion of truth, per se. When we take into account the considerations required to bring model theory into harmony with truth theory, those considerations undermine the arguments standardly used to motivate supervaluational model theories designed to validate classical logic. But those considerations also show that celebration would be premature for advocates of the most frequently encountered rival approach - many-valued model theory. (shrink)

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are (...) then modelled by means of minimal modalities to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained. (shrink)

Against recent commentators such as Annstrong, D’Arcy, Copleston, O’Connor, Bourke, and Grisez, I argue that the logic referred to by Thomas in his “Treatise on Law” should not be understood metaphorically. Instead, it involves a chain of syllogisms, beginning with the synderesis principle, followed by primary, secondary, and tertiary principles, and ends with a practical syllogism. In showing this, I attack the view that the synderesis principle, “good ought to be done and evil avoided,” is tautological. Second, I show (...) the syllogistic relation between this and the more subordinate moral principIes. Finally, I argue that the practical syllogism also involves a logical deduction, where the minor premise is a propositional attitude of perception, and the conclusion is an action which expresses a proposition. What emerges is a more precise account of how actions are related to natural law. (shrink)

It is a commonly held view that Frege's doctrine of senses and references is not compatible with the idea that there are de re beliefs. The present paper is meant to challenge that view. Moreover, it seeks to show that, instead of forcing Frege's semantic framework to answer questions raised by twentieth-century philosophy of language, we could try to find other questions to which it might be an answer. It is argued that the proper treatment of Frege's views requires the (...) acknowledgement of the central role of individualistic epistemology in his thought. Once this is recognized, Frege's doctrine of senses and references can be considered a theory, or at least a sketch of a theory, of cognition, which has interesting connections with Kant's and Husserl's views. (shrink)

Can language directly access what is true, or is the truth judgment affected by the subjective, perhaps even solipsistic, constructs of reality built by the speakers of that language? The construction of such subjective representations is known as veridicality, and in this book Anastasia Giannakidou and Alda Mari deftly address the interaction between truth and veridicality in the grammatical phenomena of mood choice: the indicative and subjunctive choice in the complements of modal expressions (words like must, may, can, and possible) (...) and propositional attitude verbs (such as know, believe, remember, dream, and persuade). Combining several strands of analysis-formal linguistic semantics, syntactic theory, modal logic, and philosophy of language- Giannakidou and Mari's theory not only enriches the analysis of linguistic modality, but also offers a unified perspective of modals and propositional attitudes. Their synthesis covers mood, modality, and attitude verbs in Greek and Romance languages including Italian and French, while also offering broader applications for languages lacking systematic mood distinction, such as English, and explaining interactions between modality, time, and evidentiality. (shrink)

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

The analysis of knowledge and belief has provoked intensive discussions in philosophy and linguistics. One of the issues in this area is the semantics of attitude verbs whose complement expresses a thought about the Self of the thinking person. What is the content of my belief when I think that I am tired? Some philosophers propose it is a proposition, others think it is a property. It will be shown in this essay that existing proposals in either direction are unsatisfying. (...) The property theorist expells the subject of the predicate "tired" from the analysis; their theory is at best incomplete. The propositionalist has difficulties with the analysis of the pronoun that refers back to the subject of the attitude, as is the case with "he" in "Wolfgang believes he is tired". The present new proposal ventures the idea that a conscious person is endowed with their own Logical Space that deviates from the standard model in providing for a separate entity, the Self, as the object or target of inner thoughts about oneself. Moreover, this Logical Space leaves room for linguistic error: in such a model, subjects may be unable to correctly identify the reference of a name or may fail to identify the Self with its bearer. By contrast, reference to the Self is immune to error through misidentification, it is a paradigm case of brute indexicality. In consequence, de se pronouns are rigid designators in the sense of Kripke. The book solves several puzzles of reference failure and explores numerous consequences for the semantics of attitude reports and for possible world semantics in general. (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of (...) acquaintance in which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

Non-cognitivists are known to face a problem in extending their account of straightforward predicative moral judgments to logically complex moral judgments. This paper presents a related problem concerning how non-cognitivists might extend their accounts of moral judgments to other kinds of moral attitudes, such as moral hopes and moral intuitions. Non-cognitivists must solve three separate challenges: they must explain the natures of these other attitudes, they must explain why they count as moral attitudes, and they must explain (...) why the moral attitudes are systematically correlated with ordinary propositional attitudes. After presenting the problem, this paper examines several contemporary theories with some initial promise for solving it, and argues that they are insufficient. (shrink)

In this article, the attempts by David Lewis and Brian Loar to make perspicuous the logical form of sentences ascribing propositional attitudes to individuals are set out and criticized. Both work within the assumption of the truth of 'type' physicalism, and require that logically perspicuous attitude ascriptions be compatible with the demands of such a doctrine. It is argued that neither carry out this task successfully - Lewis's perspicuous ascriptions have counter-intuitive implications, while Loar's avoidance of these undermines (...) type physicalism itself. (shrink)

Attitudinal propositionalism is the view that all mental attitude content is truth-evaluable. While attitudinal propositionalism is still silently assumed in large parts of analytic philosophy, recent work on objectual attitudes (i.e. attitudes like ‘fearing Moriarty’ and ‘imagining a unicorn’ that are reported through intensional transitive verbs with a direct object) has put attitudinal propositionalism under explanatory pressure. This paper defends propositionalism for a special subclass of objectual attitudes, viz. experiential attitudes. The latter are attitudes like (...) seeing, remembering, and imagining whose grammatical objects intuitively denote (events or) scenes. I provide a propositional analysis of experiential attitudes that preserves the merits of propositionalism. This analysis uses the possibility of representing the target-scenes of experiential attitudes by the intersection of all propositions that are true in these scenes. I show that this analysis makes available the usual (Russellian) account of intensionality and the common (Boolean) logic for entailments. (shrink)

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic problem. (...) Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature (...) on epistemic modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

For a long while Bayesian techniques in statistics in general, and decision theory in particular, were considered suspect at best, and to be avoided; but now along comes Jeffrey with a system of subjective probability and utility functions determined by the individual's preferences, and a strongly Bayesian approach to decision-making, and by so doing puts the whole matter in a new light and makes it quite important to reassess the prior rejection of Bayesian methods. There are twelve chapters, each with (...) exercises, which begin with the model of deliberation, progress though scaling and ranking desirability, preference and propositional attitudes, thence to probability and measurement of desirability, and finally to induction and confirmation. The author's theory bears some resemblances to that sketched by Ramsey, but it draws somewhat on the later work of Von Neumann and Morgenstern. The author examines probability as viewed both statically—when the agent's attitudes are constant—and dynamically-when desirability and, consequently, probability assignments change. This text is one of the small but growing library of works whose interest is induction and probability theory; in that library, it will occupy an important place.—P. J. M. (shrink)

Understanding the logical behavior of propositional attitudes, i.e. the mental states that we entertain with propositions (such as knowledge, belief, supposition, imagination, etc.), requires careful consideration of what such attitudes are about: their topic. This is the core intuition of Francesco Berto’s work, a book that fits into one of the most interesting and rich debates of recent decades, ranging over a wide variety of disciplines: from formal semantics to epistemology and even cognitive psychology. But above all, (...) Berto’s book makes a substantial contribution to what Daniel Nolan calls the hyperintensional revolution. In addition to being an original and ambitious proposal in the area of epistemic logic, the book can also be considered an excellent and in-depth introduction to many of the most interesting problems in the contemporary debate. (shrink)