Formal Epistemology

This paper is about a tension between two theses. The first is Value of Evidence: roughly, the thesis that it is always rational for an agent to gather and use cost-free evidence for making decisions. The second is Rationality of Imprecision: the thesis that an agent can be rationally required to adopt doxastic states that are imprecise, i.e., not representable by a single credence function. While others have noticed this tension, I offer a new diagnosis of it. I show that (...) it arises when an agent with an imprecise doxastic state engages in an unreflective inquiry, an inquiry where they revise their beliefs using an updating rule that doesn't satisfy a weak reflection principle. In such an unreflective inquiry, certain synchronic norms of instrumental rationality can make it instrumentally irrational for an agent to gather and use cost-free evidence. I then go on to propose a diachronic norm of instrumental rationality that preserves Value of Evidence in unreflective inquiries. This, I suggest, may help us reconcile this thesis with Rationality of Imprecision. (shrink)

Bayesians standardly claim that there is rational pressure for agents’ credences to cohere across time because they face bad (epistemic or practical) consequences if they fail to diachronically cohere. But as David Christensen has pointed out, groups of individual agents also face bad consequences if they fail to interpersonally cohere, and there is no general rational pressure for one agent's credences to cohere with another’s. So it seems that standard Bayesian arguments may prove too much. Here, we agree with Christensen (...) that there is no general rational pressure to diachronically cohere, but we argue that there are particular cases in which there is rational pressure to diachronically cohere, as well as particular cases in which interpersonal probabilistic coherence is rationally required. More generally, we suggest that Bayesian arguments for coherence apply whenever a collection (of agents or time slices) has a shared dimension of value and an ability to coordinate their actions in a range of cases relevant to that value. Typically, this shared value and ability to coordinate is very strong across the time slices of one human being, and very weak across different human beings, but there are special cases where these can switch—i.e., some groups of humans will have as much reason for their beliefs to cohere across a particular range of cases as the time slices of one human usually do, but some time slices of a human will have as much freedom to differ in their beliefs from the others as the members of a group usually do. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Epistemic Utility Theory is often identified with the project of *axiology-first epistemology*—the project of vindicating norms of epistemic rationality purely in terms of epistemic value. One of the central goals of axiology-first epistemology is to provide a justification of the central norm of Bayesian epistemology, Probabilism. The first part of this paper presents a new challenge to axiology first epistemology: I argue that in order to justify Probabilism in purely axiological terms, proponents of axiology first epistemology need to justify a (...) claim about epistemic value—what I label ‘Downwards Propriety’—much stronger than any they have offered justification. The second part of this paper offers an argument that this challenge cannot be met: that there is no hope for providing a purely axiological justification of Downwards Propriety, at least given widely accepted assumptions about epistemic value. (shrink)

Why is it good to be less, rather than more incoherent? Julia Staffel, in her excellent book "Unsettled Thoughts," answers this question by showing that if your credences are incoherent, then there is some way of nudging them toward coherence that is guaranteed to make them more accurate and reduce the extent to which they are Dutch-bookable. This seems to show that such a nudge toward coherence makes them better fit to play their key epistemic and practical roles: representing the (...) world and guiding action. In this paper, I argue that Staffel's strategy needs a small tweak. While she identifies appropriate measures of epistemic value, she does not identify appropriate measures of practical value. Staffel measures practical value using Dutch-bookability scores. But credences have practical value in virtue of recommending actions that produce as much utility as possible. And while susceptibility to a Dutch book is a surefire sign that one's credences are needlessly bad at this task, one's degree of Dutch-bookability is not itself a good measure of how well they recommend practically valuable actions. Strictly proper scoring rules, I argue, are the right tools for measuring both epistemic and practical value. I show that we can rerun Staffel's strategy swapping in strictly proper scoring rules for Dutch-bookability measures. So long as one's epistemic scoring rule and practical scoring rule are ``sufficiently similar,'' there is some way of nudging incoherent credences toward coherence that is guaranteed to yield more of both types of value. -/- . (shrink)

