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)

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)

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)

Reasons are not the same. Normative reasons need to be distinguished from non-normative reasons. Then, due to some considerations, we have to draw a distinction between explanatory reasons and motivating reasons. In this paper, I focus on a rather implicit assumption in drawing the explanatory-motivating distinction. Motivating reasons are mostly characterized as those reasons that the agent takes to be normative. This may imply that the agent always knows the reasons their motivating reasons. This I call the infallibility or transparency (...) assumption. This suggests that there is some sort of report condition on motivating reasons. In contrast, one may ask whether it is possible for the agent to be mistaken about what their motivating reasons are. I argue that we can distinguish motivating reasons and satisfy the motivations for the explanatory-motivating distinction without committing to this infallibility assumption. I briefly sketch a character-based approach to motivating reasons as an alternative. Next, I argue that, in addition to being important on its own, this account has implications for other debates. I illustrate this by mentioning cases such as recalcitrant actions as well as critically discussing one kind of counter-example presented against the guise of the good thesis. (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)

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)

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)

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)

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)

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)

The authors of *Linguistic Bodies* appeal to shared know-how to explain the social and participatory interactions upon which linguistic skills and agency rest. However, some issues lurk around the notion of shared know-how and require attention and clarification. In particular, one issue concerns the agent behind the shared know-how, a second one concerns whether shared know-how can be reducible to individual know-how or not. In this paper, I sustain that there is no single answer to the first issue; depending on (...) the case, shared know-how can belong to the participants of a social activity or to the system the participants bring forth together. In relation to the second issue, I sustain, following the authors, a non-reductive account of shared know-how. I also suggest that responsiveness to others, which is a fundamental element of shared know-how, can be extended by perceptual learning. (shrink)

How should we measure knowledge? According to the Counting Approach, we can measure knowledge by counting pieces of knowledge. Versions of the Counting Approach that try to measure knowledge by counting true beliefs with suitable support or by counting propositions known run into problems, stemming from infinite numbers of propositions and beliefs, difficulties in individuating propositions and beliefs, and cases in which knowing the same number of propositions contributes differently to knowledge. In this paper I develop a novel question-relative (...) and contextualist version of the counting approach, which measures an agent's knowledge by counting the number of complete answers of a contextually salient issue they can rule out. The question-relative and contextualist version of the Counting Approach avoids the issues for the proposition and belief-based systems, and offers a general, systematic, and explanatory system for measuring knowledge. (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)

Much has been written on whether practical knowledge (knowledge-how) reduces to propositional knowledge (knowledge-that). Less attention has been paid to what we call deliberative knowledge (knowledge-to), i.e., knowledge ascriptions embedding other infinitival questions, like _where to meet_, _when to leave_, and _what to bring_. We offer an analysis of knowledge-to and argue on its basis that, regardless of whether knowledge-how reduces to knowledge-that, no such reduction of knowledge-to is forthcoming. Knowledge-to, unlike knowledge-that and knowledge-how, requires the agent to have formed (...) certain conditional intentions. We discuss the philosophical implications for knowledge-how, deliberative questions, and virtue. (shrink)

One of the goals of physiologists who study the detailed physical, chemical,and neurological mechanisms operating within the human body is to understand the intricate causal processes which underlie human abilities and activities. It is doubtless premature to predict that they will eventually be able to explain the behaviour of a particular human being as we might now explain the behaviour of a pendulum clock or even the invisible changes occurring within the hardware of a modern electronic computer. Nonetheless, it seems (...) fair to say that hovering in the background of investigations into human physiology is the promise or threat, depending upon how one looks at the matter that human beings are complete physical-chemical systems and that all events taking place within their bodies and all movements of their bodies could be accounted for by physical causes if we but knew enough. I am not concerned at the moment with whether or not this ’mechanistic’ hypothesis is true, assuming that it is clear enough to be intelligible, nor with whether or not we could ever know that it is true. I wish to consider the somewhat more accessible yet equally important question whether our coming to believe that the hypothesis is true would warrant our relinquishing our conception of ourselves as beings who are capable of acting for reasons to achieve ends of our own choosing. I use the word ’warrant’ to indicate that I will not be discussing the possibility that believing the mechanistic hypothesis might lead us, as a matter of psychological fact, to think of human beings as mere automata, as objects whose movements are to be explained only by causes rather than by reasons, as are the actions of a personal subject. I intend to consider only whether the acceptance of mechanism would in fact justify such a change in conception. (shrink)

