The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trichý published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

Bayesian epistemology suggests various ways of measuring the support that a piece of evidence provides a hypothesis. Such measures are defined in terms of a subjective probability assignment, pr, over propositions entertained by an agent. The most standard measure (where “H” stands for “hypothesis” and “E” stands for “evidence”) is: the difference measure: d(H,E) = pr(H/E) - pr(H).0 This may be called a “positive (probabilistic) relevance measure” of confirmation, since, according to it, a piece of evidence E qualitatively confirms a (...) hypothesis H if and only if pr(H/E) > pr(H), where qualitative disconfirmation is characterized by replacing “>” with “ “ with “=”. Other more or less standard positive relevance measures that have been proposed are: the log-ratio measure: r(H,E) = log[pr(H/E)/pr(H)] and the log-likelihood-ratio measure: l(H,E) = log[pr(E/H)/pr(E/~H)]. (shrink)

To handle epistemic and pragmatic risks, Gärdenfors and Sahlin (1982, 1988) design a decision procedure for cases in which probabilities are indeterminate. Their procedure steps outside the traditional expected utility framework. Must it do this? Can the traditional framework handle risk? This paper argues that it can. The key is a comprehensive interpretation of an option's possible outcomes. Taking possible outcomes more broadly than Gärdenfors and Sahlin do, expected utility can give risk its due. In particular, Good's (1952) decision procedure (...) adequately handles indeterminate probabilities and the risks they generate. (shrink)

The rule to maximize expected utility is intended for decisions where options involve risk. In those decisions the decision maker's attitude toward risk is important, and the rule ought to take it into account. Allais's and Ellsberg's paradoxes, however, suggest that the rule ignores attitudes toward risk. This suggestion is supported by recent psychological studies of decisions. These studies present a great variety of cases where apparently rational people violate the rule because of aversion or attraction to risk. Here I (...) attempt to resolve the issue concerning expected utility and risk. I distinguish two versions of the rule to maximize expected utility. One adopts a broad interpretation of the consequences of an option and has great intuitive appeal. The other adopts a narrow interpretation of the consequences of an option and seems to have certain technical and practical advantages. I contend that the version of the rule that interprets consequences narrowly does indeed neglect attitudes toward risk. That version of the rule excludes the risk involved in an option from the consequences of the option and, contrary to what is usually claimed, cannot make up for this exclusion through adjustments in probability and utility assignments. I construct a new, general argument that establishes this in a rigorous way. On the other hand, I contend that the version of the rule that interprets consequences broadly takes account of attitudes toward risk by counting the risk involved in an option among the consequences of the option. I rebut some objections to this version of the rules, in particular, the objection that the rule lacks practical interest. Drawing upon the literature on 'mean-risk' decision rules, I show that this version of the rule can be used to solve some realistic decision problems. (shrink)

The paper proposes two principles of coherence (thus taking up work started in Spohn (1991) "A Reason for Explanation: Explanations Provide Stable Reasons"). The latter indeed serves as a weak, but precise explication of the notion of coherence as it is used in the current epistemological discussion. After discussing their epistemological setting, the paper considers four ways of establishing these principles. They may be inferred neither from enumerative induction, nor from the nature of propositions as objects of belief, nor in (...) a Kantian way from self-consciousness. Rather, I propose a fairly rigorous way to infer them from an even more fundamental rationality principle of non-dogmatism and an elementary theory of perception. (shrink)

This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (shrink)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

I argue that the analysis most capable of systematising our intuitions about coherence as a relation is one according to which a set of beliefs, A, coheres with another set, B, if and only if the set-theoretical union of A and B is a coherent set. The second problem I consider is the role of coherence in epistemic justification. I submit that there are severe problems pertaining to the idea, defended most prominently by Keith Lehrer, that justification amounts to coherence (...) with an acceptance system. Instead I advance a more dynamic approach according to which the problem of justification is the problem of how to merge new information with old coherently, a process which is seen to be closely connected with relational coherence. (shrink)

