Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored in (...) the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (shrink)

Ernest Nagel played a key role in bridging the gap between American philosophy and logical empiricism. He introduced European philosophy of science to the American philosophical community but also remained faithful to the naturalism of his teachers. This paper aims to shed new light on Nagel’s intermediating endeavors by reconstructing his philosophical development in the late 1920s and 1930s. This is a decisive period in Nagel’s career because it is the phase in which he first formulated the principles of his (...) naturalism and spent a year in Europe to visit the key centers of logical empiricism. Building on a range of published and unpublished papers, notes, and correspondence—including hundreds of pages of letters to his close friend Sidney Hook—I reconstruct Nagel’s philosophical development, focusing especially on the philosophical influence of John Dewey, Morris R. Cohen, Rudolf Carnap, and Hans Reichenbach. (shrink)

This is my personal homepage. Find my philosophical papers under "Philosophy".

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)

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)

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)

It is shown that by realizing the isomorphism features of the frequency and geometric interpretations of probability, Reichenbach comes very close to the idea of identifying mathematical probability theory with measure theory in his 1949 work on foundations of probability. Some general features of Reichenbach’s axiomatization of probability theory are pointed out as likely obstacles that prevented him making this conceptual move. The role of isomorphisms of Kolmogorovian probability measure spaces is specified in what we call the “Maxim of Probabilism”, (...) which states that a necessary condition for a concept to be probabilistic is its invariance with respect to measure-theoretic isomorphisms. The functioning of the Maxim of Probabilism is illustrated by the example of conditioning via conditional expectations. (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".

Hans Reichenbach’s position in the debate over scientific realism is remarkable. On the one hand, he endorsed the programmatic premises of logical empiricism; on the other, he explicitly employed a realist approach to conceptions such as reference, causality, and inference to the best explanation. How could that work out? It will be shown in the present paper that in Reichenbach’s view scientific realism is not, as frequently assumed, opposed to logical empiricism but rather to logical positivism. A distinction without a (...) difference? Not at all, at least for Reichenbach. As is well known, his particular—probabilistic—variant of logical empiricism was intended to circumvent what he considered the shortcomings of the Vienna Circle’s verificationist approach to the language of science. In Experience and Prediction, Reichenbach became most explicit in this regard. However, I shall argue that his position remained notoriously unstable in the end. It oscillated between a full-fledged scientific realist reading and an eminently pragmatist reading. Nevertheless, Reichenbach’s contribution proved instrumental in preparing subsequent efforts at reconciling logical empiricism and scientific realism. (shrink)

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...) algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects. (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)

I became acquainted with Lakatos’s work in 1965 when I started studying at London School of Economics—where Lakatos taught. As his work was developed over the succeeding years until his death in 1974, one thing always puzzled me: his work seemed to contain such conflicting tendencies. He would continue developing his ideas along a progressive line, and suddenly would insert an element which appeared to me quite reactionary. By ‘reactionary’, I should hasten to add, I mean imbued with the spirit (...) of Positivism—a person of different bias might reverse the labels!When I was given this opportunity to reflect again on Lakatos’s work I did not try to resolve the puzzle by looking into Lakatos’s intellectual history1; rather I attempted to separate clearly those aspects of Lakatos’s work which seemed to me driving in the right and the wrong directions. Both aspects concern the research program which has dominated both philosophy of science and philosophy of mathematics in the twentieth century. (shrink)

Eells and Sober proved in 1983 that screening off is a sufficient condition for the transitivity of probabilistic causality, and in 2003 Shogenji noted that the same goes for probabilistic support. We start this paper by conjecturing that Hans Reichenbach may have been aware of this fact. Then we consider the work of Suppes and Roche, who demonstrated in 1986 and 2012 respectively that screening off can be generalized, while still being sufficient for transitivity. We point out an interesting difference (...) between Reichenbach’s screening off and the generalized version, which we illustrate with an example about haemophilia among the descendants of Queen Victoria. Finally, we embark on a further generalization: we develop a still weaker condition, one that can be made as weak as one wishes. (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)