The article aims at formulating a philosophical framework and by this giving some means at hand to save human libertarian freedom, God’s omniscience and God’s ”eternity’. This threefold aim is achieved by 1) conceiving of an agent as having different possibilities to act, 2) regarding God’s knowledge -- with respect to agents -- not only as being ”propositional’ in character but also as being ”experiential’: God knows an agent also from the ”first person perspective’, as the agent knows herself, (...) and, 3), formulating ”eternity’ and ”temporality’ as being homeomorphically related to each other. This gives rise to a coherent interplay that saves both human libertarian freedom and God’s omniscient ”view from eternity’. (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)

Sometimes a proposition is ‘opaque’ to an agent: he doesn't know it, but he does know something about how coming to know it should affect his or her credence function. It is tempting to assume that a rational agent's credence function coheres in a certain way with his or her knowledge of these opaque propositions, and I call this the ‘Opaque Proposition Principle’. The principle is compelling but demonstrably false. I explain this incongruity by showing that the principle is ambiguous: (...) the term ‘know’ as it appears in the principle can be interpreted in two different ways, as either basic-know or super-know. I use this distinction to construct a plausible version of the principle, and then to similarly construct plausible versions of the Reflection Principle and the Sure-Thing Principle. (shrink)

Are there cases in which agents ought to give up on satisfying an obligation, so that they can avoid a temptation which will lead them to freely commit an even more significant wrong? Actualists say yes. Possibilists say no. Both positions have absurd consequences. This paper argues that common-sense morality is committed to an inconsistent triad of principles. This inconsistency becomes acute when we consider the cases that motivate the possibilism–actualism debate. Thus, the absurd consequences of both solutions are (...) unsurprising: any proposed solution will have consequences incompatible with common moral practice. Arguments for denying one of the principles are considered and rejected. The paper then suggests that the inconsistent moral commitments originate in an inconsistent picture of human agency. Revisionary pictures of human agency are considered. It is argued that a quasi-Platonic picture of agency, similar to that advocated by Gary Watson 1977, is the most promising. (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons (...) for robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

An area of consensus in debates about culpability for ignorance concerns the importance of an agent’s epistemic situation, and the information available to them, in determining what they ought to know. On this understanding, given the excesses of our present epistemic situation, we are more culpable for our morally-relevant ignorance than ever. This verdict often seems appropriate at the level of individual cases, but I argue that it is over-demanding when considered at large. On the other hand, when we describe (...) an obligation to know that avoids over-demandingness at large, it fails to be sufficiently demanding in individual cases. The first half of this paper is dedicated to setting up this dilemma. In the second half, I show that it cannot be easily escaped. Finally, I suggest that this dilemma impedes our ability to morally appraise one another’s ignorance, and even our own. (shrink)

Seeking a decision theory that can handle both the Newcomb problems that challenge evidential decision theory and the unstable problems that challenge causal decision theory, some philosophers recently have turned to ‘graded ratifiability’. However, the graded ratifiability approach to decision theory is, despite its virtues, unsatisfactory; for it conflicts with the platitude that it is always rationally permissible for an agent to knowingly choose their best option.

Humans are prone to producing morally suboptimal and even disastrous outcomes out of ignorance. Ignorance is generally thought to excuse agents from wrongdoing, but little attention has been paid to group-based ignorance as the reason for some of our collective failings. I distinguish between different types of first-order and higher order group-based ignorance and examine how these can variously lead to problematic inaction. I will make two suggestions regarding our epistemic obligations vis-a-vis collective (in)action problems: (1) that our epistemic (...) obligations concern not just our own knowledge and beliefs but those of others, too and (2) that our epistemic obligations can be held collectively where the epistemic tasks cannot be performed by individuals acting in isolation, for example, when we are required to produce joint epistemic goods. (shrink)

Mentalizing is our ability to infer agents’ mental states. Attributing beliefs, knowledge, desires, and intentions are frequently discussed forms of mentalizing. Attributing mentalistically loaded stereotypes, personality traits, and evaluating others’ rationality are forms of mentalizing, as well. This broad conception of mentalizing has interesting and important implications for social epistemology. Several topics in social epistemology involve judgments about others’ knowledge, rationality, and competence, e.g., peer disagreement, epistemic injustice, and identifying experts. Mentalizing is at the core of each of these (...) debates. In this chapter, I describe the broad conception of mentalizing and show how it is central to how we judge others’ knowledge, competence, and rationality. I will apply this perspective on mentalizing to two debates: the epistemology of peer disagreement and interventions on testimonial injustice. I argue that understanding how mentalizing works can help us see these debates in a different light. Such reframing can help us make progress on these challenging debates. (shrink)

A fallibilist theory of knowledge is employed to make sense of the idea that agents know what they are doing 'without observation' (as on Anscombe's theory of practical knowledge).

According to the seventh-century C.E. philosopher Kumārila Bhat.t.a, epistemic agents are warranted in taking their world-presenting experiences as veridical, if they lack defeaters. For him, these experiences are defeasibly sources of knowledge without the agent reflecting on their content or investigating their causal origins. This position is known as svatah prāmāṇya in Sanskrit (henceforth the SP principle). -/- As explicated by the eleventh-century commentator, Pārthasārathi Misŕa, this position entails that epistemic agents know things without simultaneously knowing that (...) they know them, or being in a position to know that they know. In contrast, some contemporary Anglo-analytic philosophers argue for the “knows-knows principle” (KK principle), in which if someone knows that p, then that person also knows that they know that p, or that person is in a position to know that they know p. Despite some apparent similarities, the SP principle is not a version of the KK principle, nor would Pārthasārathi’s Kumārila have held the KK principle. -/- Recently, Daniel Immerman (2018) has argued that the SP principle is a position-to-know version of the “knows-knows principle” (KK-pos principle). By examining Kumārila’s response to his Buddhist opponent, who challenges the veracity of Vedic testimony, we will see that Kumārila understands higher-order knowing as involving an independent check on one’s epistemic processes, through an epistemic instrument known as postulation (arthāpatti). This precludes him from holding the KK-pos principle. (shrink)

Did we get Aquinas’ Epistemology right? St. Thomas is often interpreted according to Kantian principles, particularly in Transcendental Thomism. When this happens, it can appear as though Aquinas, too—along with Kant—had made the “turn to the subject”; as if Aquinas were no longer the Aristotelian “believer” who thinks nature is what it is but, instead, the Kantian “thinker” who holds that nature is what we think of it; as if St. Thomas, like Kant, had concluded that nature is intelligible not (...) only when we think of it, but because we think of it. After much struggle with this problem, the challenge seemed obvious to me: to show the radical difference between Aquinas and Kant. Kant had reasons to make his turn, his Copernican revolution. Could I explain those reasons, could I pinpoint the problem leading Kant to think in those terms? Could I show Aquinas facing the same problem and clearly taking a different direction in his proposed solution? That is what I have tried to do in this book. This book provides 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 intelligible object but is, rather, productive of the abstracted or intelligible mode of being of this object. This is because for Aquinas the universal as nature, which is the object of human understanding, is present in the things themselves but with a different mode of being. In this four-chapter book, 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 as 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)

When travelling to a new city, we acquire knowledge about its physical terrain, directions, historical facts and aesthetic features. Engaging in tourism practices, such as guided walking tours, provides experiences of a city that are necessarily mediated and partial. This has led scholars in tourism studies, and more recently in philosophy, to question the epistemological value of city tours, critiquingthem as passive, lacking in autonomous agency, and providing misrepresentative experiences of the city. In response, we argue that the mediated and (...) partial knowledge of a city acquired through city tours is not epistemologically disvaluable. Although city tours involve the transmission of testimonial knowledge, this does not necessarily render tourists as passive and non-autonomous. Instead,tourists have the potential to participate in the generation of their knowledge actively. Moreover, we argue that city tours also provide a tourist with valuable ‘objectual’ knowledge of a city, whichhas the potential to be first-personal and active, and does not necessarily misrepresent the city’s identity. This type of knowledge is valuable both for tourists as credible epistemic agents, and for the city itself, as the knowledge generated by the tour can facilitate an accurate representation of the city and promote social transformation. We conclude by highlighting four further epistemic and ethical implications of our argument. (shrink)

The purpose of this study is to compile a selection of the various formalisms found in conversation theory to introduce readers to Pask's discursive algebra. In this way, the text demonstrates how concept sharing and concept formation by means of the interaction of two participants may be formalized. The approach taken in this study is to examine the formal notation system used by Pask and demonstrate how such formalisms may be used to represent concept sharing and concept formation through conversation. (...) The compilation of the discursive algebra using the framework provided by conversation theory could potentially be used as an auxiliary framework to study conversational interactions in multi-agent systems theory. (shrink)

I have inquired as to what sort of knowledge humans need to make justifiable claims regarding free will. I defended the thesis that humans do not have the sort of knowledge which would allow them to make such claims. Adopting the view of mind based on cognitive science and Kant’s philosophy of mind, first I laid out the characteristics of that knowledge with the help of a simulation example I devised. Then, upon investigating the epistemic relations between the different sources (...) of knowledge and the agents of a system (such as the relation between the programmer and the simulated agents as well as god and humans), I claimed that knowledge bearing those characteristics cannot be accessible to human beings. (shrink)

Two intuitions lie at the heart of our conception of free will. One intuition locates free will in our ability to deliberate effectively and control our actions accordingly: the ‘Deliberation and Control’ (DC) condition. The other intuition is that free will requires the existence of alternative possibilities for choice: the AP condition. These intuitions seem to conflict when, for instance, we deliberate well to decide what to do, and we do not want it to be possible to act in some (...) other way. I suggest that intuitions about the AP condition arise when we face ‘close calls,’ situations in which, after deliberating, we still do not know what we really want to do. Indeed, several incompatibilists suggest such close calls are necessary for free will. I challenge this suggestion by describing a ‘confident agent’ who, after deliberating, always feels confident about what to do (and can then control her actions accordingly). Because she maximally satisfies the DC condition, she does not face close calls, and the intuition that the AP condition is essential for free will does not seem to apply to her. I conclude that intuitions about the importance of the AP condition rest on our experiences of close calls and arise precisely to the extent that our deliberations fail to arrive at a clear decision. I then raise and respond to several objections to this thought experiment and its relevance to the free will debate. (shrink)

Because anticipated and retrospective regret play important roles in practical deliberation and motivation, better understanding them can illuminate the contours of human agency. However, the possibility of self-ignorance and the fact that we change over time can make regret—especially anticipatory regret—not only a poor predictor of where the agent will be in the future but also an unreliable indicator of where the agent stands. Granting these, this paper examines the way in which prospective and, particularly, retrospective regret can nevertheless yield (...) important insight into the sorts of creatures we are, both generally and individually. The experience of retrospective regret can show a person she values something in a way she did not know or that she is (or was) a different person than she had thought, insights which can factor into forward-looking, or prospective, deliberation. Such instances of revelatory regret reveal something to the agent about herself as agent. I examine two cases of agential self-ignorance. In the first, the experience of regret reveals what the agent values, not only to others but even to the agent himself. In the second, the agent anticipates experiencing regret for an action but does not experience the regret, suggesting that the agent did not value the rejected alternative in the way she thought. Anticipatory regret is forward-looking and can play an important role in practical deliberation. But insofar as anticipatory regret flows from one’s imperfect judgment and prospection about oneself, retrospective regret can be an important corrective in helping the agent understand her own standpoint. (shrink)

Several studies have shown that people are more likely to attribute intentionality and blame to agents who perform actions that have harmful consequences. This kind of bias has problematic implications for jury decisions because it predicts that judgment in juries will malfunction if an action has a blameworthy effect. Most of these studies include in their design a vignette in which it is clear that agents have foreknowledge of the effects of their actions. This kind of design fails (...) to replicate trial situations where, in most cases, it is impossible to know with certainty whether agents have foreknowledge of the effects of their actions. In the present study, we adopt an alternative design that includes vignettes in which there is no direct evidence of foreknowledge to investigate the relationship between intentionality and blame in actions that have harmful and helpful effects. We find that people are still more likely to attribute intentionality to actions that produce harmful effects than actions that produce good effects. However, we find that people tend to attribute more blame when they have direct evidence of foreknowledge than when presented with an alternative design that does not include foreknowledge. Results indicate the relevant role that evidence of foreknowledge plays in experimental designs that study blame attribution. (shrink)

The article analyzes and criticizes the assumptions of Peter Van Inwagen’s argument for the alleged contradiction of the foreknowledge of God and human freedom. The argument is based on the sine qua non condition of human freedom defined as access to possible worlds containing such a continuation of the present in which the agent implements a different action than will be realized de facto in the future. The condition also contains that in every possible continuation of the present state of (...) affairs, the same propositions about the ‘present past’ (the past before the present moment) are true as are true in the present state of affairs. The paper argues that Van Inwagen’s reasoning is inconclusive, it contains the type of mistake of confusing conditional impossibility with unconditional and presents a methodologically wrong method of solving a philosophical problem. It is because in the very construction of the problem determining the available solution. The article points to the possibility that the human freedom of some action is not excluded by the fact that specific past facts logically entail that this event will occur. (shrink)

One of the explanations for the Great Crisis of 2007-2008 was that financial authorities should have issued stricter regulations to prevent the housing bubble. However, according to Alan Greenspan, President of the Federal Reserve System (FED) from 1987 to 2006, this is to judge with hindsight. No one can guess when a “bubble” begins, nor when it ends; they happen because of the “irrational exuberance” in investors’ behavior, which causes boom and bust cycles. Regulators are not in a better situation (...) for assessing risks, though: since market participants supposedly know their own risks better than the regulator (a kind of informational asymmetry), an intervention (except to ensure law-enforcement) would imply unjustified paternalism. However, a regulator does not have to be conceived as a paternalistic authority. We sketch an objection to Greenspan's argument, arguing that crises don’t require a defective reasoning such as the “irrational exuberance” – our usual bounded rationality might be enough to provide the kind of “self-fulfilling prophecy” observed in the rise and fall of bubble assets value. Given the possibility of grave externalities, authorities are justified in adopting measures to ensure investors behave in a prudent way, even if they supposedly know better their own risks. (shrink)

This book takes us to explore the 'life of robots' and presents us with a refreshing narrative that demystifies their recurrent anthropomorphic understanding. General ideas of what robots are and what they can do often lack knowledge about the limitations, functionality, and complexity needed to turn a robot into a fully operational machine. In this book, the authors portray a grounded and accessible description of current research developing robots. They are insightful, yet still allow the reader to understand basic processes (...) and requirements of robotics. They deliver on their goal to show robots as human artifacts instead of placeholders for anxiety, i.e., a threat. However, they underdeliver regarding the ethical insights of robots as moral agents in the final chapter. Withal, this is an essential introductory reading for anyone interested in learning about the functioning of robotics and AI, and their integration to society. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

This essay argues that acknowledging the existence of mind-independent facts is a matter of vital importance, in that acquiescence before the layout of the world is something demanded of knowing agents from the most elementary empirical deliverance to the most abstract construct. Building on the idea that normativity requires the presence of more than one option to choose from, the essay shows how the cessation of one's life is the disjunctive alternative of any experiential episode. This much has (...) been missed, it argues, because of a generalized failure to appreciate how even the simplest atomic contents embroil their subjects in acts of assent. Its account thus casts a new light on relativism and skepticism, revealing them to be provisional luxuries supported only by the cognitive labor of others. (shrink)

The principle that one cannot deliberate over what one already knows is going to happen, when suitably qualified, has seemed to many philosophers to be about as secure a truth as one is likely to find in this life. Fortunately, it poses little restriction on human deliberation, since the conditions which would trigger its prohibition seldom arise for us: our knowledge of the future is intermittent at best, and those things of which we do have advance knowledge are not the (...) sorts of things over which we would deliberate in any case. But matters appear to stand otherwise with an all-knowing agent such as God is traditionally conceived to be; for what an omniprescient deity ‘already knows is going to happen’ is everything that is going to happen; and if He cannot deliberate over such things, there is nothing over which He can deliberate. (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)

Can agents rationally inquire into things that they know? On my view, the answer is yes. Call this view the Compatibility Thesis. One challenge to this thesis is to explain why assertions like “I know that p, but I’m wondering whether p” sound odd, if not Moore-Paradoxical. In response to this challenge, I argue that we can reject one or both premises that give rise to it. First, we can deny that inquiry requires interrogative attitudes. Second, we can deny (...) the ignorance norm, on which agents are not permitted to both know and have interrogative attitudes, such as wondering. I argue that there are compelling reasons to deny the former and reasons to question the latter. Both options pave the way for further work on further inquiry. (shrink)

Intellectualists about knowledge how argue that knowing how to do something is knowing the content of a proposition (i.e, a fact). An important component of this view is the idea that propositional knowledge is translated into behavior when it is presented to the mind in a peculiarly practical way. Until recently, however, intellectualists have not said much about what it means for propositional knowledge to be entertained under thought's practical guise. Carlotta Pavese fills this gap in the intellectualist (...) view by modeling practical modes of thought after Fregean senses. In this paper, I take up her model and the presuppositions it is built upon, arguing that her view of practical thought is not positioned to account for much of what human agents are able to do. (shrink)

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style (...) epistemic logic for reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

Standpoint epistemology is committed to a cluster of views that pays special attention to the role of social identity in knowledge‐acquisition. Of particular interest here is the situated knowledge thesis. This thesis holds that for certain propositions p, whether an epistemic agent is in a position to know that p depends on some nonepistemic facts related to the epistemic agent's social identity. In this article, I examine two possible ways to interpret this thesis. My first goal here is to clarify (...) existing interpretations of this thesis that appear in the literature but that are undeveloped and often mistakenly conflated. In so doing, I aim to make clear the different versions of standpoint epistemology that one might accept and defend.This project is of significance, I argue, because standpoint epistemology provides helpful tools for understanding a phenomenon of recent interest: epistemic oppression. My second goal is to provide an analysis that makes clear how each of the readings I put forth can be used to illuminate forms of epistemic oppression. (shrink)

Epistemically akratic agents believe both p and that believing p is irrational for them. Some of the costs of thinking that epistemic akrasia can be rational are clear. It is hypocritical, and outright weird, to have beliefs that we consider irrational, let alone to reason with or act on those beliefs. However, as Maria Lasonen-Aarnio (2020) and Brian Weatherson (2019) have argued, the weirdness of akrasia does not obviously tell against its rationality. Here I argue that views permitting epistemic (...) akrasia fare worse than previously thought. These views imply that we should sometimes have beliefs that we know for certain are either irrational or false. And while having a belief that we know to be irrational is straightforwardly irrational, the additional possibility that the belief may be false cannot make having it any more rational. (shrink)

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically (...) ideal reasoners. I’ll argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (shrink)

Suppose a rational agent S has some evidence E that bears on p, and on that basis makes a judgment about p. For simplicity, we’ll normally assume that she judges that p, though we’re also interested in cases where the agent makes other judgments, such as that p is probable, or that p is well-supported by the evidence. We’ll also assume, again for simplicity, that the agent knows that E is the basis for her judgment. Finally, we’ll assume that the (...) judgment is a rational one to make, though we won’t assume the agent knows this. Indeed, whether the agent can always know that she’s making a rational judgment when in fact she is will be of central importance in some of the debates that follow. (shrink)

Why do we find agents less blameworthy when they face mitigating circumstances, and what does this show about philosophical theories of moral responsibility? We present novel evidence that the tendency to mitigate the blameworthiness of agents is driven both by the perception that they are less normatively competent—in particular, less able to know that what they are doing is wrong—and by the perception that their behavior is less attributable to their deep selves. Consequently, we argue that philosophers cannot (...) rely on the case strategy to support the Normative Competence theory of moral responsibility over the Deep Self theory. However, we also outline ways in which further empirical and philosophical work would shift the debate, by showing that there is a significant departure between ordinary concepts and corresponding philosophical concepts, or by focusing on a different type of coherence with ordinary judgments. (shrink)