Extreme Permissivism is the view that a body of evidence could rationally permit both the attitude of belief and disbelief towards a proposition. This paper puts forward a new argument against Extreme Permissivism, which improves on a similar style of argument due to Roger White (2005, 2014). White’s argument is built around the principle that the support relation between evidence and a hypothesis is objective: so that if evidence E makes it rational for an agent to believe a hypothesis H, (...) then E makes it rational to believe H, for all agents. In this paper, I construct a new argument against Extreme Permissivism that appeals to a logically weaker, less demanding view about evidential support, Relational Objectivity: whether a body of evidence E is more likely if H is true than if H is false is an objective matter and does not depend on how any agent interprets the relationship between E and H. Relational Objectivity is solely concerned with the conditional probabilities called likelihoods and does not put substantive constraints on an agent’s prior and posterior credences. For this reason, the presented argument avoids the standard permissivist criticism levelled against White’s argument. (shrink)

Hilary Greaves and David Wallace argue that conditionalization maximizes expected accuracy and so is a rational requirement, but their argument presupposes a particular picture of the bridge between rationality and accuracy: the Best-Plan-to-Follow picture. And theorists such as Miriam Schoenfield and Robert Steel argue that it's possible to motivate an alternative picture—the Best-Plan-to-Make picture—that does not vindicate conditionalization. I show that these theorists are mistaken: it turns out that, if an update procedure maximizes expected accuracy on the Best-Plan-to-Follow picture, it's (...) guaranteed to maximize expected accuracy on the Best-Plan-to-Make picture as well, in which case moving from the former to the latter can't help us avoid the conclusion that conditionalization is a rational requirement. If there's a problem with Greaves and Wallace’s argument, it must lie elsewhere. (shrink)

Abstract. The aim of this paper is to sketch a topological epistemology that can be characterized as a knowledge first epistemology. For this purpose, the standard topological semantics for knowledge in terms of the interior kernel operator K of a topological space is extended to a topological semantics of belief operators B in a new way. It is shown that a topological structure has a kind of “derivation” (its “assembly” or “lattice of nuclei”) that defines a profusion of belief operators (...) B. These operators are compatible with the knowledge operator K in the sense that the all the pairs (K, B) satisfy the rules and axioms of a (weak) Stalnaker logic of knowledge and belief. The family of belief operators B compatible with K is partially ordered such that different belief operators can be compared according to their strength or reliability. Thereby, for a given topological knowledge operator, a kind of intuitionist logic of belief operators B compatible with K is defined. In sum, the topological knowledge first epistemology presented in this paper amounts to a pluralist knowledge first epistemology that conceives the relation between knowledge and belief not as a 1-1-relation but as a pluralist 1-n-relation, i.e., one knowledge operator K gives rise to a numerous family of compatible belief operators B. (shrink)

A core presumption of object oriented ontology and other speculative realisms is that there is a world independent of the mind that can be successfully inquired and should take center stage in our reflections again. A profound case for this realist presumption is found in Meillassoux’s After Finitude. He aims to secure our access to reality as it is in itself by refuting correlationism according to which we cannot escape reality as it is thought by us. He presents three arguments: (...) ancestrality, facticity and mathematization. On the first argument correlationism fails because it cannot render scientific statements about an universe anterior to us meaningful. I address the worry that he might not take this to be a real argument against correlationism and argue that it in any case fails. On the second argument correlationism is flawed since it remains committed to absolute possibilities. I argue that this argument is untenable as well. On his third argument correlationism fails because science reveals a mathematically describable reality indifferent to our existence. I argue that the almost perfect mathematization of nature can actually be cashed out as an argument for correlationism. I conclude by proposing an alternative way of showing that mathematics is the language of the absolute understood as a radical contingent hyperchaos. (shrink)

This is a primer on Steven James Bartlett's book CRITIQUE OF IMPURE REASON: HORIZONS OF POSSIBILITY AND MEANING. ●●●●● -/- Some books are long and complex. The Critique of Impure Reason is such a book. It is long enough and complex enough so that it may be a service to some readers to offer a primer to introduce and partially summarize the book’s objectives and method. Here, the author of Critique of Impure Reason: Horizons of Possibility and Meaning provides such (...) a guide, a vade mecum to accompany a reader should he or she embark on a study of the long and complex work. ●●●●● -/- The book is available in a printed edition, ISBN 978-0-578-88646-6, from online booksellers such as Barnes & Noble, Amazon, and through independent bookstores. The book is also available as an eBook, DOI: 10.5281/zenodo.5458352, through Zenodo, PhilSci, PhilPapers, HAL, and other online archives. (shrink)

