I argue that attempts to demarcation ethics from science are not jeopardized by the fact that conjunctions of moral claims may have empirically verifiable logical consequences.

In this three-part paper, my concern is to expound and defend a conception of science, close to Einstein's, which I call aim-oriented empiricism. I argue that aim-oriented empiricsim has the following virtues. (i) It solve the problem of induction; (ii) it provides decisive reasons for rejecting van Fraassen's brilliantly defended but intuitively implausible constructive empiricism; (iii) it solves the problem of verisimilitude, the problem of explicating what it can mean to speak of scientific progress given that science advances from one (...) false theory to another; (iv) it enables us to hold that appropriate scientific theories, even though false, can nevertheless legitimately be interpreted realistically, as providing us with genuine , even if only approximate, knowledge of unobservable physical entities; (v) it provies science with a rational, even though fallible and non-mechanical, method for the discovery of fundamental new theories in physics. In the third part of the paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years. (shrink)

The paper exposes the philosophical and mathematical flaws in an attempt to settle the continuum problem by a new class of axioms based on probabilistic reasoning. I also examine the larger proposal behind this approach, namely the introduction of new primitive notions that would supersede the set theoretic foundation of mathematics.

In spite of several attempts to explicate the relationship between a scientific hypothesis and evidence, the issue still cries for a satisfactory solution. Logical approaches to confirmation, such as the hypothetico-deductive method and the positive instance account of confirmation, are problematic because of their neglect of the semantic dimension of hypothesis confirmation. Probabilistic accounts of confirmation are no better than logical approaches in this regard. An outstanding probabilistic account of confirmation, the Bayesian approach, for instance, is found to be defective (...) in that it treats evidence as a formal entity and this creates the problem of relevance of evidence to the hypothesis at issue, in addition to the difficulties arising from the subjective interpretation of probabilities. This essay purports to satisfy the need for a successful account of hypothesis confirmation by offering an original formulation based on the notion of instantiation of the relation urged by an hypothesis. (shrink)

New computer systems of discovery create a research program for logic and philosophy of science. These systems consist of inference rules and control knowledge that guide the discovery process. Their paths of discovery are influenced by the available data and the discovery steps coincide with the justification of results. The discovery process can be described in terms of fundamental concepts of artificial intelligence such as heuristic search, and can also be interpreted in terms of logic. The traditional distinction that places (...) studies of scientific discovery outside the philosophy of science, in psychology, sociology, or history, is no longer valid in view of the existence of computer systems of discovery. It becomes both reasonable and attractive to study the schemes of discovery in the same way as the criteria of justification were studied: empirically as facts, and logically as norms. (shrink)

Much of the recent work on the epistemology of causation has centered on two assumptions, known as the Causal Markov Condition and the Causal Faithfulness Condition. Philosophical discussions of the latter condition have exhibited situations in which it is likely to fail. This paper studies the Causal Faithfulness Condition as a conjunction of weaker conditions. We show that some of the weaker conjuncts can be empirically tested, and hence do not have to be assumed a priori. Our results lead to (...) two methodologically significant observations: (1) some common types of counterexamples to the Faithfulness condition constitute objections only to the empirically testable part of the condition; and (2) some common defenses of the Faithfulness condition do not provide justification or evidence for the testable parts of the condition. It is thus worthwhile to study the possibility of reliable causal inference under weaker Faithfulness conditions. As it turns out, the modification needed to make standard procedures work under a weaker version of the Faithfulness condition also has the practical effect of making them more robust when the standard Faithfulness condition actually holds. This, we argue, is related to the possibility of controlling error probabilities with finite sample size (“uniform consistency”) in causal inference. (shrink)

This article reveals one general scheme for creating counter examples to Bayesian confirmation theory. The reason of the problems is that: in daily life the degree of confirmation is affected not only by probability but also by some non-probabilistic factors, e.g., structural similarity, quantity of evidence, and marginal utility, while Bayesian confirmation theory considers only probabilities to measure the degree of confirmation. This article resolves these problems after some detail analyses, and proposes a new confirmation measure based on these factors.

A theory of evidential probability is developed from two assumptions:(1) the evidential probability of a proposition is its probability conditional on the total evidence;(2) one's total evidence is one's total knowledge. Evidential probability is distinguished from both subjective and objective probability. Loss as well as gain of evidence is permitted. Evidential probability is embedded within epistemic logic by means of possible worlds semantics for modal logic; this allows a natural theory of higher-order probability to be developed. In particular, it is (...) emphasized that it is sometimes uncertain which propositions are part of one's total evidence; some surprising implications of this fact are drawn out. (shrink)

