In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the (...) notion of formal consistency. (shrink)

"Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. -/- Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief (...) class='Hi'>Revision systems. It explores the concept of paraconsistency from the standpoint of epistemic attitudes of acceptance and rejection. -/- This work challenges the traditional notion that accepting a new belief requires retracting its negation from the current epistemic state. The author contends that such reflexive retraction goes against the principle of informational economy, which is a crucial aspect of rationality in the context of belief change. Consequently, the phenomenon of paraconsistency is further examined from this fresh perspective of belief change, shedding light on the complexities of the Logics of Formal Inconsistency (LFIs). These LFIs provide the foundational logic, offering a comprehensive framework for understanding and implementing paraconsistent principles within belief revision systems. -/- This thesis was supervised by Marcelo Esteban Coniglio and co-supervised by Márcio Moretto Ribeiro, as part of Rafael Rodrigues Testa's doctoral studies at the University of Campinas (Unicamp), Brazil. (shrink)

In the present paper, our objective is to examine the application of belief revision models to scientific rationality. We begin by considering the standard model AGM, and along the way a number of problems surface that make it seem inadequate for this specific application. After considering three different heuristics of informational economy that seem fit for science, we consider some possible adaptations for it and argue informally that, overall, some paraconsistent models seem to better satisfy these principles, (...) following Testa (2015). These models have been worked out in formal detail by Testa, Cogniglio, & Ribeiro (2015, 2017). (shrink)

By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, (...) I shall argue that Paraconsistent Belief Revision manages to minimise this friction in the best possible way. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical (...) inferences. Besides the three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of (...) class='Hi'>belief revision in a paraconsistent setting. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key (...) concepts of paraconsistency in a dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that (...) emphasizes the importance of a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique (...) is to apply to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I, I have first presented the AGM theory of belief revision. Then I have focused on the problem of iterated belief revisions. In part II, I will first present ranking theory (Spohn 1988). Then I will show how it solves the problem of iterated belief revisions. I will conclude by sketching two areas of future (...) research. (shrink)

According to the cognitive model of psychopathology, maladaptive beliefs about oneself, others, and the world are the main factors contributing to the development and persistence of various forms of mental suffering. Therefore, the key therapeutic process of Cognitive Behavioral Therapy (CBT)—a therapeutic approach rooted in the cognitive model—is cognitive restructuring, i.e., a process of revision of such maladaptive beliefs. In this paper, I examine the philosophical assumptions underlying CBT and offer theoretical reasons to think that the effectiveness of (...) class='Hi'>belief revision in psychotherapy is very limited. This is the case, I argue, because the cognitive model wrongly assumes that our body of beliefs is unified, while it is in fact fragmented. (shrink)

In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes; (2) to introduce a (...) class='Hi'>Paraconsistent Weak Kleene logic (PWK) based belief revision theory which makes use of the notion of topic to distinguish the two kinds of suspensions previously mentioned, and (3) to develop a PWK-style argumentation framework and its expansion. By doing that, we can distinguish two kinds of suspensions in an epistemic process by virtue of the notion of topic. (shrink)

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which (...) requires that revised beliefs incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

The Bayesian maxim for rational learning could be described as conservative change from one probabilistic belief or credence function to another in response to newinformation. Roughly: ‘Hold fixed any credences that are not directly affected by the learning experience.’ This is precisely articulated for the case when we learn that some proposition that we had previously entertained is indeed true (the rule of conditionalisation). But can this conservative-change maxim be extended to revising one’s credences in response to entertaining propositions (...) or concepts of which one was previously unaware? The economists Karni and Vierø (2013, 2015) make a proposal in this spirit. Philosophers have adopted effectively the same rule: revision in response to growing awareness should not affect the relative probabilities of propositions in one’s ‘old’ epistemic state. The rule is compelling, but only under the assumptions that its advocates introduce. It is not a general requirement of rationality, or so we argue. We provide informal counterexamples. And we show that, when awareness grows, the boundary between one’s ‘old’ and ‘new’ epistemic commitments is blurred. Accordingly, there is no general notion of conservative change in this setting. (shrink)

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on (...) dynamic belief revision. The key idea we exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I I will first present the AGM theory of belief revision (Alchourrón & Gärdenfors & Makinson 1985). Then I will focus on the problem of iterated belief revisions.

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. (...) Such results are obtained without resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

