This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...) for both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

Triviality results threaten plausible principles governing our credence in epistemic modal claims. This paper develops a new account of modal credence which avoids triviality. On the resulting theory, probabilities are assigned not to sets of worlds, but rather to sets of information state-world pairs. The theory avoids triviality by giving up the principle that rational credence is closed under conditionalization. A rational agent can become irrational by conditionalizing on new evidence. In place of conditionalization, the paper develops a new account (...) of updating: conditionalization with normalization. (shrink)

This paper generalises the classical Condorcet jury theorem from majority voting over two options to plurality voting over multiple options. The paper further discusses the debate between epistemic and procedural democracy and situates its formal results in that debate. The paper finally compares a number of different social choice procedures for many-option choices in terms of their epistemic merits. An appendix explores the implications of some of the present mathematical results for the question of how probable majority cycles (as (...) in Condorcet's paradox) are in large electorates. (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)

Very plausibly, there is something important missing in our lives if we are thoroughly ignorant or misled about reality – even if, as in a kind of Truman Show scenario, intervention or fantastic luck prevents unhappiness and practical failure. But why? I argue that perfectionism about well-being offers the most promising explanation. My version says, roughly, that we flourish when we exercise our self-defining capacities successfully according to their constitutive standards. One of these self-defining capacities, or capacities whose exercise reveals (...) who we are, is Reason, our capacity for normative self-governance. I argue that in its practical use, Reason formally aims at competently realizing self-chosen valuable ends that are in harmony with each other, or valuable achievements. In its theoretical use, it formally aims at competently grasping fundamental enough subject matters, or a kind of understanding. Because success by reason’s own standards requires many things to go right, there are many different ways in which we can fall short. Some of them amount to partial success. But some, like incompetent inquiry that fails to yield understanding of its target, or taking inefficient means to a worthless end, are robust failures that amount to epistemic or agential unflourishing, and thus to a form of ill-being. (shrink)

I defend J. L. Austin's direct realism against the colour delusion argument by employing epistemic logic to demonstrate that perceiving colours does not necessitate an intermediary such as sense-data, thus preserving the directness of perception.

The contemporary theory of epistemic democracy often draws on the Condorcet Jury Theorem to formally justify the ‘wisdom of crowds’. But this theorem is inapplicable in its current form, since one of its premises – voter independence – is notoriously violated. This premise carries responsibility for the theorem's misleading conclusion that ‘large crowds are infallible’. We prove a more useful jury theorem: under defensible premises, ‘large crowds are fallible but better than small groups’. This theorem rehabilitates the importance of deliberation (...) and education, which appear inessential in the classical jury framework. Our theorem is related to Ladha's (1993) seminal jury theorem for interchangeable (‘indistinguishable’) voters based on de Finetti's Theorem. We also prove a more general and simpler such jury theorem. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

The public sphere should be regulated so the distribution of political speech does not correlate with the distribution of income or wealth. A public sphere where people can fund any political speech from their private holdings is epistemically defective. The argument has four steps. First, if political speech is unregulated, the rich predictably contribute a disproportionate share. Second, wealth tends to correlate with substantive political perspectives. Third, greater quantities of speech by the rich can “drown out” the speech of the (...) poor, because of citizens’ limited attention span for politics. Finally, the normative problem with all this is that it reduces the diversity of arguments and evidence citizens become familiar with, reducing the quality of their political knowledge. The clearest implication of the argument is in favour of strict contribution limits and/or public funding for formal political campaigns, but it also has implications for more informal aspects of the public sphere. (shrink)

According to a common interpretation, most explicitly defended by Onora O’Neill and Patricia Kitcher, Kant held that epistemic obligations normatively depend on moral obligations. That is, were a rational agent not bound by any moral obligation, then she would not be bound by any epistemic obligation either. By contrast, in this paper, I argue that, according to Kant, some epistemic obligations are normatively independent from moral obligations, and are indeed normatively absolute. This view, which I call epistemicism, has two parts. (...) First, it claims that in the absence of other kinds of obligations, rational agents would still be bound by these epistemic obligations, i.e., that the latter are normatively independent. Second, it claims that, no matter what other obligations are at stake, rational agents are bound by these epistemic obligations, i.e., the normativity of these epistemic obligations is absolute in that it cannot be undercut by any moral or other sort of obligation. The argument turns on an exploratory reading of Kant’s remarks in “What Is Orientation in Thinking?” (1786) about the maxim of “thinking for oneself” as the “supreme touchstone of truth.” In contrast to O’Neill and Kitcher, I argue that if we interpret this maxim as stating the unifying principle of theoretical and practical reason, then we must interpret it as stating an epistemic, and not merely practical imperative. This result, I argue, vindicates epistemicism and illuminates interesting lessons about Kant’s conception of the category of “epistemic” norms. Further, it helps us make headway with Kant’s enigmatic remarks about the unity of practical and theoretical reason in the Groundwork, first and the second Critiques, and the Lectures on Logic. On my proposal, principles of the practical and theoretical uses of rea-son are unified through a formal epistemic principle. (shrink)

Emotions seem to be epistemically assessable: fear of an onrushing truck is epistemically justified whereas, mutatis mutandis, fear of a peanut rolling on the floor is not. But there is a difficulty in understanding why emotions are epistemically assessable. It is clear why beliefs, for instance, are epistemically assessable: epistemic assessability is, arguably, assessability with respect to likely truth, and belief is by its nature concerned with truth; truth is, we might say, belief’s “formal object.” Emotions, however, have (...) class='Hi'>formal objects different from truth: the formal object of fear is danger, the formal object of indignation is injustice, and so on. Why, then, are emotions epistemically assessable too? Here we make a negative claim and a positive claim. On the negative side, we consider how cognitivist and perceptualist accounts of emotion may respond to this challenge, and argue against those responses. On the positive side, we develop an alternative picture of the domain of the epistemically evaluable, according to which any mental state which is constitutively evidence-responsive is epistemically assessable, regardless of whether its formal object is truth. (shrink)

This paper defends a conception of epistemic value that I call the “Simpliciter Conception.” On it, epistemic value is a kind of value simpliciter and being of epistemic value implies being of value simpliciter. I defend this conception by criticizing two others, what I call the Formal Conception and the Hybrid Conception. While those conceptions may be popular among epistemologists, I argue that they fail to explain why anyone should care that things are of epistemic value and naturally undercuts (...) disputes about what is of epistemic value. I end by sketching and locating my conception within some increasingly popular views in meta-normativity. (shrink)

Social epistemologists should be well-equipped to explain and evaluate the growing vulnerabilities associated with filter bubbles, echo chambers, and group polarization in social media. However, almost all social epistemology has been built for social contexts that involve merely a speaker-hearer dyad. Filter bubbles, echo chambers, and group polarization all presuppose much larger and more complex network structures. In this paper, we lay the groundwork for a properly social epistemology that gives the role and structure of networks their due. In particular, (...) we formally define epistemic constructs that quantify the structural epistemic position of each node within an interconnected network. We argue for the epistemic value of a structure that we call the (m,k)-observer. We then present empirical evidence that (m,k)-observers are rare in social media discussions of controversial topics, which suggests that people suffer from serious problems of epistemic vulnerability. We conclude by arguing that social epistemologists and computer scientists should work together to develop minimal interventions that improve the structure of epistemic networks. (shrink)

How does being a woman affect one’s epistemic life? What about being Black? Or queer? Standpoint theorists argue that such social positions can give rise to otherwise unavailable epistemic privilege. “Epistemic privilege” is a murky concept, however. Critics of standpoint theory argue that the view is offered without a clear explanation of how standpoints confer their benefits, what those benefits are, or why social positions are particularly apt to produce them. For this reason, many regard standpoint theory as being out (...) of step with epistemology more broadly. But this need not be so. This article articulates a minimal version of standpoint epistemology that avoids these criticisms and supports the normative goals of its feminist forerunners. This account serves as the foundation for developing a formal model in which to explore standpoint epistemology using neighborhood semantics for modal logic. (shrink)

The paper provides both a description of conspiracy beliefs and an insight into their cultural significance. On one side, it highlights their specific formal features, on the other, and this constitutes its peculiarity in the recent literature on the topic, it considers them within the broader genre of general conceptual beliefs, whose main characteristics are weak methodology and logical structure, strong affective and dispositional constraints, epistemic closure and mauvaise foi, and whose main function is practical and self-representative (not epistemic). (...) The paper also claims that political theory and social sciences had some influence in legitimizing certain ideas and stereotypes that are exacerbated in conspiracy beliefs, while other te(le)ological conceptions, such as finalism and providence, may be an important source of ideas that turn out to be widely spread in contemporary criticism towards those same beliefs. (shrink)

This chapter explores properties that bind individuals, knowledge, and communities, together. Section ‎‎1 introduces Hardwig’s argument from trust in others’ testimonies as entailing that trust is the glue ‎that binds individuals into communities. Section 2 asks “what grounds trust?” by exploring assessment ‎of collaborators’ explanatory responsiveness, formal indicators such as affiliation and credibility, ‎appreciation of peers’ tacit knowledge, game-theoretical considerations, and the role moral character ‎of peers, social biases, and social values play in grounding trust. Section 3 deals with (...) establishing ‎reliability standards for formation and breaching of trust. Different epistemic considerations and their ‎underpinning of inductive risks are examined through various communication routes within a ‎discipline, between disciplines, and to the public. Section 4 examines whether a collective entity can ‎be trusted over and above trust that is given to its individual members. Section 5 deals with the roles ‎technological artifacts play in distributed research and collective knowledge. It presents the common ‎view in which genuine trust cannot, in principle, be accorded to artifacts, so as an opposite view. We ‎show that what counts as a genuine object of trust is relevant to debates about the boundaries of ‎collective agency and as a criterion for extended cognitive systems.‎. (shrink)

Some physicians, in their care of patients at risk of misusing opioids, use machine learning (ML)-based prediction drug monitoring programmes (PDMPs) to guide their decision making in the prescription of opioids. This can cause a conflict: a PDMP Score can indicate a patient is at a high risk of opioid abuse while a patient expressly reports oppositely. The prescriber is then left to balance the credibility and trust of the patient with the PDMP Score. Pozzi1 argues that a prescriber who (...) downgrades the credibility of a patient’s testimony based on a low PDMP Score is epistemically and morally unjustified and contributes to a form of testimonial injustice. This results in patients being silenced, excluded from decision-making processes and subjected to structural injustices. Additionally, the use of ML systems in medical practices raises concerns about perpetuating existing inequalities, overestimating their capabilities and displacing human authority. However, almost the very same critiques apply to human-based systems. Formalisation, ML systems included, should instead be viewed positively,2 and precisely as a powerful means to begin eroding these and other problems in ethically sensitive domains. In this case, the epistemic virtues of formalisation include promoting transparency, consistency and replicability in decision making. Rigorous ML systems can also help ensure that models …. (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small aperture. Then, (...) we explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

Substance-abusing women are vulnerable to specific kinds of epistemic injustice, including stigmatization and discrimination. This article examines the development of the epistemic agency of female substance abusers by asking: How does the use of a formal discussion protocol in community rehabilitation interaction alleviate epistemic injustice and strengthen the epistemic agency of substance abusers? The data were collected in a Finnish rehabilitation center by videotaping six group discussions between social workers, peer support workers, and rehabilitation clients with substance abuse problems. (...) Of these data, one recorded group discussion between four female participants—two rehabilitation clients, a peer support worker, and a social adviser—was used in this paper. Using conversational analysis, the findings indicate that, through the collaborative activities of sharing experiential knowledge about substance abuse and discussing the experiences of abuse in the rehabilitation interaction, substance abusers can develop novel ways to strengthen their epistemic agency by enhanced self-awareness. The discussion protocol is an epistemic tool that professionals and clients can learn to use in ethically and epistemologically successful ways in interaction. The use of a discussion protocol is an example of social professionals’ clinical knowledge of intensifying collaboration and sharing experiential knowledge in community rehabilitation and other substance abuse services. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. Recently, (...) though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is a set (...) of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul-  Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) [email protected]  Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected]  Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected] 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. (shrink)

