This paper highlights some connections between work on truth approximation and work in social epistemology, in particular work on peer disagreement. In some of the literature on truth approximation, questions have been addressed concerning the efficiency of research strategies for approximating the truth. So far, social aspects of research strategies have not received any attention in this context. Recent findings in the field of opinion dynamics suggest that this is a mistake. How scientists exchange and take into account information about (...) each others’ beliefs may greatly influence the accuracy and speed with which the scientific community as a whole approximates the truth. On the other hand, social epistemologists concerned with peer disagreement have so far neglected the question of how practices of responding to disagreements with peers fare with respect to the goal of approximating the truth. Again, work on opinion dynamics shows that this may be a mistake, and that how we ought to respond to disagreements with our peers may depend on the specific purposes of our investigations. (shrink)

Agent-based modelling has become a well-established method in social epistemology and philosophy of science but the question of what kind of explanations these models provide remains largely open. This paper is dedicated to this issue. It starts by distinguishing between real-world phenomena, real-world possibilities, and logical possibilities as different kinds of targets which agent-based models can represent. I argue that models representing the former two kinds provide how-actually explanations or causal how-possibly explanations. In contrast, models that represent logical possibilities provide (...) epistemically opaque how-possibly explanations. While highly idealised ABMs in the form in which they are initially proposed typically fall into the last category, the epistemic opaqueness of explanations they provide can be reduced by validation procedures. To this purpose, an examination of results of simulations in terms of classes of models can be particularly helpful. I illustrate this point by discussing a class of ABMs of scientific interaction and the claim that a high degree of interaction can impede scientific inquiry. (shrink)

This Element examines what we can learn from religious disagreement, focusing on disagreement with possible selves and former selves, the epistemic significance of religious agreement, the problem of disagreements between religious experts, and the significance of philosophy of religion. Helen De Cruz shows how religious beliefs of others constitute significant higher-order evidence. At the same time, she advises that we should not necessarily become agnostic about all religious matters, because our cognitive background colors the way we evaluate evidence. This allows (...) us to maintain religious beliefs in many cases, while nevertheless taking the religious beliefs of others seriously. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (shrink)

The main issue in the epistemology of peer disagreement is whether known disagreement among those who are in symmetrical epistemic positions undermines the rationality of their maintaining their respective views. Douven and Kelp have argued convincingly that this problem is best understood as being about how to respond to peer disagreement repeatedly over time, and that this diachronic issue can be best approached through computer simulation. However, Douven and Kelp’s favored simulation framework cannot naturally handle Christensen’s famous Mental Math example. (...) As a remedy, I introduce an alternative simulation framework, Laputa, inspired by Alvin Goldman’s seminal work on veritistic social epistemology. I show that Christensen’s conciliatory response, reasonably reconstructed and supplemented, gives rise to an increase in epistemic value only if the peers continue to recheck their mental math; else the peers might as well be steadfast. On a meta-level, the study illustrates the power of Goldman’s approach when combined with simulation techniques for handling the computational issues involved. (shrink)

The main issue in the epistemology of peer disagreement is whether known disagreement among those who are in symmetrical epistemic positions undermines the rationality of their maintaining their respective views. Douven and Kelp have argued convincingly that this problem is best understood as being about how to respond to peer disagreement repeatedly over time, and that this diachronic issue can be best approached through computer simulation. However, Douven and Kelp’s favored simulation framework cannot naturally handle Christensen’s famous Mental Math example. (...) As a remedy, I introduce an alternative simulation framework, Laputa, inspired by Alvin Goldman’s seminal work on veritistic social epistemology. I show that Christensen’s conciliatory response, reasonably reconstructed and supplemented, gives rise to an increase in epistemic value only if the peers continue to recheck their mental math; else the peers might as well be steadfast. On a meta-level, the study illustrates the power of Goldman’s approach when combined with simulation techniques for handling the computational issues involved. (shrink)

Science is a social epistemic enterprise. The complexity of research requires the division of cognitive labor. As a consequence, scientists have to present results and incorporate the results of others into their body of knowledge. This creates the possibility of strategic behavior, leading to phenomena such as publication bias. To analyze the dynamics of strategic behavior in epistemic communities, agent-based modeling suggests itself as a method. The phenomena generated by the developed agent-based simulation model reveal a diverse set of possible (...) dynamics in strategically heterogeneous groups and support the claim that there is a trade-off between a behavioral rule’s efficacy to generate accurate beliefs under optimal conditions and its robustness to variation in the composition of the epistemic environment. (shrink)

The paper introduces, compares and contrasts formal models of source reliability proposed in the epistemology literature, in particular the prominent models of Bovens and Hartmann and Olsson :127–143, 2011). All are Bayesian models seeking to provide normative guidance, yet they differ subtly in assumptions and resulting behavior. Models are evaluated both on conceptual grounds and through simulations, and the relationship between models is clarified. The simulations both show surprising similarities and highlight relevant differences between these models. Most importantly, however, our (...) evaluations reveal that important normative concerns arguably remain unresolved. The philosophical implications of this for testimony are discussed. (shrink)

