Carnap: Probability and Inductive Logic

A brief introduction to the life and key work of Rudolf Carnap with special attention to his work on inductive logic.

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)

One way of explaining Rudolf Carnap’s mature philosophical view is by drawing an analogy between his technical projects—like his work on inductive logic—with a certain kind of conceptual engineering. After all, there are many mathematical similarities between Carnap’s work in inductive logic and a number of results from contemporary confirmation theory, statistics and mathematical probability theory. However, in stressing these similarities, the conceptual dependence of Carnap’s inductive logic on his work on semantics is downplayed. Yet it is precisely the conceptual (...) resources made available to Carnap from his work on semantics which allows him to understand his work on inductive logic as a kind of conceptual engineering project. The aim of this paper is to elucidate this engineering analogy in light of Carnap’s mature views through the lens of both inductive logic and semantics. (shrink)

We characterize those identities and independencies which hold for all probability functions on a unary language satisfying the Principle of Atom Exchangeability. We then show that if this is strengthen to the requirement that Johnson's Sufficientness Principle holds, thus giving Carnap's Continuum of inductive methods for languages with at least two predicates, then new and somewhat inexplicable identities and independencies emerge, the latter even in the case of Carnap's Continuum for the language with just a single predicate.

Although written in Japanese, 動機説の観点から見た倫理的判断の諸相（Phases of the ethical judgement）has formed my original ideas on action theory, ethics, and so on.

Carnap's inductive logic (or confirmation) project is revisited from an "increase in firmness" (or probabilistic relevance) point of view. It is argued that Carnap's main desiderata can be satisfied in this setting, without the need for a theory of "logical probability." The emphasis here will be on explaining how Carnap's epistemological desiderata for inductive logic will need to be modified in this new setting. The key move is to abandon Carnap's goal of bridging confirmation and credence, in favor of bridging (...) confirmation and evidential support. (shrink)

This paper starts by summarizing work that philosophers have done in the fields of inductive logic since 1950s and truth approximation since 1970s. It then proceeds to interpret and critically evaluate the studies on machine learning within artificial intelligence since 1980s. Parallels are drawn between identifiability results within formal learning theory and convergence results within Hintikka’s inductive logic. Another comparison is made between the PAC-learning of concepts and the notion of probable approximate truth.

In 1959 Carnap published a probability model that was meant to allow forreasoning by analogy involving two independent properties. Maher (2000)derived a generalized version of this model axiomatically and defended themodel''s adequacy. It is thus natural to now consider how the model mightbe extended to the case of more than two properties. A simple extension waspublished by Hess (1964); this paper argues that it is inadequate. Amore sophisticated one was developed jointly by Carnap and Kemeny in theearly 1950s but never (...) published; this paper gives the first published descriptionof Carnap and Kemeny''s model and argues that it too is inadequate. Since noother way of extending the two-property model is currently known, the conclusionof this paper is that a satisfactory extension to multiple properties requires somenew approach. (shrink)

In this thesis I defend and pursue that line about the foundations of probability theory which has come to be known as "the logicist view about probability", and, in particular, the shape which it took in Carnap's Inductive Logic. ;Most philosophers who now deal with probability theory claim that Carnap's program of Inductive Logic has failed. The main aim of my thesis is to show that this judgment is based on a fundamental misunderstanding about the nature and the aim of (...) inductive logic. To that end, I follow, in chapter 1, the events in the history of probability, logic and mathematics which led to choosing certain requirements as the requirements which any theory about the foundations of probability must fulfill in order to be acceptable. ;In chapter 2 I explain how Carnap's inductive logic fulfills those requirements and how the method it uses to give foundations to probability theory can also be used to solve another major problem about probability, namely, the problem of statistical inference. ;Chapter 3 shows how the ideas explained in chapter 2 were developed, formally, by Carnap, and how Carnap's program can be continued in a particular case, that of reasoning by analogy. ;Finally, in chapter 4, I attempt to show that subjectivism about probability theory, the rival theory to Carnap's logicism, does not succeed in meeting the most basic requirement for the acceptability of any theory about the foundations of probability. (shrink)

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.

APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some given evidence (...) (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (shrink)

One thing we have found out about logical empiricism, now that people are examining it more closely again, is that it was more a framework for a number of related views than a single doctrine. The pluralism of different approaches among various adherents to the Vienna and Berlin groups has been much emphasized. Some have gone so far as to suggest that the kind of speculative philosophy now often called "continental" (including, say, phenomenology) can be seen as falling within the (...) framework of views shared by the Vienna Circle. Much is made of Felix Kaufmann's membership in the Vienna Circle, for instance, or of its "Austrian" roots in the phenomenology of Brentano. (shrink)