Epistemic communities are informal networks of knowledge-based experts who influence decision-makers in defining issues they face, identifying different solutions, and evaluating results. Epistemic communities have the greatest influence in conditions of political uncertainty and visibility, usually following a crisis or triggering event. Counterintelligence is primarily considered an analytical discipline, focusing on the study of intelligence services. The basis of all counterintelligence activities is the study of individual intelligence services, an analytical process to understand the behavior of foreign entities (formal (...) mission, internal and external policy, history and myths within the entity, the people who compose it). DOI: 10.13140/RG.2.2.22837.52962 . (shrink)

The most immediately appealing model for formal constraints on degrees of belief is provided by probability theory, which tells us, for instance, that the probability of P can never be greater than that of (P v Q). But while this model has much intuitive appeal, many have been concerned to provide arguments showing that ideally rational degrees of belief would conform to the calculus of probabilities. The arguments most frequently used to make this claim plausible are the so-called "Dutch (...) Book" arguments. (shrink)

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The (...) use of formal conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in which results from (...) class='Hi'>formal epistemology have been used fruitfully to advance epistemically-relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This (...) time the authors of all the five selected papers are concerned with knowledge and beliefs in multi-agent settings: How to create a group belief in a fair way from individual plausibility orderings? How to close gaps and resolve ambiguities in a tractable way, when information comes from multiple sources? How to reason about a spatial environment? How to compare the strengths of an agent's beliefs in a principled way? How to decide as efficiently as possible whether a given formula concerning group beliefs is valid? These questions and their answers lead to a multi-faceted and at the same time coherent special issue. We concisely introduce the five articles. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used (...) to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

