Lucy O'Brien argues that a satisfactory account of first-person reference and self-knowledge needs to concentrate on our nature as agents. Clearly written, with rigorous discussion of rival views, this book will be of interest to anyone working in the philosophy of mind and action.

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)

How is it that we think and refer in the first-person way? For most philosophers in the analytic tradition, the problem is essentially this: how two apparently conflicting kinds of properties can be reconciled and united as properties of the same entity. What is special about the first person has to be reconciled with what is ordinary about it. The range of responses reduces to four basic options. The orthodox view is optimistic: there really is a way of reconciling these (...) apparently contradictory properties as contained within the same thing. The heretical views are pessimistic and content to be so: there is no such way, and that is because there is simply nothing to reconcile – because there is really nothing special about what is in question; or there is really nothing ordinary about it; or there is really nothing …. (shrink)

International Journal of Philosophical Studies, Volume 19, Issue 4, Page 638-642, October 2011.

How is it that we think and refer in the first-person way? For most philosophers in the analytic tradition, the problem is essentially this: how two apparently conflicting kinds of properties can be reconciled and united as properties of the same entity. What is special about the first person has to be reconciled with what is ordinary about it . The range of responses reduces to four basic options. The orthodox view is optimistic: there really is a way of reconciling (...) these apparently contradictory properties as contained within the same thing. The heretical views are pessimistic and content to be so: there is no such way, and that is because there is simply nothing to reconcile – because there is really nothing special about what is in question; or there is really nothing ordinary about it; or there is really nothing …. (shrink)

ABSTRACTAccording to difference-based models of causal judgement, the epistemic state of the agent should not affect judgements of cause. Four experiments examined opportunity chains in which a physical event enabled a subsequent proximal cause to produce an outcome. All four experiments showed that when the proximal cause was a human action, it was judged as more causal if the agent was aware of his opportunity than if he was not or if the proximal cause was a physical event. The first (...) two experiments showed that these preferences could not be explained in terms of differences in perceived conditional probability, social controllability or perceptions of the causal sequence as forming a single unit. The third experiment showed that awareness affected the perceived deliberateness with which the action brought the outcome about but not its perceived voluntariness. The fourth experiment showed that... (shrink)

Current evolutionary and cognitive theories of religion posit that supernatural agent concepts emerge from cognitive systems such as theory of mind and social cognition. Some argue that these concepts evolved to maintain social order by minimizing antisocial behavior. If these theories are correct, then people should process information about supernatural agents’ socially strategic knowledge more quickly than non-strategic knowledge. Furthermore, agents’ knowledge of immoral and uncooperative social behaviors should be especially accessible to people. To examine these hypotheses, we (...) measured response-times to questions about the knowledge attributed to four different agents—God, Santa Claus, a fictional surveillance government, and omniscient but non-interfering aliens—that vary in their omniscience, moral concern, ability to punish, and how supernatural they are. As anticipated, participants respond more quickly to questions about agents’ socially strategic knowledge than non-strategic knowledge, but only when agents are able to punish. (shrink)

When two agents engage in a joint action, such as rowing together, they exercise joint know-how. But what is the relationship between the joint know-how of the two agents and the know-how each agent possesses individually? I construct an “active mutual enablement” account of this relationship, according to which joint know-how arises when each agent knows how to predict, monitor, and make failure-averting adjustments in response to the behaviour of the other agent, while actively enabling the other to (...) make such adjustments. I defend the AME account from three objections, and I then use this account as the platform for an examination of the reducibility of joint know-how to joint propositional knowledge. A summative account of joint propositional knowledge is incompatible with the reduction of joint know-how to joint propositional knowledge, whereas a distributive account is not. I close by highlighting some open questions the AME account brings into view concerning the evolutionary origin and scaling up of joint know-how. (shrink)

My aim in this paper is to draw attention to a currently underdeveloped notion of pain and alienation, in order to sketch an account of the harms of ‘discursive abuse’. This form of abuse comprises systemic practices of violating a person’s vulnerable integrity as a knowing agent. Discursive abuse results in, what I would like to call, ‘agential alienation’. This particular genus of alienation, whose broad conceptual origins lie in the respective works of Hegel and the early Marx, involves (...) an agent being robbed of their self-conception as a rational inquirer and participant in a deliberative public sphere. Such alienation causes a particular kind of pain for an agent that often has harrowing material effects. (shrink)

