All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, which is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the models could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the models would describe maximum rationality, (...) which a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences for epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In this paper, I present an argument to this conclusion and discuss its consequences, as, for example, the vindication of the principle 'no rationality through brute-force'. (shrink)

Our article aims to show, on the one hand, the preeminence of the interactive paradigm as a determining element in the process of constitution of logical meaning and, on the other hand, to examine the contents of the linguistic expressions of pragmatic semantics. To do this, we expose three major figures of the logic of mathematical obedience in particular those of Gottfreid Leibniz, George Boole and Gottlob Frege. If this approach to mathematical logic has seen meritorious progress, it should be (...) pointed out that it does not favor the emphasis on epistemic and interactive aspects in the notions of logical consequences and inference. Our contribution is therefore to demonstrate that these weaknesses can be solved with the revolutionary approach of Robert Brandom based on the framework that promotes the interactive game of supply and demand of reasons. This analysis leads to the idea that interactive play is the basis of contemporary logical approaches. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Situational aspects of action are discussed. The presented approach emphasizes the role of situational contexts in which actions are performed. These contexts influence the course of an action; they are determined not only by the current state of the system but also shaped by other factors as time, the previously undertaken actions and their succession, the agents of actions and so on. The distinction between states and situations is explored from the perspective of action systems. The notion of a situational (...) action system is introduced and its theory is expounded. Numerous examples illustrate the reach of the theory. (shrink)

Although it may seem from its formalism that game theory must have sprung from the mind of John von Neumann as a corollary of his work on computers or theoretical physics, it should come as no real surprise to philosophers that game theory is the articulation of a historically developing philosophical conception of rationality in thought and action. The history of ideas about rationality is deeply contradictory at many turns. While there are theories of rationality that claim it is fundamentally (...) social and aims at understanding and molding all facets of human psychological life, game theory takes rationality to be essentially located in individuals and to concern only the means to achieve predetermined ends. Thus, there are some thinkers who have made important contributions to this history who do not appear in the story of game theory at all, among them, Plato, Kant, and Hegel. There is, however, a clear trail to follow linking theories of instrumental rationality from Aristotle to the nineteenth-century marginalist economists and ultimately to von Neumann and Morgenstern and contemporary game theorists, that historically grounds game theory as a model of rational interaction. (shrink)

The distribution of the focus particle even is constrained: if it is adjoined at surface structure to an expression that is entailed by its focus alternatives, as in even once, it must be appropriately embedded to be acceptable. This paper focuses on the context-dependent distribution of such occurrences of even in the scope of non-monotone quantifiers. We show that it is explained on the assumption that even can move at LF Syntax and semantics, 1979). The analysis is subsequently extended to (...) occurrences of negative polarity items in these environments, which mirror the abovementioned distribution of even and which invalidate standard characterizations of NPI licensing conditions in terms of downward-entailingness. The idea behind the extension is that NPIs denote weak elements that are associates of covert even. The paper concludes by discussing two comprehensive theories of NPI licensing and how our proposal relates to them. (shrink)

Epistemic transparency tells us that, if an agent S knows a given proposition p , then S knows that she knows that p . This idea is usually encoded in the so-called KK principle of epistemic logic. The paper develops an argument in favor of a moderate version of KK , which I dub quasi-transparency , as a normative rather than a descriptive principle. In the second Section I put forward the suggestion that epistemic transparency is not a demand of (...) ideal rationality, but of ideal epistemic responsibility, and hence that ideally responsible agents verify transparency principles of some sort; I also contend that their satisfaction should not be tied to an internalist epistemology. The central argument in favor of transparency is then addressed in Sections 3 to 8, through the development of a formal system. I show that, in a well-behaved formal setting, a moderate version of transparency is imposed upon us as a result of a number of independent decisions on the structure of higher-order probabilities, as long as we request that our probability and knowledge attributions cohere with each other. Thus I give a rationale to build a model for a hierarchy of languages with different levels of knowledge and probability operators; we obtain an analogous to KK for successive knowledge operators without actually demanding transitivity. The formal argument reinforces the philosophical intuition that epistemic transparency is an important desideratum we should not be too ready to dismiss. (shrink)

