[ Alan W. Richardson] This essay explores the uses that Michael Friedman and Bas van Fraassen have recently made of the work of Hans Reichenbach. It uses Friedman's work to complicate van Fraassen's invocation of Reichenbach's voluntarism in support of empiricism. It uses van Fraassen's work to motivate a concern with Friedman's neo-Kantian reading of Reichenbach. We are, finally, left with questions about the status and content of the account of the epistemic subject available to an epistemological voluntarist. /// (...) [Thomas E. Uebel] This response considers the question whether empiricists are condemned to silence about the epistemic agency their theories attribute or presuppose. It is argued that, unlike Reichenbach or Carnap, Neurath allowed for and indeed provided specifications of the role of epistemic agency in scientific inquiry. If this is correct, it underscores once more the need to distinguish between the various strands of logical positivism which show different strengths and weaknesses. (shrink)

Our aim in this paper is to throw some light on the kind of normativity characteristic of human knowledge. We describe the epistemic normative domain as that field of human agency defined by knowledge understood as an achievement. The normativity of knowledge rests on the contribution of the epistemic agent to the fulfillment of certain tasks. Such contribution is epistemically significant when the agent becomes engaged in the obtaining of success. Finally, we identify some features associated (...) with full epistemic agency and elucidate what we mean by engagement by appealing to the idea of adopting an epistemic perspective. En este artículo pretendemos arrojar luz sobre la normatividad propia del conocimiento humano. Describimos el dominio normativo epistémico como un campo de agencia humana que está definido por el conocimiento entendido como logro. La normatividad del conocimiento se apoya en la contribución del agente epistémico a la consecución de ciertas tareas. Tal contribución es epistémicamente significativa cuando el agente llega a participar en la consecución del éxito. Por último identificamos algunos rasgos asociados con la agencia epistémica completa, y aclaramos lo que queremos decir con implicación apelando a la idea de adoptar una perspectiva epistémica. (shrink)

En este artículo pretendemos arrojar luz sobre la normatividad propia del conocimiento humano. Describimos el dominio normativo epistémico como un campo de agencia humana que está definido por el conocimiento entendido como logro. La normatividad del conocimiento se apoya en la contribución del agente epistémico a la consecución de ciertas tareas. Tal contribución es epistémicamente significativa cuando el agente llega a participar en la consecución del éxito. Por último identificamos algunos rasgos asociados con la agencia epistémica completa (condiciones de integración (...) cognitiva y autonomía epistémica), y aclaramos lo que queremos decir con implicación apelando a la idea de adoptar una perspectiva epistémica. (shrink)

En este artículo pretendemos arrojar luz sobre la normatividad propia del conocimiento humano. Describimos el dominio normativo epistémico como un campo de agencia humana que está definido por el conocimiento entendido como logro. La normatividad del conocimiento se apoya en la contribución del agente epistémico a la consecución de ciertas tareas. Tal contribución es epistémicamente significativa cuando el agente llega a participar en la consecución del éxito. Por último identificamos algunos rasgos asociados con la agencia epistémica completa (condiciones de integración (...) cognitiva y autonomía epistémica), y aclaramos lo que queremos decir con implicación apelando a la idea de adoptar una perspectiva epistémica. (shrink)

The only subtype of epistemic agent currently recognized within scientonomy is community. The place of both individuals and epistemic tools in the scientonomic ontology is yet to be clarified. This paper extends the scientonomic ontology to include epistemic agents and epistemic tools as well as their relationship to one another. Epistemic agent is defined as an agent capable of taking epistemic stances towards epistemic elements. These stances must be taken intentionally, (...) that is, based on a semantic understanding of the epistemic element in question and its available alternatives, with reason, and for the purpose of acquiring knowledge. I argue that there can be both communal and individual epistemic agents. Epistemic agents are linked by relationships of authority delegation based on their differing areas of expertise. Having established the role of epistemic agents in the process of scientific change, I then turn to the role of epistemic tools, such as a thermometer, a text, or a particle accelerator in epistemic activities. I argue that epistemic tools play a different role in scientific change than do epistemic agents. This role is specified by an agent’s employed method. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge for answering some question under the employed method of the agent. An agent is said to rely on such a tool. (shrink)