In certain cases, people judge that agents bring about ends intentionally but also that they do not bring about the means that brought about those ends intentionally—even though bringing about the ends and means is just as likely. We call this difference in judgments the Kraemer effect. We offer a novel explanation for this effect: a perceived difference in the extent to which agents know how to bring about the means and the ends explains the Kraemer effect. In (...) several experiments, we replicate the Kraemer effect in a variety of non-moral and moral scenarios, and we find support for our new account. This work accords with a burgeoning area of action theory that identifies an important connection between know-how and intentionality. (shrink)

The gradation of know-how is a prominent challenge to intellectualism. Know-how is prima facie gradable, whereas know-that is not, so the former is unlikely to be a species of the latter. Recently, Pavese refuted this challenge by explaining the gradation of know-how as concerning either the quantity or the quality of practical answers one knows to a question. Know-how per se remains absolute. This paper argues, however, that in addition to the quantity and quality of practical answers, know-how also differs (...) in how reliably the agent is supposed to fulfil the task given her default constitution. Intellectualism is still troubled by the gradability challenge. (shrink)

J. David Velleman casts foreknowledge of one's own next move as psychologically active. As agents, we form prior intentions about what we will do next. Such prior intentions are licensed self-fulfilling beliefs or directive cognitions. These cognitions differ from ordinary predictions in their psychological relation to the evidence, in that they precede that crucial part of the evidence which consists in the fact that they have been formed. However, once formed, these cognitions are epistemologically unremarkable: they are directly justified (...) by evidence, which saliently includes the fact of their own existence. I argue that Velleman distorts both the epistemology and the etiology of self-knowing agency. Self-knowing agents typically know what they will do next non-evidentially, and yet their knowledge of their own next move is formed in response to their (perspective-relative) epistemic grounds. Velleman's account of self-knowing agency is doubly distortive because it ignores the role of the purely first-person point of view which typically characterizes such agency. In developing an alternative account of self-knowing agency, I argue that the kind of knowledge that we typically have of what we are about to do is like the kind of knowledge we have when we non-evidentially know what our own current, conscious propositional thoughts are. We can non-evidentially know what we think in virtue of having made up our minds what to think. Likewise, we can non-evidentially know what we are about to do in virtue of having settled on what to do next. (shrink)

Spelke'sWhat babies knowdescribes the remarkably sophisticated mental lives of infants through the theoretical framework of core knowledge. To Spelke, young infants possess six independent core domains, two of which allow them to reason about the social world: the core agent and the core social being systems. Critically, Spelke argues that these core systems fail to communicate prior to 10 months, resulting in an inability to understand social goals. In this commentary, I review evidence that, contrary to Spelke's claims, young infants (...) show robust understanding of social goals and intentions, consistent with claims of an early emerging moral core. (shrink)

The traditional tripartite and tetrapartite analyses describe the conceptual components of propositional knowledge from a universal epistemic point of view. According to the classical analysis, since truth is a necessary condition of knowledge, it does not make sense to talk about “false knowledge” or “knowing wrongly.” There are nonetheless some natural languages in which speakers ordinarily make statements about a person’s knowing a given subject matter wrongly. In this paper, we first provide a brief analysis of “knowing (...) wrongly” in Turkish. Then, taking Allan Hazlett’s recent account of the gap between traditional analyses of knowledge and actual epistemic practices of real cognitive agents as a point of departure, we spell out a non-universalist and non-extensionalist perspective on the value of “knowing wrongly.”. (shrink)

Agent-centered epistemic norms direct thinkers to attach different significance to their own epistemically relevant states than they attach to the similar states of others. Thus, if S and T both know, for certain, that S has the intuition that P, this might justify S in believing that P, yet fail to justify T in believing that P. I defend agent-centeredness and explain how an agent-centered theory can accommodate intuitions that seem to favor agent-neutrality.