We are fallible creatures, prone to making all sorts of mistakes. So, we should be open to evidence of error. But what constitutes such evidence? And what is it to rationally accommodate it? I approach these questions by considering an evolutionary debunking argument according to which (a) we have good, scientific, reason to think our moral beliefs are mistaken, and (b) rationally accommodating this requires revising our confidence in, or altogether abandoning the suspect beliefs. I present a dilemma for such (...) debunkers, which shows that either we have no reason to worry about our moral beliefs, or we do but we can self-correct. Either way, moral skepticism doesn’t follow. That the evolutionary debunking argument fails is important; also important, however, is what its failure reveals about rational belief revision. Specifically, it suggests that getting evidence of error is a non-trivial endeavor and that we cannot learn that we are likely to be mistaken about some matter from a neutral stance on that matter. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

When an agent learns of an expert's credence in a proposition about which they are an expert, the agent should defer to the expert and adopt that credence as their own. This is a popular thought about how agents ought to respond to (ideal) experts. In a Bayesian framework, it is often modelled by endowing the agent with a set of priors that achieves this result. But this model faces a number of challenges, especially when applied to non-ideal agents (who (...) nevertheless interact with ideal experts). I outline these problems, and use them as desiderata for the development of a new model. Taking inspiration from Richard Jeffrey's development of Jeffrey conditioning, I develop a model in which expert reports are taken as exogenous constraints on the agent's posterior probabilities. I show how this model can handle a much wider class of expert reports (for example reports of conditional probabilities), and can be naturally extended to cover propositions for which the agent has no prior. (shrink)

In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain (...) way an approach to belief revision due to Adam Grove. In his (1988) paper, Grove presents two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as being represented by sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). To put it differently, fallbacks are theories that are closed upwards under entrenchment The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results from weakening epistemic entrenchment by not assuming it to be connected. I.e., we want to allow that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more (...) modest. In this paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

Este trabalho tem como principal objetivo apresentar uma abordagem lógico-formal capaz de apreender alguns aspectos do raciocínio abdutivo – o raciocínio responsável pela criação de hipóteses explicativas para fatos surpreendentes -, mediante tanto as noções filosófico-conceituais da canônica abdução peirceana quanto as de explicação científica. No caso desta última, procurarei evidenciar, inicialmente, pontos de contraste entre as concepções de explicação científica de Aristóteles e de Carl Hempel, a fim de elucidar, de modo mais satisfatório, em que medida, de fato, teorias (...) e hipóteses “explicam” algo. Apresentarei, também, um modo de tratar hipóteses explicativas contraditórias, por meio do operador de consistência ○ – próprio da lógica paraconsistente mbC -, o qual amplia o poder expressivo da linguagem-objeto subjacente ao sistema lógico, bem como apresentarei uma abordagem formal alternativa do raciocínio abdutivo pensado como dinâmica de mudança de crenças, especificamente por intermédio da lógica de revisão de crenças AGM. (shrink)

In a recent article, Peter Gärdenfors (1992) has suggested that the AGM (Alchourrón, Gärdenfors, and Makinson) theory of belief revision can be given an epistemic basis by interpreting the revision postulates of that theory in terms of a version of the coherence theory of justification. To accomplish this goal Gärdenfors suggests that the AGM revision postulates concerning the conservative nature of belief revision can be interpreted in terms of a concept of epistemic entrenchment and (...) that there are good empirical reasons to adopt this view as opposed to some form of foundationalist account of the justification of our beliefs. In this paper I argue that Gärdenfors’ attempt to underwrite the AGM theory of belief revision by appealing to a form of coherentism is seriously inadequate for several reasons. (shrink)

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A (...) tableau system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles (...) that ultimately result in a wholesale reduction of iterated to one-shot revision. The present paper offers grounds to hold that these principles should be significantly weakened and that the reductionist thesis should ultimately be rejected. Furthermore, the considerations provided suggest a close connection between the logic of iterated belief change and the logic of evidential relevance. (shrink)

