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)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows (...) to be codes of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

This paper argues that influential Mahāyāna ethicists, such as Śāntideva, who allow for moral rules to be proscribed under the expediency of a compassionate aim, seriously compromise the very notion of moral responsibility. The central thesis is that moral responsibility is intelligible only in relation to conceptions of freedom and human dignity that reflect a participation in, and sharing of, interpersonal relationships. The central thesis of the paper is that revisionary strategies, which seek to explain agency in event-causal terms, set (...) the stage for moral epiphenomenalism. On the view I defend here, an effective compatibilist solution to the problem of reconciling freedom of the will and determinism depends on expanding, rather than eliminating, the complex register of factors that underpin the experiential aspects of our moral life. (shrink)

Formal epistemologists often claim that our credences should be representable by a probability function. Complete probabilistic coherence, however, is only possible for ideal agents, raising the question of how this requirement relates to our everyday judgments concerning rationality. One possible answer is that being rational is a contextual matter, that the standards for rationality change along with the situation. Just like who counts as tall changes depending on whether we are considering toddlers or basketball players, perhaps what counts as (...) rational shifts according to whether we are considering ideal agents or creatures more like ourselves. Even though a number of formal epistemologists have endorsed this type of solution, I will argue that there is no way to spell out this contextual account that can make sense of our everyday judgments about rationality. Those who defend probabilistic coherence requirements will need an alternative account of the relationship between real and ideal rationality. (shrink)

My dissertation is about Bayesian rationality for non-ideal agents. I show how to derive subjective probabilities from preferences using much weaker rationality assumptions than other standard representation theorems. I argue that non-ideal agents might be uncertain about how they will update on new information and consider two consequences of this uncertainty: such agents should sometimes reject free information and make choices which, taken together, yield sure loss. The upshot is that Bayesian rationality for non-ideal agents makes very (...) different normative demands than ideal Bayesian rationality. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. (...) If a proposition is true at all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

Implicit in feminist and other critiques of ideal theorizing is a particular view of what normative theory should be like. Although I agree with the rejection of ideal theorizing that oppression theorists (and other theorists of justice) have advocated, the proposed alternative of nonideal theorizing is also problematic. Nonideal theorizing permits one to address oppression by first describing (nonideal) oppressive conditions, and then prescribing the best action that is possible or feasible given the conditions. Borrowing an insight from (...) the "moral dilemmas debate"— namely that moral wrongdoing or failure can be unavoidable—I suggest that offering (only) action-guidance under non-ideal conditions obscures the presence and significance of unavoidable moral failure. An adequate normative theory should be able to issue a further, non-action-guiding evaluative chim, namely that the best that is possible under oppressive conditions is not good enough, and may constitute a moral failure. I find exclusively action-guiding nonideal theory to be both insufficiently nonidealizing (because it idealizes the moral agent by falsely characterizing the agent as always able to avoid moral wrongdoing) and meanwhile too strongly adapted to the nonideal (because normative expectations are lowered and detrimentally adapted to options that, while the best possible, are still unacceptable). (shrink)

Based on three recently published books on climate justice, this article reviews the field of climate ethics in light of developments of international climate politics. The central problem addressed is how idealised normative theories can be relevant to the political process of negotiating a just distribution of the costs and benefits of mitigating climate change. I distinguish three possible responses, that is, three kinds of non-ideal theories of climate justice: focused on (1) the injustice of some agents not doing (...) their part; (2) the policy process and aiming to be realistic; and (3) grievances related to the transition to a clean-energy economy. The methodological discussion underpinning each response is innovative and should be of interest more generally, even though it is still underdeveloped. The practical upshot, however, is unclear: even non-ideal climate justice may be too disconnected from the fast-moving and messy climate circus. (shrink)