This article explicates Averroes's understanding of human knowing and abstraction in this three commentaries on Aristotle's De Anima. While Averroes's views on the nature of the human material intellect changes through the three commentaries until he reaches is famous view of the unity of the material intellect as one for all human beings, his view of the agent intellect as 'form for us' is sustained throughout these works. In his Long Commentary on the De Anima he reveals his dependence (...) on al-Fârâbî for this notion and provides a detailed critique of the Farabian notion that the agent intellect is 'form for us' only as agent cause, not as our true formal cause. Although Averroes argues that the agent intellect must somehow be intrinsic to us as our form since humans are per se rational and undertake acts of knowing by will, his view is shown to rest on an equivocal use of the notion of formal cause. The agent intellect cannot be properly our intrinsic formal principle while remaining ontologically separate. (shrink)

Wang Yangming 王陽明 (1472 – 1529) is famously associated with the view that knowledge and action are unified (zhī xíng hé yī 知行合一). Call this the Unity Thesis. Given standard assumptions about what it means for a person to know, it may seem that the Unity Thesis is clearly false: I can know that p without currently acting in p-related ways, and I can know how to φ without currently φ-ing. My aims in this paper are, first, to draw on (...) recent work in epistemology to explain and defend the Unity Thesis and, second, to argue that it offers us an attractive conceptual alternative to a standard way of thinking about the nature of intentional action. The first step of my argument draws on the idea that what distinguishes intentional actions from bodily events is the presence of knowing-to – that is, an agent is φ-ing intentionally if and only if she is currently doing something because she knows to do it as a way for her to φ. Such a notion of knowing-to allows us to explain otherwise puzzling features of the Unity Thesis, including the claim that knowing and acting occur simultaneously. In the second step, I argue that the Unity Thesis can help us avoid various long-standing issues in the philosophy of action, including the problem of deviant (formal) causation. (shrink)

Improbable knowing is knowing something even though it is almost certain on one’s evidence at the time that one does not know that thing. Once probabilities on the agent’s evidence are introduced into epistemic logic in a very natural way, it is easy to construct models of improbable knowing, some of which have realistic interpretations, for instance concerning agents like us with limited powers of perceptual discrimination. Improbable knowing is an extreme case of failure of (...) the KK principle, that is, of a case of knowing something even though one does not know at the time that one knows that thing. A generalization of the argument yields cases of improbable rationality, in which it is rational for one to do something even though it is almost certain on one’s evidence at the time that it is not rational for one to do that thing. When the models are elaborated to represent appearances and beliefs as well as knowledge, they turn out to contain Gettier cases. Neglect of the possibility of improbable knowing may cause some sceptical claims and claims of the non-closure of knowledge under competent deduction to look more plausible than they deserve to. A formal appendix explores the closely related question of the conditions under which a reflection principle is violated. The principle says that the evidential probability of a proposition conditional on the evidential probability of that proposition’s being c is itself c. (shrink)

If Andrea knows that Biden won the last presidential election, then they also know that either Biden won the last presidential election, or Biden is a reptilian. This is the response that epistemic logics based on standard Kripke relational semantics provide, which is consistent with the fact that minimally rational agents can perform disjunction introduction. This is not the case in topic-sensitive semantics though. An agent might not grasp the concept of what a reptilian is, and therefore not be (...) able to know any proposition dealing with reptilians. By employing the concept of logical grounding, I propose a semantics that keeps the requirement of topic-grasping but weakens it, re-establishing a more standard treatment of disjunction, in line with the capacities of minimally rational agents. The paper is structured as follows. In Section 2 I introduce topic-sensitive semantics. In Section 3 I introduce the concept of logical grounding – focusing on the grounds of disjunction – and motivate some desiderata. The concept of minimal topic, the core of my proposal, is detailed in Section 4 and exploited in Section 5 to propose a new topic-sensitive semantic clause for knowledge. I conclude in Section 6. (shrink)