The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trich published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

This book comes to the rescue of scientific realism, showing that reports of its death have been greatly exaggerated. Philosophical realism holds that the aim of a particular discourse is to make true statements about its subject matter. Ilkka Niiniluoto surveys different kinds of realism in various areas of philosophy and then sets out his own critical realist philosophy of science.

In this impressive second edition of Theory of Knowledge, Keith Lehrer introduces students to the major traditional and contemporary accounts of knowing. Beginning with the traditional definition of knowledge as justified true belief, Lehrer explores the truth, belief, and justification conditions on the way to a thorough examination of foundation theories of knowledge,the work of Platinga, externalism and naturalized epistemologies, internalism and modern coherence theories, contextualism, and recent reliabilist and causal theories. Lehrer gives all views careful examination and concludes that (...) external factors must be matched by appropriate internal factors to yield knowledge. This match of internal and external factors follows from Lehrer’s new coherence theory of undefeated justification. In addition to doing justice to the living epistemological traditions, the text smoothly integrates several new lines that will interest scholars. Also, a feature of special interest is Lehrer’s concept of a justification game.This second edition of Theory of Knowledge is a thoroughly revised and updated version that contains several completely new chapters. Written by a well-known scholar and contributor to modern epistemology, this text is distinguished by clarity of structure, accessible writing, and an elegant mix of traditional material, contemporary ideas, and well-motivated innovation. (shrink)

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (shrink)

We wish to give a precise formulation of the intuitive concept: The degree to which the known facts support a given hypothesis.

"[This book] proposes new foundations for the Bayesian principle of rational action, and goes on to develop a new logic of desirability and probabtility."—Frederic Schick, _Journal of Philosophy_.

Probabilistic models have much to offer to philosophy. We continually receive information from a variety of sources: from our senses, from witnesses, from scientific instruments. When considering whether we should believe this information, we assess whether the sources are independent, how reliable they are, and how plausible and coherent the information is. Bovens and Hartmann provide a systematic Bayesian account of these features of reasoning. Simple Bayesian Networks allow us to model alternative assumptions about the nature of the information sources. (...) Measurement of the coherence of information is a controversial matter: arguably, the more coherent a set of information is, the more confident we may be that its content is true, other things being equal. The authors offer a new treatment of coherence which respects this claim and shows its relevance to scientific theory choice. Bovens and Hartmann apply this methodology to a wide range of much discussed issues regarding evidence, testimony, scientific theories, and voting. Bayesian Epistemology is an essential tool for anyone working on probabilistic methods in philosophy, and has broad implications for many other disciplines. (shrink)

Expected-utility theory has been a popular and influential theory in philosophy, law, and the social sciences. While its original developers, von Neumann and Morgenstern, presented it as a purely predictive theory useful to the practitioners of economic science, many subsequent theorists, particularly those outside of economics, have come to endorse EU theory as providing us with a representation of reason. But precisely in what sense does EU theory portray reason? And does it do so successfully? There are two strikingly different (...) answers to these questions in the literature. On the one hand, there is the view of people such as David Gauthier that EU theory is an implementation of the idea that reason's only role is instrumental. On the other hand, there is the view suggested by Leonard Savage that the theory is a “formal” and noninstrumental characterization of our reasoning process. (shrink)

Using formal systems to represent and reason about uncertainty.

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

The Joumal 0f Philosophy, Vol. 77, No. 11, Seventy—Seventh Annual Meeting American Philosophical Association, Eastern Division (Nov., 1980), 691-699.

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)

Let E be a set of n propositions E1, ..., En. We seek a probabilistic measure C(E) of the ‘degree of coherence’ of E. Intuitively, we want C to be a quantitative, probabilistic generalization of the (deductive) logical coherence of E. So, in particular, we require C to satisfy the following..