The traditional conception of risk is probabilistic, according to which the degree of risk of an event is determined by the probability of its occurence. Recently this view was challenged by Duncan Pritchard (2015, 2016), who suggested a modal theory of risk, centered in the idea that the riskiness of events depends on the modal distance between the actual world and worlds where the event obtains. What is attractive about this theory, according to Pritchard, is that it explains our judgement (...) about cases in which two equally probable events seem to have different degrees of risk. The modal theory of risk, however, has its own shortcomings: according to Bricker (2018), there are cases in which risk judgements are not tracking modal distance; there is also the problem of determining the risk of events that occur in the actual world, since the theory seems to imply that they are maximally risky because the actual world is maximally similar to itself (EBERT; SMITH; DURBACH, 2020). The modal conception of risk is also at odds with the most natural forms of reasoning over the morality of risk imposition. I begin exploring the two conceptions of risk, emphasizing their strenghts and weaknesses. I then argue that the probabilistic conception can be defended from objections, and a pluralistic theory of risk, although less unified, deserves to be considered. -/- . (shrink)

The best and most popular argument for probabilism is the accuracy-dominance argument, which purports to show that alethic considerations alone support the view that an agent's degrees of belief should always obey the axioms of probability. I argue that extant versions of the accuracy-dominance argument face a problem. In order for the mathematics of the argument to function as advertised, we must assume that every omniscient credence function is classically consistent; there can be no worlds in the set of dominance-relevant (...) worlds that obey some other logic. This restriction cannot be motivated on alethic grounds unless we're also willing to accept that rationality requires belief in every metaphysical necessity, as the distinction between a priori logical necessities and a posteriori metaphysical ones is not an alethic distinction. To justify the restriction to classically consistent worlds, non-alethic motivation is required. And thus, if there is a version of the accuracy-dominance argument in support of probabilism, it isn't one that is grounded in alethic considerations alone. (shrink)

Se o sentido e a finalidade da razão como instrumento de conhecimento converge para a possibilidade de discernimento envolvendo o verdadeiro e o falso, o que se impõe ao seu exercício não é senão um método que consiste na aplicação de determinados preceitos destinados tanto ao entendimento como à vontade, cuja contradição caracteriza o fundamento metafísico do erro, segundo Descartes que, conforme assinala o referido artigo, recorre a uma dúvida que, na investigação dos fundamentos absolutos, encerra uma radicalidade que tende (...) a se deter nas fronteiras do próprio ato de duvidar, que implica na experiência do Cogito e traz a prova ontológica da existência de Deus como única condição capaz de assegurar a realidade do mundo. (shrink)

Se a leitura da epistemologia clássica e a perspectiva dos adeptos do “empirismo lógico” assinalam que a ciência demanda a exclusão de tudo aquilo que não se impõe ao horizonte que envolve a dedutibilidade analítica e a verificabilidade, Karl Popper defende que mais do que saber quando e em que condição uma teoria dialoga com a verdade a relevância não acena senão para a demarcação entre ciência e não ciência, particularmente no tocante às fronteiras que abrangem a ciência que carrega (...) autenticidade [que emerge através da construção de Newton, submetida ao aperfeiçoamento e à correção de Einstein] e as ideologias [marxismo e psicanálise], tornando-se imprescindível a busca de uma resposta para a questão referente ao critério capaz de estabelecer o estatuto científico de um universo teórico ou de um enunciado. (shrink)

Perfazendo a primeira filosofia existencial trágica, a doutrina de Schopenhauer atribui a origem do caráter simultaneamente trágico, absurdo e doloroso da existência ao querer viver, implicando um pessimismo que impõe à felicidade uma condição negativa, à medida que o sofrimento emerge como o fundamento de toda a vida, constituindo-se o prazer estético uma possibilidade quanto à superação da dor e do tédio, conforme assinala o artigo cujo trabalho mostra a correlação envolvendo a perspectiva da metafí­sica da vontade e o pensamento (...) de Nietzsche que, detendo-se no niilismo como um acontecimento que expressa a negação da vida e converge para a sua própria superação, sobrepõe ao dualismo metafí­sico o princí­pio da unidade-múltipla através da construção da sua metafisica de artista, que supõe um movimento da consciência ética para o pathos artí­stico. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it's claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn't the response to higher-order evidence that maximizes expected accuracy. (shrink)

Se realiza una valoración crítica de algunas de las propuestas teóricas fundamentales del poscolonialismo, particularmente del Grupo Latinoamericano de Estudios Subalternos, nacido en los Estados Unidos en la década de 1990. Se muestra algunos de sus méritos, pero, sobre todo, sus limitaciones teórico-prácticas. -/- .

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence (XAI), a fast-growing research area that is so far lacking in firm theoretical foundations. Building on work in logic, probability, and causality, we establish the central role of necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We provide a sound and complete algorithm for computing explanatory factors (...) with respect to a given context, and demonstrate its flexibility and competitive performance against state of the art alternatives on various tasks. (shrink)