In what follows, I will contend that the commonsense view of ourselves as fundamental causal agents - for which some have used the term “unmoved movers" but which I think might more accurately be expressed as “not wholly moved movers” - is theoretically understandable, internally consistent, and consistent with what we have thus far come to know about the nature and workings of the natural world. In the section that follows, I try to show how the concept of ‘agent’ (...) causation can be understood as a distinct species (from ‘event’ causation) of the primitive idea, which I’ll term “causal production”, underlying realist or non-Humean conceptions of event causation. In section III, I respond to a number of contemporary objections to the theory of agent causation. Sections IV-V are devoted to showing that the theory is compatible with ordinary reasons explanations of action, which then places me in a position to respond, in the final section, to the contention that we could never know, in principle, whether the agency theory actually describes a significant portion of human activity. (shrink)

This paper has three goals. The first is to introduce the “knowledge game”, a new, simple and yet powerful tool for analysing some intriguing philosophical questions. The second is to apply the knowledge game as an informative test to discriminate between conscious (human) and conscious-less agents (zombies and robots), depending on which version of the game they can win. And the third is to use a version of the knowledge game to provide an answer to Dretske’s question “how do (...) you know you are not a zombie?”. (shrink)

The literature on agentive or practical knowledge tends to be focused on knowing what one is doing or what one is going to do. Knowing what one has done and has achieved thereby seems to be another matter. In fact, achievements are often taken to be beyond the ken of practical knowledge. I argue that this is a mistake. The intelligibility of the very idea of practical knowledge depends on the possibility of knowing one's achievements in the (...) same manner. For if it is to be intelligible as knowledge of the actuality of one's action in the material world, knowing what one is doing has to include knowledge of what one has done so far. (shrink)

We know what to say about the agent who knowingly does the wrong thing. But what of the wrongdoer who doesn't know everything that matters? Some of the usual criticisms may apply, if some of the usual mistakes were made. Other usual criticisms will miss the mark. One task for moral theory is to explain this variety of censures and failures. Derek Parfit proposes that we define for each criticism a sense of 'wrong', and that each new sense be defined (...) in terms of the 'ordinary' sense. The authors argue in favor of another approach, inspired by Parfit's earlier work, requiring only one sense of 'wrong'. They conclude by showing that their own approach is also deeply flawed—that neither theory can explain the many ways to do wrong in ignorance of what matters. This is not a conclusion with which moral theorists should be happy. (shrink)

I tend to think of myself as bodily. Probably, so do you. Philosophically this takes some explaining. A candidate explanation is this: The bodily self is a physical agent. Knowledge of oneself as bodily is fundamentally knowledge of oneself as agentive; such knowledge is grounded in both experience of oneself as instantiating a bodily structure that affords a limited range of actions; and experience of oneself as a physical agent that tries to perform a limited range of actions over time. (...) By contrast René Descartes famously argued that all self-knowledge is grounded in, and cannot extend beyond, knowledge of oneself as a mental entity. If correct this would preclude the possibility of any knowledge of a bodily self, for such a thing would ex hypothesi not exist. Accordingly, this dissertation serves a dual purpose: to demonstrate why a Cartesian theory of self-knowledge is no threat to an account of bodily self knowledge; and to provide such an account. This dual purpose is achieved over the course of three chapters. The first chapter will set up the remaining two, by introducing the notion of self-identifying judgements, providing an argument in favour of bodily self knowledge on its basis, and noting two failures of this argument in light of a Cartesian response. The second and third chapter are respective attempts to address these two failures. The second chapter is explicitly concerned with the Cartesian, but is overall devoted to giving an account of the relationship between bodily experience and action. The third chapter is more programmatic, comprising a consistent set of suggestions concerning the sense of agency and its role in an account of bodily self knowledge. (shrink)

What mental states are required for an agent to know-how to perform an action? This question fuels one of the hottest debates in the current literature on philosophy of action. Answering this question means facing what we call here The Challenge of Format Dualism, which consists in establishing which is the format of the mental representations involved in practical knowledge and, in case they are given in more than one format, explaining how these different formats can interlock. This challenge has (...) generated two parallel debates: the debate between Intellectualism and Anti-Intellectualism on the one hand, and the debate on the Interface Problem on the other. While the former is about whether practical knowledge can be considered a species of propositional knowledge, the latter investigates how motoric and propositional states can be related. Here we offer a unified account capable of explicitly analyzing those two problems within the same philosophical framework. Our account suggests a new way for solving the Interface Problem that paves the way for addressing the debate between Intellectualism and Anti-Intellectualism. (shrink)