It is argued that suitably trained neural language models exhibit key properties of epistemic agency: they hold probabilistically coherent and logically consistent degrees of belief, which they can rationally revise in the face of novel evidence. To this purpose, we conduct computational experiments with rankers: T5 models [Raffel et al. 2020] that are pretrained on carefully designed synthetic corpora. Moreover, we introduce a procedure for eliciting a model’s degrees of belief, and define numerical metrics that measure the extent to (...) which given degrees of belief violate (probabilistic, logical, and Bayesian) rationality constraints. While pretrained rankers are found to suffer from global inconsistency (in agreement with, e.g., [Jang et al. 2021]), we observe that subsequent self-training on auto-generated texts allows rankers to gradually obtain a probabilistically coherent belief system that is aligned with logical constraints. In addition, such self-training is found to have a pivotal role in rational evidential learning, too, for it seems to enable rankers to propagate a novel evidence item through their belief systems, successively re-adjusting individual degrees of belief. All this, we conclude, confirms the Rationality Hypothesis, i.e., the claim that suitable trained NLMs may exhibit advanced rational skills. We suggest that this hypothesis has empirical, yet also normative and conceptual ramifications far beyond the practical linguistic problems NLMs have originally been designed to solve. (shrink)

In this paper I discuss the power of corporations as epistemic agents. Corporations need to hold certain forms of knowledge in order to develop and produce goods and services. Intellectual property is meant to incentivize them to do so, in ways that orient their activities towards the public good. However, corporations often use their knowledge strategically, not only within markets, but also in the processes that set the rules for markets. I discuss various historical examples, including the so-called “tobacco (...) strategy” of creating doubt about scientific evidence, and argue that as long as corporations are set up as profit-oriented entities, it is a dangerous strategy to provide them with too much epistemic power. I suggest various policies for reigning in this form of corporate power, for example regulations on PR activities. I then turn to the power of digital corporations, which is based on their collection and analysis of data. These kinds of companies, and the technologies they use, make the control of corporations as epistemic agents all the more urgent for democratic societies. (shrink)

In this paper, I reply to Markus Arnold’s comment and Amanda Bryant’s comment on my work “Can Kuhn’s Taxonomic Incommensurability be an Image of Science?” in Moti Mizrahi’s edited collection, The Kuhnian Image of Science: Time for a Decisive Transformation?. Philosophers and scientists are social epistemic agents. As such, they ought to behave in accordance with epistemic norms governing the behavior of social epistemic agents.

We argue that the Internet is, and is acting as, an EA because it shapes our belief systems, our worldviews. We explain key concepts for this discussion and provide illustrative examples to support our claims. Furthermore, we explain why recognising the Internet as an EA is important for Internet users and society in general. We discuss several ways in which the Internet influences the choices, beliefs, and attitudes of its users, and we compare this effect with those of psychological conditioning (...) and brainwashing techniques. Finally, we present examples where the Internet’s epistemic agency acts at scale, affecting large portions of society rather than individuals. (shrink)

Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also been previously studied. This article proposes a version of S5-like epistemic logic of distributed knowledge with (...) quantifiers ranging over the set of agents, and proves its soundness and completeness with respect to a Kripke semantics. (shrink)

Can epistemic paternalistic practices make us better epistemic agents? While a satisfying answer to this question will ultimately rest at least partly on empirical findings, considering the epistemological discussion on evidence, knowledge, and epistemic virtues can be insightful. In this paper, Giada Fratantonio argues that we have theoretical reasons to believe that strong epistemic paternalistic practices may be effective at mitigating some evidential mistakes, in fostering true belief, and even for allowing the subject of the intervention (...) to gain knowledge. However, we have reasons to expect that these practices will not be able to make the subject of the intervention an overall better epistemic agent at the dispositional level. She then considers weak epistemic paternalistic practices, e.g., epistemic nudging, and provides some reasons for optimism. Finally, Fratantonio considers the implications that these theoretical considerations have for education. (shrink)