In this text I propose a formal framework for the study of phenomenal objectness - the distinction in an a priori undifferenciated experience of the phenomenal field of certain 'objects'. The purpose of this framework is to represent (even partially) the reality of phenomenal experience in its structure (which participates conceptually to consciousness as such) and at the same time to allow the production of a tractable formalism in order to search for a mathematical explanation for the fundamental phenomenon (...) of objectness. The constitution of this framework is based on intuitions from consciousness literature as well as the recent integrated information theory. Before coming to the framework's definition, I analyse this theory from the point of view of the discourse, through concepts that I introduce here (statical and dynamical phases of the discourse), and explain some severe epistemic difficulties it encounters. The definition of a general combination criterion for the inter-discourse between philosophy and mathematics (which is necessary for the project of explaining consciousness scientifically) in these terms leads in this text to disentangle this theory into the proposed framework. (shrink)

It is a widespread intuition that the coherence of independent reports provides a powerful reason to believe that the reports are true. Formal results by Huemer, M. 1997. “Probability and Coherence Justification.” Southern Journal of Philosophy 35: 463–72, Olsson, E. 2002. “What is the Problem of Coherence and Truth?” Journal of Philosophy XCIX : 246–72, Olsson, E. 2005. Against Coherence: Truth, Probability, and Justification. Oxford University Press., Bovens, L., and S. Hartmann. 2003. Bayesian Epistemology. Oxford University Press, prove that, (...) under certain conditions, coherence cannot increase the probability of the target claim. These formal results, known as ‘the impossibility theorems’ have been widely discussed in the literature. They are taken to have significant epistemic upshot. In particular, they are taken to show that reports must first individually confirm the target claim before the coherence of multiple reports offers any positive confirmation. In this paper, I dispute this epistemic interpretation. The impossibility theorems are consistent with the idea that the coherence of independent reports provides a powerful reason to believe that the reports are true even if the reports do not individually confirm prior to coherence. Once we see that the formal discoveries do not have this implication, we can recover a model of coherence justification consistent with Bayesianism and these results. This paper, thus, seeks to turn the tide of the negative findings for coherence reasoning by defending coherence as a unique source of confirmation. (shrink)