Several forms of symmetry in degrees of evidential support areconsidered. Some of these symmetries are shown not to hold in general. This has implications for the adequacy of many measures of degree ofevidential support that have been proposed and defended in the philosophical literature.

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science. Both Bayesians and anti-Bayesians will find a wealth of new insights on topics ranging from Bayes’s original paper to contemporary formal learning theory.In (...) a paper published posthumously in 1763, the Reverend Thomas Bayes made a seminal contribution to the understanding of "analogical or inductive reasoning." Building on his insights, modem Bayesians have developed an account of scientific inference that has attracted numerous champions as well as numerous detractors. Earman argues that Bayesianism provides the best hope for a comprehensive and unified account of scientific inference, yet the presently available versions of Bayesianisin fail to do justice to several aspects of the testing and confirming of scientific theories and hypotheses. By focusing on the need for a resolution to this impasse, Earman sharpens the issues on which a resolution turns. John Earman is Professor of History and Philosophy of Science at the University of Pittsburgh. (shrink)

This classic work in the philosophy of physical science is an incisive and readable account of the scientific method. Pierre Duhem was one of the great figures in French science, a devoted teacher, and a distinguished scholar of the history and philosophy of science. This book represents his most mature thought on a wide range of topics.

In general, the technical apparatus of decision theory is well developed. It has loads of theorems, and they can be proved from axioms. Many of the theorems are interesting, and useful both from a philosophical and a practical perspective. But decision theory does not have a well agreed upon interpretation. Its technical terms, in particular, ‘utility’ and ‘preference’ do not have a single clear and uncontroversial meaning. How to interpret these terms depends, of course, on what purposes in pursuit of (...) which one wants to put decision theory to use. One might want to use it as a model of economic decision-making, in order to predict the behavior of corporations or of the stock market. In that case, it might be useful to interpret the technical term ‘utility’ as meaning money profit. Decision theory would then be an empirical theory. I want to look into the question of what ‘utility’ could mean, if we want decision theory to function as a theory of practical rationality. I want to know whether it makes good sense to think of practical rationality as fully or even partly accounted for by decision theory. I shall lay my cards on the table: I hope it does make good sense to think of it that way. For, I think, if Humeans are right about practical rationality, then decision theory must play a very large part in their account. And I think Humeanism has very strong attractions. (shrink)

The Preface Paradox has led many philosophers to believe that, if it isassumed that high probability is necessary for rational acceptability, the principleaccording to which rational acceptability is closed under conjunction (CP)must be abandoned. In this paper we argue that the paradox is far less damaging to CP than is generally believed. We describe how, given certain plausibleassumptions, in a large class of cases in which CP seems to lead tocontradiction, it does not do so after all. A restricted version (...) of CP canthus be maintained. (shrink)

Inference to the Best Explanation has become the subject of a livelydebate in the philosophy of science. Scientific realists maintain, while scientificantirealists deny, that it is a compelling rule of inference. It seems that anyattempt to settle this debate empirically must beg the question against theantirealist. The present paper argues that this impression is misleading. A methodis described that, by combining Glymour's theory of bootstrapping and Hacking'sarguments from microscopy, allows us to test IBE without begging any antirealistissues.

Van Fraassen (1989) argues that Inference to the Best Explanation is incoherent in the sense that adopting it as a rule for belief change will make one susceptible to a dynamic Dutch book. The present paper argues against this. A strategy is described that allows us to infer to the best explanation free of charge.

The Lottery Paradox and the Preface Paradox both involve the thesis that high probability is sufficient for rational acceptability. The standard solution to these paradoxes denies that rational acceptability is deductively closed. This solution has a number of untoward consequences. The present paper suggests that a better solution to the paradoxes is to replace the thesis that high probability suffices for rational acceptability with a somewhat stricter thesis. This avoids the untoward consequences of the standard solution. The new solution will (...) be defended against a seemingly obvious objection. 1 The paradoxes of rational acceptability 2 The standard solution 3 A new solution to the paradoxes 4 Basic assumptions 5 The new solution defended 6 Conclusion 7 Appendix. (shrink)