The article delves into the realm of child environmental activism, portraying it as a concerted response aimed at challenging the prevailing social and political status quo, which systematically underestimates the role of children in decision-making within political and social spheres. It highlights the paramount importance of the epistemological framework that encompasses children's experiences, emphasising how their exclusion from political and social discourse leads to epistemic marginalisation. This exclusion not only prevents children from assuming the role of epistemic agents (...) but also deprives them of agency and perpetuates existing inequalities. From a philosophical perspective, the article proposes a thorough analysis of children's epistemic agency, introducing the concept of 'epistemic capability'. It argues that, despite their social marginalisation, knowledgeable children can equip themselves with epistemic resources to interpret their reality and effect change. Furthermore, it posits that environmental activism plays a crucial role as an epistemic resource for children, facilitating the expression of their ideas, challenging dominant narratives, and addressing environmental and social issues head-on. The article emphasises the transformative potential of activism as an epistemic resource, enabling substantive participation and empowering children to navigate and transcend such marginalised circumstances. In conclusion, it highlights how child environmental activism not only challenges the status quo but also provides children with crucial tools for their development as epistemic and social agents, promoting significant change in power dynamics and in the fight for social and environmental justice. (shrink)

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential (...) class='Hi'>epistemic logics, as opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

In the previous paper with a similar title :311–344, 2018), we presented a family of propositional epistemic logics whose languages are extended by two ingredients: by quantification over modal operators or over agents of knowledge and by predicate symbols that take modal operators as arguments. We denoted this family by \}\). The family \}\) is defined on the basis of a decidable higher-order generalization of the loosely guarded fragment of first-order logic. And since HO-LGF is decidable, we obtain the (...) decidability of logics of \}\). In this paper we construct an alternative family of decidable propositional epistemic logics whose languages include ingredients and. Denote this family by \}\). Now we will use another decidable fragment of first-order logic: the two variable fragment of first-order logic with two equivalence relations +2E) [the decidability of FO\+2E was proved in Kieroński and Otto :729–765, 2012)]. The families \}\) and \}\) differ in the expressive power. In particular, we exhibit classes of epistemic sentences considered in works on first-order modal logic demonstrating this difference. (shrink)

Weisberg and Muldoon’s epistemic landscape model (ELM) has been one of the most significant contributions to the use of agent-based models in philosophy. The model provides an innovative approach to establishing the optimal distribution of cognitive labor in scientific communities, using an epistemic landscape. In the paper, we provide a critical examination of ELM. First, we show that the computing mechanism for ELM is correct insofar as we are able to replicate the results using another programming language. (...) Second, we show that small changes in the rules that determine the behavior of individual agents can lead to important changes in simulation results. Accordingly, we claim that ELM results are robust with respect to the computing mechanism, but not necessarily across parameter space. We conclude by reflecting on the possible lessons to be gained from ELM as a class of simulations or cluster of models. (shrink)

The essays in this Focus section expand the notion of writing insect histories of science by attending to matters of space and scale, ecological relationships, and institutional silences. They magnify diverse understandings about how the worlds of insects are noticed and understood by humans, what has historically counted as “insect,” and who narrates histories (of science). In doing so, the collection offers methodological suggestions for studying tiny animals in history that broaden the scope of often overlapping material, cultural, linguistic, political, (...) ethical, economic, and biological domains. It is precisely this magnified attention that foregrounds the domains’ interdependence and is necessary to make sense of additional bearers or forms of agency. (shrink)

In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In (...) multi-agent domains, an additional uncertainty arises from the fact that other agents can act in the world, causing changes that are not instigated by the agent itself. For an agent to successfully construct and execute plans in an uncertain environment, the most widely used formalism in the literature on automated planning is “belief states”: sets of different alternatives for the current state of the world. Epistemic logic is a significantly more expressive and theoretically better founded method for representing knowledge and ignorance about the world. Further, epistemic logic allows for planning according to the knowledge (and iterated knowledge) of other agents, allowing the specification of a more complex class of planning domains, than those simply concerned with simple facts about the world. We show how to model multi-agent planning problems using Kripke-models for representing world states, and event models for representing actions. Our mechanism makes use of slight modifications to these concepts, in order to model the internal view of agents, rather than that of an external observer. We define a type of planning domain called epistemic planning domains, a generalisation of classical planning domains, and show how epistemic planning can successfully deal with partial observability, nondeterminism, knowledge and multiple agents. Finally, we show epistemic planning to be decidable in the single-agent case, but only semi-decidable in the multi-agent case. (shrink)