It is a reasonable worry that God would not truly love us and want our salvation if He fixed a definite point after which He will no longer offer us the graces to repent of our sins. I propose that Thomas Aquinas succeeds in showing us that God would not be cruel or arbitrary in setting up a world where embodied agents end up after death in a state where they will inevitably fail to repent of their sins. Aquinas (...) proposes that being disembodied is to be in a state where a person cannot be mistaken about what they want, given that they know themselves perfectly. If the disembodied state were like this, it would not be surprising that being in that state makes repentance impossible, since a soul would become fully integrated around whatever one desired, without any conflicting desires that could prompt repentance. Thus, humans would persist in whatever desires they had at the moment of death and disembodiment. I conclude by arguing that, while this scenario stands in need of fuller theodicy, Aquinas’ scenario is helpful in defending a view that God is not cruel or arbitrary for creating a world in which post-mortem repentance is impossible. (shrink)

As we know, a cognitive architecture is a domain-generic computational cognitive model that may be used for a broad analysis of cognition and behavior. Cognitive architectures embody theories of cognition in computer algorithms and programs. Social simulation with multi-agent systems can benefit from incorporating cognitive architectures, as they provide a realistic basis for modeling individual agents (as argued in Sun 2001). In this survey, an example cognitive architecture will be given, and its application to social simulation will be sketched.

In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed (...) by Boolos (in Harv Rev Philos 6:62–65, 1996). In particular, we formalize HLPE and verify a classic solution to it. Moreover, we propose a spectrum of new puzzles based on HLPE by considering subjective (knowledge-based) agent types and relaxing the implicit epistemic assumptions in the original puzzle. The new puzzles are harder than the previously proposed ones in the literature, in the sense that they require deeper epistemic reasoning. Surprisingly, we also show that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. Our formalism paves the way for studying these new puzzles using automatic model checking techniques. (shrink)

It’s one thing to do the right thing. It’s another to be creditable for doing the right thing. Being creditable for doing the right thing requires that one does the right thing out of a morally laudable motive and that there is a non-accidental fit between those two elements. This paper argues that the two main views of morally creditable action – the Right Making Features View and the Rightness Itself View – fail to capture that non-accidentality constraint: the first (...) because it morally credits agents who make heavy-duty moral mistakes; the second because it fails to generalise and is too conservative – a point which this paper gives renewed defence. The paper then goes on to defend and develop an alternative according to which moral worth is mediated by the agent’s knowing how to respond to the reasons of the type which make acting in that way right. It’s argued that this view avoids the problems for the alternatives, and it’s shown that in order for the view to avoid collapsing into a problematic form of Reliabilism we’ll have to think of states of knowing how as essentially successful in character. (shrink)

Research on children’s ability to attribute false mental states to others has focused exclusively on false beliefs. We developed a novel paradigm that focuses instead on another type of false mental state: false perceptions. From approximately 4 years of age, children begin to recognize that their perception of an illusory object can be at odds with its true properties. Our question was whether they also recognize that another individual viewing the object will similarly experience a false perception. We tested 33 (...) preschool children with a task in which distorting lenses caused a small object to appear large and a large object to appear small. To succeed, children needed to recognize that a naive agent would falsely perceive the relative size of the objects and to correctly anticipate the agent’s actions on that basis. Children performed significantly better than chance in our false perception test, and there was a developmental progression in performance from 4 to 5 years of age similar to that seen in standard false belief tests. Our findings demonstrate that preschool children are capable of understanding that other individuals will be perceptually misled by illusory objects and that these false perceptions will influence their actions in predictable ways. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a (...) space of FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

