This paper documents the pragmatic turn in the later philosophy of C. G. Hempel.

On Friday God knew everything, including f, a proposition about what Jones would do on Monday; we can write the time-indexed proposition that on Friday God believed f as Bgf. If Jones does not do the thing that makes f true, then the resulting state of affairs will be ∼f. So on Monday, before a certain time – ‘ t time’ – Jones has it in his power to bring it about that ∼f. It seems to follow that on Monday (...) Jones has it in his power to bring it about that on Friday God believed something false. Yet this is impossible, as Bgp ⊃ p . But if f is false – if Jones makes it so on Monday – then so is Bgf, and God is not infallible. So either Jones cannot not do the thing that makes f true, and he has no freewill, or God is not infallible. The traditional responses to this dilemma are subtle, time-honoured and, as I see it, almost completely unconvincing. According to Linda Zagzebski , there are five of them: the Ockhamist response that God’s Friday belief is a so-called ‘soft’ fact, itself a problematic notion; the confused Molinist claim that on Friday God has something called ‘middle knowledge’ , so that God knows what Jones would do, but does not will it or know what Jones would do if … ); and the more sensible but still perplexing solution of Boethius’s that God’s knowing is not in time, so that the time-indexed proposition Bgf is not true. (How does it help to move the knowing that is said to determine our actions from the past to the timeless? It seems to …. (shrink)

In this paper I adduce a new argument in support of the claim that IBE is an autonomous form of inference, based on a familiar, yet surprisingly, under-discussed, problem for Hume’s theory of induction. I then use some insights thereby gleaned to argue for the claim that induction is really IBE, and draw some normative conclusions.

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

An increasing number of biologists are expressing discontent with the prevailing theory of neo-Darwinism. In particular, the tendency of neo-Darwinians to adopt genetic determinism and atomistic notions of both genes and organisms is seen as grossly unfair to the body of developmental theory. One faction of dissenteers, the Process Structuralists, take their inspiration from the rational morphologists who preceded Darwin. These neo-rationalists argue that a mature biology must possess universal laws and that these generative laws should be sought within organismal (...) development. Such a rational biology will only be possible once the neo-Darwinian paradigm, with its reliance on inherently stochastic processes, is overthrown.To facilitate this revolution, process structuralism launches a broad attack on the theoritical adequacy of its opponent. It is charged that neo-Darwinism is untestable and therefore its hypotheses are nothing more than adaptive stories. Further, the lamentable tendencies toward genetic determinism and atomism by modern biologists is seen as the inescapable consequences of adopting the neo-Darwinian outlook. (shrink)

The Raven and the Bayesian. As an essential benefit of their probabilistic account of confirmation, Bayesians state that it provides a twofold solution to the ravens paradox. It is supposed to show that (i) the paradox’s conclusion is tenable because a white shoe only negligibly confirms the hypothesis that all ravens are black, and (ii) the paradox’s first premise is false anyway because a black raven can speak against the hypothesis. I argue that both proposals are not only unable to (...) solve the paradox, but also point to severe difficulties with Bayesianism. The former does not make the conclusion acceptable, and it entails the bizarre consequence that a great amount of non-black non-ravens substantially confirms the ravens hypothesis. The latter does not go far enough because there is a variant of the first premise which follows from Bayesianism and implies a weaker, but nevertheless untenable, variant of the conclusion. (shrink)

The paper argues that knowledge is not closed under logical inference. The argument proceeds from the openness of evidential support and the dependence of empirical knowledge on evidence, to the conclusion that knowledge is open. Without attempting to provide a full-fledged theory of evidence, we show that on the modest assumption that evidence cannot support both a proposition and its negation, or, alternatively, that information that reduces the probability of a proposition cannot constitute evidence for its truth, the relation of (...) evidential support is not closed under known entailment. Therefore the evidence-for relation is deductively open regardless of whether evidence is probabilistic or not. Given even a weak dependence of empirical knowledge on evidence, we argue that empirical knowledge is also open. On this basis, we also respond to the strongest argument in support of knowledge closure. Finally, we present a number of significant benefits of our position, namely, offering a unified explanation for a range of epistemological puzzles. (shrink)

This paper reexamines an early article by Noam Chomsky and Israel Scheffler concerning the proper formulation and status of Quine's criterion for ontological commitment. ( What is Said to Be,' "Proceedings of the Aristotelian Society", 69, 1958-59; reprinted in Scheffler, "Inquiries".) Somewhat different formulations of the criterion are proposed and their implications explored. It is also argued that Chomsky and Scheffler's views may be seen to foreshadow and lead to some of Quine's later more radical doctrines regarding ontological commitment.

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

