Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...) a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (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)

Evidentialism is the thesis, roughly, that one’s beliefs should fit one’s evidence. The enkratic principle is the thesis, roughly, that one’s beliefs should "line up" with one’s beliefs about which beliefs one ought to have. While both theses have seemed attractive to many, they jointly entail the controversial thesis that self-misleading evidence is impossible. That is to say, if evidentialism and the enkratic principle are both true, one’s evidence cannot support certain false beliefs about which beliefs one’s evidence supports. Recently, (...) a number of epistemologists have challenged the thesis that self-misleading evidence is impossible on the grounds that misleading higher-order evidence does not have the kind of strong and systematic defeating force that would be needed to rule out the possibility of such self-misleading evidence. Here I respond to this challenge by proposing an account of higher-order defeat that does, indeed, render self-misleading evidence impossible. Central to the proposal is the idea that higher-order evidence acquires its normative force by influencing which conditional beliefs it is rational to have. What emerges, I argue, is an independently plausible view of higher-order evidence, which has the additional benefit of allowing us to reconcile evidentialism with the enkratic principle. (shrink)

While many philosophers have agreed that evidence of disagreement is a kind of higher-order evidence, this has not yet resulted in formally precise higher-order approaches to the problem of disagreement. In this paper, we outline a simple formal framework for determining the epistemic significance of a body of higher-order evidence, and use this framework to motivate a novel interpretation of the popular “equal weight view” of peer disagreement—we call it the Variably Equal Weight View (VEW). We show that VEW differs (...) from the standard Split the Difference (SD) interpretation of the equal weight view in almost all cases of peer disagreement, and use our formal framework to explain why SD has seemed attractive but is in fact misguided. A desirable feature of VEW, we argue, is that it gives rise to plausible instances of synergy—an effect whereby the parties to a disagreement should become more (or less) confident in the disputed proposition than any of them were prior to disagreement. Lastly, we show how VEW may be generalized to cases of non-peer disagreement. (shrink)

Our aim in this chapter is to draw attention to what we see as a disturbing feature of conciliationist views of disagreement. Roughly put, the trouble is that conciliatory responses to in-group disagreement can lead to the frustration of a group's epistemic priorities: that is, the group's favoured trade-off between the "Jamesian goals" of truth-seeking and error-avoidance. We show how this problem can arise within a simple belief aggregation framework, and draw some general lessons about when the problem is most (...) pronounced. We close with a tentative proposal for how to solve the problem raised without rejecting conciliationism. (shrink)

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse an influential line (...) of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, (...) I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience. (shrink)

Uitleg van het zogenoemde 'ontologisch godsbewijs' van Anselmus van Canterbury (gestorven in 1109).

People don't always speak the truth. When they don't, we do better not to trust them. Unfortunately, that's often easier said than done. People don't usually wear a ‘Not to be trusted!’ badge on their sleeves, which lights up every time they depart from the truth. Given this, what can we do to figure out whom to trust, and whom not? My aim in this paper is to offer a partial answer to this question. I propose a heuristic—the “Humility Heuristic”—which (...) is meant to help guide our search for trustworthy advisors. In slogan form, the heuristic says: people worth trusting admit to what they don't know. I give this heuristic a precise probabilistic interpretation, offer a simple argument for it, defend it against some potential worries, and demonstrate its practical worth by showing how it can help address some difficult challenges in the relationship between experts and laypeople. (shrink)

Risk propagation encompasses a plethora of techniques for analyzing how risk “spreads” in a given system. Albeit commonly used in technical literature, the very notion of risk propagation turns out to be a conceptually imprecise and overloaded one. This might also explain the multitude of modeling solutions that have been proposed in the lit- erature. Having a clear understanding of what exactly risk is, how it be quantified, and in what sense it can be propagated is fundamental for devising high-quality (...) risk assessment and decision-making solutions. In this paper, we exploit a previous well-established work about the nature of risk and related notions with the goal of providing a proper interpre- tation of the different notions of risk propagation, as well as revealing and harmonizing the alternative semantics for the links used in common risk propagation graphs. Finally, we discuss how these results can be leveraged in practice to model risk propagation scenarios. (shrink)