A number of formal epistemologists have argued that perfect rationality requires probabilistic coherence, a requirement that they often claim applies only to ideal agents. However, in “Rationality as an Absolute Concept,” Roy Sorensen contends that ‘rational’ is an absolute term. Just as Peter Unger argued that being flat requires that a surface be completely free of bumps and blemishes, Sorensen claims that being rational requires being perfectly rational. When we combine these two views, though, they lead to counterintuitive results. (...) If being rational requires being perfectly rational, and only the probabilistically coherent are perfectly rational, then this indicts all ordinary agents as irrational. In this paper, I will attempt to resolve this conflict by arguing that Sorensen is only partly correct. One important sense of ‘rational’, the sanctioning sense of ‘rational’, is an absolute term, but another important sense of ‘rational’, the sense in which someone can have rational capacities, is not. I will, then, show that this distinction has important consequences for theorizing about ideal rationality, developing an account of the relationship between ordinary and ideal rationality. Because the sanctioning sense of ‘rational’ is absolute, it is rationally required to adopt the most rational attitude available, but which attitude is most rational can change depending on whether we are dealing with ideal agents or people more like ourselves. (shrink)

This paper examines the apparent tension in Michael Smith’s The Moral Problem between his commitment to convergence in ideal desires and his acceptance of agentrelative reasons, particularly those grounded in first-personal perspectives like the parent-child relationship. While Smith maintains that ideal desires are agent-invariant and converge on what is universally desirable, he also endorses agent-relative reasons that imply agent-centered normative commitments. I argue that resolving this tension requires rethinking convergence. Specifically, I propose extending the first-personal (...) („de se“) nature of agent-relative reasons to the objects of convergence, which I term „de se aims.“ By recognizing these aims as value bearers, we can reconcile agentrelativity with the universality of desirability, preserving Smith’s broader metaethical commitments. The proposal avoids the pitfalls of agent-relative value theories and illuminates the role of perspective-dependent aims in systematic justification. (shrink)

Scientists and engineers seek to understand how real-world systems work and could work better. Any modeling method devised for such purposes must simplify reality. Ideally, however, the modeling method should be flexible as well as logically rigorous; it should permit model simplifications to be appropriately tailored for the specific purpose at hand. Flexibility and logical rigor have been the two key goals motivating the development of Agent-based Computational Economics (ACE), a completely agent-based modeling method characterized by seven specific (...) modeling principles. This perspective provides an overview of ACE, a brief history of its development, and its role within a broader spectrum of experiment-based modeling methods. (shrink)

Our evidential environments are reflections of our social contexts. This is important because the evidence we encounter influences the beliefs we form. But, traditional epistemologists have paid little attention to the generation of this evidential environment, assuming that it is irrelevant to epistemic normativity. This assumption, I argue, is dangerous. Idealizing away the evidential environment obscures the ways that our social contexts distort its contents. Such social distortion can lead to evidential oppression, an epistemic injustice arising from the ubiquity of (...) ideologically-inflected portrayals of oppressed social groups. In some cases, this distortion can be so pervasive as to create a skeptical pothole in agents' epistemic environments---a limited region in which a skeptical scenario obtains. The skeptical challenge of social distortion is important because it suggests that prejudice and irrationality alone may not be enough to explain many harmful beliefs. Where justified belief is merely a matter of responding well to one's evidence, the ubiquity of ideologically-inflected evidence may impel a matching doxastic state, even for exemplary epistemic agents. Nevertheless, there is an asymmetry in blameworthiness between the Cartesian victim and someone laboring under evidential oppression. This asymmetry reveals the need for distinctively non-ideal epistemic norms. I offer a characterization of one such norm: the internalist practice of self-stewardship. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative (...) dispositional account that avoids this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

