Formal Epistemology

Il paradosso della conoscibilità è un semplice argomento che partendo da premesse piuttosto modeste giunge alla sorprendente conclusione che vi sono verità inconoscibili; verità che è impossibile sapere non già per limiti fisici o cognitivi, ma nemmeno in linea di principio. L’argomento sembra dimostrare l’esistenza di limiti necessari ed ineludibili del sapere umano. Tale conclusione è apparentemente in grado di confutare un gran numero di teorie filosofiche quali per esempio l’idealismo trascendentale Kantiano, il pragmatismo di Peirce e James, e varie (...) forme contemporanee di antirealismo e verificazionismo. Il presente lavoro intende fornire una introduzione al paradosso e al dibattito filosofico che esso ha generato. Il libro discute criticamente vari approcci al paradosso, introduce una nuova interpretazione della sua conclusione, ed esplora alcune sue applicazioni in diversi ambiti della filosofia contemporanea. (shrink)

We start by presenting three different views that jointly imply that all people have a large number of conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident people should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in (...) metaphysical theories. (shrink)

Traditionally epistemologists have taken doxastic states to come in three varieties—belief, disbelief, and suspension. Recently many epistemologists have taken our doxastic condition to be usefully represented by credences—quantified degrees of belief. Moreover, some have thought that this new credal picture is sufficient to account for everything we want to explain with the old traditional picture. Therefore, belief, disbelief, and suspension must map onto the new picture somehow. In this paper I challenge that possibility. Approaching the question from the angle of (...) suspension, I argue that all possible credal accounts face serious challenges. They either (i) falsify central claims that uphold the credal picture itself or (ii) do not permit suspension in cases where it is permissible or (iii) rule out the possibility of plainly possible confidence comparisons. (shrink)

On one view of the traditional doxastic attitudes, belief is credence 1, disbelief is credence 0 and suspension is any precise credence between 0 and 1. In ‘Rational agnosticism and degrees of belief’ (2013) Jane Friedman argues, against this view, that there are cases where a credence of 0 is required but where suspension is permitted. If this were so, belief, disbelief and suspension could not be identified or reduced to the aforementioned credences. I argue that Friedman relies on two (...) different notions of epistemic rationality and two different kinds of evidential absence. I clarify these distinctions and show that her argument is either not valid or includes implausible premisses, twice over. If this is so, the view that belief is credence 1, disbelief is credence 0 and suspension is any precise credence between 0 and 1 cannot be rejected on the grounds that Friedman proposes. (shrink)

Guessing is a familiar activity, one we engage in when we are uncertain of the answer to a question under discussion. It is also an activity that lends itself to normative evaluation: some guesses are better than others. The question that interests me here is what makes for a good guess. In recent work, Dorst and Mandelkern have argued that good guesses are distinguished from bad ones by how well they optimize a tradeoff between accuracy and specificity. Here, I argue (...) that Dorst and Mandelkern’s implementation of this idea fails to satisfy some plausible constraints on good guesses, and I develop an alternative implementation that satisfies the relevant constraints. The result is a new account of good guesses which retains the positive aspects of Dorst and Mandelkern’s proposal, but without the drawbacks. (shrink)

In response to two trenchant objections, radical subjective Bayesianism has been widely rejected. In this paper, I seek, if not to rehabilitate subjectivism, at least to show its critic what is attractive about the position. I argue that what is at stake in the subjectivism/anti-subjectivism debate is not, as is commonly thought, which norms of rationality are true, but rather, the conception of rationality that we adopt: there is an alternative approach to the widespread telic approach to rationality, which I (...) call the poric approach, on which subjectivism is an attractive position. I then argue that the poric approach—and therefore subjectivism—cannot be easily dismissed. (shrink)

Awareness growth—coming to entertain propositions of which one was previously unaware—is a crucial aspect of epistemic thriving. And yet, it is widely believed that orthodox Bayesianism cannot accommodate this phenomenon, since that would require employing supposedly defective catch-all propositions. Orthodox Bayesianism, it is concluded, must be amended. In this paper, I show that this argument fails, and that, on the contrary, the orthodox version of Bayesianism is particularly well-suited to accommodate awareness growth. For it entails what I call the refinement (...) view, which allows us to capture that awareness growth consists in the increase of one’s capacity of discernment. (shrink)

