The applicability of Bayesian conditionalization in setting one’s posterior probability for a proposition, α, is limited to cases where the value of a corresponding prior probability, PPRI(α|∧E), is available, where ∧E represents one’s complete body of evidence. In order to extend probability updating to cases where the prior probabilities needed for Bayesian conditionalization are unavailable, I introduce an inference schema, defeasible conditionalization, which allows one to update one’s personal probability in a proposition by conditioning on a proposition that represents a (...) proper subset of one’s complete body of evidence. While defeasible conditionalization has wider applicability than standard Bayesian conditionalization (since it may be used when the value of a relevant prior probability, PPRI(α|∧E), is unavailable), there are circumstances under which some instances of defeasible conditionalization are unreasonable. To address this difficulty, I outline the conditions under which instances of defeasible conditionalization are defeated. To conclude the article, I suggest that the prescriptions of direct inference and statistical induction can be encoded within the proposed system of probability updating, by the selection of intuitively reasonable prior probabilities. (shrink)

The two concepts of probability used in physics are analyzed from the formal and the material points of view. The standard theory corresponds toprob 1 (probability of the coexistence of two properties). A general logicomathematical theory ofprob 2 (probability of transition between states) is presented in axiomatic form. The underlying state algebra is neither Boolean nor Birkhoff-von Neumann but partial Boolean. In the Boolean subalgebras,prob 1 theory holds. The theory presented contains the logicomathematical foundations of quantum mechanics and, as degenerate (...) cases, the theories of stochastic games and of Markov chains. (shrink)

I evaluate Schurz's proposed meta-inductive justification of induction, a refinement of Reichenbach's pragmatic justification that rests on results from the machine learning branch of prediction with expert advice. My conclusion is that the argument, suitably explicated, comes remarkably close to its grand aim: an actual justification of induction. This finding, however, is subject to two main qualifications, and still disregards one important challenge. The first qualification concerns the empirical success of induction. Even though, I argue, Schurz's argument does not need (...) to spell out what inductive method actually consists in, it does need to postulate that there is something like the inductive or scientific prediction strategy that has so far been significantly more successful than alternative approaches. The second qualification concerns the difference between having a justification for inductive method and for sticking with induction for now. Schurz's argument can only provide the latter. Finally, the remaining challenge concerns the pool of alternative strategies, and the relevant notion of a meta-inductivist's optimality that features in the analytic step of Schurz's argument. Building on the work done here, I will argue in a follow-up paper that the argument needs a stronger dynamic notion of a meta-inductivist's optimality. (shrink)

Algorithmic information theory gives an idealized notion of compressibility that is often presented as an objective measure of simplicity. It is suggested at times that Solomonoff prediction, or algorithmic information theory in a predictive setting, can deliver an argument to justify Occam’s razor. This article explicates the relevant argument and, by converting it into a Bayesian framework, reveals why it has no such justificatory force. The supposed simplicity concept is better perceived as a specific inductive assumption, the assumption of effectiveness. (...) It is this assumption that is the characterizing element of Solomonoff prediction and wherein its philosophical interest lies. (shrink)

Putnam construed the aim of Carnap’s program of inductive logic as the specification of a “universal learning machine,” and presented a diagonal proof against the very possibility of such a thing. Yet the ideas of Solomonoff and Levin lead to a mathematical foundation of precisely those aspects of Carnap’s program that Putnam took issue with, and in particular, resurrect the notion of a universal mechanical rule for induction. In this paper, I take up the question whether the Solomonoff–Levin proposal is (...) successful in this respect. I expose the general strategy to evade Putnam’s argument, leading to a broader discussion of the outer limits of mechanized induction. I argue that this strategy ultimately still succumbs to diagonalization, reinforcing Putnam’s impossibility claim. (shrink)

Ever since the first meeting of the proponents of the emerging Logical Empiricism in 1923, there existed philosophical differences as well as personal rivalries between the groups in Berlin and Vienna, headed by Hans Reichenbach and Moritz Schlick, respectively. Early theoretical tensions between Schlick and Reichenbach were caused by Reichenbach's (neo) Kantian roots (esp. his version of the relativized a priori), who himself regarded the Vienna Circle as a sort of anti-realist "positivist school"—as he described it in his Experience and (...) Prediction (1938). One result of this divergence was Schlick's preference of Carnap over Reichenbach for a position at the University of Vienna (in 1926), and his decision not to serve as a co-editor with Reichenbach for the journal Erkenntnis that they jointly established in 1930 (which was then co-edited by Carnap and Reichenbach from 1930 to 1938). A second split rooted in different views on induction and probability, which culminated in the Hans Reichenbach's refusal to serve as an invited author on probability within the International Encyclopedia of Unified Science series ed. by Rudolf Carnap, Charles Morris and Otto Neurath from 1938 onwards. In this regard it is remarkable that also Richard von Mises, who was the second leading figure of Logical Empiricism in Turkish exile, criticized the theory of probability put forward by his former Berlin colleague. In this paper I analyse this controversial exchange, drawing on the relevant correspondence and asking whether these (meta) philosophical differences were a typical feature of the pluralism inherent in Logical Empiricism in general. (shrink)