In “Epistemic Modals,” Seth Yalcin argues that what explains the deficiency of sentences containing epistemic modals of the form ‘p and it might be that not-p’ is that sentences of this sort are strictly contradictory, and thus are not instances of a Moore-paradox as has been previous suggested. Benjamin Schnieder, however, argues in his Yalcin’s explanation of these sentences’ deficiency turns out to be insufficiently general, as it cannot account for less complex but still defective sentences, such as ‘Suppose it (...) might be raining.’ Consequently, Schnieder proposes his own, expressivist treatment of epistemic modals which he thinks can explain the deficiency of both the original sentence type as well as more complex cases of embedded sentences containing epistemic modals. In this study, I argue that although Schnieder is right to draw our attention to the explanatory failure of Yalcin’s account, we aren’t forced to adopt Schnieder’s expressivist account of epistemic modals. I defend instead a contextualist-friendly alternative which explains the deficiencies of all the relevant sentence types, while avoiding both the defects of Yalcin’s account and the intuitive costs of expressivism. (shrink)

The paper studies first order extensions of classical systems of modal logic (see (Chellas, 1980, part III)). We focus on the role of the Barcan formulas. It is shown that these formulas correspond to fundamental properties of neighborhood frames. The results have interesting applications in epistemic logic. In particular we suggest that the proposed models can be used in order to study monadic operators of probability (Kyburg, 1990) and likelihood (Halpern-Rabin, 1987).

This work introduces a two-dimensional modal logic to represent agents' Concurrent Common Knowledge in distributed systems. Unlike Common Knowledge, Concurrent Common Knowledge is a kind of agreement reachable in asynchronous environments. The formalization of such type of knowledge is based on a model for asynchronous systems and on the definition of Concurrent Knowledge introduced before in paper [5]. As a proper semantics, we review our concept of closed sub-product of modal logics which is based on the product of modal logics. (...) The key idea is to reason about Concurrent Knowledge under a two-dimensional approach, regarding asynchronous runs and consistent global states as dimensions. We present an axiomatic system for the logic and issue the corresponding soundness and completeness proofs. (shrink)

I argue for a theory that combines elements of reliabilism and evidentialism.

This paper examines the paradox of revisability. This paradox was proposed by Jerrold Katz as a problem for Quinean naturalised epistemology. Katz employs diagonalisation to demonstrate what he takes to be an inconsistency in the constitutive principles of Quine's epistemology. Specifically, the problem seems to rest with the principle of universal revisability which states that no statement is immune to revision. In this paper it is argued that although there is something odd about employing universal revisability to revise itself, there (...) is nothing paradoxical about this. At least, there is no paradox along the lines suggested by Katz. (shrink)

This paper explores the truism that people think about what they say. It proposes that, to satisfy their own goals, people often plan their speech acts to affect their listeners' beliefs, goals, and emotional states. Such language use can be modelled by viewing speech acts as operators in a planning system, thus allowing both physical and speech acts to be integrated into plans. Methodological issues of how speech acts should be defined in a planbased theory are illustrated by defining operators (...) for requesting and informing. Plans containing those operators are presented and comparisons are drawn with Searle's formulation. The operators are shown to be inadequate since they cannot be composed to form questions (requests to inform) and multiparty requests (requests to request). By refining the operator definitions and by identifying some of the side effects of requesting, compositional adequacy is achieved.The solution leads to a metatheoretical principle for modelling speech acts as planning operators. (shrink)

with this paper, we intend to clarify some of the central notions that are commonly used in contemporary developments of Epistemic Logic, which lack a proper theoretical foundation. We want to follow the steps of some prominent epistemologists and epistemic logicians, who advocate for a correlation between their respective fields of study. We will proceed with a first small step that will consist in adapting one contemporary version of Epistemic Internalism to the framework of Awareness Logic, such that the key (...) concepts in this logic can be sustained by an epistemological view, which, in turn, can work as a theoretical foundation for Awareness Logic. (shrink)

