Stephan Hartmann

Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics.

The choice of a social decision rule for a federal assembly affects the welfare distribution within the federation. But which decision rules can be recommended on welfarist grounds? In this paper, we focus on two welfarist desiderata, viz. (i) maximizing the expected utility of the whole federation and (ii) equalizing the expected utilities of people from different states in the federation. We consider the European Union as an example, set up a probabilistic model of decision making and explore how different decision rules fare with regard to the desiderata. We start with a default model, where the interests, and therefore the votes of the different states are not correlated. This default model is then abandoned in favor of models with correlations. We perform computer simulations and find that decision rules with a low acceptance threshold do generally better in terms of desideratum (i), whereas the rules presented in the Accession Treaty and in the (still unratified) Constitution of the European Union tend to do better in terms of desideratum (ii). The ranking obtained regarding desideratum (i) is fairly stable across different correlation patterns.

The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn much attention. The dificulty lies in the fact that a seemingly reasonable aggregation procedure, such as propositionwise majority voting, cannot ensure an equally consistent collective outcome. The literature on judgment aggregation refers to such dilemmas as the discursive paradox. So far, three procedures have been proposed to overcome the paradox: the premise-based and conclusion-based procedures on the one hand, and the merging approach on the other hand. In this paper we assume that the decision which the group is trying to reach is factually right or wrong. Hence, the question is how good the merging approach is in tracking the truth, and how it compares with the premise-based and conclusion-based procedures.

Scientific theories are hard to find, and once scientists have found a theory, H, they often believe that there are not many distinct alternatives to H. But is this belief justified? What should scientists believe about the number of alternatives to H, and how should they change these beliefs in the light of new evidence? These are some of the questions that we will address in this article. We also ask under which conditions failure to find an alternative to H confirms the theory in question. This kind of reasoning is frequently used in science and therefore deserves a careful philosophical analysis. 1 Introduction2 The Conceptual Framework3 The No Alternatives Argument4 Discussion I: A Quantitative Analysis of the No Alternatives Argument5 Discussion II: The Number of Alternatives and the Problem of Underdetermination6 ConclusionsAppendix AAppendix B.

In this work, we present a mathematical model for the emergence of descriptive norms, where the individual decision problem is formalized with the standard Bayesian belief revision machinery. Previous work on the emergence of descriptive norms has relied on heuristic modeling. In this paper we show that with a Bayesian model we can provide a more general picture of the emergence of norms, which helps to motivate the assumptions made in heuristic models. In our model, the priors formalize the belief that a certain behavior is a regularity. The evidence is provided by other group members’ behavior and the likelihood by their reliability. We implement the model in a series of computer simulations and examine the group-level outcomes. We claim that domain-general belief revision helps explain why we look for regularities in social life in the first place. We argue that it is the disposition to look for regularities and react to them that generates descriptive norms. In our search for rules, we create them

A coherent story is a story that fits together well. This notion plays a central role in the coherence theory of justification and has been proposed as a criterion for scientific theory choice. Many attempts have been made to give a probabilistic account of this notion. A proper account of coherence must not start from some partial intuitions, but should pay attention to the role that this notion is supposed to play within a particular context. Coherence is a property of an information set that boosts our confidence that its content is true ceteris paribus when we receive information from independent and partially reliable sources. We construct a measure cr that relies on hypothetical sources with certain idealized characteristics. A maximally coherent information set, i.e. a set with equivalent propositions, affords a maximal confidence boost. cr is the ratio of the actual confidence boost over the confidence boost that we would have received, had the information been presented in the form of maximally coherent information, ceteris paribus. This measure is functionally dependent on the degree of reliability r of the sources. We use cr to construct a coherence quasi-ordering over information sets S and S’: S is no less coherent than S’ just in case c_r is not smaller than c_r for any value of the reliability parameter. We show that, on our account, the coherence of the story about the world gives us a reason to believe that the story is true and that the coherence of a scientific theory, construed as a set of models, is a proper criterion for theory choice.

This volume, the second in the Springer series Philosophy of Science in a European Perspective, contains selected papers from the workshops organised by the ESF Research Networking Programme PSE (The Philosophy of Science in a European Perspective) in 2009. Five general topics are addressed: 1. Formal Methods in the Philosophy of Science; 2. Philosophy of the Natural and Life Sciences; 3. Philosophy of the Cultural and Social Sciences; 4. Philosophy of the Physical Sciences; 5. History of the Philosophy of Science. This volume is accordingly divided in five sections, each section containing papers coming from the meetings focussing on one of these five themes. However, these sections are not completely independent and detached from each other. For example, an important connecting thread running through a substantial number of papers in this volume is the concept of probability: probability plays a central role in present-day discussions in formal epistemology, in the philosophy of the physical sciences, and in general methodological debates---it is central in discussions concerning explanation, prediction and confirmation. The volume thus also attempts to represent the intellectual exchange between the various fields in the philosophy of science that was central in the ESF workshops.