Normative moral theories are frequently invoked to serve one of two distinct purposes: (1) explicate a criterion of rightness, or (2) provide an ethical decision-making procedure. Although a criterion of rightness provides a valuable theoretical ideal, proposed criteria rarely can be (nor are they intended to be) directly translated into a feasible decision-making procedure. This paper applies the computational framework of bounded rationality to moral decision-making to ask: how ought a bounded human agent make ethical decisions? We suggest (...) agents ought to follow moral maxims: principles that approximate rightness in many situations, but that can be overridden in specific, precisely describable circumstances. While this intuitive idea has been proposed many times before, we provide a precise model of how maxim consequentialism functions as an approximation to an act-consequentialist criterion of rightness, while maintaining the flexibility and defeasibility that has eluded most forms of rule consequentialism. Furthermore, while our overarching aim is to propose a new normative standard of moral decision-making, we demonstrate how maxim consequentialism can also function as a descriptive account of human behavior. We conclude by noting that different criteria of rightness may lead to different maxim-based ethics. (shrink)

I focus on the No-Paradise Dilemma, which results from some initially plausible epistemic ideals, coupled with an assumption concerning our evidence. Our evidence indicates that we are not in an epistemic paradise, in which we do not experience cognitive failures. I opt for a resolution of the dilemma that is based on an evidentialist position that can be motivated independently of the dilemma. According to this position, it is rational for an agent to believe a proposition on the (...) class='Hi'>agent’s total evidence just in case the (total) evidence stably supports the proposition. Based on this evidentialist position, I argue that it is not an epistemic ideal in the actual world that we hold rational beliefs that are logically equivalent to our rational beliefs. The dilemma is resolved by giving up this ideal for the actual world and adopting the evidentialist position in terms of stable evidential support. (shrink)

According to Popper's rationality principle, agents act in the most adequate way according to the objective situation. I propose a new interpretation of the rationality principle as consisting of an idealization and two abstractions. Based on this new interpretation, I critically discuss the privileged status that Popper ascribes to it as an integral part of all social scientific models. I argue that as an idealization, the rationality principle may play an important role in the social sciences, but it also has (...) inherent limitations that inhibit it from having the privileged status that Popper ascribes to it in all cases. (shrink)

Some epistemologists think that the Bayesian ideals matter because we can approximate them. That is, our attitudes can be more or less close to the ones of our ideal Bayesian counterpart. In this paper, I raise a worry for this justification of epistemic ideals. The worry is this: In order to correctly compare agents to their ideal counterparts, we need to imagine idealized agents who have the same relevant information, knowledge, or evidence. However, there are cases in which (...) one’s ideal counterpart cannot have one’s information, knowledge, or evidence. In these situations, agents cannot compare themselves to their ideal counterpart. (shrink)

General epistemic polarization arises when the beliefs of a population grow further apart, in particular when all agents update on the same evidence. Epistemic factionalization arises when the beliefs grow further apart, but different beliefs also become correlated across the population. I present a model of how factionalization can emerge in a population of ideally rational agents. This kind of factionalization is driven by probabilistic relations between beliefs, with background beliefs shaping how the agents’ beliefs evolve in the light of (...) new evidence. Moreover, I show that in such a model, the only possible outcomes from updating on identical evidence are general convergence or factionalization. Beliefs cannot spread out in all directions: if the beliefs overall polarize, then it must result in factionalization. (shrink)

One of the deepest and longest-lasting debates in ethics concerns a version of the Euthyphro question: are choiceworthy things choiceworthy because agents have certain attitudes toward them or are they choiceworthy independent of any agents’ attitudes? Reasons internalists, such as Bernard Williams, Michael Smith, Mark Schroeder, Sharon Street, Kate Manne, Julia Markovits, and David Sobel answer in the first way. They think that all of an agent’s normative reasons for action are grounded in facts about that agent’s pro-attitudes (...) (e.g., her desires, valuing states, normative judgments). According to the most popular brand of internalism, idealizing internalism, an agent’s reasons are grounded, not in her actual pro-attitudes, but rather in what her pro-attitudes would be in suitably idealized conditions. Idealizing internalists presuppose that, for any agent with an irrational set of attitudes, there is one uniquely rational set that that agent would have if she were to undergo the relevant idealizing process. I argue that this assumption is false and that it raises two puzzles for idealizing internalism: one about the existence of practical reasons and another about their normative weight. I argue that idealizing internalists have an adequate solution to the first puzzle but not the second. Indeed, when they try to solve the second puzzle, they confront a dilemma. This second puzzle and the associated dilemma thus constitutes a powerful, but so far unnoticed, difficulty for idealizing internalism. (shrink)