Defendendo a união entre a razão e a experiência como a possibilidade de instauração do desenvolvimento científico, Bacon se contrapõe à indução aristotélica enquanto procedimento que implica a enumeração de casos particulares tendo em vista o objetivo de encontrar o geral existente em todos e em cada um deles em um processo que se detém na soma de fatos, limitando-se à comunicação, na medida em que não tem capacidade de empreender a descoberta do conhecimento. Dessa forma, sobrepondo-se ao acúmulo de (...) fatos sem método, Bacon institui a indução por subtração enquanto processo baseado na eliminação sistemática de experiências inconclusivas, que converge para atribuir valor às experiências negativas e impede as generalizações prematuras, instaurando o experimento enquanto experiência guiada e disciplinada pelo intelecto na fundação do empirismo moderno. (shrink)

Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict, suggesting that there are rational dilemmas. This paper focuses on an often misunderstood and underexplored response to this (and similar) puzzles, the so-called conflicting-ideals view. Drawing on work from defeasible logic, I propose understanding this view as a move away from the default metaepistemological position according to which rationality (...) requirements are strict and governed by a strong, but never explicitly stated logic, toward the more unconventional view, according to which requirements are defeasible and governed by a comparatively weak logic. When understood this way, the response is not committed to dilemmas. (shrink)

Desde sua constituição como domínio do saber no fim do século XVI, a psicologia divide-se rapidamente em duas tendências com orientações diferentes. A primeira, de inspiração naturalista, situa-se no prolongamento do comentário da Física aristotélica e se desenvolve principalmente nas universidades protestantes de Marburgo e Leiden. Nesses estabelecimentos onde reinava então um espírito humanista, racionalista e tolerante, toma lugar a primeira forma de dualismo da alma e do corpo. Mas na mesma época, em círculos místicos e herméticos, desenvolve-se uma outra (...) concepção da psicologia, cujo método interpretativo inspira-se na exegese bíblica e emprega procedimentos terapêuticos, cuidados [cure] da alma e cuidados magnéticos, sustentados sobre a influência psicológica. (shrink)

How can different individuals' probability functions on a given sigma-algebra of events be aggregated into a collective probability function? Classic approaches to this problem often require 'event-wise independence': the collective probability for each event should depend only on the individuals' probabilities for that event. In practice, however, some events may be 'basic' and others 'derivative', so that it makes sense first to aggregate the probabilities for the former and then to let these constrain the probabilities for the latter. We formalize (...) this idea by introducing a 'premise-based' approach to probabilistic opinion pooling, and show that, under a variety of assumptions, it leads to linear or neutral opinion pooling on the 'premises'. This paper is the second of two self-contained, but technically related companion papers inspired by binary judgment-aggregation theory. (shrink)

If the reliability of a source of testimony is open to question, it seems epistemically illegitimate to verify the source’s reliability by appealing to that source’s own testimony. Is this because it is illegitimate to trust a questionable source’s testimony on any matter whatsoever? Or is there a distinctive problem with appealing to the source’s testimony on the matter of that source’s own reliability? After distinguishing between two kinds of epistemically illegitimate circularity—bootstrapping and self-verification—I argue for a qualified version of (...) the claim that there is nothing especially illegitimate about using a questionable source to evaluate its own reliability. Instead, it is illegitimate to appeal to a questionable source’s testimony on any matter whatsoever, with the matter of the source’s own reliability serving only as a special case. (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)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

Western liberal democracies praise themselves for protecting a full range of differences among individuals and groups. The origin of this ongoing process is thought to be Locke’s Epistola de Tolerantia. Before the Reformation, it is assumed, “a multiplicity of beliefs was deemed to be dangerous, as well as evil; diversity was, so to speak, the devil’s work, and where it existed it was to be stamped out”. Yet, although flattering to liberalism, the conceit of a modern liberal discovery of liberty (...) of conscience is both conceptually simplistic and historically misleading. The main virtue of this volume is to challenge this tale of Western political history. The essays presented seek to demonstrate that premodern thinkers generated alternative theories of toleration; and to contribute to a philosophical analysis of tolerance. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to the introduction (...) of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