Anti-exceptionalism about logic takes logical theories to be continuous with scientific theories. Scientific theories are subject to criteria of theoretical equivalence. This article compares two types of theoretical equivalence – one syntactic and one semantic – in the context of logical anti-exceptionalism, and argues that the syntactic approach leads to undesirable consequences. The anti-exceptionalist should therefore take a semantic approach when evaluating whether logical theories, understood as scientific theories, are equivalent. This article argues for a particular semantic approach, in terms (...) of categorical equivalence, to determine whether logical theories are equivalent. (shrink)

As Harvey Brown emphasizes in his book Physical Relativity, inertial motion in general relativity is best understood as a theorem, and not a postulate. Here I discuss the status of the "conservation condition", which states that the energy-momentum tensor associated with non-interacting matter is covariantly divergence-free, in connection with such theorems. I argue that the conservation condition is best understood as a consequence of the differential equations governing the evolution of matter in general relativity and many other theories. I conclude (...) by discussing what it means to posit a certain spacetime geometry and the relationship between that geometry and the dynamical properties of matter. (shrink)

I provide an alternative characterization of a "standard of rotation" in the context of classical spacetime structure that does not refer to any covariant derivative operator.

This article examines the effect of material evidence upon historiographic hypotheses. Through a series of successive Bayesian conditionalizations, I analyze the extended competition among several hypotheses that offered different accounts of the transition between the Bronze Age and the Iron Age in Palestine and in particular to the “emergence of Israel”. The model reconstructs, with low sensitivity to initial assumptions, the actual outcomes including a complete alteration of the scientific consensus. Several known issues of Bayesian confirmation, including the problem of (...) old evidence, the introduction and confirmation of novel theories and the sensitivity of convergence to uncertain and disputed evidence are discussed in relation to the model’s result and the actual historical process. The most important result is that convergence of probabilities and of scientific opinion is indeed possible when advocates of rival hypotheses hold similar judgment about the factual content of evidence, even if they differ sharply in their historiographic interpretation. This speaks against the contention that understanding of present remains is so irrevocably biased by theoretical and cultural presumptions as to make an objective assessment impossible. (shrink)

In a recent paper James Bogen and James Woodward denounce a set of views on confirmation that they collectively brand 'IRS'. The supporters of these views cast confirmation in terms of Inferential Relations between observational and theoretical Sentences. Against 1RS accounts of confirmation, Bogen and Woodward unveil two main objections: (a) inferential relations are not necessary to model confirmation relations since many data are neither in sentential form nor can they be put in such a form and (b) inferential relations (...) are not sufficient to model confirmation relations because the former cannot capture evidentially relevant factors about the detection processes and instruments that generate the data. In this paper I have a two-fold aim: (i) to show that Bogen and Woodward fail to provide compelling grounds for the rejection of IRS models and (ii) to highlight some of the models' neglected merits. (shrink)

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.

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

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)

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)

Philosophers have often noted that science displays an uncommon degree of consensus on beliefs among its practitioners. Yet consensus in the sciences is not a goal in itself. I consider cases of consensus on beliefs as concrete events. Consensus on beliefs is neither a sufficient nor a necessary condition for presuming that these beliefs constitute knowledge. A concrete consensus on a set of beliefs by a group of people at a given historical period may be explained by different factors according (...) to various hypotheses. A particularly interesting hypothesis from an epistemic perspective is the knowledge hypothesis: shared knowledge explains a consensus on beliefs. If all the alternative hypotheses to the knowledge hypotheses are false or are not as good in explaining a concrete consensus on beliefs, the knowledge hypothesis is the best explanation of the consensus. If the knowledge hypothesis is best, a consensus becomes a plausible, though fallible, indicator of knowledge. I argue that if a consensus on beliefs is uncoerced, uniquely heterogeneous and large, the gap between the likelihood of the consensus given the knowledge hypothesis and its likelihoods given competing hypotheses tends to increase significantly. Consensus is a better indicator of knowledge than "success" or "human flourishing". (shrink)