Bonjour (1985: 101 and 1999: 124) and other coherence theorists of justification before him (e.g. Ewing, 1934: 246) have complained that we do not have a satisfactory analysis of the notion of coherence. The problem with existing accounts of coherence is that they try to bring precision to our intuitive notion of coherence independently of the particular role that it is meant to play within the coherence theory of justification (e.g Lewis, 1946: 338). This is a mistake: it does not make any sense to ask what precisely makes for a more coherent information set independently of the particular role that coherence is supposed to play within the context in question. What is this context and what is this role? The coherence theory of justification rides on a particular common sense intuition: when we gather information from less than fully reliable sources, then the more coherent the story that materializes is, the more confident we may be, ceteris paribus. Within the context of information gathering from certain types of sources, coherence is a property of stories which plays a confidence boosting role. But what features should the information sources have, so that the coherence of the information set is indeed a determinant of our degree of confidence in question? And what goes into the ceteris paribus clause? In other words, what other factors affect our confidence in the information set in question?

We develop a utilitarian framework to assess different decision rules for the European Council of Ministers. The proposals to be decided on are conceptualized as utility vectors and a probability distribution is assumed over the utilities. We first show what decision rules yield the highest expected utilities for different means of the probability distri- bution. For proposals with high mean utility, simple bench- mark rules (such as majority voting with proportional weights) tend to outperform rules that have been proposed in the political arena. For proposals with low mean utility, it is the other way round. We then compare the expected utilities for smaller and larger countries and look for Pareto- dominance relations. Finally, we provide an extension of the model, discuss its restrictions, and compare our approach with assessments of decision rules that are based on the Penrose measure of voting power.

Modern science is, to a large extent, a model-building activity. But how are models contructed? How are they related to theories and data? How do they explain complex scientific phenomena, and which role do computer simulations play here? These questions have kept philosophers of science busy for many years, and much work has been done to identify modeling as the central activity of theoretical science. At the same time, these questions have been addressed by methodologically-minded scientists, albeit from a different point of view. While philosophers typically have an eye on general aspects of scientific modeling, scientists typically take their own science as the starting point and are often more concerned with specific methodological problems. There is, however, also much common ground in middle, where philosophers and scientists can engage in a productive dialogue, as the present volume demonstrates. To do so, the editors of this volume have invited eight leading scientists from cosmology, climate science, social science, chemical engeneering and neuroscience to reflect upon their modeling work, and eight philosophers of science to provide a commentary.

The chromodielectric soliton model is Lorentz and chirally invariant. It has been demonstrated to exhibit dynamical chiral symmetry breaking and spatial confinement in the locally uniform approximation. We here study the full nonlocal quark self-energy in a color-dielectric medium modeled by a two-parameter Fermi function. Here color confinement is manifest. The self-energy thus obtained is used to calculate quark wave functions in the medium which, in turn, are used to calculate the nucleon and pion masses in the one-gluon-exchange approximation. The nucleon mass is fixed to its empirical value using scaling arguments; the pion mass (for massless current quarks) turns out to be small but nonzero, depending on the model parameters.

The first edition of Peter Lipton's Inference to the Best Explanation, which appeared in 1991, is a modern classic in the philosophy of science. Yet in the second edition of the book, Lipton proves that even a classic can be improved. Not only does Lipton elaborate and expand on the themes covered in the first edition, but he also adds a new chapter on Bayesianism. In particular, he attempts a reconciliation between the Bayesian approach and that offered by Inference to the Best Explanation (IBE).

Let me first state that I like Antti Revonsuo’s discussion of the various methodological and interpretational problems in neuroscience. It shows how careful and methodologically reflected scientists have to proceed in this fascinating field of research. I have nothing to add here. Furthermore, I am very sympathetic towards Revonsuo’s general proposal to call for a Philosophy of Neuroscience that stresses foundational issues, but also focuses on methodological and explanatory strategies.2 In a footnote of his paper, Revonsuo complains – as many others do today – about what is sometimes called “physics imperialism”. This is the view that physics dominates the philosophy of science. I am not sure if this is still the case nowadays, but it is certainly historically correct that almost all work in the field of methodology centered around cases from physics. Although this has been changing, there are still plenty of special sciences philosophers did not worry about much. Admittedly, I am myself a trained physicist and not a neuroscientist and will therefore probably be biased negatively. As it is, I will discuss some examples from physics in order to illustrate my points.