Formally-inclined epistemologists often theorize about ideally rational agents--agents who exemplify rational ideals, such as probabilistic coherence, that human beings could never fully realize. This approach can be defended against the well-know worry that abstracting from human cognitive imperfections deprives the approach of interest. But a different worry arises when we ask what an ideal agent should believe about her own cognitive perfection (even an agent who is in fact cognitively perfect might, it would seem, be uncertain of this fact). Consideration (...) of this question reveals an interesting feature of the structure of our epistemic ideals: for agents with limited information, our epistemic ideals turn out to conflict with one another. (shrink)

It is widely accepted that in fallible reasoning potential error necessarily increases with every additional step, whether inferences or premises, because it grows in the same way that the probability of a lengthening conjunction shrinks. As it stands, this is disappointing but, I will argue, not out of keeping with our experience. However, consulting an expert, proof-checking, constructing gap-free proofs, and gathering more evidence for a given conclusion also add more steps, and we think these actions have the potential to (...) improve our reliability or justifiedness. Thus, the received wisdom about the growth of error implies a skepticism about the possibility of improving our reliability and level of justification through effort. Paradoxically, and even more implausibly, taking steps to decrease your potential error necessarily increases it. I will argue that the self-help steps listed here are of a distinctive type, involving composition rather than conjunction. Error grows differently over composition than over conjunction, I argue, and this dissolves the apparent paradox. (shrink)

Conciliatory theories of disagreement face a revenge problem; they cannot be coherently believed by one who thinks they have peers who are not conciliationists. I argue that this is a deep problem for conciliationism.

I examine the relationship between belief and credences and distinguish between a dogmatic, a Lockean, an agentic, and an abductive notion of belief. I conclude with some thoughts on voluntarism and evidentialism.

I discuss voluntary belief in the context of a phenomenon unique to our current political moment: self- brainwashing. Using the very public QAnon movement as a case study, I argue that, although the conditions in which QAnon beliefs are formed is highly similar to those that produce false confessions, the QAnon believer and not the false confessor is morally and epistemically responsible because the former’s beliefs are voluntary: belief is voluntary when the believer has both the capacity and the opportunity (...) to revise their belief. I conclude that this voluntariness is because of the uniquely distributed, Internet-based nature of QAnon. (shrink)

We argue that social deliberation may increase an agent’s confidence and credence under certain circumstances. An agent considers a proposition H and assigns a probability to it. However, she is not fully confident that she herself is reliable in this assignment. She then endorses H during deliberation with another person, expecting him to raise serious objections. To her surprise, however, the other person does not raise any objections to H. How should her attitudes toward H change? It seems plausible that (...) she should increase the credence she assigns to H and, at the same time, increase the reliability she assigns to herself concerning H. A Bayesian model helps us to investigate under what conditions, if any, this is rational. (shrink)

It is often claimed that epistemic bubbles and echo chambers foster post-truth by filtering our access to information and manipulating our epistemic attitude. In this paper, I try to add a further level of analysis by adding the issue of belief formation. Building on cognitive psychology work, I argue for a dual-system theory according to which beliefs derive from a default system and a critical system. One produces beliefs in a quasi-automatic, effortless way, the other in a slow, effortful way. (...) I also argue that digital socio-epistemic environments tend to inculcate disvalues in their agent's epistemic identity, a process that causes the cognitive shortcircuits typical of conspiracy theories. (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)

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)

Politics is rife with motivated cognition. People do not dispassionately engage with the evidence when they form political beliefs; they interpret it selectively, generating justifications for their desired conclusions and reasons why contrary evidence should be ignored. Moreover, research shows that epistemic ability (e.g. intelligence and familiarity with evidence) is correlated with motivated cognition. Bjørn Hallsson has pointed out that this raises a puzzle for the epistemology of disagreement. On the one hand, we typically think that epistemic ability in an (...) interlocutor gives us reason to downgrade our belief upon learning that we disagree. On the other hand, if our interlocutor is under the sway of motivated cognition, then we have reason to discount his opinion. In this paper, I argue that Hallsson's puzzle is solved by adopting a Bayesian approach to disagreement. If an interlocutor is under the sway of motivated cognition, his disagreement should not affect our beliefs--no matter his ability. Because we implicitly and to high accuracy know his beliefs before he reveals them to us, disagreement provides us with no new information on which to conditionalize. I advance a model which accommodates the motivated cognition dynamic and other key epistemic features of disagreement. (shrink)