This paper argues that questions have an important role to to play in logic, both semantically and proof-theoretically. Semantically, we show that by generalizing the classical notion of entailment to questions, we can capture not only the standard relation of logical consequence, which holds between pieces of information, but also the relation of logical dependency, which holds between information types. Proof-theoretically, we show that questions may be used in inferences as placeholders for arbitrary information of a given type; by manipulating (...) such placeholders, we may construct formal proofs of dependencies. Finally, we show that such proofs have a specific kind of constructive content: they do not just witness the existence of a certain dependency, but actually encode a method for transforming information of the types described by the assumptions into information of the type described by the conclusion. (shrink)

Traditional approaches to the semantics of questions analyze questions indirectly, via the notion of an answer. In recent work on inquisitive semantics, a different perspective is taken: the meaning of a question is equated with its resolution conditions, just like the meaning of a statement is traditionally equated with its truth-conditions. In this paper I argue that this proposal improves on previous approaches, combining the formal elegance and explanatory power of Groenendijk and Stokhof’s partition theory with the greater generality afforded (...) by answer-set theories. (shrink)

Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate (...) the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. (shrink)

Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic. First, we describe an Ehrenfeucht–Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic. Second, we use the game to study cardinality quantifiers in the inquisitive setting. That is, we study what (...) statements and questions can be expressed in InqBQ about the number of individuals satisfying a given predicate. As special cases, we show that several variants of the question how many individuals satisfy α(x) are not expressible in InqBQ, both in the general case and in restriction to finite models. (shrink)

G.E. Moore noticed the oddity of statements like: “It's raining, but I don't believe it.” This oddity is often seen as analogous to the oddity of believing akratically, or believing what one believes one should not believe, and has been appealed to in denying the possibility of akratic belief. I describe a Belief Akratic's Paradox, analogous to Moore's paradox and centered on sentences such as: “I believe it's raining, but I shouldn't believe it.” I then defend the possibility of akratic (...) belief against appeals to this analogy, arguing both that akratic belief does not require belief-akratic-paradoxical belief, and that the latter is importantly different from Moorean belief. I conclude by considering the implications of these arguments for an understanding of both Moorean and akratic belief. (shrink)

The beliefs involved in the placebo effect are often assumed to be self-fulfilling, that is, the truth of these beliefs would merely require the patient to hold them. Such a view is commonly shared in epistemology. Many epistemologists focused, in fact, on the self-fulfilling nature of these beliefs, which have been investigated because they raise some important counterexamples to Nozick’s “tracking theory of knowledge.” We challenge the self-fulfilling nature of placebo-based beliefs in multi-agent contexts, analyzing their deep epistemological nature and (...) the role of higher-order beliefs involved in the placebo effect. (shrink)

A philosophically important but largely overlooked cognitive theory is examined, one that provides information on which inferences an agent will make from his beliefs. Such a theory of feasible inferences is indispensable in a complete cognitive psychology, in particular, for predicting the agent's actions on the basis of rationality conditions and attributed beliefs and desires. However, very little of the feasibility theory which applies to a typical human being can be shown a priori to apply to all agents. The logical (...) competence required of a rational agent seems to have a cluster structure: it cannot be the case that an agent is able to make no inferences, but an agent can be unable to make any particular one. (shrink)

One diagnosis of Fitch’s paradox of knowability is that it hinges on the factivity of knowledge: that which is known is true. Yet the apparent role of factivity and non-factive analogues in related paradoxes of justified belief can be shown to depend on familiar consistency and positive introspection principles. Rejecting arguments that the paradox hangs on an implausible consistency principle, this paper argues instead that the Fitch phenomenon is generated both in epistemic logic and logics of justification by the interaction (...) of analogues of the knowability principle and positive introspection theses that are characteristic of, even if not entailed by, epistemic internalism. (shrink)

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...) that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

