Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every many-sorted theory is equivalent to a single-sorted theory. We make this conjecture precise, and prove that it is true, at least according to one reasonable notion of theoretical (...) equivalence. Our clarification of Quine’s conjecture, however, exposes the shortcomings of his argument against many-sorted logic. (shrink)

As a contribution to current debates on the ‘social life of methods’, in this article we present an ethnomethodological study of the role of understanding within statistical practice. After reviewing the empirical turn in the methods literature and the challenges to the qualitative-quantitative divide it has given rise to, we argue such case studies are relevant because they enable us to see different ways in which ‘methods’, here quantitative methods, come to have a social life – by embodying and exhibiting (...) understanding they ‘make the social structures of everyday activities observable’ ( Garfinkel, 1967 : 75), thereby putting society on display. Exhibited understandings rest on distinctive lines of practical social and cultural inquiry – ethnographic ‘forays’ into the worlds of the producers and users of statistics – which are central to good statistical work but are not themselves quantitative. In highlighting these non-statistical forms of social and cultural inquiry at work in statistical practice, our case study is an addition to understandings of statistics and usefully points to ways in which studies of the social life of methods might be further developed from here. (shrink)

It has been common wisdom for centuries that scientific inference cannot be deductive; if it is inference at all, it must be a distinctive kind of inductive inference. According to demonstrative theories of induction, however, important scientific inferences are not inductive in the sense of requiring ampliative inference rules at all. Rather, they are deductive inferences with sufficiently strong premises. General considerations about inferences suffice to show that there is no difference in justification between an inference construed demonstratively or ampliatively. (...) The inductive risk may be shouldered by premises or rules, but it cannot be shirked. Demonstrative theories of induction might, nevertheless, better describe scientific practice. And there may be good methodological reasons for constructing our inferences one way rather than the other. By exploring the limits of these possible advantages, I argue that scientific inference is neither of essence deductive nor of essence inductive. (shrink)

In this paper I argue that aim-oriented empiricism (AOE), a conception of natural science that I have defended at some length elsewhere[1], is a kind of synthesis of the views of Popper, Kuhn and Lakatos, but is also an improvement over the views of all three. Whereas Popper's falsificationism protects metaphysical assumptions implicitly made by science from criticism, AOE exposes all such assumptions to sustained criticism, and furthermore focuses criticism on those assumptions most likely to need revision if science is (...) to make progress. Even though AOE is, in this way, more Popperian than Popper, it is also, in some respects, more like the views of Kuhn and Lakatos than falsificationism is. AOE is able, however, to solve problems which Kuhn's and Lakatos's views cannot solve. [Back to Top]. (shrink)

La question de savoir si l'épistémologie est encore possible, et quelle voie elle doit emprunter, est à l'ordre du jour. En effet, suite à l'échec du modèle standard proposé par l'empirisme logique, nous nous retrouvons pour ainsi dire a la croisée des chemins. C'est ainsi que, par exemple, nous prenons progressivement conscience des enjeux opposant les partisans de la « LSE Position » aussi bien aux empiristes qu'à ceux qui favorisent plutôt une sorte de « virage sociologiste », ou encore (...) que nous nous trouvons confrontés à l'inadéquation des deux principales façons d'envisager la testabilité des théories scientifiques, à savoir la conception hypothético-déductive d'un côté et la conception bayésienne de l'autre. (shrink)

The ontology of decision theory has been subject to considerable debate in the past, and discussion of just how we ought to view decision problems has revealed more than one interesting problem, as well as suggested some novel modifications of classical decision theory. In this paper it will be argued that Bayesian, or evidential, decision-theoretic characterizations of decision situations fail to adequately account for knowledge concerning the causal connections between acts, states, and outcomes in decision situations, and so they are (...) incomplete. Second, it will be argues that when we attempt to incorporate the knowledge of such causal connections into Bayesian decision theory, a substantial technical problem arises for which there is no currently available solution that does not suffer from some damning objection or other. From a broader perspective, this then throws into question the use of decision theory as a model of human or machine planning. (shrink)