Epistemic agents interact with evidence in different ways. This can cause trouble for mutual understanding and for our ability to rationally engage with others. Indeed, it can compromise democratic practices of deliberation. This paper explains these differences by appealing to a new notion: epistemic styles. Epistemic styles are ways of interacting with evidence that express unified sets of epistemic values, preferences, goals, and interests. The paper introduces the notion of epistemic styles and develops a systematic account of their nature. It (...) then discusses the implications of epistemic styles for central questions in epistemology, in particular, for issues surrounding rational engagement and for the debate between virtue epistemologists and epistemic situationists. (shrink)

Caracterizando a existência como um processo de escolha e decisão que converge para a constituição do sujeito como tal, Kierkegaard atribui à existência a condição de um projeto em uma construção que encerra três possibilidades existenciais fundamentais, a saber, o estético, o ético e o religioso. Dessa forma, o artigo assinala que, constituindo-se uma dimensão em cujo estádio a procura do sentido ou a busca do absoluto circunscreve-se à imanência, o modo existencial estético caracteriza-se como a fruição da subjetividade consigo (...) própria através do instante do prazer sensual em um movimento que implica a sedução como esforço de conquista de si que, contudo, escapa ao seu poder em uma relação que converge para o desespero, haja vista que a renovação de forma indefinida da condição originária do amor esgota-se na generalização. E se o estágio ético encerra a integração na comunidade social através da institucionalização da repetição como um modo de vida baseado na objetividade e na racionalidade, a conformação do sujeito ao modus vivendi e ao modus essendi do geral implica a harmonização da sua subjetividade com a generalidade do bem e do mal por meio de um processo que torna-se incapaz de resolver a questão da sua desordem existencial. Assim sendo, o artigo mostra que, se a virtude moral que o ético impõe converge para a impossibilidade de superação do desespero que caracteriza a busca do absoluto na imanência, a atitude religiosa, abdicando da realidade em sua totalidade finita em função da relação absoluta com o Absoluto, demanda a suspensão teleológica do ético e tende a instaurar a autenticidade existencial através de um movimento que mantém correspondência com a fé como o “salto” que implica a consciência de si em sua singularidade e a espiritualidade individual. (shrink)

This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and undermining attacks. We build on default justification logic that already represents undercutting and rebutting attacks, and we add undermining attacks. Intuitively, undermining does not target default inference, as undercutting, or default conclusion, as rebutting, but rather attacks an argument’s premise as a starting point for default reasoning. In default justification logic, reasoning starts from a set of premises, which is (...) then extended by conclusions that hold by default. We argue that modeling undermining defeaters in the view of default theories requires changing the set of premises upon receiving new information. To model changes to premises, we give a dynamic aspect to default justification logic by using the techniques from the logic of belief revision. More specifically, undermining is modeled with belief revision operations that include contracting a set of premises, that is, removing some information from it. The novel combination of default reasoning and belief revision in justification logic enriches both approaches to reasoning under uncertainty. By the end of the paper, we show some important aspects of defeasible argumentation in which our logic compares favorably to structured argumentation frameworks. (shrink)

This paper considers a problem for Bayesian epistemology and proposes a solution to it. On the traditional Bayesian framework, an agent updates her beliefs by Bayesian conditioning, a rule that tells her how to revise her beliefs whenever she gets evidence that she holds with certainty. In order to extend the framework to a wider range of cases, Jeffrey (1965) proposed a more liberal version of this rule that has Bayesian conditioning as a special case. Jeffrey conditioning is a rule (...) that tells the agent how to revise her beliefs whenever she gets evidence that she holds with any degree of confidence. The problem? While Bayesian conditioning has a foundationalist structure, this foundationalism disappears once we move to Jeffrey conditioning. If Bayesian conditioning is a special case of Jeffrey conditioning, then they should have the same normative structure. The solution? To reinterpret Bayesian updating as a form of diachronic coherentism. (shrink)

I argue that bounded agents face a systematic accuracy-coherence tradeoff in cognition. Agents must choose whether to structure their cognition in ways likely to promote coherence or accuracy. I illustrate the accuracy-coherence tradeoff by showing how it arises out of at least two component tradeoffs: a coherence-complexity tradeoff between coherence and cognitive complexity, and a coherence-variety tradeoff between coherence and strategic variety. These tradeoffs give rise to an accuracy-coherence tradeoff because privileging coherence over complexity or strategic variety often leads to (...) a corresponding reduction in accuracy. I conclude with a discussion of two normative consequences for the study of bounded rationality: the importance of procedural rationality and the role of coherence in theories of bounded rationality. (shrink)