Ever since the first meeting of the proponents of the emerging Logical Empiricism in 1923, there existed philosophical differences as well as personal rivalries between the groups in Berlin and Vienna, headed by Hans Reichenbach and Moritz Schlick, respectively. Early theoretical tensions between Schlick and Reichenbach were caused by Reichenbach’s Kantian roots, who himself regarded the Vienna Circle as a sort of anti-realist “positivist school”—as he described it in his Experience and Prediction. One result of this divergence was Schlick’s preference (...) of Carnap over Reichenbach for a position at the University of Vienna, and his decision not to serve as a co-editor with Reichenbach for the journal Erkenntnis that they jointly established in 1930. A second split rooted in different views on induction and probability, which culminated in the Hans Reichenbach’s refusal to serve as an invited author on probability within the International Encyclopedia of Unified Science series ed. by Rudolf Carnap, Charles Morris and Otto Neurath from 1938 onwards. In this regard it is remarkable that also Richard von Mises, who was the second leading figure of Logical Empiricism in Turkish exile, criticized the theory of probability put forward by his former Berlin colleague. In this paper I analyse this controversial exchange, drawing on the relevant correspondence and asking whether these philosophical differences were a typical feature of the pluralism inherent in Logical Empiricism in general. (shrink)

A proposal for an objective interpretation of probability is introduced and discussed: probabilities as deriving from ranges in suitably structured initial-state spaces. Roughly, the probability of an event on a chance trial is the proportion of initial states that lead to the event in question within the space of all possible initial states associated with this type of experiment, provided that the proportion is approximately the same in any not too small subregion of the space. This I would like to (...) call the “natural-range conception” of probability. Providing a substantial alternative to frequency or propensity accounts of probability in a deterministic setting, it is closely related to the so-called “method of arbitrary functions”. It is explicated, confronted with certain problems, and some ideas how these might be overcome are sketched and discussed. (shrink)

A conception of probability that can be traced back to Johannes von Kries is introduced: the “Spielraum” or range conception. Its close connection to the so-called method of arbitrary functions is highlighted. Possible interpretations of it are discussed, and likewise its scope and its relation to certain current interpretations of probability. Taken together, these approaches form a class of interpretations of probability in its own right, but also with its own problems. These, too, are introduced, discussed, and proposals in response (...) to them are surveyed, some of which also go back to von Kries. (shrink)

Hume argued that inductive inferences do not have rational justification. My aim is to reject Hume's argument. The discussion is partly motivated by an analogy with Carroll's Paradox, which concerns deductive inferences. A first radically externalist reply to Hume is that justified inductive inferences do not require the subject to know that nature is uniform, though the uniformity of nature is necessary condition for having the justification. But then the subject does not have reasons for believing what she believes. I (...) defend a moderate externalist account that seeks to partly accommodate that objection to the radical externalist proposal. It is based on an extension of Peacocke's theory of concepts: possession conditions for predicative concepts standing for natural properties include dispositions to project them to new cases in accordance with inductive inferential patterns. (shrink)

In recent years, Reichenbach's 1920 conception of the principles of coordination has attracted increased attention after Michael Friedman's attempt to revive Reichenbach's idea of a "relativized a priori". This paper follows the origin and development of this idea in the framework of Reichenbach's distinction between the axioms of coordination and the axioms of connection. It suggests a further differentiation among the coordinating axioms and accordingly proposes a different account of Reichenbach's "relativized a priori".

Hume argued that inductive inferences do not have rational justification. My aim is to reject Hume’s argument. The discussion is partly motivated by an analogy with Carroll’s Paradox, which concerns deductive inferences. A first radically externalist reply to Hume (defended by Dauer and Van Cleve) is that justified inductive inferences do not require the subject to know that nature is uniform, though the uniformity of nature is a necessary condition for having the justification. But then the subject does not have (...) reasons for believing what she believes. I defend a moderate externalist account that seeks to partly accommodate that objection to the radical externalist proposal. It is based on an extension of Peacocke’s theory of concepts: possession conditions for predicative concepts standing for natural properties include (fallible) dispositions to project them to new cases in accordance with inductive inferential patterns. (shrink)

The paper considers the legal tools that have been developed in German pharmaceutical regulation as a result of the precautionary attitude inaugurated by the Contergan decision. These tools are the notion of “well-founded suspicion”, which attenuates the requirements for safety intervention by relaxing the requirement of a proved causal connection between danger and source, and the introduction of the reversal of proof burden in liability norms. The paper focuses on the first and proposes seeing the precautionary principle as an instance (...) of the requirement that one should maximise expected utility. In order to maximise expected utility certain probabilities are required and it is argued that objective Bayesianism offers the most plausible means to determine the optimal decision in cases where evidence supports diverging choices. (shrink)