RÉSUMÉ: La pragmatique et la sémantique de l’historiographie révèlent une fragmentation croissante qui s’étend par-delà les écoles jusqu’aux historiens individuels. Alors que les scientifiques normalisent les données pour qu’elles s’ajustent aux théories, les historiens interprètent leurs théories, de manières incompatibles entre elles, pour qu’elles s’ajustent aux différents cas historiques. Les difficultés qui en découlent dans la communication historiographique remettent en cause les philosophies herméneutiques de l’historiographie et redonnent un nouvel intérêt à la question d’une historiographie scientifique. Mais les réponses existantes (...) sont philosophiquement obsolètes. Une façon de reformuler le problème est de partir de la complexité du chaos et de l’unicité de l’histoire. Seule la science peut évaluer si les propriétés d’un domaine donné en interdisent une approche scientifique. Or la science s’étend par réductions méthodologiques explicatives, en ramenant des propriétés d’événements complexes, chaotiques et uniques, qui sont familières, mais d’un niveau plus élevé, à des propriétés ou interrelations non familières et d’un niveau moins élevé. La culture disciplinaire de l’historiographie, cependant, empêche le développement par essais et erreurs de telles tentatives de réductions scientifiques, qui seules permettraient d’évaluer les possibilités d’une historiographie scientifique, laquelle, dans la situation présente, relève de la science-fiction. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful”. The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not produce any additional predictions, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying terms of this kind that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning: I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

Amalgamating evidence of different kinds for the same hypothesis into an overall confirmation is analogous, I argue, to amalgamating individuals’ preferences into a group preference. The latter faces well-known impossibility theorems, most famously “Arrow’s Theorem”. Once the analogy between amalgamating evidence and amalgamating preferences is tight, it is obvious that amalgamating evidence might face a theorem similar to Arrow’s. I prove that this is so, and end by discussing the plausibility of the axioms required for the theorem.

Why are conditional degrees of belief in an observation E, given a statistical hypothesis H, aligned with the objective probabilities expressed by H? After showing that standard replies are not satisfactory, I develop a suppositional analysis of conditional degree of belief, transferring Ramsey’s classical proposal to statistical inference. The analysis saves the alignment, explains the role of chance-credence coordination, and rebuts the charge of arbitrary assessment of evidence in Bayesian inference. Finally, I explore the implications of this analysis for Bayesian (...) reasoning with idealized models in science. (shrink)

One of the most troubling and persistent challenges for Bayesian Confirmation Theory is the Problem of Old Evidence. The problem arises for anyone who models scientific reasoning by means of Bayesian Conditionalization. This article addresses the problem as follows: First, I clarify the nature and varieties of the POE and analyze various solution proposals in the literature. Second, I present a novel solution that combines previous attempts while making weaker and more plausible assumptions. Third and last, I summarize my findings (...) and put them into the context of the general debate about POE and Bayesian reasoning. (shrink)

This paper synthesizes confirmation by instances and confirmation by successful predictions, and thereby the Hempelian and the hypothetico-deductive traditions in confirmation theory. The merger of these two approaches is subsequently extended to the piecemeal confirmation of entire theories. It is then argued that this synthetic account makes a useful contribution from both a historical and a systematic perspective.

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)

We owe most scientific knowledge to methods of inquiry that are never formally analyzed. The analysis of behavior does not call for hypothetico-deductive methods. Statistics, taught in lieu of scientific method, is incompatible with major features of much laboratory research. Squeezing significance out of ambiguous data discourages the more promising step of scrapping the experiment and starting again. As a consequence, psychologists have taken flight from the laboratory. They have fled to Real People and the human interest of “real life,” (...) to Mathematical Models and the elegance of symbolic treatments, to the Inner Man and the explanatory preoccupation with inferred internal mechanisms, and to Laymanship and its appeal to “common sense.” An experimental analysis provides an alternative to these divertissements.The “theories” to which objection is raised here are not the basic assumptions essential to any scientific activity or statements that are not yet facts, but rather explanations which appeal to events taking place somewhere else, at some other level of observation, described in different terms, and measured, if at all, in different dimensions. Three types of learning theories satisfy this definition: physiological theories attempting to reduce behavior to events in the nervous system; mentalistic theories appealing to inferred inner events; and theories of the Conceptual Nervous System offered as explanatory models of behavior. It would be foolhardy to deny the achievements of such theories in the history of science. The question of whether they are necessary, however, has other implications.Experimental material in three areas illustrates the function of theory more concretely. Alternatives to behavior ratios, excitatory potentials, and so on demonstrate the utility of rate or probability of response as the basic datum in learning. Functional relations between behavior and environmental variables provide an account of why learning occurs. Activities such as preferring, choosing, discriminating, and matching can be dealt with solely in terms of behavior, without referring to processes in another dimensional system. The experiments are not offered as demonstrating that theories are not necessary but to suggest an alternative. Theory is possible in another sense. Beyond the collection of uniform relationships lies the need for a formal representation of the data reduced to a minimal number of terms. A theoretical construction may yield greater generality than any assemblage of facts; such a construction will not refer to another dimensional system. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...) a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)