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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs (...) and also the epistemic logic of local reasoning with veracity and positive introspection, and upon adding a single combinatorial axiom, it is also the logic of ‘someone knows’ for a fixed finite number of positively introspective agents. At the core of all these completeness results is a new canonical neighborhood model construction for monotone modal logics that is capable of dealing with all these diverse cases. We also provide an axiomatization for the logic of all non-n-colorable hypergraphs based on a filtration argument that also shows the decidability of the logics of hypergraphs we study. (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)

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)

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)

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)

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)

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.

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)

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 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory (...) is a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct. (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)