Was für eine Art von Beziehung ist die Erkenntnisbeziehung? Ihre geläufige Konzeption im Sinne einer linearen Subjekt-Objekt-Beziehung bildet so etwas wie den Boden, bzw. das logische Rückgrat der Erkenntnistheorie. Von ihr leiten sich weitestgehend die Annahmen, Vorstellungen und Begriffe her, in denen wir über Erkenntnis (als Tätigkeit und als Produkt) kommunizieren. Und insofern ist sie auf informelle oder explizite Weise auch ein Kernelement unserer Auffassung von Wissenschaft. Die Bezeichnung als 'logisches Rückgrat' der Erkenntnistheorie verweist dabei zugleich auf ihren heuristisch-funktionalen Zusammenhang (...) mit der zentralen Aufgabe der Erkenntnistheorie, nämlich der rationalen Rekonstruktion der Beziehung zwischen Inhalt und Gegenstand der Erkenntnis. Es ist diese Aufgabe, die den meta-wissenschaftlichen Status und Anspruch der Erkenntnistheorie begründet. Die genannte Konzeption widerspricht aber zugleich ganz grundlegend unserem Selbstverständnis als 'Teil der Natur' (d.h. als natürlicher Gegenstand unter den anderen Gegenständen der Erkenntnis), von dem auch die 'naturalistischen' Erkenntnistheorien ausgehen. Demnach ist der reale Boden der Erkenntnisreflexion grundsätzlich nicht als lineare Beziehung, sondern als holistische Situation zu begreifen. Das eröffnet einen Spielraum der Reflexion und Kritik, die letztlich zwingend zu einer Re-Konzeption der Erkenntnisbeziehung als eine holistische Erkenntnissituation führt, mit umfassenden logischen und konzeptuellen Konsequenzen für das Grundverständnis des Erkenntnisvorgangs, und in weiterer Folge auch für das Verständnis von Wissenschaft. (shrink)

If a proposition is typically true, given your evidence, then you should believe that proposition; or so I argue here. In particular, in this paper, I propose and defend a principle of rationality---call it the `Typical Principle'---which links rational belief to facts about what is typical. As I show, this principle avoids several problems that other, seemingly similar principles face. And as I show, in many cases, this principle implies the verdicts of the Principal Principle: so ultimately, the Typical Principle (...) may be the more fundamental of the two. (shrink)

It is a consequence of the theory of imprecise credences that there exist situations in which rational agents inevitably become less opinionated toward some propositions as they gather more evidence. The fact that an agent's imprecise credal state can dilate in this way is often treated as a strike against the imprecise approach to inductive inference. Here, we show that dilation is not a mere artifact of this approach by demonstrating that opinion loss is countenanced as rational by a substantially (...) broader class of normative theories than has been previously recognised. Specifically, we show that dilation-like phenomena arise even when one abandons the basic assumption that agents have (precise or imprecise) credences of any kind, and follows directly from bedrock norms for rational comparative confidence judgements of the form `I am at least as confident in p as I am in q'. We then use the comparative confidence framework to develop a novel understanding of what exactly gives rise to dilation-like phenomena. By considering opinion loss in this more general setting, we are able to provide a novel assessment of the prospects for an account of inductive inference that is not saddled with the inevitability of rational opinion loss. (shrink)

The best accuracy arguments for probabilism apply only to credence functions with finite domains, that is, credence functions that assign credence to at most finitely many propositions. This is a significant limitation. It reveals that the support for the accuracy-first program in epistemology is a lot weaker than it seems at first glance, and it means that accuracy arguments cannot yet accomplish everything that their competitors, the pragmatic (Dutch book) arguments, can. In this paper, I investigate the extent to which (...) this limitation can be overcome. Building on the best arguments in finite domains, I present two accuracy arguments for probabilism that are perfectly general—they apply to credence functions with arbitrary domains. I then discuss how the arguments’ premises can be challenged. We will see that it is particularly difficult to characterize admissible accuracy measures in infinite domains. (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)

There is a large literature exploring how accuracy constrains rational degrees of belief. This paper turns to the unexplored question of how accuracy constrains knowledge. We begin by introducing a simple hypothesis: increases in the accuracy of an agent’s evidence never lead to decreases in what the agent knows. We explore various precise formulations of this principle, consider arguments in its favor, and explain how it interacts with different conceptions of evidence and accuracy. As we show, the principle has some (...) noteworthy consequences for the wider theory of knowledge. First, it implies that an agent cannot be justified in believing a set of mutually inconsistent claims. Second, it implies the existence of a kind of epistemic blindspot: it is not possible to know that one’s evidence is misleading. (shrink)

