Stephan Hartmann

We appeal to the theory of Bayesian Networks to model different strategies for obtaining confirmation for a hypothesis from experimental test results provided by less than fully reliable instruments. In particular, we consider (i) repeated measurements of a single test consequence of the hypothesis, (ii) measurements of multiple test consequences of the hypothesis, (iii) theoretical support for the reliability of the instrument, and (iv) calibration procedures. We evaluate these strategies on their relative merits under idealized conditions and show some surprising repercussions on the variety-of-evidence thesis and the Duhem-Quine thesis.

Fundamental aspects of modern life owe their existence to the achievements of scientific reason. In other words, science is an integral element of the modern world and simultaneously the epitome of the rational nature of a technical culture that makes up the essence of the modern world. Without science, the modern world would lose its very nature and modern society its future. Right from the start, physics forms the core of European scientific development. It is the original paradigm of science, the foundation of technology and a constitutive part of a rational culture. It will remain a model methodological discipline in the future and its strengths will be used fruitfully in interdisciplinary and transdisciplinary collaboration.

Computer simulations have changed the face of many scientific disciplines. This has attracted the attention of a number of philosophers of science, who have started discussing the philosophical implications of the use of computational methods in science. It was the aim of the conference Models and Simulations that took place at the IHPST in Paris, France, on 12 and 13 June 2006 to bring researchers working in this field together and provide a platform to discuss these issues in a focused way. The papers in this special issue were presented at this conference. We would like to thank the IHPST and the CNRS (département SHS, ATIP “Physique et Calcul”) for generous financial support of the conference. We also would like to thank the authors and referees of the papers for their work, and Vincent Hendricks and John Symons for their support of the project of a special issue of this journal to the topic of the conference.

How does a predecessor theory relate to its successor? According to Heinz Post’s General Correspondence Principle, the successor theory has to account for the em- pirical success of its predecessor. After a critical discussion of this principle, I outline and discuss various kinds of correspondence relations that hold between successive scientific theories. I then look in some detail at a case study from contemporary physics: the various proposals for a theory of high-temperature superconductivity. The aim of this case study is to understand better the prospects and the place of a methodological principle such as the Generalized Correspondence Principle. Generalizing from the case study, I will then argue that some such principle has to be considered, at best, as one tool that might guide scientists in their theoriz- ing. Finally I present a tentative account of why principles such as the Generalized Correspondence Principle work so often and why there is so much continuity in scientific theorizing.

Wann ist Kohärenz ein Indiz für Wahrheit? Können Informationsmengen immer entsprechend ihrer Kohärenz geordnet werden? Welche Rolle spielt Kohärenz bei der Theoriewahl in der Wissenschaft? Unter welchen Umständen kann eine wissenschaftliche Theorie mit nur teilweise zuverlässigen Messinstrumenten bestätigt werden? Ist die Belegvielfaltsthese wahr? Warum sind übereinstimmende Aussagen unabhängiger Zeugen so gewichtig? Dies sind einige der Fragen, die in diesem Buch in einem wahrscheinlichkeitstheoretischen Kontext und auf der Grundlage konkreter Modelle behandelt werden. Darüber hinaus bietet das Buch eine elementare Einführung in die Theorie der Bayesianischen Netzwerke und zeigt Verbindungen auf zu Debatten in der Kognitionswissenschaft (Tversky und Kahnemans Linda Problem), Sozialwahltheorie (Condorcet Jury Theorem) und Informatik (Repräsentation von Glaubenssystemen). Das Buch richtet sich an alle, die sich für die Anwendung wahrscheinlichkeitstheoretischer Methoden in der Philosophie interessieren.

Life-science phenomena are often explained by specifying the mechanisms that bring them about. The new mechanistic philosophers have done much to substantiate this claim and to provide us with a better understanding of what mechanisms are and how they explain. Although there is disagreement among current mechanists on various issues, they share a common core position and a seeming commitment to some form of scientific realism. But is such a commitment necessary? Is it the best way to go about mechanistic explanation? In this article, we propose an alternative antirealist account that also fits explanatory practice in the life sciences. We pay special attention to mechanistic models, i.e. scientific models that involve a mechanism, and to the role of coherence considerations in building such models. To illustrate our points, we consider the mechanism for the action potential. 1 Introduction2 Some Core Features of Mechanistic Explanation3 Scientific Realism and Mechanistic Explanation4 Antirealist Mechanistic Explanation: The Case of the Action Potential5 Some Outstanding Issues for the Antirealist Mechanist6 Two Problems for the Realist Mechanist7 Conclusions.

Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it does not re- place it or aim at replacing it.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.

Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. In this paper, we present a model of a new type of intertheoretic relation, called 'Montague Reduction', which is assumed in Montague's framework for the analysis and interpretation of natural language syntax. To motivate the adoption of our new model, we show that this model extends the scope of application of the Nagelian (or related) models, and that it shares the epistemological advantages of the Nagelian model. The latter is achieved in a Bayesian framework.