Much of scientific inference involves fitting numerical data with a curve, or functional relation. The received view is that the fittest curve is the curve which best balances the conflicting demands of simplicity and accuracy, where simplicity is measured by the number ofparameters in the curve. The problem with this view is that there is no commonly accepted justification for desiring simplicity. This paper presents a measure of the stability of equations. It is argued that the fittest curve is the (...) curve which best balances stability and accuracy. The received view is defended with a proof that simplicity corresponds to stability, for linear regression equations. 1This paper is based on part of my doctoral dissertation. My thanks go to my thesis supervisor Professor Alasdair Urquhart for his encouragement, constructive criticism, and for directing me to several relevant articles: to my advisor Professor Ian Hacking for reminding me to concentrate on results that might have some application in the real world; and to my friend Wendy Brandts for sharing her ideas on a closely related problem. My thanks also to an anonymous referee of The British Journal of the Philosophy of Science for several helpful comments, to my friends and family for unfailing support, and to the Social Sciences and Humanities Research Council (awards 452-86-5885 and 453-87-0513) and the University of Toronto for financial assistance. (shrink)

Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the the posterior probabilities will (...) be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

Fine-tuning in physics and cosmology is often used as evidence that a theory is incomplete. For example, the parameters of the standard model of particle physics are “unnaturally” small, which has driven much of the search for physics beyond the standard model. Of particular interest is the fine-tuning of the universe for life, which suggests that our universe’s ability to create physical life forms is improbable and in need of explanation, perhaps by a multiverse. This claim has been challenged on (...) the grounds that the relevant probability measure cannot be justified because it cannot be normalized, and so small probabilities cannot be inferred. We show how fine-tuning can be formulated within the context of Bayesian theory testing in the physical sciences. The normalizability problem is seen to be a general problem for testing any theory with free parameters, and not a unique problem for fine-tuning. Physical theories in fact avoid such problems in one of two ways. Dimensional parameters are bounded by the Planck scale, avoiding troublesome infinities, and we are not compelled to assume that dimensionless parameters are distributed uniformly, which avoids non-normalizability. (shrink)

The frequent occurrence of comorbidity has brought about an extensive theoretical debate in psychiatry. Why are the rates of psychiatric comorbidity so high and what are their implications for the ontological and epistemological status of comorbid psychiatric diseases? Current explanations focus either on classification choices or on causal ties between disorders. Based on empirical and philosophical arguments, we propose a conventionalist interpretation of psychiatric comorbidity instead. We argue that a conventionalist approach fits well with research and clinical practice and resolves (...) two problems for psychiatric diseases: experimenter’s regress and arbitrariness. (shrink)

We introduce a distinction, unnoticed in the literature, between four varieties of objective Bayesianism. What we call ' strong objective Bayesianism' is characterized by two claims, that all scientific inference is 'logical' and that, given the same background information two agents will ascribe a unique probability to their priors. We think that neither of these claims can be sustained; in this sense, they are 'dogmatic'. The first fails to recognize that some scientific inference, in particular that concerning evidential relations, is (...) not (in the appropriate sense) logical, the second fails to provide a non-question-begging account of 'same background information'. We urge that a suitably objective Bayesian account of scientific inference does not require either of the claims. Finally, we argue that Bayesianism needs to be fine-grained in the same way that Bayesians fine-grain their beliefs. (shrink)

This paper evaluates attempts to defend established concepts of expertise and clinical judgement against the incursions of evidence‐based practice. Two related arguments are considered. The first suggests that standard accounts of evidence‐based practice imply an overly narrow view of ‘evidence’, and that a more inclusive concept, incorporating ‘patterns of knowing’ not recognised by the familiar evidence hierarchies, should be adopted. The second suggests that statistical generalisations cannot be applied non‐problematically to individual patients in specific contexts, and points out that this (...) is why we need clinical judgement. In evaluating the first argument, I propose a criterion for what counts as evidence. It is a minimalist criterion but the ‘patterns of knowing’, referred to in the literature, still fail to meet it. In evaluating the second argument, I will outline the powerful empirical reasons we have for thinking that decisions based on research evidence are usually better than decisions based on clinical judgement; and show that current efforts to rehabilitate clinical judgement seriously underestimate the strength of these reasons. By way of conclusion, I will sketch the ways in which the concept of expertise will have to be modified if we accept evidence‐based practice as a template for health‐care. (shrink)