It is certainly well accepted that formal models play a key role in scientific job. Its use goes from natural sciences like physics and even to social sciences like economics and politics. Using mathematics allows the researcher to consider more complicated scenarios involving several variables. Some models are developed to make predictions, others to describe a phenomena, or just to improve the explanation of events in the world. But what has all this to do with philosophy? The aim of the (...) present paper is to investigate debates on the role of formal models in a specific philosophical subject, precisely, the epistemology of rationality. Are we able to explain why models are needed in epistemological work? This answer will be addressed on the assumptions that epistemological theorizing is committed with normative statements. More specifically, epistemologists are concerned with normative questions about what rationality requires from epistemic agents. The first goal is to discuss some assumptions about the role of mathematical models in formal epistemology undertaking. And secondly, I will argue for the following two claims: formal models are useful tools for predicting consequences of normative assumption about what is intuitively required by rationality; and insofar rationality theory is normative in virtue of being instrumentalist and aiming at truth, formal models are means-end tools, therefore, for rationality, mathematical models are devices for maximizing truth in doxastic states. (shrink)

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 action is unratifiable when, on the assumption that one performs it, another option has higher expected utility. Unratifiable actions are often claimed to be somehow rationally defective. But in some cases where multiple options are unratifiable, one unratifiable option can still seem preferable to another. We should respond, I argue, by invoking a graded notion of ratifiability.

The aim of this paper is to propose a qualitative approach to the theory of conceptual spaces, in contrast to the usual metric framework. This requires qualitative notions of similarity, simple concepts, prototypes and conceptual categorisation. For this purpose, I will introduce three mathematical models for conceptual spaces. The first one is topological and has been proposed by Mormann. The other two are new and are based on atomistic orders and similarity relations. I will discuss how each of them deals (...) with the Design Principles proposed by Douven and Gärdenfors and with further Adequacy Conditions. Despite being apparently different, I will show that these three models are mathematically equivalent. Finally, I will address three objections to the present approach. The first one says that the qualitative notion of a prototype is a bad analogue of the metric one. The second one suggests that, in contrast to the Voronoi construction, the function qualitatively representing the conceptual categorisation process is arbitrary. The last one appeals to Goodman’s companionship and imperfect community problems to show that there is a flaw in defining simple concepts from similarity relations. (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)

Decision theory is founded on the principle that we ought to take the action that has the maximum expected value from among actions we are in a position to take. But prior to the notion of expected value is the notion of the actual value of that action: roughly, a measure of the good outcomes you would in fact procure if you were to take it. Surprisingly many decision theories operate without an analysis of actual value. I offer a definition (...) of actual value, and show that a form of decision theory due to Stalnaker can be reformulated so as to be in line with the edict to maximize expected value. By contrast, I show that there is no quantity --- given by my definition or otherwise --- that plays the role of actual value in Jeffrey's decision theory. (shrink)

Formal epistemology is a growing field of philosophical research. It is also evolving, with the subject matter of formal epistemology papers changing considerably over the past two decades. To quantify the ways in which formal epistemology is changing, I generate a stochastic block topic model of the abstracts of papers classified by PhilPapers.org as pertaining to formal epistemology. This model identifies fourteen salient topics of formal epistemology abstracts at a first level of abstraction, and four topics at a second level (...) of abstraction. I then study diachronic trends in the degree to which formal epistemology abstracts written in a given year are likely to contain words associated with a particular topic, beginning in 2000 and continuing to 2020. My findings suggest that there has been a marked decline in the likelihood of a given formal epistemology abstract being about logical approaches to belief revision. On the other hand, over the past two decades, the salience of probabilistic techniques in formal epistemology has increased, as has the salience of work at the intersection of formal epistemology and some areas of philosophy of science. (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. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...) and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (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)

This paper argues that the agent concerned to have accurate (outright) beliefs will have a consistent and multi-premise closed belief set, and not a (merely) single-premise closed and (merely) pairwise consistent belief set, as has often been thought. This argument rests on the fact that we need a notion of accuracy coherence for belief that is belief-sensitive; sensitive to one's perspective, in a way that the standard belief-insensitive notion of accuracy coherence is not. The choice of the belief-sensitive over belief-insensitive (...) notion is defended, as is the choice of this particular belief-sensitive kind of accuracy coherence over other belief-sensitive rivals. Our conclusion is that accurate believers are deductively cogent. (shrink)

