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.

This paper is the most complete presentation of my views on deterministic causation. It develops the deterministic theory in perfect parallel to my theory of probabilistic causation and thus unites the two aspects. It also argues that the theory presented is superior to all regularity and all counterfactual theories of causation.

The paper builds on the basically Humean idea that A is a cause of B iff A and B both occur, A precedes B, and A raises the metaphysical or epistemic status of B given the obtaining circumstances. It argues that in pursuit of a theory of deterministic causation this ‘status raising’ is best explicated not in regularity or counterfactual terms, but in terms of ranking functions. On this basis, it constructs a rigorous theory of deterministic causation that successfully deals (...) with cases of overdetermination and pre-emption. It finally indicates how the account's profound epistemic relativization induced by ranking theory can be undone. Introduction Variables, propositions, time Induction first Causation Redundant causation Objectivization. (shrink)

The characteristic difference between laws and accidental generalizations lies in our epistemic or inductive attitude towards them. This idea has taken various forms and dominated the discussion about lawlikeness in the last decades. Likewise, the issue about ceteris paribus conditions is essentially about how we epistemically deal with exceptions. Hence, ranking theory with its resources of defeasible reasoning seems ideally suited to explicate these points in a formal way. This is what the paper attempts to do. Thus it will turn (...) out that a law is simply the deterministic analogue of a sequence of independent, identically distributed random variables. This entails that de Finetti's representation theorems can be directly transformed into an account of confirmation of laws thus conceived. (shrink)

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.

Due to the logical relations between theism and intelligent design (id), there are two challenges to theism that also apply to id. In the falsifiability challenge, it is charged that theism is compatible with every observation statement and thus asserts nothing. I argue that the contentious assumptions of this challenge can be avoided without loss of precision by charging theism (and thus id) directly with the lack of observational assertions. In the translatability challenge, it is charged that theism can be (...) translated into a (non-theistic) set of observation statements without loss of cognitive content. I argue that the contentious assumptions of this challenge are avoided by the related charge that the (non-theistic) evolutionary theory makes all the observational assertions of id, while the converse does not hold. Elliott Sober has argued that id meets the falsifiability challenge, but, since it makes almost no observational assertions, is not testable. I point out two problems with Sober’s argument and show that id is both deductively and probabilistically testable. Sober’s argument, I suggest, inconsistently combines the modified falsifiability challenge with the modified translatability challenge. If his claims about id’s observational assertions are true, however, id succumbs to the modified translatability challenge. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

This paper gives a survey of the philosophy of science in Finland during the two decades 1970-90. Topics covered include the background (earlier studies by Eino Kaila, G. H. von Wright, and Jaakko Hintikka), the main areas of research (inductive logic, probability, truthlikeness, scientific theory, theory change, scientific realism, explanation and action, foundations of special disciplines), and the cultural impact of science studies.

The probabilistic support relation is known to violate transitivity. But over the years, philosophers have identified various conditions under which it does not, most notably screening-off and weak screening-off. In this short discussion note, I wish to highlight another condition that, unfortunately, is often neglected in the literature. This condition is due to Mary Hesse who recognized its transitivity-ensuring property long before other conditions entered the stage. I show that her condition is logically independent of screening-off and weak screening-off, but (...) that, just like the two aforementioned, it entails the recently proposed very weak screening-off condition due to Jeanne Peijnenburg and David Atkinson. (shrink)

The characteristic difference between laws and accidental generalizations lies in our epistemic or inductive attitude towards them. This idea has taken various forms and dominated the discussion about lawlikeness in the last decades. Hence, ranking theory with its resources of formalizing defeasible reasoning or inductive schemes seems ideally suited to explicate the idea in a formal way. This is what the paper attempts to do. Thus it will turn out that a law is simply the deterministic analogue of a sequence (...) of independent, identically distributed random variables. This entails that de Finetti‘s representation theorems can be directly transformed into an account of confirmation of laws thus conceived. (shrink)

The paper is based on ranking theory, a theory of degrees of disbelief (and hence belief). On this basis, it explains enumerative induction, the confirmation of a law by its positive instances, which may indeed take various schemes. It gives a ranking theoretic explication of a possible law or a nomological hypothesis. It proves, then, that such schemes of enumerative induction uniquely correspond to mixtures of such nomological hypotheses. Thus, it shows that de Finetti's probabilistic representation theorems may be transformed (...) into an account of confirmation of possible laws and that enumerative induction is equivalent to such an account. The paper concludes with some remarks about the apriority of lawfulness or the uniformity of nature. (shrink)

Atocha Aliseda gives in Abductive Reasoning a structural characterization of the forward explanatory reasoning from a theory to observational data. This paper discusses the converse problem of giving structural rules for the backward abductive reasoning from observations to explanatory theories.

Atocha Aliseda’s Abductive Reasoning (2006) gives a structural characterization of the “forward” explana-tory reasoning from a theory to observational data. This paper asks whether there are any interesting structural rules for the “backward” abductive reasoning from observations to explanatory theories. Ignoring statistical cases, a partial explication of abduction is converse deductive explanation: h is abducible from e iff h deductively explains e. This relation of abducibility trivially satisfies Converse Entailment (if h entails e, then h is abducible from e ), (...) but it does not generally satisfy Converse Consequence (if h is abducible from e and g entails h, then g is abducible from e ), since deductive explanation is not always transitive. (shrink)