It is widely agreed that Hume's description of human inductive reasoning is inadequate. But many philosophers think that this inadequacy in no way affects the force of Hume's argument for the unjustifiability of inductive reasoning. I argue that this constellation of opinions contains a serious tension, given that Hume was not merely pointing out that induction is fallible. I then explore a recent diagnosis of where Hume's sceptical argument goes wrong, due to Elliott Sober. Sober argues that Hume committed a (...) quantifier-shift fallacy, i.e. inferred a statement of ?? form from one of ?? form. The implications of this diagnosis for the traditional problem of induction are briefly examined. (shrink)

The purported fact that geometric theories formulated in terms of points and geometric theories formulated in terms of lines are “equally correct” is often invoked in arguments for conceptual relativity, in particular by Putnam and Goodman. We discuss a few notions of equivalence between first-order theories, and we then demonstrate a precise sense in which this purported fact is true. We argue, however, that this fact does not undermine metaphysical realism.

The story of how Perrin’s experimental work established the reality of atoms and molecules has been a staple in (realist) philosophy of science writings (Wesley Salmon, Clark Glymour, Peter Achinstein, Penelope Maddy, …). I’ll argue that how this story is told distorts both what the work was and its significance, and draw morals for the understanding of how theories can be or fail to be empirically grounded.

The main aim of this paper is to revisit the curve fitting problem using the reliability of inductive inference as a primary criterion for the ‘fittest' curve. Viewed from this perspective, it is argued that a crucial concern with the current framework for addressing the curve fitting problem is, on the one hand, the undue influence of the mathematical approximation perspective, and on the other, the insufficient attention paid to the statistical modeling aspects of the problem. Using goodness-of-fit as the (...) primary criterion for ‘best', the mathematical approximation perspective undermines the reliability of inference objective by giving rise to selection rules which pay insufficient attention to ‘accounting for the regularities in the data'. A more appropriate framework is offered by the error-statistical approach, where (i) statistical adequacy provides the criterion for assessing when a curve captures the regularities in the data adequately, and (ii) the relevant error probabilities can be used to assess the reliability of inductive inference. Broadly speaking, the fittest curve (statistically adequate) is not determined by the smallness if its residuals, tempered by simplicity or other pragmatic criteria, but by the nonsystematic (e.g. white noise) nature of its residuals. The advocated error-statistical arguments are illustrated by comparing the Kepler and Ptolemaic models on empirical grounds. ‡I am grateful to Deborah Mayo and Clark Glymour for many valuable suggestions and comments on an earlier draft of the paper; estimating the Ptolemaic model was the result of Glymour's prompting and encouragement. †To contact the author, please write to: Department of Economics, Virginia Tech 3019 Pamplin Hall (0316), Blacksburg, VA 24061; e-mail: [email protected]. (shrink)

In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson and Weatherall, the two are equivalent theories.

In the 1960s molecular population geneticists used Monte Carlo experiments to evaluate particular diffusion equation models. In this paper I examine the nature of this comparative evaluation and argue for three claims: first, Monte Carlo experiments are genuine experiments: second, Monte Carlo experiments can provide an important meansfor evaluating the adequacy of highly idealized theoretical models; and, third, the evaluation of the computational adequacy of a diffusion model with Monte Carlo experiments is significantlydifferent from the evaluation of the emperical adequacy (...) of the same diffusion model. (shrink)

This paper briefly recounts the importance of the notion of natural axiomatizations for explicating hypothetico‐deductivism, empirical significance, theoretical reduction, and organic fertility. Problems for the account of natural axiomatizations developed by John Watkins in Science and Scepticism and the revised account developed by Elie Zahar are demonstrated. It is then shown that Watkins's account can be salvaged from various counter‐examples in a principled way by adding the demand that every axiom of a natural axiomatization should be part of the content (...) of the theory being axiomatized. The crucial point here is that content cannot simply be identified with the set of logical consequences of a theory, but must be restricted to a proper subset of the consequence set. It is concluded that the revised Watkins account has certain advantages over the account of natural axiomatizations offered in Gemes. (shrink)