In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to formalize what are the beliefs formed by a group of agents, where several groups exist and agents can pass from a group to another one. We introduce a new modality which allows an agent to reason about the beliefs of other agents. This allows us (...) to model aspects of the “Theory of Mind”, understood as the set of social-cognitive skills involving the ability to attribute and reason about mental states, desires, beliefs, and knowledge of agents. In this paper, we present the logic L-DINF-E and illustrate how it can be used to solve “false-belief tasks”, i.e., tests in which an agent should understand that some other agent may develop, under some circumstances, false beliefs. (shrink)

In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison (...) between the two and a statement of semantic equivalence with respect to two different logical systems: a doxastic logic for belief and an epistemic–doxastic logic for belief and knowledge. Moreover, a sound and complete axiomatization of these logics with respect to the two equivalent Kripke semantics and type spaces semantics is provided. Finally, a probabilistic extension of the result is also presented. A further result of the paper is a study of the relationship between the epistemic–doxastic logic for belief and knowledge and the logic STIT by Belnap and colleagues. (shrink)

It is a plausible and compelling theoretical assumption that epistemic rationality is just a matter of having doxastic attitudes that are the correct responses to one’s epistemic reasons, or that all requirements of epistemic rationality reduce to requirements on doxastic attitudes. According to this idea, all instances of epistemic rationality are instances of rational belief. Call this assumption, and any theory working under it, _belief-centered_. In what follows, I argue that we should not accept belief-centered theories (...) of epistemic rationality. This is an argument in three acts. In the first, I present counterexamples that problematize the belief-centered assumption: cases whose protagonists (i) fail to meet any plausible requirements on belief but (ii) nevertheless appear epistemically rational. In the second act, I consider alternative explanations of the counterexamples, friendly to the belief-centered theorist, and find them wanting. In the third and final act, I show that there are significant theoretical benefits to acknowledging a distinct agent-centered dimension of epistemic rationality and sketch a candidate agent-centered approach: a view that grounds an agent’s epistemic rationality in the possession of _good epistemic policies_. In the end, we see that a complete theory of epistemic rationality is as much of a theory of rational _agents_ as it is of rational _belief_. (shrink)

The paper presents a family of propositional epistemic logics such that languages of these logics are extended by quantification over modal operators or over agents of knowledge and extended by predicate symbols that take modal operators as arguments. Denote this family by \}\). There exist epistemic logics whose languages have the above mentioned properties :311–350, 1995; Lomuscio and Colombetti in Proceedings of ATAL 1996. Lecture Notes in Computer Science, vol 1193, pp 71–85, 1996). But these logics are obtained (...) from first-order modal logics, while a logic of \}\) can be regarded as a propositional multi-modal logic whose language includes quantifiers over modal operators and predicate symbols that take modal operators as arguments. Among the logics of \}\) there are logics with a syntactical distinction between two readings of epistemic sentences: de dicto and de re. We show the decidability of logics of \}\) with the help of the loosely guarded fragment of first-order logic. Namely, we generalize LGF to a higher-order decidable loosely guarded fragment. The latter fragment allows us to construct various decidable propositional epistemic logics with quantification over modal operators. The family of this logics coincides with \}\). There are decidable propositional logics such that these logics implicitly contain quantification over agents of knowledge, but languages of these logics are usual propositional epistemic languages without quantifiers and predicate symbols :345–378, 1993). Some logics of \}\) can be regarded as counterparts of logics defined in Grove and Halpern :345–378, 1993). We prove that the satisfiability problem for these logics of \}\) is Pspace-complete using their counterparts in Grove and Halpern :345–378, 1993). (shrink)

In this paper I examine John Greco’s agent reliabilism, in particular, his requirement of subjective justification. I argue that his requirement is too weak as it stands to disqualify as knowledge claims some true beliefs arrived at by reliable processes and that it is vulnerable to the “value problem” objection. I develop a more robust account of subjective justification that both avoids the objection that agents require beliefs about their dispositions in order to be subjectively justified and explains why (...) knowledge is more valuable than true belief. (shrink)

