Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside The Open Society and Its Enemies as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

The Description for this book, Theory and Evidence, will be forthcoming.

Christensen [Philosophy of Science, 50: 471–481, 1983] and [Philosophy of Science, 57: 644–662, 1990] provides two sets of counter-examples to the versions of bootstrap confirmation for standard first-order languages presented in Glymour [Theory and Evidence, Princeton University Press, Princeton, 1980] and [Philosophy of Science, 50: 626–629, 1983]. This paper responds to the counter-examples of Christensen [Philosophy of Science, 50: 471–481, 1983] by utilizing a new notion of content introduced in Gemes [Journal of Philosophical Logic, 26, 449–476, 1997]. It is claimed (...) that this response is better motivated and more effective than that presented in Glymour [Philosophy of Science, 50: 626–629, 1983]. It is then argued that while this response meets some of the counter-examples of Christensen [Philosophy of Science, 57: 644–662, 1990] two of those counter-examples, though not unanswerable, suggest the need for a substantial reformulation of the formal versions of bootstrapping. The essay proceeds with such a reformulation, arguing that this new formulation better fits the philosophical insights that originally motivated bootstrapping than do Glymour’s earlier formulations. In the concluding sections some alternative solutions to the problem posed by the Christensen counter-examples are discussed. (shrink)

In this paper I will investigate the possibility of completing a Positivist style account of demarcation. One reason for pursuing this project is that standard criticisms of Positivism do not have the bite against the demarcation project that they are often assumed to have. To argue this will be the burden of the first part of this paper. The other reason is that new research in logic has provided machinery not available to the Positivists; machinery that shows promise for solving (...) some of the technical problems faced by Positivists' account of demarcation. To argue this will be the burden of the second part of this paper. (shrink)

The following is an essay on the notion of scientific explanation as unification. In it a new notion of content is used to explicate Michael Friedman's notion of "k-atomicity," and to explicate the notion of the surplus content of hypothesis h relative to evidence e. From this basis an analysis of unification as theoretical reduction is advanced. A second notion of unification, unification as reconciling prima facie incompatible statements, is introduced again with the aid of this new notion of content. (...) More generally, it is argued that rather than seek the essence of scientific explanation we should carefully catalog the various distinct explanatory virtues. Finally it is argue that in particular philosophical explanations put a high premium on the quality of unification through showing how to make compatible seemingly irreconcilable claims. (shrink)

In Gemes (1990) I examined certain formal versions of hypothetico-deductivism (H-D) showing that they have the unacceptable consequence that "Abe is a white raven" confirms "All ravens are black"! In Gemes (1992) I developed a new notion of content that could save H-D from this bizarre consequence. In this paper, I argue that more traditional formulations of H-D also need recourse to this new notion of content. I present a new account of the vexing notion of the natural axiomatization of (...) a theory. The notion is used to construct a form of H-D that allows for the type of selective confirmation without which Glymour (1980a,b) claims H-D is hopeless. (shrink)

Philosophers of science as divergent as the inductivist Carnap and the deductivist Popper share the notion that the (logical) content of a proposition is given by its consequence class. I claim that this notion of content is (a) unintuitive and (b) inappropriate for many of the formal needs of philosophers of science. The basic problem is that given this notion of content, for any arbitrary p and q, [(p ∨ q)] will count as part of the content of both p (...) and q. In other words, any arbitrary p and q share some common content. This notion of content has disastrous effects on, for instance, Carnap's attempts to explicate the notion of confirmation in terms of probabilistic favorable relevance, and Popper's attempts to define verisimilitude. After briefly reviewing some of the problems of the traditional notion of content I present an alternative notion of (basic) content which (a) better fits our intuitions about content and (b) better serves the formal needs of philosophers of science. (shrink)

This paper develops a semantical model - theoretic account of (logical) content complementing the syntactically specified account of content developed in "A New Theory of Content I", JPL 23: 596-620, 1994. Proofs of Completeness are given for both propositional and quantificational languages (without identity). Means for handling a quantificational language with identity are also explored. Finally, this new notion of content is compared, in respect of both logical properties and philosophical applications, to alternative partitions of the standard consequence class relation (...) proposed by Stelzner, Schurz and Wiengartner. (shrink)