Building on recent formal work by Aleks Knoks, we explore how the idea that certain epistemic norms may be indeterminate could be implemented in a default logic.

Recent years have witnessed growing controversy over the “wisdom of the multitude.” As epistemic critics drawing on vast empirical evidence have cast doubt on the political competence of ordinary citizens, epistemic democrats have offered a defense of democracy grounded largely in analogies and formal results. So far, I argue, the critics have been more convincing. Nevertheless, democracy can be defended on instrumental grounds, and this article demonstrates an alternative approach. Instead of implausibly upholding the epistemic reliability of average voters, (...) I observe that competitive elections, universal suffrage, and discretionary state power disable certain potent mechanisms of elite entrenchment. By reserving particular forms of power for the multitude of ordinary citizens, they make democratic states more resistant to dangerous forms of capture than non-democratic alternatives. My approach thus offers a robust defense of electoral democracy, yet cautions against expecting too much from it—motivating a thicker conception of democracy, writ large. (shrink)

In this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that (...) we give to those formal systems. The occasion for this question, and the main example that I will use to illustrate my answer to it, is the close relationship between the formal systems employed in recent statements of apparently competing accounts of epistemic modals with the dynamic, expressivist, and relativist theoretical paradigms. The structure of the paper will be straightforward. In part 1, I will briefly introduce four theories of epistemic modals – one dynamic theory, two expressivist theories, and one relativist theory. Then in part 2 I’ll show that one expressivist theory is formally equivalent to the dynamic theory, that the other is formally equivalent to the relativist theory, and that the two expressivist theories are themselves essentially notational variants. I’ll use these facts to pose our central question: if these theories have so much formally in common, then doesn’t that suggest that we can separate the task of constructing a formal semantics from the task of deciding between competing interpretations of it? Finally, in part 3 I’ll answer that question in the negative. There are at least three reasons why formal semantics cannot be separated from questions of interpretation that are illustrated by the theories I introduce in part 1. (shrink)