Suppose you’re imagining that it’s raining hard. You then proceed to imagine, as part of the same imaginative project, that you believe that it isn’t raining. Such an imaginative project is possible if the two imaginings arise in succession. But what about simultaneously imagining that it’s raining and that you believe that it isn’t raining? I will argue that, under certain conditions, such an imagining is impossible. After discussing these conditions, I will suggest an explanation of this impossibility. Elaborating on (...) the view outlined in Walton (1990), I will argue that the impossibility follows from the fact that imaginings ‘mimic’ beliefs in aiming at the fictionally true, just as beliefs aim at the true. (shrink)

In recent years, there has been a renewed concern about the dangers of eliminative materialism, as well as several attempts to discuss alternative positions such as new versions of interpretivism or fictionalism. Although expressivism has also emerged as a possibility, the problems with hybrid versions of expressivism in applying it to attitude ascriptions have led to a strong rejection of the proposal. The aim of this article is twofold. First, it argues that there are still theoretical tools available to defend (...) an expressivist analysis of mental state ascriptions. Second, the article contends that three of the most influential arguments in expressivism in meta-ethics and meta-epistemology are applicable to the case of mental state ascriptions. (shrink)

We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in distributed computing models where communication might fail: an agent is certain about the messages it receives, but it may be uncertain about the messages other agents have received. In a dynamic epistemic logic with distributed knowledge and with modalities (...) for communication patterns, the latter are interpreted by updating Kripke models. We propose an axiomatization of communication pattern logic, and we show that collective bisimilarity (comparing models on their distributed knowledge) is preserved when updating models with communication patterns. We can also interpret communication patterns by updating simplicial complexes, a well-known topological framework for distributed computing. We show that the different semantics correspond, and propose collective bisimulation between simplicial complexes. (shrink)

In recent years, some authors have shown a renewed interest in interpretivist theories of folk psychological ascription [Hutto 2013. “Fictionalism About Folk Psychology.” The Monist 96 (4): 582–604.; Mölder 2010. Mind Ascribed: An Elaboration and Defence of Interpretivism. Amsterdam: John Benjamins; Sanchez-Curry 2020. “Interpretivism and Norms.” Philosophical Studies 177 (4): 905–930.; Mölder 2021. “Interpretivism Without Judgement-Dependence.” Philosophia 49 (2): 611–615.; Slors 2015. "Interpretivism and the Meaning of Mental State Ascriptions." Studia Philosophica Estonica, 10 (2): 18–27.]. Part of the virtue of (...) interpretivism lies in its ability to provide an answer to elminativist arguments without falling into the assumptions and problems of intentional realism. However, some recent developments in semantic expressivism applied to normative expressions could help to build an alternative theory to interpretivism that would enjoy the same virtues. The aim of this paper is to present and defend an expressivist approach to the status of folk psychological ascriptions. According to this view, mental states ascriptions are evaluative and non-descriptive statement that express or reflect certain normative standards or values of the attributor. After presenting the view and contrasting it with interpretivist positions, with which expressivism shares important motivations and claims, I present two arguments to favor the expressivist analysis. In line with the first argument, expressivism can account for fundamental aspects of disagreements regarding mental attributions while the second highlights the capacity of the view to explain the widespread justificatory and exculpatory uses of mental states ascriptions. (shrink)

The pragmatic logic of assertions shows a connection between ignorance and decidability. In it, we can express pragmatic factual ignorance and first-order ignorance as well as some of their variants. We also show how some pragmatic versions of second-order ignorance and of Rumsfeld-ignorance may be formulated. A specific variant of second-order ignorance is particularly relevant. This indicates a strong pragmatic version of ignorance of ignorance, irreducible to any previous form of ignorance, which defines limits to what can justifiably be asserted (...) about higher-order ignorance. Finally, we relate the justified assertion of second-order ignorance with scientific assertions. (shrink)