In this essay we focus on our vast web of beliefs that serves us as a rough and ready map of reality, generated more to give us comfort and confidence in an intimidating world than to be accurate. Maps of reality can never be accurate in any ultimate sense since reality itself is a convoluted entity that can only be accessed in never- ending layers. Our repertoire of beliefs, generated compulsively in the mind, span a huge spectrum in respect of (...) ties to affect and emotions on the one hand and of their credibility in depicting reality on the other. The interaction between our affect-based psychological needs, our need for having a sound comprehension of reality, and the infinitely tangled reality itself, leads to the generation of a large diversity of types of beliefs, where these get revised under the impact of reality by overcoming the restrain- ing effect of emotions in diverse ways and over diverse time scales—interestingly, the ‘reality’ includes the complex repertoire of affect and emotions itself that may, in cer- tain cases, generate the impact for our beliefs to change. Beliefs represented by small clusters in our belief network (see below) are commonly prone to frequent revision in a more or less random manner, though there are beliefs acquired in early life that are intransigent to change because of overriding ties to emotions. Beliefs represented by larger clusters are comparatively durable, and their revision has a systematic aspect to it because of a greater role of evidence-based factors—however,the evidence may, once again, be tied with emotions and beliefs oriented away from reason. Finally, there are prepotent beliefs that are resistant to change even over a lifetime. Often, these beliefs get revised only if we engage with our own selves, looking at conflicting forces within ourselves. In this context, we refer to narratives that are self-reinforcing and exercise almost a mesmerizing influence on us. In all this, there is a dual role of ‘rationality’ that needs being attended to in describing and explaining belief revision—rationality is not exclusively based on evidence and reason, but includes the implicit operation of affect and emotions too. (shrink)

A large body of work has demonstrated the utility of the Bayesian framework for capturing inference in both specialist and everyday contexts. However, the central tool of the framework, conditionalization via Bayes’ rule, does not apply directly to a common type of learning: the acquisition of conditional information. How should an agent change her beliefs on learning that “If A, then C”? This issue, which is central to both reasoning and argumentation, has recently prompted considerable research interest. In this paper, (...) we critique a prominent proposal and provide a new, alternative, answer. -/- . (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

Belief storage is often modeled as having the structure of a single, unified web. This model of belief storage is attractive and widely assumed because it appears to provide an explanation of the flexibility of cognition and the complicated dynamics of belief revision. However, when one scrutinizes human cognition, one finds strong evidence against a unified web of belief and for a fragmented model of belief storage. Using the best available evidence from cognitive science, (...) we develop this fragmented model into a nascent theory of the cognitive architecture of belief storage. (shrink)

The following considerations concern modelling Belief Dynamics (BD) not just in the sense of a formalization, but rather in the sense of building a computational model and implementing the corresponding data structures and algorithms of recomputing beliefs. The purpose of such a project is to illustrate some ideas about belief changes in a Web of Beliefs (WoB) to explore and deepen one's understanding of belief changes by trying to implement or improve corresponding algorithms.

Un fait Mooréen, selon l'expression de David Lewis, est « l'une des choses que nous savons mieux que toute prémisse d'une argumentation philosophique visant à é tablir le contraire. » Le sujet des faits Mooréens soulève des questions profondes, à la fois de méthode philosophique et d'épistémologie de premier ordre. Comment devrions-nous répondre aux arguments qui remettent en question des croyances dont nous sommes extrêmement confiants ? Dans quelle mesure ces arguments – ou plutôt ceux qui les avancent – peuvent-ils (...) espérer avoir une emprise ou une traction rationnelle sur nous ? Dans quelle mesure, si même c'est le cas, notre point de départ limite-t-il les types de révisions de nos croyances que la philosophie pourrait légitimement inspirer ? Quand sommes-nous justifiés (si jamais nous le sommes) à refuser de se laisser influencer par un argument qui, pour autant qu'on puisse en juger, est sans faille, et quand un tel refus relève-t-il simplement du dogmatisme ? Ce sont là de vastes questions, auxquelles je ne tenterai pas ici de répondre complétement. Mon ambition, plus modeste, est de tenter de progresser sur ces questions, et d'autres questions connexes, en examinant la notion de fait Mooré que je trouve chez Lewis et chez d'autres. (shrink)

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) (...) the belief set resulting from revision by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (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)

In this paper I argue, based on a comparison of Spinoza's and Descartes‟s discussion of error, that beliefs are affirmations of the content of imagination that is not false in itself, only in relation to the object. This interpretation is an improvement both on the winning ideas reading and on the interpretation reading of beliefs. Contrary to the winning ideas reading it is able to explain belief revision concerning the same representation. Also, it does not need the assumption (...) that I misinterpret my otherwise correct ideas as the interpretation reading would have it. In the first section I will provide a brief overview of the notion of inherence and its role in Spinoza‟s discussion of the status of finite minds. Then by examining the relation between Spinoza‟s and Descartes‟ distinction of representations and attitudes, I show that affirmation can be identified with beliefs in Spinoza. Next, I will take a closer look at the identification of intellect and will and argue that Spinoza's identification of the two is based on the fact that Spinoza sees both as the active aspect of the mind. After that, I analyze Spinoza‟s comments on the different scopes of will and intellect, and argue that beliefs are affirmations of the imaginative content of the idea. Finally, through Spinoza‟s example of the utterance of mathematical error, I present my solution to the problem of inherence of false beliefs. (shrink)