An argument, different from the Newman objection, against the view that the cognitive content of a theory is exhausted by its Ramsey sentence is reviewed. The crux of the argument is that Ramsification may ruin inductive systematization between theory and observation. The argument also has some implications concerning the issue of underdetermination.

A critical notice of David J. Chalmers, Constructing the World (Oxford University Press,2012).

In the Paradox of the Ravens, a set of otherwise intuitive claims about evidence seems to be inconsistent. Most attempts at answering the paradox involve rejecting a member of the set, which seems to require a conflict either with commonsense intuitions or with some of our best confirmation theories. In contrast, I argue that the appearance of an inconsistency is misleading: ‘confirms’ and cognate terms feature a significant ambiguity when applied to universal generalisations. In particular, the claim that some evidence (...) confirms a universal generalisation ordinarily suggests, in part, that the evidence confirms the reliability of predicting that something which satisfies the antecedent will also satisfy the consequent. I distinguish between the familiar relation of confirmation simpliciter and what I shall call ‘predictive confirmation’. I use them to formulate my answer, illustrate it in a very simple probabilistic model, and defend it against objections. I conclude that, once our evidential concepts are sufficiently clarified, there is no sense in which the initial claims are both plausible and inconsistent. (shrink)

In this paper I revisit R. M. Martin’s logic of belief. As with much of Martin’s work, his formal studies into belief and belief reports have gone largely unnoticed. However, in my article I suggest reasons for thinking that these studies warrant revisiting. One reason is that Martin adopted an account of the notion of belief which was more comprehensive than that employed by most rival theorists. Another reason is that Martin couched his theory in a formal pragmatics which utilised (...) a pragmatical meta-language. This method resulted in a rather novel approach which may turn out to be more enlightening than many popular alternative accounts. Martin was a constructivistic nominalist whose approach to philosophical analysis was characterised by a commitment to first-order extensional systems. Yet in the statement of his theory of belief he employed a platonistic syntax simply for the reason that this kind of syntax is a little easier to implement than one which is nominalistic. However Martin also supposed that a fully nominalised version of his theory could be developed. In my article I investigate whether it can. I do this by sketching an inscriptional pragmatics, where this pragmatical system presupposes an inscriptional semantics of the kind developed by Martin himself. While further work is required, I think that a nominalisation of Martin’s logic of belief may be developed. (shrink)

The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...) Friedman would in some sense argue for the major role of theoretical terms in economics. The paper uses a model-theoretic apparatus to refine the selected construal and check whether it can be made to support the claim. This inquiry leads to essentially negative results for both F-twists, and the final conclusion is that they are left unsupported. (shrink)

Twenty-five years ago Israel Scheffler argued for the inclusion of philosophy of science in the preparation of science teachers. It was part of his wider argument for the inclusion of courses in the philosophy of the discipline in programmes that are preparing people to teach that discipline. For the most part Scheffler's suggestion, at least as far as science education is concerned, went unheeded. Pleasingly, in recent times there has been some rapprochement between these fields. This paper will restate parts (...) of Scheffler's argument, it will develop some additional considerations pertaining to it, and it will set the discussion in the context of contemporary debate about science, science education and teacher training. With changed time and circumstances, Scheffler' arguments might find more adherents than when they were initially proposed. My revision of Scheffler's argument has two planks: first pedagogical, second professional. (shrink)