The following is an interpretation of Aquinas’ agent intellect focusing on Summa Theologiae I, qq. 75-89, and proposing that the agent intellect is a metaphysical rather than a formal a priori of human understanding. A formal a priori is responsible for the intelligibility as content of the object of human understanding and is related to Kant’s epistemological views; whereas a metaphysical a priori is responsible for intelligibility as mode of being of this same object. We can find in Aquinas’ text (...) many indications that the agent intellect is not productive of the universal as content but is, rather, productive of the abstracted or intelligible mode of being of the universal nature. This is because for Aquinas the universal nature, which is the object of human understanding, is present in the things themselves but with a different mode of being. Chapter 1 is intended to establish the fact which requires for Aquinas an agent intellect, and provides two very important principles: one is that the object of human understanding (the universal nature) is present in the things themselves and, the other, that it is not in the things themselves with a mode of being which makes it available to the intellectual eye. These two principles lead us to the main point of Chapter 2, namely the distinction between the intelligible object and its intelligible mode of being. Now, because knowing is receptive of the intelligible object (Chapter 3), which is present in the things themselves (Chapter 1), the agent intellect is productive not of the object’s intelligible content, but of its abstracted or intelligible mode of being (Chapter 4). (shrink)

The view that propositional knowledge is knowledge of facts is prima facie rather appealing, especially for realistically minded philosophers, but it is difficult to square with the referential opacity of knowledge attributions of the form ‘S knows that p’. For how could Lois Lane know that Superman can fly and ignore that Clark Kent can fly if knowledge is a two-place relation between an agent and a fact and the fact that Superman can fly just is the fact that Clark (...) Kent can fly? Giorgio Volpe reviews some attempts to tackle the problem and then proposes a new solution which exploits the contrastivist claim that knowledge is a three-place relation between an agent, a fact and a contrast. (shrink)

A gossip protocolGossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocolGossip protocol is a telephone call wherein the caller and the callee exchange all the secrets they know. An agent who knows all secrets is an expert. The usual termination condition is that all agents are experts. Instead, we explore some protocols wherein the termination condition is that all agents know that all agents are experts. We call such (...) agents super experts. Additionally, we model that agents who already know that all agents are experts, do not make and do not answer calls. We also model that such protocols are common knowledgeCommon knowledge among the agents. We investigate conditions under which such gossip protocolsGossip protocol terminate, both in the synchronous case, where there is a global clock, and in the asynchronous case, where there is not. We show that a protocol with missed calls can terminate faster than the same protocol without missed calls. (shrink)

When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. We obtain two sound and complete axiomatizations w.r.t. two different model classes depending on different assumptions about introspection. Finally we connect our logic with justification logic technically by providing an alternative semantics and an in-depth comparison on various design choices. (shrink)

This paper takes on several distinct but related tasks. First, I present and discuss what I will call the “Ignorance Thesis,” which states that whenever an agent acts from ignorance, whether factual or moral, she is culpable for the act only if she is culpable for the ignorance from which she acts. Second, I offer a counterexample to the Ignorance Thesis, an example that applies most directly to the part I call the “Moral Ignorance Thesis.” Third, I argue for a (...) principle—Don’t Know, Don’t Kill—that supports the view that the purported counterexample actually is a counterexample. Finally, I suggest that my arguments in this direction can supply a novel sort of argument against many instances of killing and eating certain sorts of animals. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a (...) space of FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

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)

In [11] it is shown how propositional dynamic logic (PDL) can be interpreted as a logic of belief revision that extends the logic of communication and change (LCC) given in [7]. This new version of epistemic/doxastic PDL does not impose any constraints on the basic relations and because of this it does not suffer from the drawback of LCC that these constraints may get lost under updates that are admitted by the system. Here, we will impose one constraint, namely that (...) the agent’s plausibility relations are linked. Linkedness is a natural extension of local connectedness to the multi-agent case and it assures that we know the agent’s preferences between all relevant alternatives. Since the belief updates that are used in [11] may not preserve linkedness, we limit ourselves to a particular kind of belief change that does preserve it. Our framework has obvious connections to coalition logic [17] and social choice theory [19]. We show how we can use it to model consensus seeking in plenary Dutch meetings. In Dutch meetings, a belief update is done for all agents in the meeting if a majority beliefs the proposition that is under discussion. A special case of these meetings is judgement aggregation, and we apply our framework to the discursive dilemma in this field [15]. (shrink)