Statistical evidence is pervasive in medicine. In this chapter we will focus on the reliability of randomized clinical trials (RCTs) conducted to test the safety and efficacy of medical treatments. RCTs are scientific experiments and, as such, we expect them to be replicable: if we repeat the same experiment time and again, we should obtain the same outcome (Norton 2015). The statistical design of the test should guarantee that the observed outcome is not a random event, but rather a real (...) effect of the treatments administered. However, for more than a decade now, we have been discussing a replicability crisis across different experimental disciplines including medicine: the outcomes of trials published in very prestigious journals often disappear when the experiment is repeated (see, e.g., Lehrer 2010, Begley and Ellis 2012, Horton 2015). -/- There are different accounts of the reason for this replicability crisis, ranging from scientific fraud to lack of institutional incentives to double-check someone else’s results. In this chapter we will use the replicability crisis as a thread to introduce some central issues in the design of scientific experiments in medicine. First, in section 1, we will see how replicability and statistical significance are connected: we can only make sense of the p-value of a trial outcome within a series of replications of the test. But in order to conduct these replications properly, we need to agree on the proper design of the experiment we are going to repeat. In particular, we need to prevent the preferences of the experimenters from biasing the outcome of the experiment. If there is such a bias, when the experiment is replicated by a third party, the observed outcome will vanish. In section 2, we will argue that trialists need to agree on the debiasing procedures and the statistical quality controls that feature in the trial protocol, if they want the outcome to be replicable. In section 3, we will make two complementary points. On the one hand, replicability per se is not everything: we need trial outcomes that are not only statistically significant but also clinically relevant. On the other hand, trials are not everything: the experts analyzing the evidence can improve the reliability of statistical evidence, although they sometimes fail; we need to further study how they make their decisions. In section 4, we will use a controversy about the overprescription of statins to show how non-replicable effects are obtained in trials and how experts may fail at detecting such flaws, if the commercial interests are big enough. (shrink)

Nowadays, almost everyone seems to agree that science is facing an epistemological crisis – namely the replicability crisis – and that we need to take action. But as to precisely what to do or how...

Do I cause global warming, climate change and their related harms when I go for a leisure drive with my gas-guzzling car? The current verdict seems to be that I do not; the emissions produced by my drive are much too insignificant to make a difference for the occurrence of global warming and its related harms. I argue that our verdict on this issue depends on what we mean by ‘causation’. If we for instance assume a simple counterfactual analysis of (...) causation according to which ‘C causes E’ means ‘if C had not occurred, E would not have occurred’, we must conclude that a single drive does not cause global warming. However, this analysis of causation is well-known for giving counterintuitive results in some important cases. If we instead adopt Lewis’s analysis of causation, it turns out that it is indeterminate whether I cause global warming when I go for a single drive. Still, in contexts where we seek to control or understand global warming, there is a pressure to adopt a more fragile view of this event. When we adopt such a view, it turns out that a single drive does cause global warming. This means that we cannot like Sinnott-Armstrong and Kingston and Sinnott-Armstrong reject the idea that I should refrain from going for a leisure drive simply because such a drive does not cause global warming. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws (...) of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

It has now been more than a year since the start of the COVID-19 pandemic. Yet, despite the colossal and unprecedented scientific effort that has been put into it, many claims are still opaque, and many issues must be solved. Among these, one deserves the attention of philosophers of science: the scientific controversy about the theories of SARS-CoV-2 transmission. In this short paper, I analyze the debate between the droplet theory and the airborne theory of viral transmission. I argue that (...) the acceptance of the droplet theory has been due to the philosophical commitments of the dominant scientific actors to a specific theory of evidence, which has become dominant in western democracies, and to a specific set of non-epistemic values, rather than to scientific considerations alone. (shrink)

Ce livre offre une vue d’ensemble sur la mendicité en traversant plusieurs disciplines (histoire, philosophie, littérature) et plusieurs genres littéraires (epos, tragédie, littérature philosophique) et en se déployant sur un arc chronologique qui s’étend de la Grèce archaïque jusqu’au monde judéo-chrétien. L’ouvrage se compose d’une présentation, rédigée par Étienne Helmer, et de onze contributions, organisées en trois volets : I. « Au centre et au bord. Espaces civiques et institutionnels d...

Although the fictional domain exhibits a prima facie freedom from real-world moral constraints, certain fictive imaginings seem to deserve moral criticism. Capturing both intuitions, this paper argues for double-standard moralism, the view that fictive imaginings are subject to different moral standards than their real-world counterparts. I show how no account has, thus far, offered compelling reasons to warrant the moral appropriateness of this discrepancy. I maintain that the normative discontinuity between fiction and the actual world is moderate, as opposed to (...) one that leaves fictive engagements wholly exempt from moral evaluations. I propose a way of addressing the gamer’s dilemma that is compatible with a moderate kind of discontinuity. Finally, I contend that the audience is justified in adopting deviant moral attitudes in fictional situations because their consequences largely differ from those that analogous real-world events would have. (shrink)