The perception of intelligence as power has intensified during the Second World War, when several intelligence agencies has been formalized and significantly increased. In all countries, new agencies and departments have been set up to deal with threats. Government publications in developed countries, following the September 11, 2001 attack, reflected a consensus that intelligence services are key to preventing mass attacks, spending huge amounts for the intelligence agencies that are considered a major component of national security systems. DOI: 10.13140/RG.2.2.16398.20809.

This short paper has two parts. First,we prove a generalisation of Aumann’s surprising impossibility result in the context of rational decision making. We then move, in the second part, to discuss the interpretational meaning of some formal setups of epistemic models, and we do so by means of presenting an interesting puzzle in epistemic logic. The aim is to highlight certain problematic aspects of these epistemic systems concerning first/third-person asymmetry which underlies both parts of the story. This asymmetry, we (...) argue, reveals certain limits of what epistemic models can be. (shrink)

Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached (as, for example, by Grice and Hamblin), the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal (nonpragmatic) analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" are defined (...) precisely, and an analysis of how these notions fit together is given. Particular attention is given to distinguishing conversation theory from standard logic. The paper concludes by analysing a few sample conversation-games, indicating areas needing further research, by pointing out the simplification inherent in the sample games. (shrink)

In this paper, I argue that no strong doctrine of the Fall can undermine the propriety of epistemic self-trust. My argument proceeds by introducing a common type of philosophical methodology, known as reflective equilibrium. After a brief exposition of the method, I introduce a puzzle for someone engaged in the project of self-reflection after gaining a reason to distrust their epistemic selves on the basis of a construal of a doctrine of the Fall. I close by introducing the worry as (...) a formal argument and demonstrate the self-undermining nature of such an argument. (shrink)

