This chapter has two objectives. The first is to clarify Aristotle’s view of the first principles of the sciences. The second is to stake out a critical position with respect to this view. The paper sketches an alternative to Aristotle’s intuitionism based in part on the use of quantitative inductive logics.

‘Probability logic’ might seem like an oxymoron. Logic traditionally concerns matters immutable, necessary and certain, while probability concerns the uncertain, the random, the capricious. Yet our subject has a distinguished pedigree. Ramsey begins his classic “Truth and Probability” with the words: “In this essay the Theory of Probability is taken as a branch of logic. … “speaks of “the logic of the probable.” And more recently, regards probabilities as estimates of truth values, and thus probability theory as a natural outgrowth (...) of two‐valued logic—what he calls “probability logic.” However the point is put, probability theory and logic are clearly intimately related. This chapter explores some of the multifarious connections between probability and logic, and focuses on various philosophical issues in the foundations of probability theory. (shrink)

Theories of truth approximation in terms of truthlikeness almost always deal with approaching deterministic truths, either actual or nomic. This paper deals first with approaching a probabilistic nomic truth, viz. a true probability distribution. It assumes a multinomial probabilistic context, hence with a lawlike true, but usually unknown, probability distribution. We will first show that this true multinomial distribution can be approached by Carnapian inductive probabilities. Next we will deal with the corresponding deterministic nomic truth, that is, the set of (...) conceptually possible outcomes with a positive true probability. We will introduce Hintikkian inductive probabilities, based on a prior distribution over the relevant deterministic nomic theories and on conditional Carnapian inductive probabilities, and first show that they enable again probabilistic approximation of the true distribution. Finally, we will show, in terms of a kind of success theorem, based on Niiniluoto’s estimated distance from the truth, in what sense Hintikkian inductive probabilities enable the probabilistic approximation of the relevant deterministic nomic truth. In sum, the truth approximation perspective on Carnapian and Hintikkian inductive probabilities leads to the unification of the inductive probability field and the field of truth approximation. (shrink)

The discussion about the Raven Paradox is ever-renewing: after nearly 70 years, many authors propose from time to time new solutions, and many authors state that these solutions are unsatisfactory. It is worthy to be carefully noted that though most arguments in favor or against the paradox are based on the notion of “probability” and on the application of Bayes’ law, not one of them makes use of the Kolmogorov axiomatic theory of probability and on the subsequent notion of “random (...) variable”. This seems to be due to a preference for the purely logical interpretation of the notion of “probability” which makes it possible to assign a probability value to propositions expressing natural (universal) laws. This paper aims at presenting an attempt to contribute a solution to the paradox by the proposal of a different way to express universal natural laws and by the use of a language which does not allow one to apply probability to universal statements. (shrink)

This volume recreates the received notion of reflective equilibrium. It reconfigures reflective equilibrium as both a cognitive ideal and a method for approximating this ideal. The ideal of reflective equilibrium is restructured using the concept of discursive strata, which are formed by sentences and differentiated by function. Sentences that perform the same kind of linguistic function constitute a stratum. The book shows how moral discourse can be analyzed into phenomenal, instrumental, and teleological strata, and the ideal of reflective equilibrium reworked (...) in these terms. In addition, the work strengthens the method of reflective equilibrium by harnessing the resources of decision theory and inductive logic. It launches a comparative version of decision theory and employs this framework as a guide to moral theory choice. It also recruits quantitative inductive logic to inform a standard of inductive cogency. When used in tandem with comparative decision theory, this standard can aid in the effort to turn the undesirable condition of reflective disequilibrium into reflective equilibrium. (shrink)