The orthodox view in epistemology is that belief is constitutively evidence-responsive. I offer a novel argument for a version of this view, one that appeals to capacities to rationally respond to evidence. I do so by developing the Sellarsian idea that the concept of belief functions to mark the space of reasons in a non-intellectualist and naturalistic direction. The resulting view does justice to the role of belief in social interactions, joint deliberation, and rational persuasion, while including (...) evidence-resistant beliefs and animal beliefs as genuine beliefs. It has a range of further benefits: it helps us account for epistemic normativity, paves the way for better psychological models of belief revision, distinguishes beliefs from imaginings and mere acceptances, and helps us avoid noxious simplistic takes on human irrationality. (shrink)

This paper is the product of an interdisciplinary, interreligious dialogue aiming to outline some of the possibilities and rational limits of supernatural religious belief, in the light of a critique of David Hume’s familiar sceptical arguments -- including a rejection of his famous Maxim on miracles -- combined with a range of striking recent empirical research. The Humean nexus leads us to the formulation of a new ”Common-Core/Diversity Dilemma’, which suggests that the contradictions between different religious belief systems, (...) in conjunction with new understandings of the cognitive forces that shape their common features, persuasively challenge the rationality of most kinds of supernatural belief. In support of this conclusion, we survey empirical research concerning intercessory prayer, religious experience, near-death experience, and various cognitive biases. But we then go on to consider evidence that supernaturalism -- even when rationally unwarranted -- has significant beneficial individual and social effects, despite others that are far less desirable. This prompts the formulation of a ”Normal/Objective Dilemma’, identifying important trade-offs to be found in the choice between our humanly evolved ”normal’ outlook on the world, and one that is more rational and ”objective’. Can we retain the pragmatic benefits of supernatural belief while avoiding irrationality and intergroup conflict? It may well seem that rationality is incompatible with any wilful sacrifice of objectivity. But in a situation of uncertainty, an attractive compromise may be available by moving from the competing factions and mutual contradictions of ”first-order’ supernaturalism to a more abstract and tolerant ”second-order’ view, which itself can be given some distinctive intellectual support through the increasingly popular Fine Tuning Argument. We end by proposing a ”Maxim of the Moon’ to express the undogmatic spirit of this second-order religiosity, providing a cautionary metaphor to counter the pervasive bias endemic to the human condition, and offering a more cooperation- and humility-enhancing understanding of religious diversity in a tense and precarious globalised age. (shrink)

Several philosophers and psychologists have characterized belief in conspiracy theories as a product of irrational reasoning. Proponents of conspiracy theories apparently resist revising their beliefs given disconfirming evidence and tend to believe in more than one conspiracy, even when the relevant beliefs are mutually inconsistent. In this paper, we bring leading views on conspiracy theoretic beliefs closer together by exploring their rationality under a probabilistic framework. We question the claim that the irrationality of conspiracy theoretic beliefs stems from an (...) inadequate response to disconfirming evidence and internal incoherence. Drawing analogies to Lakatosian research programs, we argue that maintaining a core conspiracy belief can be Bayes-rational when it is embedded in a network of auxiliary beliefs, which can be revised to protect the more central belief from disconfirmation. We propose that the irrationality associated with conspiracy belief lies not in a flawed updating method, but in a failure to converge toward wellconfirmed, stable belief networks in the long run. This approach not only reconciles previously disjointed views, but also points toward more specific descriptions of why agents may be prone to adopting beliefs in conspiracy theories. (shrink)

“Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over (...) other methods of overcoming doubt and ‘fixing belief.’” — Robert Burch, “Charles Sanders Peirce,” entry in the Stanford Encyclopedia of Philosophy (2021 revision) -/- “Pragmatist epistemologies often explore how we can carry out inquiries in a self-controlled and fruitful way. (Where much analytic epistemology centres around the concept of knowledge, considered as an idealised end-point of human thought, pragmatist epistemology centres around the concept of inquiry, considered as the process of knowledge-seeking and how we can improve it.) So pragmatists often provide rich accounts of the capacities or virtues that we must possess in order to inquire well, and the rules or guiding principles that we should adopt. A canonical account is Peirce’s classic early paper ‘The Fixation of Belief‘. Here Peirce states that inquiry is a struggle to replace doubt with “settled belief“, and that the only method of inquiry that can make sense of the fact that at least some of us are disturbed by inconsistent beliefs, and will subsequently reflect upon which methods of fixing belief are correct is the Method of Science, which draws on the Pragmatic Maxim described above. This contrasts with three other methods of fixing belief: i) refusing to consider evidence contrary to one’s favored beliefs (the Method of Tenacity), ii) accepting an institution’s dictates (the Method of Authority), iii) developing the most rationally coherent or elegant-seeming belief-set (the A Priori Method).“ — Catherine Legg, “Pragmatism,” entry in the Stanford Encyclopedia of Philosophy (2021 revision). (shrink)

There is a wealth of evidence which indicates that arguments are not very efficient tools for changing minds. Against this scepticism, Dutilh Novaes (2023) presents evidence that, given the right social context, arguments sometimes play a significant role in belief revision. However, drawing on Levy (2021), I argue that the evidence Dutilh Novaes cites is compatible with the view that it is not arguments that change individual minds but instead belief outsourcing that occurs alongside the consideration of (...) arguments. (shrink)

Despite its central role in our cognitive lives, rational belief revision has received relatively little attention from epistemologists. This dissertation begins to fill that absence. In particular, we explore the phenomenon of defeasible epistemic justification, i.e., justification that can be lost as well as gained by epistemic agents. We begin by considering extant theories of defeat, according to which defeaters are whatever cause a loss of justification or things that somehow neutralize one's reasons for belief. Both of (...) these theories are both extensionally and explanatorily inadequate and, so, are rejected. We proceed to develop a novel theory of defeat according to which defeaters are reasons against belief. According to this theory, the dynamics of justification are explained by the competition between reasons for and reasons against belief. We find that this theory not only handles the counter-examples that felled the previous theories but also does a fair job in explaining the various aspects of the phenomenon of defeat. Furthermore, this theory accomplishes this without positing any novel entities or mechanisms; according to this theory, defeaters are epistemic reasons against belief, the mirror image of our epistemic reasons for belief, rather than sui generis entities. (shrink)

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of (...) several distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (shrink)

In previous work I’ve defended an interest-relative theory of belief. This paper continues the defence. It has four aims. -/- 1. To offer a new kind of reason for being unsatis ed with the simple Lockean reduction of belief to credence. 2. To defend the legitimacy of appealing to credences in a theory of belief. 3. To illustrate the importance of theoretical, as well as practical, interests in an interest-relative account of belief. 4. To revise my (...) account to cover propositions that are practically and theoretically irrelevant to the agent. (shrink)

This symposium in the overlap of philosophy and decision theory is described well by its title “Beliefs in Groups”. Each word in the title matters, with one intended ambiguity. The symposium is about beliefs rather than other attitudes such as preferences; these beliefs take the form of probabilities in the first three contributions, binary yes/no beliefs (‘judgments’) in the fourth contribution, and qualitative probabilities (‘probability grades’) in the fifth contribution. The beliefs occur in groups, which is ambiguous between beliefs of (...) groups as a whole and beliefs of group members. The five contributions – all of them interesting, we believe – address several aspects of this general theme. (shrink)

Gilbert Harman’s famous principle of Clutter Avoidance commands that “one should not clutter one’s mind with trivialities". Many epistemologists have been inclined to accept Harman’s principle, or something like it. This is significant because the principle appears to have robust implications for our overall picture of epistemic normativity. Jane Friedman (2018) has recently argued that one potential implication is that there are no genuine purely evidential norms on belief revision. In this paper, we present some new objections to (...) a suitably formulated version of the clutter principle qua norm on belief revision. Moreover, we argue that the clutter principle is best understood as a norm on non-doxastic stages of inquiry. In our view, it is a norm of asking and considering questions rather than a norm of settling on an answer to a question by forming a belief. (shrink)

Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about (...) the validity of inferences. In order to make sense of this claim, I will appeal to the Madhyamaka Buddhist philosopher Candrakīrti. I will then pose a problem for Priest’s anti-exceptionalism. Finally, I will suggest a way out of the problem for Priest. Whether or not he accepts my solution, I will let him decide. (shrink)