I argue that three arguments for conditionalization -- the Diachronic Dutch Book, the expected-accuracy maximization argument from Greaves and Wallace, and the accuracy-dominance argument from Briggs and Pettigrew -- can all be improved by narrowing their focus. I suggest alternative, targeted arguments which better identify the flaw involved in non-conditionalizing updates.

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)

O referido trabalho de pesquisa se detém no desenvolvimento do pensamento científico através de uma construção teórico-conceitual baseada em Aristóteles, Bacon, Kant e Popper, convergindo para uma investigação que assinala desde a fundação da ciência em um processo que traz como perspectiva a ciência da substância (ou ciência das quatro causas) de Aristóteles, mostrando a contribuição de Bacon para a instauração da ciência moderna por intermédio da concepção de um novo método indutivo e da união entre ciência e técnica com (...) o objetivo de assegurar o domínio humano sobre a natureza. Dessa forma, o texto também se detém nas implicações epistemológicas da revolução copernicana de Immanuel Kant, cuja perspectiva, emergindo das fronteiras que inter-relacionam o racionalismo de Leibniz, o empirismo de Hume e a ciência positiva físico-matemática de Newton, instaura o horizonte do idealismo transcendental, estabelecendo a correlação fundamental envolvendo o sujeito e o objeto do conhecimento. Finalizando, a investigação sublinha que, 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)

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)

Credences, unlike full beliefs, can’t be true or false. So what makes credences more or less accurate? This chapter offers a new answer to this question: credences are accurate insofar as they license true educated guesses, and less accurate insofar as they license false educated guesses. This account is compatible with immodesty; : a rational agent will regard her own credences to be best for the purposes of making true educated guesses. The guessing account can also be used to justify (...) certain coherence constraints on rational credence, such as probabilism. The chapter concludes by discussing some advantages of the guessing account over rival accounts of accuracy. (shrink)

The notion of risk plays a central role in economics, finance, health, psychology, law and elsewhere, and is prevalent in managing challenges and resources in day-to-day life. In recent work, Duncan Pritchard (2015, 2016) has argued against the orthodox probabilistic conception of risk on which the risk of a hypothetical scenario is determined by how probable it is, and in favour of a modal conception on which the risk of a hypothetical scenario is determined by how modally close it is. (...) In this article, we use Pritchard’s discussion as a springboard for a more wide-ranging discussion of the notion of risk. We introduce three different conceptions of risk: the standard probabilistic conception, Pritchard’s modal conception, and a normalcy conception that is new (though it has some precursors in the psychological literature on risk perception). Ultimately, we argue that the modal conception is ill-suited to the roles that a notion of risk is required to play and explore the prospects for a form of pluralism about risk, embracing both the probabilistic and the normalcy conceptions. (shrink)

Nous proposons dans cet article un développement de l’idée proposée par F.A. Hayek selon laquelle l’ordre du droit coutumier est un ordre d’action, une coordination des plans individuels dans un système d’échange régi par ce droit. Cette conception s’oppose à l’idée suivant laquelle l’ordre légal doit être avant tout fondé sur la cohérence logique des concepts et doctrines de ce droit. Un exemple important de cette approche est celui de la structure de maximisation des richesses de William Landes et Richard (...) Posner. L’article montre que la cohérence logique n’est ni nécessaire ni suffisante pour un ordre de plans ou pour une “cohérence praxéologique”. Nous défendons la position du droit coutumier classique suivant laquelle le droit se développe en accord avec les anticipations marginales des parties en présence. Dans la mesure où le droit se développe dans ce sens, il est possible d’approcher des objectifs jumelés du droit coutumier : la certitude relative et l’adaptation aux circonstances particulières.This article is a development of the idea, proposed by F.A. Hayek, that the order of common law is an order of actions, that is, a coordination of the plans of individuals in a system of exchanges governed by that law. This is in contrast to the idea that legal order is primarily to be found in the logical coherence of the law’s doctrines and concepts. The article shows that logical coherence is neither necessary nor sufficient for an order of plans, or “praxeological coherence”. It argues for the classic common law position that the law develops in accordance with the marginal expectations of the relevant parties. To the extent that the law develops in this way, it is possible for the twin goals of the common law to be approximated: relative certainty and adaptation to novel circumstances. (shrink)