This paper develops a formal framework to model a process in which the formation of individual opinions is embedded in a deliberative exchange with others. The paper opts for a low-resolution modeling approach and abstracts away from most of the details of the social-epistemic process. Taking a bird's eye view allows us to analyze the chances for the truth to be found and broadly accepted under conditions of cognitive division of labour combined with a social exchange process. Cognitive division of (...) labour means that only some individuals are active truth seekers, possibly with different capacities. Both mathematical tools and computer simulations are used to investigate the model. As an analytical result, the Funnel Theorem states that under rather weak conditions on the social process, a consensus on the truth will be reached if all individuals possess an arbitrarily small capacity to go for the truth. The Leading the pack Theorem states that under certain conditions even a single truth seeker may lead all individuals to the truth. Systematic simulations analyze how close agents can get to the truth depending upon the frequency of truth seekers, their capacities as truth seekers, the position of the truth (more to the extreme or more in the centre of an opinion space), and the willingness to take into account the opinions of others when exchanging and updating opinions. (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)

Two compelling principles, the Reasonable Range Principle and the Preservation of Irrelevant Evidence Principle, are necessary conditions that any response to peer disagreements ought to abide by. The Reasonable Range Principle maintains that a resolution to a peer disagreement should not fall outside the range of views expressed by the peers in their dispute, whereas the Preservation of Irrelevant Evidence Principle maintains that a resolution strategy should be able to preserve unanimous judgments of evidential irrelevance among the peers. No standard (...) Bayesian resolution strategy satisfies the PIE Principle, however, and we give a loss aversion argument in support of PIE and against Bayes. The theory of imprecise probability allows one to satisfy both principles, and we introduce the notion of a set-based credal judgment to frame and address a range of subtle issues that arise in peer disagreements. (shrink)

This paper examines lessons obtained by means of simulations in the form of agent-based models about the norms that are to guide disagreeing scientists. I focus on two types of epistemic and methodological norms: norms that guide one’s attitude towards one’s own theory, and norms that guide one’s attitude towards the opponent’s theory. Concerning I look into ABMs that have been designed to examine the context of peer disagreement. Here I challenge the conclusion that the given ABMs provide a support (...) for the so-called Steadfast Norm, according to which one is epistemically justified in remaining steadfast in their beliefs in face of disagreeing peers. I argue that the proposed models at best provide evidence for a weaker norm, which concerns methodological steadfastness. Concerning I look into ABMs aimed at examining epistemic effects of scientific interaction. Here I argue that the models provide diverging suggestions and that the link between each ABM and the type of represented inquiry is still missing. Moreover, I examine alternative strategies of arguing in favor of the benefits of scientific interaction, relevant for contemporary discussions on scientific pluralism. (shrink)

In this paper I examine the epistemic function of agent-based models of scientific inquiry, proposed in the recent philosophical literature. In view of Boero and Squazzoni’s classification of ABMs into case-based models, typifications and theoretical abstractions, I argue that proposed ABMs of scientific inquiry largely belong to the last category. While this means that their function is primarily exploratory, I suggest that they are epistemically valuable not only as a temporary stage in the development of ABMs of science, but by (...) providing insights into theoretical aspects of scientific rationality. I illustrate my point with two examples of highly idealized ABMs of science, which perform two exploratory functions: Zollman’s ABM which provides a proof-of-possibility in the realm of theoretical discussions on scientific rationality, and an argumentation-based ABM, which provides insights into potential mechanisms underlying the efficiency of scientific inquiry. (shrink)

Formal models of scientific inquiry, aimed at capturing socio-epistemic aspects underlying the process of scientific research, have become an important method in formal social epistemology and philosophy of science. In this introduction to the special issue we provide a historical overview of the development of formal models of this kind and analyze their methodological contributions to discussions in philosophy of science. In particular, we show that their significance consists in different forms of ‘methodological iteration’ whereby the models initiate new lines (...) of inquiry, isolate and clarify problems with existing knowledge claims, and stimulate further research. (shrink)

Philosophers have recently questioned the methodological status of agent-based modeling. Meanwhile, this methodology has been central to various studies of the COVID-19 pandemic. Few agent-based COVID-19 models are accessible to philosophers for inspection or experimentation. We make available a package for modeling the COVID-19 pandemic and similar pandemics and give an impression of what can be achieved with it. In particular, it is shown that by coupling an agent-based model to a standard optimizer we are able to identify strategies for (...) implementing non-pharmacological interventions that flexibly lower or raise social activity, depending on how the outbreak develops, while balancing various desiderata that cannot be fully satisfied together. The simulation outcomes to be presented testify to the power of agent-based modeling and thereby help to push back against the recent philosophical critique of this methodology. (shrink)