This paper aims to better motivate the naturalization of metaphysics by identifying and criticizing a class of theories I call ’free range metaphysics’. I argue that free range metaphysics is epistemically inadequate because the constraints on its content—consistency, simplicity, intuitive plausibility, and explanatory power—are insufficiently robust and justificatory. However, since free range metaphysics yields clarity-conducive techniques, incubates science, and produces conceptual and formal tools useful for scientifically engaged philosophy, I do not recommend its discontinuation. I do recommend, however, ending (...) the discipline’s bad faith. That is, I urge that free range metaphysics not be taken to have fully satisfactory epistemic credentials over and above its pragmatic ones. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

Drawing on recent work in formal pragmatic theory, this paper shows that the manipulation of discourse structure—in particular, by way of shifting the Question Under Discussion mid-discourse—can constitute an act of epistemic injustice. I argue that the “All Lives Matter” response to the “Black Lives Matter” slogan is one such case; this response shifts the Question Under Discussion governing the overarching discourse from Do Black lives matter? to Which lives matter? This manipulation of the discourse structure systematically obscures the (...) intended meaning of “Black lives matter” and disincentivizes future utterances of it. (shrink)

In this paper we show how a realistic normative democratic theory can work within the constraints set by the most pessimistic empirical results about voting behaviour and elite capture of the policy process. After setting out the empirical evidence and discussing some extant responses by political theorists, we argue that the evidence produces a two-pronged challenge for democracy: an epistemic challenge concerning the quality and focus of decision-making and an oligarchic challenge concerning power concentration. To address the challenges we then (...) put forward three main normative claims, each of which is compatible with the evidence. We start with a critique of the epistocratic position commonly thought to be supported by the evidence. We then introduce a qualified critique of referenda and other forms of plebiscite, and an outline of a tribune-based system of popular control over oligarchic influence on the policy process. Our discussion points towards a renewal of democracy in a plebeian but not plebiscitarian direction: Attention to the relative power of social classes matters more than formal dispersal of power through voting. We close with some methodological reflections about the compatibility between our normative claims and the realist program in political philosophy. (shrink)

Consider two epistemic experts—for concreteness, let them be two weather forecasters. Suppose that you aren’t certain that they will issue identical forecasts, and you would like to proportion your degrees of belief to theirs in the following way: first, conditional on either’s forecast of rain being x, you’d like your own degree of belief in rain to be x. Secondly, conditional on them issuing different forecasts of rain, you’d like your own degree of belief in rain to be some weighted (...) average of the forecast of each. Finally, you’d like your degrees of belief to be given by an orthodox probability measure. Moderate ambitions, all. But you can’t always get what you want. (shrink)

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