Der Begriff ‘Modell’ leitet sich vom Lateinischen ‘modulus’ (das Maß) ab, im Italienischen existiert seit dem 16. Jh. ‘modello’ und R. Descartes verwendet im 17. Jh. ‘modèlle’. Während der Begriff in Architektur und Kunst schon seit der Renaissance gängig ist, wird er in den Naturwissenschaften erst im 19. Jh. verwendet.1 Dort greifen wissenschaftliche Modelle die für eine gegebene Problemstellung als wesentlich erachteten Charakteristika (Eigenschaften, Beziehungen, etc.) eines Untersuchungsgegenstandes heraus und machen diesen so einem Verständnis bzw. einer weiterführenden Untersuchung zugänglich. Es ist üblich, zwischen Skalenmodellen, Analogmodellen und theoretischen Modellen zu unterscheiden.

A federal assembly consists of a number of representatives for each of the nations (states, Länder, cantons,...) that make up the federation. How many representatives should each nation receive? What makes this issue worth quibbling about is that the model of representation that is instituted will have an impact on the welfare distribution over the nations in the federation that will ensue over due course. We will investigate what models of representation yield welfare distributions that score higher on a utilitarian measure. First, we construct a continuum of models of representation ranging from equal to proportional representation. In between these extremes are models of degressive proportionality. We run a Monte-Carlo simulation in which a large number of motions are voted up or down within different contexts of evaluation and investigate how well the resulting welfare distributions score on the utilitarian measure. Subsequently, we will provide matching analytical results for a slightly idealized case. We conclude with a discussion of the significance of our results and of the role of simulations and analytical results and point to further work.

Here P is the density operator of the system under consideration, and σ ± and σ 3 are the usual Pauli matrices, acting on atom i whose states are |1 > or |0 >, representing, respectively, the atom being in an excited state or in the ground state. B and C are appropriate decay constants and s has been called the pumping parameter [1]. It varies from s = 0 for pure damping to s = 1 for full laser action. To solve the corresponding quantum master equations, three approaches have been taken: First, one focuses on the case of one atom. Second, one truncates eq. (1) and derives semi-classical models. Third, one employs numerical simulation methods such as the quantum trajectory method. While the latter method is very popular, it should be noted that the numerical complexity of the problem increases exponentially with the number of atoms, and so numerical methods soon become unfeasible.

In a famous experiment by Tversky and Kahneman (Psychol Rev 90:293–315, 1983), featuring Linda the bank teller, the participants assign a higher probability to a conjunction of propositions than to one of the conjuncts, thereby seemingly committing a probabilistic fallacy. In this paper, we discuss a slightly different example featuring someone named Walter, who also happens to work at a bank, and argue that, in this example, it is rational to assign a higher probability to the conjunction of suitably chosen propositions than to one of the conjuncts. By pointing out the similarities between Tversky and Kahneman’s experiment and our example, we argue that the participants in the experiment may assign probabilities to the propositions in question in such a way that it is also rational for them to give the conjunction a higher probability than one of the conjuncts

There is a long philosophical tradition of addressing questions in philosophy of science and epistemology by means of the tools of Bayesian probability theory (see Earman (1992) and Howson and Urbach (1993)). In the late '70s, an axiomatic approach to conditional independence was developed within a Bayesian framework. This approach in conjunction with developments in graph theory are the two pillars of the theory of Bayesian Networks, which is a theory of probabilistic reasoning in artificial intelligence. The theory has been very successful over the last two decades and has found a wide array of applications ranging from medical diagnosis to safety systems for hazardous industries.

The variety of evidence thesis in confirmation theory states that more varied supporting evidence confirms a hypothesis to a greater degree than less varied evidence. Under a very plausible interpretation of this thesis, positive test results from multiple independent instruments confirm a hypothesis to a greater degree than positive test results from a single instrument. We invoke Bayesian Networks to model confirmation on grounds of evidence that is obtained from less than fully reliable instruments and show that the variety of evidence thesis is not sacrosanct when testing is conducted with less than fully reliable instruments: under certain conditions, a hypothesis receives more confirmation from evidence that is obtained from one rather than from more independent instruments. In the appendix, we prove certain convergence results for large numbers of positive test results from single versus multiple less than fully reliable instruments.