When a belief has been influenced, in part or whole, by factors that, by the believer's own lights, do not bear on the truth of the believed proposition, we can say that the belief has been, in a sense, arbitrarily formed. Can such beliefs ever be rational? It might seem obvious that they can't. After all, belief, supposedly, “aims at the truth.” But many epistemologists have come to think that certain kinds of arbitrary beliefs can, indeed, be rational. In this (...) paper, I want to do two things. First, I want to show that the claim that arbitrary beliefs can be rational is inconsistent with the conjunction of two other attractive claims: one saying that rationality requires a certain kind of epistemic immodesty, and one saying that rationality forbids certain kinds of self-ascriptions of epistemic luck. Second, I want to evaluate different ways one might respond to this inconsistent triad. I won't defend any response in particular, but I'll draw out some notable costs and benefits of each response, which may help shed light on the question of whether arbitrary beliefs can be rational. (shrink)

Many theories of rational action are predicated on the idea that what it is rational to do in a given situation depends, in part, on what it is rational to believe in that situation. In short: they treat epistemic rationality as explanatorily prior to practical rationality. If they are right in doing so, it follows, on pain of explanatory circularity, that epistemic rationality cannot itself be a form of practical rationality. Yet, many epistemologists have defended just such a view of (...) epistemic rationality. According to them, there is no such thing as a distinctively epistemic form of rationality which could be explanatorily prior to practical rationality. Rather, they maintain, there is just one form of rationality—practical rationality—of which epistemic rationality is a species. What to make of this conflict? The aim of this paper is to motivate a view about the relationship between epistemic and practical rationality which resolves the conflict in a way that should be attractive to both sides. The central idea is to ground both epistemic and practical rationality in an independently motivated notion of evidential probability which is itself to be understood in non-normative terms. Doing so, I argue, allows us to unify epistemic and practical rationality in a way that does justice to the idea that what it is rational to do depends, in part, on what it is rational to believe; and to do so in a way that avoids explanatory circularity. (shrink)

In this paper I analyze a case of extreme response to need of security in the landscape of advanced democracies: the role of Golden Dawn in the management and reproduction of the profound socio-economic crisis in Greece. I argue that the keys behind the success of such a party are to be found in two distinct but self-reinforcing elements: its organizational strength and its anti-system ideology. The most significant organizational structures and activities which transformed Golden Dawn into a quasi-mafia style (...) “industry of private protection” are thus investigated, along with the most important contents of its radical and anti-systemic message. (shrink)

Should you always be certain about what you should believe? In other words, does rationality demand higher-order certainty? First answer: Yes! Higher-order uncertainty can’t be rational, since it breeds at least a mild form of epistemic akrasia. Second answer: No! Higher-order certainty can’t be rational, since it licenses a dogmatic kind of insensitivity to higher-order evidence. Which answer wins out? The first, I argue. Once we get clearer about what higher-order certainty is, a view emerges on which higher-order certainty does (...) not, in fact, license any kind of insensitivity to higher-order evidence. The view as I will describe it has plenty of intuitive appeal. But it is not without substantive commitments: it implies a strong form of internalism about epistemic rationality, and forces us to reconsider standard ways of thinking about the nature of evidential support. Yet, the view put forth promises a simple and elegant solution to a surprisingly difficult problem in our understanding of rational belief. (shrink)

Prevention is a pervasive phenomenon. It is about blocking an effect before it happens or stopping it as it unfolds: vaccines prevent (the unfolding of) diseases; seat belts prevent events causing serious injuries; circuit breaks prevent the manifestation of overcurrents. Many disciplines in the information sciences deal with modeling and reasoning about prevention. Examples include risk and security management as well as medical and legal informatics. Having a proper conceptualization of this phenomenon is crucial for devising proper modeling mechanisms and (...) tools to support these disciplines. Forming such a conceptualization is a matter of Formal Ontology. In fact, prevention and related notions have become a topic of interest in this area. In this paper, with the support of Unified Foundational Ontology (UFO), we conduct an ontological analysis of this and other related notions, namely, the notions of countermeasures and countermeasure mechanisms, including the notion of antidotes. As a result of this conceptual clarification process, we propose an ontology-based reusable module extending UFO and capturing the relations between these elements. Finally, we employ this module to address a few cases in risk management. (shrink)

A proof-theoretic test for paradoxicality was famously proposed by Tennant: a paradox must yield a closed derivation of absurdity with no normal form. Drawing on the remark that all derivations of a given proposition can be transformed into derivations in normal form of a logically equivalent proposition, we investigate the possibility of paradoxes in normal form. We compare paradoxes à la Tennant and paradoxes in normal form from the viewpoint of the computational interpretation of proofs and from the viewpoint of (...) proof-theoretic semantics. (shrink)