Some arguments are good; others are not. How can we tell the difference? This article advances three proposals as a partial answer to this question. The proposals are keyed to arguments conditioned by different degrees of uncertainty: mild, where the argument’s premises are hedged with point-valued probabilities; moderate, where the premises are hedged with interval probabilities; and severe, where the premises are hedged with non-numeric plausibilities such as ‘very likely’ or ‘unconfirmed’. For mild uncertainty, the article proposes to apply a (...) principle referred to as ‘Jeffrey’s rule’, for the principle is a generalization of Jeffrey conditionalization. For moderate uncertainty, the proposal is to extend Jeffrey’s rule for use with probability intervals. For severe uncertainty, the article proposes that even when lack of probabilistic information prevents the application of Jeffrey’s rule, the rule can be adapted to these conditions with the aid of a suitable plausibility measure. Together, the three proposals introduce an approach to argument evaluation that complements established frameworks for evaluating arguments: deductive soundness, informal logic, argumentation schemes, pragma-dialectics, and Bayesian inference. Nevertheless, this approach can be looked at as a generalization of the truth and validity conditions of the classical criterion for sound argumentation. (shrink)

This article discusses the classical problem of zero probability of universal generalizations in Rudolf Carnap’s inductive logic. A correction rule for updating the inductive method on the basis of evidence will be presented. It will be shown that this rule has the effect that infinite streams of uniform evidence assume a non-zero limit probability. Since Carnap’s inductive logic is based on finite domains of individuals, the probability of the corresponding universal quantification changes accordingly. This implies that universal generalizations can receive (...) positive prior and posterior probabilities, even for (countably) infinite domains. (shrink)

Vagueness is epistemic, according to some. Vagueness is ontological, according to others. This article deploys what I take to be a compromise position. Predicates are coined in specific contexts for specific purposes, but these limited practices do not automatically fix the extensions of predicates over the domain of all objects. The linguistic community using the predicate has rarely considered, much less decided, all questions that might arise about the predicate’s extension. To this extent, the ontological view is correct. But a (...) predicate that applies in some contexts can be reasonably extended to other contexts where it is initially vague. This process of development approximates the cognitive remedy for vagueness that the epistemic view prescribes. The process is piecemeal and inductive, akin to what von Wright described as the molding of concepts. Vagueness cannot be understood apart from the backdrop of classification, for vagueness is classification gone awry. Hence these pages explore the classification of particulars, both its clear successes and vague failures. How we classify unique particulars is the theme of Sections 2 and 3, which are primarily descriptive. Section 2 identifies a way of classifying particulars that pervades discourse of all sorts, and Section 3 illustrates its use in a field notorious for vagueness: ethics. Why a certain particular should (or should not) be classified in a certain way is a normative question, however, and it occupies Sections 4 and 5. Section 4 proposes a norm for strong arguments by analogy, and Section 5 illustrates how the norm might resolve vagueness in one kind of ethical dispute. This norm, which has a strong probabilistic component, is one way of affirming that probability is a guide to life. (shrink)

The nature of the distinction between rational andnon-rational accounts of the development of science isanalyzed. These two kinds of accounts differ mostlyin the status which they give to methodologicalprinciples. It is shown that there are severaldimensions with respect to which the status of suchprinciples can resemble more or less the kind ofstatus that a paradigmatic rational account would givethem. It is concluded that, under the most plausibledefinitions of a rational account, the extent to whicha philosophical account of scientific change isrational (...) is a matter of degree, and that there is nosuch clear distinction between the two kinds ofaccounts which some supporters of rational and ofnon-rational accounts have assumed to exist. (shrink)

In concrete applications of probability, statistical investigation gives us knowledge of some probabilities, but we generally want to know many others that are not directly revealed by our data. For instance, we may know prob(P/Q) (the probability of P given Q) and prob(P/R), but what we really want is prob(P/Q&R), and we may not have the data required to assess that directly. The probability calculus is of no help here. Given prob(P/Q) and prob(P/R), it is consistent with the probability calculus (...) for prob(P/Q&R) to have any value between 0 and 1. Is there any way to make a reasonable estimate of the value of prob(P/Q&R)? A related problem occurs when probability practitioners adopt undefended assumptions of statistical independence simply on the basis of not seeing any connection between two propositions. This is common practice, but its justification has eluded probability theorists, and researchers are typically apologetic about making such assumptions. Is there any way to defend the practice? This paper shows that on a certain conception of probability — nomic probability — there are principles of “probable probabilities” that license inferences of the above sort. These are principles telling us that although certain inferences from probabilities to probabilities are not deductively valid, nevertheless the second-order probability of their yielding correct results is 1. This makes it defeasibly reasonable to make the inferences. Thus I argue that it is defeasibly reasonable to assume statistical independence when we have no information to the contrary. And I show that there is a function Y(r,s:a) such that if prob(P/Q) = r, prob(P/R) = s, and prob(P/U) = a (where U is our background knowledge) then it is defeasibly reasonable to expect that prob(P/Q&R) = Y(r,s:a). Numerous other defeasible inferences are licensed by similar principles of probable probabilities.. (shrink)