In a series of works Sosa (in: Knowledge in perspective, Cambridge University Press, Cambridge, 1991; A virtue epistemology: apt belief and reflective knowledge, Oxford University Press, Oxford, 2007; Reflective knowledge: apt belief and reflective knowledge, Oxford University Press, Oxford, 2009; ‘How Competence Matters in Epistemology’, Philos Perspect 24(1):465–475, 2010; Knowing full well, Princeton University Press, Princeton, 2011; Judgment and agency, Oxford University Press, Oxford, 2015; Epistemology, Princeton University Press, Princeton, 2017) has defended the view that there are two kinds or (...) ‘grades’ of knowledge, animal and reflective. One of the most persistent critics of Sosa’s attempts to bifurcate knowledge is Kornblith (in: Greco (ed) Ernest sosa and his critics, Wiley, Hoboken, 2004; ‘Sosa in Perspective’, Philos Stud 144(1):127–136, 2009; On reflection, Oxford University Press, Oxford, 2012). Our aim in this paper is to outline and evaluate Kornblith’s criticisms. We will argue that, while they raise a range of difficult (exegetical and substantive) questions about Sosa’s ‘bi-level’ epistemology, Sosa has the resources to adequately respond to all of them. Thus, this paper is a (qualified) defence of Sosa’s bi-level epistemology. (shrink)

The purpose of this paper is to work toward an explicit logic and semantics for a game theoretically inspired theory of action. The purpose of the logic is to explicate the conceptual machinery implicit in the dialogue-game model of rational discourse developed in Carlson (1983).A variety of ideas and techniques of modal and philosophical logic are used to define a model structure that generalizes the game theoretical notion of a game in extensive form (von Neumann and Morgenstern, 1944). Relative to (...) this model structure, semantic characterizations are given to the action-theoretic notions oftime, possibility, belief, preference, ability, intention, action, andrationality. The unification of these characterizations under the game-theoretical paradigm leads to insights about the logical interdependences between these concepts. (shrink)

It has been recently suggested that a semantic theory for deontic modals should be neutral between a very large range of normative and evaluative theories. This article aims to clarify this talk of neutrality, in particular its scope and motivation. My thesis is that neutrality is best understood as an empirical thesis about a fragment of natural language that includes deontic modals – not as a new, sui generis methodological constraint on natural language semantics.

We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...) and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

Dylan Dodd offers a simple, yet forceful, argument for infallibilism. The argument relies upon two assumptions concerning the relationship between knowledge, epistemic possibility, and epistemic probability. We argue below that by endorsing a particular conception of epistemic possibility, a fallibilist can both plausibly reject one of Dodd’s assumptions and mirror the infallibilist’s explanation of the linguistic data. In fact, such a fallibilist may even be able to offer a more comprehensive explanation than the infallibilist. Our discussion is of interest due (...) in part to the fact that many fallibilists have rejected the conception of epistemic possibility employed in our response to Dodd. (shrink)

In his Knowledge and Belief (1962), Hintikka establishes his system of epistemic logic with the KK (Knowing that One Knows, in symbols, Kp→KKp) principle (KK for short). However, his system of epistemic logic and the KK principle are grounded upon his strong notion of knowledge, which requires that knowledge is infallible, that is, it makes further inquiry pointless, and becomes ‘discussion-stopper’; knowledge implies truth, to wit, cognitive agents will not be mistaken in their knowledge; cognitive agents will be ‘perfect logicians’, (...) i.e. they have infinitive capability of logical inference. Hintikka calls the argument for KK from the strong notion of knowledge as the ‘transcendental argument’ for KK. Obviously, the strong notion of knowledge is far away from our ordinary conception of knowledge; based on such a strong sense of knowledge, epistemic logic has met the problem of logical omnipotence, and is difficult to apply in our ordinary cognitive practice. Moreover, there is no close connection of the KK principle with internalism or externalism. (shrink)

The paper introduces a new problem for fallibilist and infallibilist epistemologies – the diachronic threshold problem. As the name suggests, this is a problem similar to the well–known threshold problem for fallibilism. The new problem affects both fallibilism and infallibilism, however. The paper argues that anyone who worries about the well known problem for fallibilism should also worry about this new, diachronic version of the problem.

We present a framework for intensional reasoning in typed -calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a propositions-as-types-interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation.

We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction properties (...) between certainty and plausibility and study how these properties translate into properties of belief. We then prove that all the logics considered are minimal logics for the highlighted theorems. We also consider a number of possible interpretations of plausibility, identify the corresponding logics and show that some notions considered in the literature are special cases of our framework. (shrink)