Science presents us with a variety of accounts of the world. While some of these accounts posit deep theoretical structure and fundamental entities, others do not. But which of these approaches is the right one? How should science conceptualize the world? And what is the relation between the various accounts? Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in, or eliminated by, the basic-level theory. According to this view, higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. It was the aim of the first Sydney–Tilburg conference on “Reduction and the Special Sciences”, which took place at the Tilburg Center for Logic and Philosophy of Science (TiLPS) in Tilburg, The Netherlands, over the 10–12th April 2008, to bring researchers working on these questions together and provide a platform to discuss them in a focused way. The papers in this special issue were presented at this conference. We would like to thank the Royal Netherlands Academy of Art and Sciences (KNAW), the Sydney Centre for the Foundations of Science at the University of Sydney and TiLPS for financial and institutional support. We also thank the authors and referees of the papers for their work, and Hans Rott for his support of this project.

The aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on those propositions has recently drawn much attention. Seemingly reasonable aggregation procedures, such as propositionwise majority voting, cannot ensure an equally consistent collective conclusion. The literature on judgment aggregation refers to that problem as the discursive dilemma. In this paper, we motivate that many groups do not only want to reach a factually right conclusion, but also want to correctly evaluate the reasons for that conclusion. In other words, we address the problem of tracking the true situation instead of merely selecting the right outcome. We set up a probabilistic model analogous to Bovens and Rabinowicz (2006) and compare several aggregation procedures by means of theoretical results, numerical simulations and practical considerations. Among them are the premise-based, the situation-based and the distance-based procedure. Our findings confirm the conjecture in Hartmann, Pigozzi and Sprenger (2008) that the premise-based procedure is a crude, but reliable and sometimes even optimal form of judgment aggregation.

Bayesianism is our leading theory of uncertainty. Epistemology is defined as the theory of knowledge. So “Bayesian Epistemology” may sound like an oxymoron. Bayesianism, after all, studies the properties and dynamics of degrees of belief, understood to be probabilities. Traditional epistemology, on the other hand, places the singularly non-probabilistic notion of knowledge at centre stage, and to the extent that it traffics in belief, that notion does not come in degrees. So how can there be a Bayesian epistemology?

Social epistemology is a relatively new and booming field of research. It studies the social dimension of the pursuit of acquiring true beliefs and requires philosophical as well as sociological and economic expertise. The insights gained in social epistemology are not only of theoretical interest; they also improve our understanding of social and political processes, as the field includes the analysis of group deliberation and group decision-making. However, surprisingly little work has so far been done on the epistemic properties of group deliberation, belief aggregation, and decision-making procedures. To close this gap, the construction and analysis of formal models are especially promising as formal modeling combines representational adequacy with instructive analytical results. This special issue collects papers that follow this strategy from the point of view of different disciplines.

Nancy Cartwright is one of the most distinguished and influential contemporary philosophers of science. Despite the profound impact of her work, there is neither a systematic exposition of Cartwright’s philosophy of science nor a collection of articles that contains in-depth discussions of the major themes of her philosophy. This book is devoted to a critical assessment of Cartwright’s philosophy of science and contains contributions from Cartwright's champions and critics. Broken into three parts, the book begins by addressing Cartwright's views on the practice of model building in science and the question of how models represent the world before moving on to a detailed discussion of methodologically and metaphysically challenging problems. Finally, the book addresses Cartwright's original attempts to clarify profound questions concerning the metaphysics of science. With contributions from leading scholars, such as Ronald N. Giere and Paul Teller, this unique volume will be extremely useful to philosophers of science the world over.

One of the major problems that artificial intelligence needs to tackle is the combination of different and potentially conflicting sources of information. Examples are multi-sensor fusion, database integration and expert systems development. In this paper we are interested in the aggregation of propositional logic-based information, a problem recently addressed in the literature on information fusion. It has applications in multi-agent systems that aim at aggregating the distributed agent-based knowledge into an (ideally) unique set of propositions. We consider a group of autonomous agents who individually hold a logically consistent set of propositions. Each set of propositions represents an agent’s beliefs on issues on which the group has to make a collective decision. To make the collective decision, several aggregation procedures have been proposed in the literature. Assuming that all propositions in question are factually right or wrong, we ask how good belief fusion is as a truth tracker. Will it single out the true set of propositions? And how does information fusion compare with other aggregation procedures? We address these questions in a probabilistic framework and show that information fusion does especially well for agents with a middling competence of hitting the truth of an individual proposition.