In a series of formal studies and less formal applications, Hong and Page offer a ‘diversity trumps ability’ result on the basis of a computational experiment accompanied by a mathematical theorem as explanatory background (Hong & Page 2004, 2009; Page 2007, 2011). “[W]e find that a random collection of agents drawn from a large set of limited-ability agents typically outperforms a collection of the very best agents from that same set” (2004, p. 16386). The result has been extremely (...) influential as an epistemic justification for diversity policy initiatives. Here we show that the ‘diversity trumps ability’ result is tied to the particular random landscape used in Hong and Page’s simulation. We argue against interpreting results on that random landscape in terms of ‘ability’ or ‘expertise.’ These concepts are better modeled on smother and more realistic landscapes, but keeping other parameters the same those are landscapes on which it is groups of the best performing that do better. Smoother landscapes seem to vindicate both the concept and the value of expertise. Change in other parameters, however, also vindicates diversity. With an increase in the pool of available heuristics, diverse groups again do better. Group dynamics makes a difference as well; simultaneous ‘tournament’ deliberation in a group in place of the ‘relay’ deliberation in Hong and Page’s original model further emphasizes an advantage for diversity. ‘Tournament’ 2 dynamics particularly shows the advantage of mixed groups that include both experts and non-experts. As a whole, our modeling results suggest that relative to problem characteristics and conceptual resources, the wisdom of crowds and the wisdom of the few each have a place. We regard ours as a step toward attempting to calibrate their relative virtues in different modelled contexts of intellectual exploration. (shrink)

Can sensibility, as our capacity to be sensibly presented with objects, be understood independently of the understanding, as the capacity to form judgments about those objects? It is a truism that for judgments to be empirical knowledge they must agree with what sensibility presents. Moreover, it is a familiar thought that objectivity involves absolute independence from intellectual acts. The author argues that together these thoughts motivate a common reading of Kant on which operations of sensibility are conceived as intelligible independently (...) of acts of the understanding, so that their supposed objectivity can validate judgments as empirical knowledge. He contends that there are two reasons why this epistemic compositionalism is implausible both as a reading of Kant and in itself. First, read compositionally, Kant’s Transcendental Deduction is unable to fulfill its stated aim of showing that the categories are objectively valid, that is, exemplified by the objects that sensibility presents. Second, Kant sees that sensibility by itself cannot be understood to even purport to present objects, thus undermining the very intelligibility of compositionalism. The author argues that, given these challenges, Kant’s Deduction develops an alternative account, on which operations of sensibility and acts of the understanding can be understood only together. He contends that this epistemic hylomorphism transforms the familiar thought underlying compositionalism: objectivity simultaneously involves formal agreement with intellectual acts in general and material independence from any specific such act. He thus shows how Kant reconceives our conception of objectivity by overcoming compositionalism in favor of hylomorphism. (shrink)

Timothy Williamson has fruitfully exploited formal resources to shed considerable light on the nature of knowledge. In the paper under examination, Williamson turns his attention to Gettier cases, showing how they can be motivated formally. At the same time, he disparages the kind of justification he thinks gives rise to these cases. He favors instead his own notion of justification for which Gettier cases cannot arise. We take issue both with his disparagement of the kind of justification that figures (...) in Gettier cases and the specifics of the formal motivation. (shrink)

What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical taxonomists (...) sought to establish a mathematical method for classification that was universal to every type of organism, and I argue this intrinsically implicated them in a qualitative re-organization of the work of all systematists. I also discuss how Numerical Taxonomy’s re-organization of practice became entrenched across systematic biology even as opposing schools produced their own competing mathematical methods. In this way, the structure of the work process became more fundamental than the methodological theories that motivated it. (shrink)

"Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. -/- Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief Revision systems. It explores the concept (...) of paraconsistency from the standpoint of epistemic attitudes of acceptance and rejection. -/- This work challenges the traditional notion that accepting a new belief requires retracting its negation from the current epistemic state. The author contends that such reflexive retraction goes against the principle of informational economy, which is a crucial aspect of rationality in the context of belief change. Consequently, the phenomenon of paraconsistency is further examined from this fresh perspective of belief change, shedding light on the complexities of the Logics of Formal Inconsistency (LFIs). These LFIs provide the foundational logic, offering a comprehensive framework for understanding and implementing paraconsistent principles within belief revision systems. -/- This thesis was supervised by Marcelo Esteban Coniglio and co-supervised by Márcio Moretto Ribeiro, as part of Rafael Rodrigues Testa's doctoral studies at the University of Campinas (Unicamp), Brazil. (shrink)