Don’t form beliefs on the basis of coin flips or random guesses. More generally, don’t take belief gambles: if a proposition is no more likely to be true than false given your total body of evidence, don’t go ahead and believe that proposition. Few would deny this seemingly innocuous piece of epistemic advice. But what, exactly, is wrong with taking belief gambles? Philosophers have debated versions of this question at least since the classic dispute between William Clifford and William James (...) near the end of the nineteenth century. Here I reassess the normative standing of belief gambles from the perspective of epistemic decision theory. The main lesson of the paper is a negative one: it turns out that we need to make some surprisingly strong and hard-to-motivate assumptions to establish a general norm against belief gambles within a decision-theoretic framework. I take this to pose a dilemma for epistemic decision theory: it forces us to either make seemingly unmotivated assumptions to secure a norm against belief gambles, or concede that belief gambles can be rational after all. (shrink)

We often have reason to doubt our own ability to form rational beliefs, or to doubt that some particular belief of ours is rational. Perhaps we learn that a trusted friend disagrees with us about what our shared evidence supports. Or perhaps we learn that our beliefs have been afflicted by motivated reasoning or other cognitive biases. These are examples of higher-order evidence. While it may seem plausible that higher-order evidence should impact our beliefs, it is less clear how and (...) why. Normally, when evidence impacts our beliefs, it does so by virtue of speaking for or against the truth of theirs contents. But higher-order evidence does not directly concern the contents of the beliefs that they impact. In recent years, philosophers have become increasingly aware of the need to understand the nature and normative role of higher-order evidence. This is partly due to the pervasiveness of higher-order evidence in human life. But it has also become clear that higher-order evidence plays a central role in many epistemological debates, spanning from traditional discussions of internalism/externalism about epistemic justification to more recent discussions of peer disagreement and epistemic akrasia. This volume brings together, for the first time, a distinguished group of leading and up-and-coming epistemologists to explore a range of issues about higher-order evidence. (shrink)

This book continues the editors' work of highlighting and re-evaluating the contributions of the most important political scientists who have gone before.

This book fills an important gap in the growing reflective literature on the political science discipline: it consists of a series of 'objective' profiles of the 'Masters of Political Science', written by political scientists who have read and studied their work and who are therefore in a position to evaluate the nature of their contributions.

Bernard Bolzano (1781 - 1848) war ein vielseitiger Philosoph. Seine Interessen bedecken alle Bereiche der Logik über Physik bis zur den Wissenschaften des Übersinnlichen. Die moderne Bolzano-Rezeption schätzt an seinem Werk vor allem die mathematischen, logischen und erkenntnistheoretischen Bemühungen. Trotz des großen Stellenwertes, den Mathematik und Logik in der Forschung Bolzanos einnehmen, können sie die beachtliche Dichte der Querverbindungen seines Denkens nicht ausschöpfen. In diesem Band wird eine kritische Rekonstruktion der theologisch-metaphysischen Untersuchungen (anhand seiner Athanasia) Bolzanos geliefert, welche die Wechselwirkungen (...) aufzeigen soll, die zwischen den theologisch-metaphysischen und den logisch-mathematischen Untersuchungen besteht. (shrink)

The author comments on and criticizes some conclusions of the article by Lubomir Lamy entitled “Beyond Emotion: Love as an Encounter of Myth and Drive.” In addition, she shows evidence that love may be considered an integrated neurobiobehavioral process and, as such, regulated by neural systems and circuits that underlie its emotional, cognitive, and behavioral expressions.

Based on Kolchinsky and Wolpert’s work on the semantics of autonomous agents, I propose an application of Mathematical Logic and Probability to model cognitive processes. In this work, I will follow Bateson’s insights on the hierarchy of learning in complex organisms and formalize his idea of applying Russell’s Type Theory. Following Weaver’s three levels for the communication problem, I link the Kolchinsky–Wolpert model to Bateson’s insights, and I reach a semantic and conceptual hierarchy in living systems as an explicative model (...) of some adaptive constraints. Due to the generality of Kolchinsky and Wolpert’s hypotheses, I highlight some fundamental gaps between the results in current Artificial Intelligence and the semantic structures in human beings. In light of the consequences of my model, I conclude the paper by proposing a general definition of knowledge in probabilistic terms, overturning de Finetti’s Subjectivist Definition of Probability. (shrink)

Titelbaum Oxford studies in epistemology, 2015) has recently argued that the Enkratic Principle is incompatible with the view that rational belief is sensitive to higher-order defeat. That is to say, if it cannot be rational to have akratic beliefs of the form “p, but I shouldn’t believe that p,” then rational beliefs cannot be defeated by higher-order evidence, which indicates that they are irrational. In this paper, I distinguish two ways of understanding Titelbaum’s argument, and argue that neither version is (...) sound. The first version can be shown to rest on a subtle, but crucial, misconstrual of the Enkratic Principle. The second version can be resisted through careful consideration of cases of higher-order defeat. The upshot is that proponents of the Enkratic Principle are free to maintain that rational belief is sensitive to higher-order defeat. (shrink)