We study belief change in the branching-time structures introduced in Bonanno (Artif Intell 171:144–160, 2007 ). First, we identify a property of branching-time frames that is equivalent (when the set of states is finite) to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision function that satisfies the AGM postulates. Second, we (...) provide a set of modal axioms that characterize the class of AGM-consistent frames within the modal logic introduced in Bonanno (Artif Intell 171:144–160, 2007 ). Third, we introduce a generalization of AGM belief revision functions that allows a clear statement of principles of iterated belief revision and discuss iterated revision both semantically and syntactically. (shrink)

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Information flows and iterated revision are also discussed.

In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a primitive (...) epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one. (shrink)

Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propose two extensions of a modal logic that, besides the next-time temporal operator, contains a belief operator and an information operator. The first logic is shown to provide an axiomatic characterization of the first six postulates of the AGM theory of belief revision, while the second, stronger, logic provides an axiomatic characterization of the (...) full set of AGM postulates. © 2006 Elsevier B.V. All rights reserved. (shrink)

This paper is about two requirements on wish reports whose interaction motivates a novel semantics for these ascriptions. The first requirement concerns the ambiguities that arise when determiner phrases, such as definite descriptions, interact with ‘wish’. More specifically, several theorists have recently argued that attitude ascriptions featuring counterfactual attitude verbs license interpretations on which the determiner phrase is interpreted relative to the subject’s beliefs. The second requirement involves the fact that desire reports in general require decision-theoretic notions for their analysis. (...) The current study is motivated by the fact that no existing account captures both of these aspects of wishing. I develop a semantics for wish reports that makes available belief-relative readings but also allows decision-theoretic notions to play a role in shaping the truth conditions of these ascriptions. The general idea is that we can analyze wishing in terms of a two-dimensional notion of expected utility. (shrink)

Several theorists have observed that attitude reports have what we call “revisionist” uses. For example, even if Pete has never met Ann and has no idea that she exists, Jane can still say to Jim ‘Pete believes Ann can learn to play tennis in ten lessons’ if Pete believes all 6-year-olds can learn to play tennis in ten lessons and it is part of Jane and Jim’s background knowledge that Ann is a 6-year-old. Jane’s assertion seems acceptable because the claim (...) she reports Pete as believing is entailed by Pete’s beliefs if they are revised in light of Jane and Jim’s background knowledge. We provide a semantic theory of revisionist reports based on this idea. We observe that the admissible “revisions” are limited in a striking way. Jane cannot say ‘Pete thinks Ann is a 6-year-old and can play tennis in ten lessons’ in the same context that she can say ‘Pete believes Ann can learn to play tennis ten lessons’, even though this too follows from Jane and Jim’s background knowledge together with what Pete believes. Our theory predicts the infelicity of these latter reports. It also has the resources to predict the truth of “exported” attitude reports and casts the relationship between these reports and “singular thought” in a new light. We conclude by discussing how revisionist reports make trouble for a simplistic view of the connection between the relations expressed by attitude verbs in natural language and the relations of most interest to philosophers of mind and cognitive science. (shrink)

In this paper, I draw attention to comparative preference claims, i.e. sentences of the form \S prefers p to q\. I show that preference claims exhibit interesting patterns, and try to develop a semantics that captures them. Then I use my account of preference to provide an analysis of desire. The resulting entry for desire ascriptions is independently motivated, and finds support from a wide range of phenomena.

This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted readings: in some environments the denotation of attitude verbs can be restricted by a given proposition. For example, when these verbs are embedded in the consequent of a conditional, they can be restricted by the proposition expressed by the conditional’s antecedent. We formulate and motivate two conditions on the availability of verb restrictions: a constraint that ties the content of restrictions (...) to the “dynamic effects” of sentential connectives and a constraint that limits the availability of restriction effects to present tense verbs with first-person subjects. However, we also present some cases that make trouble for these conditions, and outline some possible ways of modifying the view to account for the recalcitrant data. We conclude with a brief discussion of some of the connections between our semantics for attitude verbs and issues concerning epistemic modals and theories of knowledge. (shrink)