“Epistemic Dexterity: A Ramseyian Account of Epistemic Virtue” by Abrol Fairweather & Carlos Montemayor: A modification of F.P. Ramsey’s success semantics supports a naturalized theory of epistemic virtue that includes motivational components and can potentially explain both epistemic reliability and responsibility with a single normative-explanatory principle. An “epistemic Ramsey success” will also provide a better account of the “because of” condition central to virtue-reliabilist accounts of knowledge from Greco, Sosa and Pritchard. Ramsey said that the (...) truth condition of a belief is the condition that guarantees the success of desires based on that belief. Taken as a theory of epistemic achievements, the truth condition for the attribution of an epistemic achievement is the condition that guarantees the success of epistemic desires and is also a success based on abilities attributable to the agent. One of its major advantages is that it may be the best way to achieve a naturalistic version of the etiologcal requirement on knowledge in virtue epistemology while also supporting important responsibilist desiderata. The account defended is robustly agent-centered in the straightforward sense that individual desires are partly constitutive of epistemic successes like having a rational belief, justified belief, and even of knowledge once we see the both the reliabilist and repsonsibilist desiderata are met. Another important aspect of the paper is that it provides a plausible psychology for virtue epistemology that is grounded in important empirical findings on agency, and thus constitutes a form of naturalized virtue epistemology. (shrink)

In this paper we examine the epistemic value of highly idealized agent-based models of social aspects of scientific inquiry. On the one hand, we argue that taking the results of such simulations as informative of actual scientific inquiry is unwarranted, at least for the class of models proposed in recent literature. Moreover, we argue that a weaker approach, which takes these models as providing only “how-possibly” explanations, does not help to improve their epistemic value. On the other (...) hand, we suggest that if ABMs of science underwent two types of robustness analysis, they could indeed have a clear epistemic function, namely by providing evidence for philosophical and historical hypotheses. In this sense, ABMs can obtain evidential and explanatory properties and thus be a useful tool for integrated history and philosophy of science. We illustrate our point with an example of a model—building on the work by Kevin Zollman—which we apply to a concrete historical case study. (shrink)

Open peer commentary on the article “Consciousness as Self-Description in Differences” by Diana Gasparyan. Upshot: The aim of my commentary is to support some of Gasparyan’s ideas and to reformulate them in a more constructive way in terms of both formalized hermeneutical procedures and networks and in the light of game-theory approaches.

The non-alethic systems N1 of da Costa and A of Grana are both paraconsistent and paracomplete. Based on them, a multi-agent doxastic logic NADK can be obtained by logical expansion. The soundness and completeness of NADK are proved and its special theorems are also presented. In this logic, the belief version of the laws of contradiction and excluded middle, as well as the principle of explosion are all invalid. Therefore, it may provide a reliable logical basis for any theory (...) which has paraconsistent or paracomplete epistemic conflicts, such as true contradictions, true contrarieties, and belief paradoxes. We also explain in detail how a non-alethic doxastic logic provides a reliable logical basis for tolerating these three types of epistemic conflicts. The present paper is the deepening and development of system N1 and A. (shrink)

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms" such as the 4 and 5 axioms. By contrast, the later literature on epistemic logic in computer science and game theory has focused on multi-agent epistemic reasoning, with the single-agent 4 and 5 axioms largely taken for granted. In the relevant multi-agent scenarios, it is often important to (...) reason about what agent A believes about what agent B believes about what agent A believes; but it is rarely important to reason just about what agent A believes about what agent A believes. This raises the question of the extent to which single-agent introspection axioms actually matter for multi-agent epistemic reasoning. In this paper, we formalize and answer this question. To formalize the question, we first define a set of multi-agent formulas that we call agent-alternating formulas, including formulas like Box_a Box_b Box_a p but not formulas like Box_a Box_a p. We then prove, for the case of belief, that if one starts with multi-agent K or KD, then adding both the 4 and 5 axioms (or adding the B axiom) does not allow the derivation of any new agent-alternating formulas—in this sense, introspection axioms do not matter. By contrast, we show that such conservativity results fail for knowledge and multi-agent KT, though they hold with respect to a smaller class of agent-nonrepeating formulas. (shrink)