There has been a probabilistic turn in contemporary cognitive science. Far and away, most of the work in this vein is Bayesian, at least in name. Coinciding with this development, philosophers have increasingly promoted Bayesianism as the best normative account of how humans ought to reason. In this paper, we make a push for exploring the probabilistic terrain outside of Bayesianism. Non-Bayesian, but still probabilistic, theories provide plausible competitors both to descriptive and normative Bayesian accounts. We argue for this general (...) idea via recent work on explanationist models of updating, which are fundamentally probabilistic but assign a substantial, non-Bayesian role to explanatory considerations. (shrink)

The bounded confidence model has become a popular tool for studying communities of epistemically interacting agents. The model makes the idealizing assumption that all agents always have access to all other agents’ belief states. We draw on resources from network epistemology to do away with this assumption. In the model to be proposed, we impose an explicit communication network on a community, due to which each agent has access to the beliefs of only a selection of other agents. A much-discussed (...) result from network epistemology shows that densely connected communication networks are not always preferable to sparser networks. The aim of this paper is to investigate whether there are any noteworthy network effects in a version of the bounded confidence model augmented with communication networks, and in particular whether the aforementioned result from network epistemology can be replicated in that version. (shrink)

This article compares inference to the best explanation with Bayes’s rule in a social setting, specifically, in the context of a variant of the Hegselmann–Krause model in which agents not only update their belief states on the basis of evidence they receive directly from the world, but also take into account the belief states of their fellow agents. So far, the update rules mentioned have been studied only in an individualistic setting, and it is known that in such a setting (...) both have their strengths as well as their weaknesses. It is shown here that in a social setting, inference to the best explanation outperforms Bayes’s rule according to every desirable criterion. 1 What Is Inference to the Best Explanation?2 Judging the Rules—By Which Lights?3 From an Individualistic to a Social Perspective 3.1 The Hegselmann–Krause model 3.2 A probabilistic extension of the Hegselmann–Krause model 3.3 Simulations4 Results and Discussion5 Interpretation6 Conclusion. (shrink)

In recent years, various computational models have been developed for studying the dynamics of belief formation in a population of epistemically interacting agents that try to determine the numerical value of a given parameter. Whereas in those models, agents’ belief states consist of single numerical beliefs, the present paper describes a model that equips agents with richer belief states containing many beliefs that, moreover, are logically interconnected. Correspondingly, the truth the agents are after is a theory (a set of sentences (...) of a given language) rather than a numerical value. The agents epistemically interact with each other and also receive evidence in varying degrees of informativeness about the truth. We use computer simulations to study how fast and accurately such populations as wholes are able to approach the truth under differing combinations of settings of the key parameters of the model, such as the degree of informativeness of the evidence and the weight the agents give to the evidence. (shrink)

It is undeniable that inductive reasoning has brought us much good. At least since Hume, however, philosophers have wondered how to justify our reliance on induction. In important recent work, Schurz points out that philosophers have been wrongly assuming that justifying induction is tantamount to showing induction to be reliable. According to him, to justify our reliance on induction, it is enough to show that induction is optimal. His optimality approach consists of two steps: an analytic argument for meta-induction (that (...) is, induction over inductive methods) and an application of meta-induction to empirical findings concerning the predictive accuracy of our actual inductive practices as compared to various non-inductive methods. The present article agrees with Schurz’s general conclusion but also argues that it leaves an important aspect of our inductive practices unaccounted for, to wit, that these practices have so far been highly successful; to satisfy the optimality requirement, induction only needs to be as successful as random guessing. To explain the success of induction, I turn to insights from social epistemology, also highlighted in Schurz’s work, and make these formally explicit in a framework that combines the Hegselmann–Krause model for opinion dynamics and Carnap’s system of λ rules. Within this framework, I use a standard evolutionary algorithm to show how communities of interacting agents may, through variation and selection, come to consist of highly successful inductive reasoners. (shrink)

Introduction to the Synthese Special Issue on Disagreement in Science.

In robustness analysis, hypotheses are supported to the extent that a result proves robust, and a result is robust to the extent that we detect it in diverse ways. But what precise sense of diversity is at work here? In this paper, I show that the formal explications of evidential diversity most often appealed to in work on robustness – which all draw in one way or another on probabilistic independence – fail to shed light on the notion of diversity (...) relevant to robustness analysis. I close by briefly outlining a promising alternative approach inspired by Horwich’s (1982) eliminative account of evidential diversity. (shrink)

There is a growing interest in the foundations as well as the application of imprecise probability in contemporary epistemology. This dissertation is concerned with the application. In particular, the research presented concerns ways in which imprecise probability, i.e. sets of probability measures, may helpfully address certain philosophical problems pertaining to rational belief. The issues I consider are disagreement among epistemic peers, complete ignorance, and inductive reasoning with imprecise priors. For each of these topics, it is assumed that belief can be (...) modeled with imprecise probability, and thus there is a non-classical solution to be given to each problem. I argue that this is the case for peer disagreement and complete ignorance. However, I discovered that the approach has its shortcomings, too, specifically in regard to inductive reasoning with imprecise priors. Nevertheless, the dissertation ultimately illustrates that imprecise probability as a model of rational belief has a lot of promise, but one should be aware of its limitations also. (shrink)