The classical notion of scientific objectivity is a property of propositional truth. It is the property of being open to testing and inspection, in principle, by all men, although in practice perhaps, the testing of a scientific claim is restricted to the members of a community of professional experts. It is, moreover, the property of being stable in time, true eternally as it were; for objective truth is thought to express what is so independently of human interests, initiatives, bias, social (...) circumstances and historical environment. Often there is the added connotation that what is so is pictured not in its relationship to man, but absolutely, as it were, in itself, or in its relations to the rest of nature, where nature is taken to have an essence independently of the meaning conferred on nature by Dasein. All this is expressed as truth-invariance relative to synchronous communities of knowers whether sympatric or allopatric : truth-invariance relative to allochronous communities of knowers, and truth-invariance relative to the physical transformations and substitutions which define the objective content of a scientific law or theory. (shrink)

In recent years, a revisionist process focused on logical positivism can be observed, particularly regarding Carnap’s work. In this paper, I argue against the interpretation that Kuhn’s The Structure of Scientific Revolutions having been published in the International Encyclopedia of Unified Science, co-edited by Carnap, is evidence of the revisionist idea that Carnap “would have found Structure philosophically congenial”. I claim that Kuhn’s book, from Carnap’s point of view, is not in philosophy of science but rather in history of science (...) (in the context of a sharp discovery–justification distinction). It could also explain the fact that, despite his sympathetic letters to Kuhn as editor, Carnap never refers to Kuhn’s book in his work in philosophy of science. (shrink)

Historically, Nelson Goodman’s paradox involving the predicates ‘grue’ and ‘bleen’ has been taken to furnish a serious blow to Carl Hempel’s theory of confirmation in particular and to purely formal theories of confirmation in general. In this paper, I argue that Goodman’s paradox is no more serious of a threat to Hempel’s theory of confirmation than is Hempel’s own paradox of the ravens. I proceed by developing a suggestion from R. D. Rosenkrantz into an argument for the conclusion that these (...) paradoxes are, in fact, equivalent. My argument, if successful, is of both historical and philosophical interest. Goodman himself maintained that Hempel’s theory of confirmation was capable of handling the paradox of the ravens. And Hempel eventually conceded that Goodman’s paradox showed that there could be no adequate, purely syntactical theory of confirmation. The conclusion of my argument entails, by contrast, that Hempel’s theory of confirmation is incapable of handling Goodman’s paradox if and only if it is incapable of handling the paradox of the ravens. It also entails that for any adequate solution to one of these paradoxes, there is a corresponding and equally adequate solution to the other. (shrink)

A. J. Ayer’s empiricist criterion of meaning was supposed to have sorted all statements into nonsense on the one hand, and tautologies or genuinely factual statements on the other. Unfortunately for Ayer, it follows from classical logic that his criterion is trivial—it classifies all statements as either tautologies or genuinely factual, but none as nonsense. However, in this paper, I argue that Ayer’s criterion of meaning can be defended from classical proofs of its triviality by the adoption of a relevant (...) logic—an idea which is motivated because, according to Ayer, the genuinely factual statements are those which observation is relevant to. (shrink)