This paper explores the concept of moral expertise in the contemporary philosophical debate, with a focus on three accounts discussed across moral epistemology, bioethics, and virtue ethics: an epistemic authority account, a skilled agent account, and a hybrid model sharing key features of the two. It is argued that there are no convincing reasons to defend a monistic approach that reduces moral expertise to only one of these models. A pluralist view is outlined in the attempt to reorient (...) the discussion about moral expertise. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs (...) about the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance. In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

Deep learning (DL) has become increasingly central to science, primarily due to its capacity to quickly, efficiently, and accurately predict and classify phenomena of scientific interest. This paper seeks to understand the principles that underwrite scientists’ epistemic entitlement to rely on DL in the first place and argues that these principles are philosophically novel. The question of this paper is not whether scientists can be justified in trusting in the reliability of DL. While today’s artificial intelligence exhibits characteristics common (...) to both scientific instruments and scientific experts, this paper argues that the familiar epistemic categories that justify belief in the reliability of instruments and experts are distinct, and that belief in the reliability of DL cannot be reduced to either. Understanding what can justify belief in AI reliability represents an occasion and opportunity for exciting, new philosophy of science. (shrink)

Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a (...) system, is explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence. (shrink)

Epistemic agents interact with evidence in different ways. This can cause trouble for mutual understanding and for our ability to rationally engage with others. Indeed, it can compromise democratic practices of deliberation. This paper explains these differences by appeal to a new notion: epistemic styles. Epistemic styles are ways of interacting with evidence that express unified sets of epistemic values, preferences, goals, and interests. The paper introduces the notion of epistemic styles and develops a systematic (...) account of their nature. It then discusses the implications of epistemic styles for central questions in epistemology, in particular, for issues surrounding rational engagement and for the debate between virtue epistemologists and epistemic situationists. (shrink)

Stewart Cohen’s epistemic responsibility conception of epistemic justification in illustrating the problem of the new evil demon is assessed through some virtue-theoretic attempts, notably by Timothy Williamson and Clayton Littlejohn, whose accounts provide a good departure point to differentiate epistemic blamelessness through epistemic excusability via exercise of epistemic competence with epistemic recklessness. Some failure of epistemic sensitivity is through epistemic recklessness, and its epistemic blameworthiness is understood thus. I shall, having set (...) the stage of epistemic justification in relation to epistemic responsibility, present my theory of epistemic reason, and of reason in general, by describing reason as knowledge of obligation. Having distinguished reasonableness from rationality, I will also present a safety theory of reasonableness, and correspondingly a measure of reasonableness, beyond my knowledge of obligation conception of rationality. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs (...) about the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance.In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

William James famously tells us that there are two main goals for rational believers: believing truth and avoiding error. I argues that epistemic consequentialism—in particular its embodiment in epistemic utility theory—seems to be well positioned to explain how epistemic agents might permissibly weight these goals differently and adopt different credences as a result. After all, practical versions of consequentialism render it permissible for agents with different goals to act differently in the same situation. -/- Nevertheless, I argue (...) that epistemic consequentialism doesn’t allow for this kind of permissivism and goes on to argue that this reveals a deep disanalogy between decision theory and the formally similar epistemic utility theory. This raises the question whether epistemic utility theory is a genuinely consequentialist theory at all. (shrink)

The paper examines the integration of virtue epistemology into the philosophy of science, emphasizing its potential to deepen our understanding of scientific inquiry. The article begins by considering the limitations of traditional epistemological frameworks that focus on beliefs. The discussion is set in the context of the “value turn” in contemporary epistemology. Arguments are made to move towards recognizing the significance of intellectual virtues and the nature of epistemic agents. The current gaps in definitions of intellectual virtues about reliabilist (...) and responsibilist approaches are examined and conceptual steps are proposed to bridge these gaps. It is suggested that the local and general epistemic goals of science should be clearly distinguished and then different ways of knowing should be attributed to these goals. These ways of knowing are proposed to be seen as exemplifying the realization of reliable skills and intellectual character traits. In sum, the article argues that adopting a virtue epistemology not only enriches the discourse on scientific knowledge but also promotes a culture of responsibility and integrity in the scientific community. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions (...) between time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (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)