Reichenbach emphasizes the central importance of prediction, which is—for him—the principal aim of science. This paper offers a critical reconstruction of his concept of prediction, taking into account the different periods of his thought. First, prediction is studied as a key factor in rejecting the positivism of the Vienna Circle. This part of the discussion concentres on the general features of prediction before Experience and Prediction (EP) (section 1). Second, prediction is considered in the context of Reichenbach's disagreements with his (...) contemporaries—Carnap and Popper—(section 2). Pointing out these differences gives an additional basis for understanding how Reichenbach saw “prediction” in the period when EP was written. Third, Reichenbach's theoretical framework of prediction is analysed following EP. This analysis studies the semantical, logical, epistemological and methodological bases of his concept of prediction (section 3). Fourth, Reichenbach's conception of prediction, based on an objectivist interpretation of probabilities, is compared with the perspective on prediction of subjective Bayesians (the present personalists). This comparison (section 4) illustrates Reichenbach's views regarding the links of prediction with probability. Fifth, innovations and elements of continuity after EP are noted which give a more complete picture of Reichenbach's thought on prediction (section 5). This contributes to a comprehensive characterization of his concept of prediction. Finally, there is an assessment of his whole view of the matter and a presentation of the ingredients for a satisfactory alternative (section 6). (shrink)

One of the first to criticize the verifiability theory of meaning embraced by logical empiricists, Reichenbach ties the significance of scientific statements to their predictive character, which offers the condition for their testability. While identifying prediction as the task of scientific knowledge, Reichenbach assigns induction a pivotal role, and regards the theory of knowledge as a theory of prediction based on induction. Reichenbach's inductivism is grounded on the frequency notion of probability, of which he prompts a more flexible version than (...) that of Richard von Mises. Unlike von Mises, Reichenbach attempts to account for single case probabilities, and entertains a restricted notion of randomness, more suitable for practical purposes. Moreover, Reichenbach developed a theory of induction, absent from von Mises's perspective, and argued for the justification of induction. This article outlines the main traits of Reichenbach's inductivism, with special reference to his book Experience and prediction. (shrink)

One of the first to criticize the verifiability theory of meaning embraced by logical empiricists, Reichenbach ties the significance of scientific statements to their predictive character, which offers the condition for their testability. While identifying prediction as the task of scientific knowledge, Reichenbach assigns induction a pivotal role, and regards the theory of knowledge as a theory of prediction based on induction. Reichenbach’s inductivism is grounded on the frequency notion of probability, of which he prompts a more flexible version than (...) that of Richard von Mises. Unlike von Mises, Reichenbach attempts to account for single case probabilities, and entertains a restricted notion of randomness, more suitable for practical purposes. Moreover, Reichenbach developed a theory of induction, absent from von Mises’s perspective, and argued for the justification of induction. This article outlines the main traits of Reichenbach’s inductivism, with special reference to his book Experience and prediction. (shrink)

The aim of this article is twofold. First, we shall review and analyse the neo-kantian justification for the application of probabilistic concepts in science that was defended by Hans Reichenbach early in his career, notably in his dissertation of 1916. At first sight this kantian approach seems to contrast sharply with Reichenbach’s later logical positivist, frequentist viewpoint. But, and this is our second goal, we shall attempt to show that there is an underlying continuity in Reichenbach’s thought: typical features of (...) his early kantian conceptions can still be recognized in his later work. (shrink)

The empirical underdetermination of theories is a philosophical problem which until the last century has not seriously troubled actual science. The reason is that confirmation does not depend only on empirical consequences, and theoretical virtues allow to choose among empirically equivalent theories. Moreover, I argue that the theories selected in this way are not just pragmatically or aesthetically better, but more probably true. At present in quantum mechanics not even theoretical virtues allow to choose among many competing theories and interpretations, (...) but this is because none of them possess those virtues to a sufficient degree. However, first, we can hope for some future advancement. Second, even if no further progress came forth, all the most credited competitors agree on a substantial core of theoretical assumptions. Therefore underdetermination does not show that we cannot be realist on unobservable entities in general, but at most that in particular fields our inquiry may encounter some de facto limits. (shrink)

I would like to assume that Reichenbach's distinction of Justification and Discovery lives on, and to seek arguments in his texts that would justify their relevance in this field. The persuasive force of these arguments transcends the contingent circumstances apart from which their genesis and local transmission cannot be made understandable. I shall begin by characterizing the context distinction as employed by Reichenbach in "Experience and Prediction" to differentiate between epistemology and science (1). Following Thomas Nickles and Kevin T. Kelly, (...) one can distinguish two meanings of the context distinction in Reichenbach's work. One meaning, which is primarily to be found in the earlier writings, conceives of scientific discoveries as potential objects of epistemological justification. The other meaning, typical for the later writings, removes scientific discoveries from the possible domain of epistemology. The genesis of both meanings, which demonstrates the complexity of the relationships obtaining between epistemology and science, can be made understandable by appealing to the historical context (2). Both meanings present Reichenbach with the task of establishing the autonomy of epistemology through the justification of induction. Finally, I shall expound this justification and address some of its elements of rationality characterizing philosophy of science(3). (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)