Stephan Hartmann

Fundamental theories are hard to come by. But even if we had them, they would be too complicated to apply. Quantum chromodynamics is a case in point. This theory is supposed to govern all strong interactions, but it is extremely hard to apply and test at energies where protons, neutrons and ions are the effective degrees of freedom. Instead, scientists typically use highly idealized models such as the MIT Bag Model or the Nambu Jona-Lasinio Model to account for phenomena in this domain, to explain them and to gain nderstanding. Based on these models, which typically isolate a single feature of QCD and disregard many others, scientists attempt to get a better understanding of the physics of strong interactions. But does this practice make sense? Is it justified to use these models for the purposes at hand? Interestingly, these models do not even provide an accurate description of the mass spectrum of protons, neutrons and pions and their lowest lying excitations well - despite several adjustable parameters. And yet, the models are heavily used. I'll argue that a qualitative story, which establishes an explanatory link between the fundamental theory and a model, plays an important role in model acceptance in these cases

This paper explores various functions of idealizations in quantum field theory. To this end it is important to first distinguish between different kinds of theories and models of or inspired by quantum field theory. Idealizations have pragmatic and cognitive functions. Analyzing a case-study from hadron physics, I demonstrate the virtues of studying highly idealized models for exploring the features of theories with an extremely rich structure such as quantum field theory and for gaining some understanding of the physical processes in the system under consideration.

Equal and proportional representation are two poles of a continuum of models of representation for the assembly of a federation of states. The choice of a model has repercussions on the welfare distribution in the federation. We determine, first by means of Monte Carlo simulations, what welfare distributions result after assemblies that were constituted on the basis of different models of representation have considered a large number of motions. We assess what model of representation is favored by a Rawlsian maximin measure and by the utilitarian measure and present matching analytical results for the utilitarian measure for a slightly idealized case. Our results show that degressive proportionality can be justified as a compromise between maximin and utilitarian considerations. There is little surprise in this result. What is more surprising, however, is that, within certain contexts of evaluation, degressive proportionality can also be justified on strictly utilitarian grounds

Bayesian Coherence Theory of Justification or, for short, Bayesian Coherentism, is characterized by two theses, viz. (i) that our degree of confidence in the content of a set of propositions is positively affected by the coherence of the set, and (ii) that coherence can be characterized in probabilistic terms. There has been a longstanding question of how to construct a measure of coherence. We will show that Bayesian Coherentism cannot rest on a single measure of coherence, but requires a vector whose components exhaustively characterize the coherence properties of the set. Our degree of confidence in the content of the information set is a function of the reliability of the sources and the components of the coherence vector. The components of this coherence vector are weakly but not strongly separable, which blocks the construction of a single coherence measure.

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.