Epistemic instrumentalists face a puzzle. In brief, the puzzle is that if the reason there is to believe in accord with the evidence depends, as the instrumentalist says it does, on agents’ idiosyncratic interests, then there is no reason to expect that this reason is universal. Here, I identify and explain two strategies instrumentalists have used to try and solve this puzzle. I then argue that we should find these strategies wanting. Faced with the failure of these strategies, I (...) articulate a heretofore neglected solution on behalf of instrumentalism. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Epistemic Microaggressions and Their HarmsCatherine Sherron (bio)In Microaggressions in Medicine (2024), Lauren Freeman and Heather Stewart raise many philosophical issues undermining, and practical advice for improving, the practice of medicine. Here I offer some thoughts specifically on chapter 4, "Epistemic Microaggressions."Epistemic microaggressions "pertain to our status as knowers" and are "defined as intentional or unintentional verbal or gestural slights made by healthcare professionals that dismiss, ignore, (...) or otherwise fail to recognize knowledge claims made by patients" (Freeman and Stewart 2024, 98). Note that intention is irrelevant; only the impact of how the harm befalls the patient is the focus here. Could there be extenuating circumstances for any particular healthcare professional? Possibly, but the point is to acknowledge the harm and do better both as individual healthcare professionals and within healthcare systems (subsequent chapters of the book point out various specific steps and strategies to address and rectify both individual and systemic shortcomings).Epistemologically, healthcare professionals (hereafter "practitioner") are experts on human medicine, but each patient is generally an expert on their own body. Here I organize some thoughts around specific issues in order to further our thinking about where the knowledge construction goes wrong and see where we might improve.1. Issue 1: Epistemic agencyQuestions in this realm pertain to, for example, who is a knower, whose knowledge counts, and who has epistemic privilege? Epistemologically, subjective knowledge about pain or what is normal for my body is my individual knowledge. While a patient might not have a sufficient vocabulary to accurately describe how it feels to them, the practitioner cannot know better than them. What a practitioner might be able to do is help the patient figure out how to communicate their experience, as well as values, more clearly or effectively. [End Page 147] One way that microaggressions function is by freezing out or shutting down the patient and thus limiting their epistemological contributions to the shared problem.In contrast, building on the work of feminist philosopher of science, Helen Longino (1990), medical knowledge, like scientific knowledge, can be conceived as social knowledge. It is built on the experiences and studies of the scientific and medical communities. The knowledge is held across individuals, not within any one person and no one person can override the community's knowledge. Note that like all scientific knowledge, it is falsifiable or defeasible such that if new evidence arises, the scientific community or subcommunity might need to reassess. In this way, scientific knowledge is dynamic, not static.Returning to the practice of medicine, we would say that is a shared epistemological endeavor across both practitioner and patient. Both parties bring something to the knowledge table, so to speak. But this "table" is not equally welcoming to all people. As we try to understand microaggressions in a US societal context, we would notice that whole groups of people are often not taken seriously by our society as epistemic agents. Most people, including practitioners, hold implicit and explicit racial bias. Statistically, people of color are devalued. Women are consistently devalued, not taken as credible even about their own bodies and experiences (Freeman and Stewart 2024, 114). Specifically in medicine, practitioners consistently have underestimated the claims women make about pain. Freeman and Stewart call this "medical gaslighting" in chapter 5. An additional example to the cases in the book can be found in the 2023 New York Times podcast, The Retrievals, about dozens of women (perhaps as many as 200) undergoing fertility treatment, including egg retrievals that were performed without pain medicine because, as it was later discovered, someone on staff with a drug problem was replacing the fentanyl used for sedation with saline. Even when the women were visibly in pain and requesting more relief, they were told things like "if you want a baby, you have to suffer" and "we are giving you all that we can—you just need to tough it out" (Burton 2023, "The Clinic"). Some of the women reported they felt they were being treated like "hysterical women" (Burton 2023, "The Patients").With a social tendency for people with less power and status to present as less confident, more deferential, and less willing to speak up, we... (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from (...) the fact that agents do not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)