I tried to tease out what Gilbert means by "normative". It isn't obvious. I conclude that assumptions about ideal agents – not just ideal in the sense of error-free but also ideal in the sense of unlimited – and assumptions about ideal placement of oneself in another person's situation, are essential to what he means. I conclude that what he says is very plausible given these assumptions, though they themselves are very problematic. Especially problematic is the (...) idea of an unlimited simulation of a limited agent's perspective. (shrink)

-/- This essay discusses the relation between ideal theory and two forms of political moralism identified by Bernard Williams, structural and enactment views. It argues that ideal theory, at least in the sense Rawls used that term, only makes sense for structural forms of moralism. These theories see their task as describing the constraints that properly apply to political agents and institutions. As a result, they are primarily concerned with norms that govern action. In contrast, many critiques of (...) ideal theory are structured and motivated by their commitment to an enactment model of political theorizing. This instead sees political agents and institutions as instruments for producing or promoting better states of affairs. Enactment models treat the evaluations that rank different states of affairs as justificatorily basic, rather than norms governing action on which structural models focus. This reveals an important feature of debates about ideal theory. Whether ideal theory is capable of appropriately guiding action will depend on what the criteria for appropriately guiding action are, about which different theorists have importantly different views. For example, some popular strategies for defending ideal theory fail, while it may be much less clear that some alternatives to ideal theory can provide action guidance than their advocates claim. (shrink)

The nature of state governance in consolidated liberal democracies has important implications for the ideal theory debate. The states of these societies are polycentric. Decision-making power within them is disaggregated across multiple sites. This rules out one major justification for ideal theory. On this influential view, the ideal furnishes a blueprint of the morally perfect society that we should strive to realise. This justification is not viable in consolidated liberal democracies because their states lack an Archimedean point (...) from which the institutional structure as a whole can be designed to accord with the true ideal – whichever it might be. However, knowledge of the ideal can still aid agents in those societies to determine the worth of more modest political objectives other than the ideal itself. (shrink)

What is the relevance of ideals for determining virtuous argumentative practices? According to Bailin and Battersby (2016), the telos of argumentation is to improve our cognitive systems, and adversariality plays no role in ideally virtuous argumentation. Stevens and Cohen (2019) grant that ideal argumentation is collaborative, but stress that imperfect agents like us should not aim at approximating the ideal of argumentation. Accordingly, it can be virtuous, for imperfect arguers like us, to act as adversaries. Many questions are (...) left unanswered by both camps. First, how do we conceptualize an ideal and its approximation? Second, how can we determine what is the ideal of argumentation? Third, can we extend Stevens and Cohen’s anti-approximation argument beyond virtue theory? In order to respond to these questions, this paper develops a second-best perspective on ideal argumentation. The Theory of the Second Best is a formal contribution to the field of utility (or welfare) optimization. Its main conclusion is that, in non-ideal circumstances, approximating ideals might be suboptimal. (shrink)

A central aim of non-epistemology is to eschew idealisations that tend to distort our epistemological theorising. In this paper, I use the resources of non-ideal epistemology to shed light on a perceived asymmetry between the structure of epistemic virtues and vices. On the one hand, epistemic virtues are widely held to exhibit a skill-component as part of their formal structure. On the other hand, epistemic vices are taken to lack this component. I cast doubt on this asymmetry by demonstrating (...) that it is sustained by two idealisations virtue epistemologists have tended to employ in their theorising of epistemic vice and the environments in which agents develop epistemic virtues. In doing so, I argue that this asymmetry has problematically obscured from view what I call ‘vice-indexed skills’ – distinctive skills associated with epistemic vices. The existence of these skills not only reveals an important structural symmetry between the epistemic virtues and vices, but it is something that comes to light by applying the tools of non-ideal epistemology to vice epistemology. (shrink)

