Thats logic. LEWIS CARROLL, Through the Looking Glass 1-1. The fundamental problem of this work is the question of the nature of scientific inference.

A scientific theory is originally based on a particular set of observations. How can it be extended to apply outside this original range of cases? This question, which is fundamental to natural philosophy, is considered in detail in this book, which was originally published in 1931, and first published as this third edition in 1973. Sir Harold begins with the principle that 'it is possible to learn from experience and to make inferences from beyond the data directly known to sensation'. (...) He goes on to analyse this principle, discuss its status and investigate its logical consequences. The result is a book of importance to anyone interested in the foundations of modern scientific method. His thesis provides a consistent account of how the theories proposed by physicists have been derived from, and are supported by, experimental data. (shrink)

Carnap's Inductive Logic, like most philosophical discussions of induction, is designed for the case of independent trials. To take account of periodicities, and more generally of order, the account must be extended. From both a physical and a probabilistic point of view, the first and fundamental step is to extend Carnap's inductive logic to the case of finite Markov chains. Kuipers (1988) and Martin (1967) suggest a natural way in which this can be done. The probabilistic character of Carnapian inductive (...) logic(s) for Markov chains and their relationship to Carnap's inductive logic(s) is discussed at various levels of Bayesian analysis. (shrink)

The local justification of beliefs and hypotheses has recently become a major concern for epistemologists and philosophers of induction. As such, the problem of local justification is not entirely new. Most pragmatists had addressed themselves to it, and so did, to some extent, many classical inductivists in the Bacon-Whewell-Mill tradition. In the last few decades, however, the use of logic and semantics, probability calculus, statistical methods, and decision-theoretic concepts in the reconstruction of in ductive inference has revealed some important technical (...) respects in which inductive justification can be local: the choice of a language, with its syntactic and semantic features, the relativity of probabilistic evalua tions to an initial body of evidence or background knowledge and to an agent's utilities and preferences, etc. Some paradoxes and difficulties encountered by purely formal accounts of inductive justification, the erosion of the once dominant empiricist position, which most approaches to induction took for granted, and the increasing challenge of noninduc tivist epistemolgies have underscored the need of accounting for the methodological problems of applying inductive logic to real life contexts, particularly in science. As a result, in the late fifties and sixties, several related developments pointed to a new, local approach to inductive justification. (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 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)

Contrary to formal theories of induction, I argue that there are no universal inductive inference schemas. The inductive inferences of science are grounded in matters of fact that hold only in particular domains, so that all inductive inference is local. Some are so localized as to defy familiar characterization. Since inductive inference schemas are underwritten by facts, we can assess and control the inductive risk taken in an induction by investigating the warrant for its underwriting facts. In learning more facts, (...) we extend our inductive reach by supplying more localized inductive inference schemes. Since a material theory no longer separates the factual and schematic parts of an induction, it proves not to be vulnerable to Hume's problem of the justification of induction. (shrink)

In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.

This paper places formal learning theory in a broader philosophical context and provides a glimpse of what the philosophy of induction looks like from a learning-theoretic point of view. Formal learning theory is compared with other standard approaches to the philosophy of induction. Thereafter, we present some results and examples indicating its unique character and philosophical interest, with special attention to its unified perspective on inductive uncertainty and uncomputability.

A basic system of inductive logic; An axiomatic foundation for the logic of inductive generalization; A survey of inductive systems; On the condition of partial exchangeability; Representation theorems of the de finetti type; De finetti's generalizations of excahngeability; The structure of probabilities defined on first-order languages; A subjectivit's guide to objective chance.

Dieses Buch stellt eine neue, von CARNAP entwickelte Theorie der Induktion und Wahrscheinlichkeit dar, die durch die folgenden grund legenden Auffassungen charakterisiert ist. 1. Jedes induktive Schließen, im weiten Sinne des nichtdeduktiven oder nichtdemonstrativen Schlu߭ folgerns, ist ein Schließen auf Grund von Wahrscheinlichkeit. 2. Daher ist die induktive Logik als Theorie von den Prinzipien des induktiven Schließens dasselbe wie Wahrscheinlichkeitslogik. 3. Der Begriff der Wahrscheinlichkeit, der als Grundbegriff der induktiven Logik dienen soll, ist eine logische Relation zwischen zwei Aussagen oder (...) Sätzen, näm lich der Grad der Bestätigung einer Hypothese auf der Grundlage gegebe ner Prämissen. 4. Der sogenannte Häufigkeitsbegriff der Wahrschein lichkeit, wie er in statistischen Untersuchungen verwendet wird, ist zwar an und für sich ein wichtiger wissenschaftlicher Begriff, als Grundbegriff der induktiven Logik jedoch unbrauchbar. 5. Alle Prinzipien und Lehr sätze der induktiven Logik sind analytisch. 6. Daher hängt die Gültig keit des induktiven Schließens nicht von irgendwelchen synthetischen Voraussetzungen ab, wie etwa dem vielumstrittenen Prinzip der Gleich förmigkeit der Welt. Die erste Aufgabe dieses Buches ist die Erörterung der allgemeinen philosophischen Probleme betreffend die Natur der Wahrscheinlichkeit und des induktiven Schließens, die uns zu den eben erwähnten Auffassun gen führen wird. Das zweite Ziel ist der tatsächliche Aufbau eines Systems der induktiven Logik, einer Theorie, die auf den angeführten Prinzipien beruht. Ein besonderes Augenmerk wurde in diesem Buch darauf gelegt, die intuitive philosophische Grundlegung klar von dem technischen Aufbau des Systems der induktiven Logik zu trennen. (shrink)

3 in philosophy, and therefore in metaphilosophy, cannot be based on rules that avoid spending time on pseudo-problems. Of course, this implies that, if one succeeds in demonstrating convincingly the pseudo-character of a problem by giving its 'solution', the time spent on it need not be seen as wasted. We conclude this section with a brief statement of the criteria for concept explication as they have been formulated in several places by Carnap, Hempel and Stegmiiller. Hempel's account is still very (...) adequate for a detailed introduction. The process of explication starts with the identification of one or more vague and, perhaps, ambiguous concepts, the so-called explicanda. Next, one tries to disentangle the ambiguities. This, however, need not be possible at once. Ultimately the explicanda are to be replaced by certain counterparts, the so-called explicata, which have to conform to four requirements. They have to be as precise as possible and as simple as possible. In addition, they have to be useful in the sense that they give rise to the formulation of theories and the solution of problems. The three requirements of preciseness, simplicity and usefulness. have of course to be pursued in all concept formation. (shrink)

In the mid-eighteenth century David Hume argued that successful prediction tells us nothing about the truth of the predicting theory. But physical theory routinely predicts the values of observable magnitudes within very small ranges of error. The chance of this sort of predictive success without a true theory suggests that Hume's argument is flawed. However, Colin Howson argues that there is no flaw and examines the implications of this disturbing conclusion; he also offers a solution to one of the central (...) problems of Western philosophy, the problem of induction. (shrink)

According to the Bayesian view, scientific hypotheses must be appraised in terms of their posterior probabilities relative to the available experimental data. Such posterior probabilities are derived from the prior probabilities of the hypotheses by applying Bayes'theorem. One of the most important problems arising within the Bayesian approach to scientific methodology is the choice of prior probabilities. Here this problem is considered in detail w.r.t. two applications of the Bayesian approach: (1) the theory of inductive probabilities (TIP) developed by Rudolf (...) Carnap and other epistomologists and (2) the analysis of the multinational inferences provided by Bayesian statstics (BS). ... Zie: Summary. (shrink)