Common probability theories only allow the deduction of probabilities by using previously known or presupposed probabilities. They do not, however, allow the derivation of probabilities from observed data alone. The question thus arises as to how probabilities in the empirical sciences, especially in medicine, may be arrived at. Carnap hoped to be able to answer this question byhis theory of inductive probabilities. In the first four sections of the present paper the above mentioned problem is discussed in general. After a (...) short presentation of Carnap''s theory it is then shown that this theory cannot claim validity for arbitrary random processes. It is suggested that the theory be only applied to binomial and multinomial experiments. By application of de Finetti''s theorem Carnap''s inductive probabilities are interpreted as consecutive probabilities of the Bayesian kind. Through the introduction of a new axiom the decision parameter can be determined even if no a priori knowledge is given. Finally, it is demonstrated that the fundamental problem of Wald''s decision theory, i.e., the determination of a plausible criterion where no a priori knowledge is available, can be solved for the cases of binomial and multinomial experiments. (shrink)

This paper studies the use of hypotheses schemes in generatinginductive predictions. After discussing Carnap–Hintikka inductive logic,hypotheses schemes are defined and illustrated with two partitions. Onepartition results in the Carnapian continuum of inductive methods, the otherresults in predictions typical for hasty generalization. Following theseexamples I argue that choosing a partition comes down to making inductiveassumptions on patterns in the data, and that by choosing appropriately anyinductive assumption can be made. Further considerations on partitions makeclear that they do not suggest any solution (...) to the problem of induction.Hypotheses schemes provide the tools for making inductive assumptions, but theyalso reveal the need for such assumptions. (shrink)

This article discusses the problem of non-zero probabilities for non-tautologous universal generalizations in Rudolf Carnap’s inductive logic when the domain of discourse is infinite. A solution is provided for a generalization of the form “all Xs are Ys”, for example “all ravens all black”. The solution is based on assuming that a significant part of the domain consists of non-Xs. This assumption can often be justified as a kind of ceteris paribus principle.

The λ-continuum of inductive methods was derived from an assumption, called λ-condition, which says that the probability of finding an individual having property $x_{j}$ depends only on the number of observed individuals having property $x_{j}$ and on the total number of observed individuals. So, according to that assumption, all individuals with properties which are different from $x_{j}$ have equal weight with respect to that probability and, in particular, it does not matter whether any individual was observed having some property similar (...) to $x_{j}$ (the most complete proof of this result is presented in Carnap, 1980). The problem thus remained open to find some general condition, weaker than the λ-condition, which would allow for the derivation of probability functions which might be sensitive to similarity. Carnap himself suggested a weakening of the λ-condition which might allow for similarity sensitive probability functions (Carnap, 1980, p. 45) but he did not find the family of probability functions derivable from that principle. The aim of this paper is to present the family of probability functions derivable from Carnap's suggestion and to show how it is derived. In Section 1 the general problem of analogy by similarity in inductive logic is presented, Section 2 outlines the notation and the conceptual background involved in the proof, Section 3 gives the proof, Section 4 discusses Carnap's principle and the result, Section 5 is a brief review of the solutions which have previously been proposed. (shrink)