LLMs have dramatically improved in capabilities in recent years. This raises the question of whether LLMs could become genuine agents with beliefs and desires. This paper demonstrates an in principle limit to LLM agency, based on their architecture. LLMs are next word predictors: given a string of text, they calculate the probability that various words can come next. LLMs produce outputs that reflect these probabilities. I show that next word predictors are exploitable. If LLMs are prompted to make probabilistic predictions (...) about the world, these predictions are guaranteed to be incoherent, and so Dutch bookable. If LLMs are prompted to make choices over actions, their preferences are guaranteed to be intransitive, and so money pumpable. In short, the problem is that selecting an action based on its potential value is structurally different then selecting the description of an action that is most likely given a prompt: probability cannot be forced into the shape of expected value. The in principle exploitability of LLMs raises doubts about how agential they can become. This exploitability also offers an opportunity for humanity to safely control such AI systems. (shrink)

Agent-centered morality has been a serious challenge to ethical theories based on agent-neutral morality in defining what is the moral point of view. In this paper, my concern is to examine whether arguments for agent-centered morality, in particular, arguments for agent-centered option, can be justified. -/- After critically examining three main arguments for agent-centered morality, I will contend that although there is a ring of truth in the demands of agent-centered morality, agent-centered morality (...) is more problematic than agent-neutral morality. Nevertheless, we need to take seriously the challenges to agent-neutral morality by finding a way to reflect the insight of agent-centered morality within the framework of agent-neutral morality without collapsing it into agent-centered morality. As a way of doing so, I suggest that we need to integrate the situated, rather than transcendental, nonideal, rather than idealized, and dialogical, rather than monological, perspectives developed in feminist ethics, into agent-neutral morality. (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)

I build on Adam Smith’s account of the impartial spectator in The Theory of Moral Sentiments in order to offer a modest ideal observer theory of moral judgment that is adequate in the following sense: the account specifies the hypothetical conditions that guarantee the authoritativeness of an agent’s (or agents’) responses in constituting the standard in question, and, if an actual agent or an actual community of agents are not under those conditions, their responses are not authoritative (...) in setting this standard. However, in the account that I provide, the hypothetical conditions can themselves be constructed from the psychology and interactions of actual human beings. In other words, facts about the morally appropriate and inappropriate are determined from hypothetical conditions that––while agents in a given society might have yet to attain them––can be constructed from those agents’ shared experiences. Thus, the account offers both an attainable standard of moral judgment and a standard that can transcend the biases of the society which gave rise to it. I also defend the account against three challenges: (a) ideal observer theories do not offer the right kind of motivation to act on the verdicts of the ideal observer; (b) ideal observer theories cannot explain why the idealization in question is well-motivated and not objectionably ad hoc; (c) the standard used in ideal observer theories cannot be defended upon further reflection, because we would need a non-arbitrary, second-order standard to govern our reflection on the first-order standard of moral judgment. (shrink)