Karl Popper is famous for having proposed that science advances by a process of conjecture and refutation. He is also famous for defending the open society against what he saw as its arch enemies – Plato and Marx. Popper’s contributions to thought are of profound importance, but they are not the last word on the subject. They need to be improved. My concern in this book is to spell out what is of greatest importance in Popper’s work, what its failings (...) are, how it needs to be improved to overcome these failings, and what implications emerge as a result. The book consists of a collection of essays which dramatically develop Karl Popper’s views about natural and social science, and how we should go about trying to solve social problems. Criticism of Popper’s falsificationist philosophy of natural science leads to a conception of science that I call aim-oriented empiricism. This makes explicit metaphysical theses concerning the comprehensibility and knowability of the universe that are an implicit part of scientific knowledge – implicit in the way science excludes all theories that are not explanatory, even those that are more successful empirically than accepted theories. Aim-oriented empiricism has major implications, not just for the academic discipline of philosophy of science, but for science itself. Popper generalized his philosophy of science of falsificationism to arrive at a new conception of rationality – critical rationalism – the key methodological idea of Popper’s profound critical exploration of political and social issues in his The Open Society and Its Enemies, and The Poverty of Historicism. This path of Popper, from scientific method to rationality and social and political issues is followed here, but the starting point is aim-oriented empiricism rather than falsificationism. Aim-oriented empiricism is generalized to form a conception of rationality I call aim-oriented rationalism. This has far-reaching implications for political and social issues, for the nature of social inquiry and the humanities, and indeed for academic inquiry as a whole. The strategies for tackling social problems that arise from aim-oriented rationalism improve on Popper’s recommended strategies of piecemeal social engineering and critical rationalism, associated with Popper’s conception of the open society. This book thus sets out to develop Popper’s philosophy in new and fruitful directions. The theme of the book, in short, is to discover what can be learned from scientific progress about how to achieve social progress towards a better world. (shrink)

In this collection of essays, Bromberger explores the centrality of questions and predicaments they create in scientific research. He discusses the nature of explanation, theory, and the foundations of linguistics.

This chapter by Fisher continues the theme of the relation between Armstrong and Lewis, only Fisher casts the net far wider. He begins by arguing that there were at least two different lines of influence from early twentieth-century behaviourism to the identity theory: one through logical positivism and the other through ordinary language philosophy, the latter involving Place and Smart, and Lewis and Armstrong. It was Armstrong and Lewis who were to have a profound influence on subsequent developments in analytic (...) philosophy, both methodologically and in metaphysics, and it is for this reason that Fisher devotes the rest of his chapter to tracing the origins of their theories of mind and the manner in which the emphases and methodologies deployed in developing their respective theories became the hallmarks of their wider impact on analytic philosophy. (shrink)

It is notoriously difficult to spell out the norms of inductive reasoning in a neat set of rules. I explore the idea that explanatory considerations are the key to sorting out the good inductive inferences from the bad. After defending the crucial explanatory virtue of stability, I apply this approach to a range of inductive inferences, puzzles, and principles such as the Raven and Grue problems, and the significance of varied data and random sampling.

The thesis of my paper is that argumentation theory provides a promising heuristic framework for addressing issues raised by the rationality debates in the philosophy of science, in particular the issues connected with scientific controversies over the appraisal and choice of competing theories. The first part of the paper grounds this thesis historically. In criticizing the logical empiricists, Thomas Kuhn set the stage for the subsequent opposition between a normative, anti-sociological philosophy of science and a descriptive, anti-philosophical sociology of knowledge. (...) But he also hinted at the main lines of a multi-dimensional theory of argumentation which might frame a wide range of current investigations into scientific reasoning. In the second part of the paper I focus on the central normative aspect of this framework, dialectical argumentation, and clarify the key challenge, the underdetermination of theories by evidence. In the third part, I attempt to get beyond the dichotomy informing the rationality debates by reformulating the problem of theory choice within a broader context of scientific rationality. (shrink)

Average-NPs, such as the one in the title of this paper, have been claimed to be ‘linguistically identical’ to any other definite-NPs but at the same time to be ‘semantically inconsistent’ with these other definite-NPs. To some this is an ironclad proof of the irrelevance of semantics to linguistics. We argue that both of the initial claims are wrong: average-NPs are not ‘linguistically identical’ to other definite-NPs but instead show a number of interesting divergences, and we provide a plausible semantic (...) account for them that is not ‘semantically inconsistent’ with the account afforded other definite-NPs but in fact blends quite nicely with one standard account of the semantics for NPs. (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)