How can the objectivity of an argument’s conclusion be determined? To propose an answer, this paper builds on Betz’s view of premises as hedged hypotheses. If an argument’s premises are hedged, its conclusion must be hedged as well. But how? The paper first introduces a two-dimensional critical grid. The grid’s vertical dimension is inductive, reflecting the argument’s downward flow from premises to conclusion. It specifies the inductive probability of the conclusion given the premises. The grid’s horizontal dimension is epistemic, focusing (...) on the premises without dropping down to the conclusion. It evaluates the epistemic probability of the premises when conjoined. This two-dimensional grid is then applied to three kinds of cases: vertical and horizontal evaluations rely on point-valued probabilities; vertical and horizontal evaluations rely on interval probabilities; vertical and horizontal evaluations rely on non-numeric plausibilities. The result is that, in each case, the argument’s conclusion can be assigned a credence tag, as it were, that reflects a critical appraisal of its objectivity. Reference Betz, Gregor. 2013. “In defence of the value free ideal.” European Journal for Philosophy of Science 3, 207–220. (shrink)

Even those generally skeptical of propensity interpretations of probability must now grant the following two points. First, the above single-case propensity interpretation meets recognized formal conditions for being a genuine interpretation of probability. Second, this interpretation is not logically reducible to a hypothetical relative frequency interpretation, nor is it only vacuously different from such an interpretation.The main objection to this propensity interpretation must be not that it is too vague or vacuous, but that it is metaphysically too extravagant. It asserts (...) not only that there are physical possibilities in nature, but further that nature itself contains innate tendencies toward these possibilities, tendencies which have the logical structure of probabilities. Thus the basic dispute between advocates of an actualist relative frequency interpretation and a single-case propensity interpretation is not a matter of epistemology, but metaphysics. The frequency theorist wishes to maintain that claims about physical probabilities are nothing more than claims about relative frequencies that will occur in the actual history of the world, be it infinite or no. It is a substantial, though hardly conclusive, argument for the propensity view that the mathematical structures commonly employed in studies of stochastic processes and statistical inference are richer than can be accommodated by a relative frequency interpretation. Whether it is possible to bridge this gap without going beyond an actualist metaphysics remains to be seen.38. (shrink)

The purpose of this paper is to make a simple observation regarding the Johnson -Carnap continuum of inductive methods. From the outset, a common criticism of this continuum was its failure to permit the confirmation of universal generalizations: that is, if an event has unfailingly occurred in the past, the failure of the continuum to give some weight to the possibility that the event will continue to occur without fail in the future. The Johnson -Carnap continuum is the mathematical consequence (...) of an axiom termed Johnson 's sufficientness postulate, the thesis of this paper is that, properly viewed, the failure of the Johnson -Carnap continuum to confirm universal generalizations is not a deep fact, but rather an immediate consequence of the sufficientness postulate; and that if this postulate is modified in the minimal manner necessary to eliminate such an entailment, then the result is a new continuum that differs from the old one in precisely one respect: it enjoys the desideratum of confirming universal generalizations. (shrink)

Weighted averaging is a method for aggregating the totality of information, both regimented and unregimented, possessed by an individual or group of individuals. The application of such a method may be warranted by a theorem of the calculus of probability, simple conditionalization, or Jeffrey's formula for probability kinematics, all of which average in terms of the prior probability of evidence statements. Weighted averaging may, however, be applied as a method of rational aggregation of the probabilities of diverse perspectives or persons (...) in cases in which the weights cannot be articulated as the prior probabilities of statements of evidence. The method is justified by Wagner's Theorem exhibiting that any method satisfying the conditions of the Irrelevance of Alternatives and Zero Unanimity must, when applied to three or more alternatives, be weighted averaging. (shrink)

This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of induction, having (...) as a result a system which we believe has interesting properties from the standpoint of theory of confirmation. It is for instance able to represent chains of inductive rules as well as to reason paraconsistently on the conclusions obtained from them. We then use this logic to represent some traditional ideas concerning confirmation theory, in particular the ones proposed by Carl Hempel in his classical paper "Studies in the Logic of Confirmation" of 1945 and the ones incorporated in the so-called abductive and hy-pothetico-deductive models. (shrink)