Virtue theorists in ethics often embrace the following characterizationof right action: An action is right iff a virtuous agent would performthat action in like circumstances. Zagzebski offers a parallel virtue-basedaccount of epistemically justified belief. Such proposals are severely flawedbecause virtuous agents in adverse circumstances, or through lack ofknowledge can perform poorly. I propose an alternative virtue-based accountaccording to which an action is right (a belief is justified) for an agentin a given situation iff an unimpaired, fully-informed virtuous observerwould deem (...) the action to be right (the belief to be justified). (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

Principles of distributive justice bind macro-level institutional agents, like the state. But what does justice require in non-ideal circumstances, where institutional agents are unjust or do not e...

The traditional debate about moral dilemmas concerns whether there are circumstances in which an agent is subject to two obligations that cannot both be fulfilled. Realists maintain there are. Irrealists deny this. Here I defend an alternative, methodologically-oriented position wherein the denial of genuine moral dilemmas functions as a regulative ideal for moral deliberation and practice. That is, moral inquiry and deliberation operate on the implicit assumption that there are no genuine moral dilemmas. This view is superior to (...) both realism and irrealism in accounting for moral residue and other crucial phenomenological dimensions of our experience of moral dilemmas. (shrink)

Does it count against a normative theory in political philosophy that it is in some important sense infeasible, that its prescriptions are unlikely to be complied with? Though a positive answer seems plausible, it has proved hard to defend against the claim that this is not how normative theories work - noncompliance shows a problem with the noncomplying agents, not with the normative theory. I think that this line of thought - this defense of Utopianism - wins the battle but (...) loses the war. It’s right about what does and what does not refute a normative theory. It’s wrong in misidentifying the problem. The right way to think about the feasibility worry is as essentially involving multiple agents, and how expected noncompliance by one agent may refute a normative claim addressed at another. Thus understood, feasibility problems may very well refute a theory in political philosophy. In this paper I develop this understanding of the feasibility worry, tie it to more general discussions in normative ethics, and in political philosophy. (shrink)

Many agents have failed to comply with their responsibilities to take the action needed to avoid dangerous anthropogenic climate change. This pervasive noncompliance raises two questions of nonideal political theory. First, it raises the question of what agents should do when others do not discharge their climate responsibilities. (the Responsibility Question) In this paper I put forward four principles that we need to employ to answer the Responsibility Question (Sections II-V). I then illustrate my account, by outlining four kinds of (...) action that should be undertaken (Section VI). Pervasive noncompliance also raises a second question: Given the lack of progress in combating climate change, should existing governance structures be maintained or changed (and if they should be changed, in what ways)? (the Governance Question). The paper briefly outlines a methodology for addressing this question and outlines what a nonideal response to the existing institutional structures would be (Section VII). It does so with reference to the Paris Agreement, and in particular the creation of a "global stocktake" (Article 14, Paris Agreement) and the "facilitative dialogue" (paragraph 20 of the ‘Adoption of the Paris Agreement’). The aim, then, is to set out an account of a nonideal theory of climate justice. (shrink)

Bayesian epistemologists support the norms of probabilism and conditionalization using Dutch book and accuracy arguments. These arguments assume that rationality requires agents to maximize practical or epistemic value in every doxastic state, which is evaluated from a subjective point of view (e.g., the agent’s expectancy of value). The accuracy arguments also presuppose that agents are opinionated. The goal of this paper is to discuss the assumptions of these arguments, including the measure of epistemic value. I have designed AI agents (...) based on the Bayesian model and a nonmonotonic framework and tested how they achieve practical and epistemic value in conditions in which an alternative set of assumptions holds. In one of the tested conditions, the nonmonotonic agent, which is not opinionated and fulfills neither probabilism nor conditionalization, outperforms the Bayesian in the measure of epistemic value that I argue for in the paper (α-value). I discuss the consequences of these results for the epistemology of rationality. (shrink)

Formal representations drawn from rational choice theory have been used in a variety of ways to fruitfully model the way in which actual agents are approximately rational. This analysis requires bridging between ideal normative theory, in which the mechanisms, representations, and other such internal parts are in an important sense interchangeable, and descriptive psychological theory, in which understanding the internal workings of the agent is often the main goal of the entire inquiry. In this paper, I raise a (...) problem brought on by this gap: for almost every theory of approximate rationality, there will be an empirically indistinguishable alternative that individuates the parts of the agent in a significantly different way. (shrink)

The shortage conditions created by the COVID-19 pandemic have been changing our ordinary way of life around the world since the beginning of 2020. Such conditions pose a challenge for shaping a cohesive theory of justice—one that takes non-ideal circumstances as necessary for the model. These conditions also interfere with agents’ moral capacity in ways that make it difficult for them to tell what is morally relevant, which impairs their ability to identify what actions are just. To shed light (...) on these problems, I turn to David Hume’s theory of justice as a test case to portray how outer conditions shape an agent’s inner conditions and affect the foundation of our moral perception of what is just. (shrink)

The shortage conditions created by the COVID-19 pandemic have been changing our ordinary way of life around the world since the beginning of 2020. Such conditions pose a challenge for shaping a cohesive theory of justice—one that takes non-ideal circumstances as necessary for the model. These conditions also interfere with agents’ moral capacity in ways that make it difficult for them to tell what is morally relevant, which impairs their ability to identify what actions are just. To shed light (...) on these problems, I turn to David Hume’s theory of justice as a test case to portray how outer conditions shape an agent’s inner conditions and affect the foundation of our moral perception of what is just. (shrink)

The shortage conditions created by the COVID-19 pandemic have been changing our ordinary way of life around the world since the beginning of 2020. Such conditions pose a challenge for shaping a cohesive theory of justice—one that takes non-ideal circumstances as necessary for the model. These conditions also interfere with agents’ moral capacity in ways that make it difficult for them to tell what is morally relevant, which impairs their ability to identify what actions are just. To shed light (...) on these problems, I turn to David Hume’s theory of justice as a test case to portray how outer conditions shape an agent’s inner conditions and affect the foundation of our moral perception of what is just. (shrink)

Why do people persist in commitments that threaten their happiness, security, and comfort? Why do some of our most central, identity-defining commitments resist the effects of reasoning and critical reflection? Drawing on real-life examples, empirical psychology, and philosophical reflection, this book argues that these commitments involve an ethical stance called devotion, which plays a pervasive—but often hidden—role in human life. Devotion typically involves sacralizing certain values, goals, or relationships. To sacralize a value is to treat it as inviolable (trade-offs with (...) ordinary values are forbidden), incontestable (even contemplating such trade-offs is prohibited), and dialectically invulnerable (no rational considerations can disrupt the agent’s commitment to the value). Philosophy of Devotion offers a detailed philosophical account and defense of these features. Devotion and the sacralization of values can be reasonable; indeed, a life involving meaningful, sustained commitment depends on these stances. Without devotion, we risk an existential condition called normative dissipation, in which all of our commitments become etiolated. Yet devotion can easily go wrong, deforming into the individual and group fanaticism that have become pervasive features of modern social life. The book provides an alternative to fanaticism, investigating the way in which we can express non-pathological forms of devotion. We can be devoted through affirmation and through what is termed the deepening move, which treats the agent’s central commitments as systematically inchoate. Each stance enables a wholehearted form of devotion that nevertheless preserves flexibility and openness, avoiding the dangers of fanaticism on the one hand and normative dissipation on the other. -/- (The attached file contains the introductory chapter.). (shrink)

Disrespect for the truth, the rise of conspiracy thinking, and a pervasive distrust in experts are widespread features of the post-truth condition in current politics and public opinion. Among the many good explanations of these phenomena there is one that is only rarely discussed: that something is wrong with our deeply entrenched intellectual standards of (i) using our own critical thinking without any restriction and (ii) respecting the judgment of every rational agent as epistemically relevant. In this paper, I (...) will argue that these two enlightenment principles—the Principle of Unrestricted Critical Thinking and the Principle of Democratic Reason—not only conflict with what is rationally required from a purely epistemic point of view, but also have bad cognitive consequences in furthering the spread of conspiracy theories and undermining trust in experts. I will then explain in more detail why we should typically defer to experts without using any of our own reasons regarding the subject matter. Moreover, I will show what place this leaves for critical thinking and why it does not have the crazy consequences that the critics expect. (shrink)

The book, Autonomous Agents: From Self-Control to Autonomy (1995), by Alfred R. Mele, deals primarily with two main concepts, “self-control” and “individual autonomy,” and the relationship between them. The book is divided into two parts: (1) a view of self-control, the self-controlled person, and behaviour manifesting self-control, and (2) a view of personal autonomy, the autonomous person, and autonomous behaviour. Mele (Ibid.) defines self-control as the opposite of the Aristotelian concept of akrasia, or the contrary of akrasia, which implies weakness (...) of will, incontinence, or lack of self-control—the state of mind in which one acts against one’s better judgement. According to Mele, the concept of self-control can be approached from two perspectives: (a) how self-control affects human behaviour, and (b) how self-control-associated behavior can enhance our understanding of ‘personal autonomy’ and ‘autonomous behaviour’—personal autonomy requires self-control, and autonomous persons and autonomous behaviour are naturally found together. Therefore, I might say that self-control is essential to enhancing one’s autonomy. -/- In part I, we find an account of self-control where Mele argues that even an ideally self-controlled person might lack autonomy. In part II, Mele gives an explicit account of autonomy and explains what must be added to self-control to achieve autonomy. This is the pivotal claim made by Mele (dismantling the intuitively connected notions of self-control and autonomy). (shrink)

Enjoying great popularity in decision theory, epistemology, and philosophy of science, Bayesianism as understood here is fundamentally concerned with epistemically ideal rationality. It assumes a tight connection between evidential probability and ideally rational credence, and usually interprets evidential probability in terms of such credence. Timothy Williamson challenges Bayesianism by arguing that evidential probabilities cannot be adequately interpreted as the credences of an ideal agent. From this and his assumption that evidential probabilities cannot be interpreted as the actual (...) credences of human agents either, he concludes that no interpretation of evidential probabilities in terms of credence is adequate. I argue to the contrary. My overarching aim is to show on behalf of Bayesians how one can still interpret evidential probabilities in terms of ideally rational credence and how one can maintain a tight connection between evidential probabilities and ideally rational credence even if the former cannot be interpreted in terms of the latter. By achieving this aim I illuminate the limits and prospects of Bayesianism. (shrink)

We are all capable of arriving at views that are driven by corrupting non-epistemic interests. But we are nonetheless very skilled at performing a commitment to epistemic goods in such cases. I call this the ‘Problem of Mere Epistemic Performance’, and it generates a need to determine when these commitments are illusory and when they are in fact genuine. I argue that changing one’s mind, when done in response to the evidence and at a likely cost to oneself, are the (...) best indications that an agent is committed to epistemic goods, that they are genuinely in the game of giving and asking for reasons. This is because changing one’s mind in this way goes as far as we can in eliminating the possibility that the agent has an ulterior motivation for their epistemic practices. Moreover, this account shows that the consensus view of the ideal epistemic agent is mistaken. The ideal agent must have false beliefs or deficient epistemic practices because only then do they have the opportunity to change their mind and establish a commitment to epistemic goods – a commitment that even an agent with only true beliefs and maximal justification or understanding may lack. (shrink)

Recent years have seen a surge of interest in the topic of moral responsibility for ‘non-ideal’ agents. And yet, one important type of ‘non-ideal’ agent, the narcissistic agent, has not received much attention. In this paper, I seek to fill this gap. My focus is on psychological entitlement, a feature that has been largely overlooked. I argue that this feature impairs narcissistic agents’ moral competence. This is because it both causes them to form distorted moral assessments (...) in a wide range of situations and impairs their ability to use feedback from others to correct these distortions. I conclude that narcissistic agents have mitigated responsibility owing to their impaired moral competence. As I furthermore show, this does not entail that we simply need to accept the damage they do. Rather, we may take steps to protect ourselves against the destructive effects of narcissistic entitlement, both on a personal and on a societal level. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (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)

This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.