This paper utilizes Scott domains (continuous lattices) to provide a mathematical model for the use of idealized and approximately true data in the testing of scientific theories. Key episodes from the history of science can be understood in terms of this model as attempts to demonstrate that theories are monotonic, that is, yield better predictions when fed better or more realistic data. However, as we show, monotonicity and truth of theories are independent notions. A formal description is given of the (...) pragmatic virtues of theories which are monotonic. We also introduce the stronger concept of continuity and show how it relates to the finite nature of scientific computations. Finally, we show that the space of theories also has the structure of a Scott domain. This result provides an analysis of how one theory can be said to approximate another. (shrink)

In this paper, I will develop a nontrivial interpretation of Feyerabend's concept of a hidden anomalous fact. Feyerabend's claim is that some anomalous facts will remain hidden in the absence of alternatives to the theories to be tested. The case of Brownian motion is given by Feyerabend to support this claim. The essential scientific difficulty in this case was the justification of correct and relevant descriptions of Brownian motion. These descriptions could not be simply determined from the available observational data. (...) An examination, however, of this case shows that no alternative theory is or historically was thought to be necessary in order to justify descriptions of Brownian motion that "directly" refute thermodynamics. While Feyerabend's appraisal of this case therefore is incorrect, a sense is developed in which successful alternatives lend inductive support to the correctness of refuting experimental descriptions. Crucial though to the explanation of this support is the notion of arguments that show the possibilities for improving experimental fit. (shrink)

The use of idealizations and approximations in scientific explanations poses a problem for traditional philosophical theories of confirmation since, strictly speaking, these sorts of statements are false. Furthermore, in several central cases in the history of science, theoretical predictions seen as confirmatory are not, in any usual sense, even approximately true. As a means of eliminating the puzzling nature of these cases, two theses are proposed. First, explanations consist of idealized deductive-nomological sketches plus what are called modal auxiliaries, i.e., arguments (...) showing that if the idealizations used in the initial conditions are improved, then there will be an improvement in the prediction. Second, a theory is confirmed if it can be shown that its idealized sketches can be improved; similarly, a theory is disconfirmed if its idealized sketches cannot be improved. Several examples are given to illustrate both confirmation and disconfirmation achieved by means of the modal auxiliary. These cases are compared with Scriven's bridge example. (shrink)

Using the Schwarzschild calculation of the Relativistic bending of starlight near the sun as an illustration, it is shown that the relationship between theory and data requires a hierarchy of structures of different logical type. An essential feature of this hierarchy is the use of idealizations and approximate truths. On the basis of a counterfactual analysis of these concepts, it is shown that confirmation is possible even though statistical measures of goodness of fit are not satisfied. The consequences of this (...) view of confirmation and hierarchical structure for scientific realism are then considered. (shrink)

The problem for the scientist created by using idealizations is to determine whether failures to achieve experimental fit are attributable to experimental error, falsity of theory, or of idealization. Even in the rare case when experimental fit within experimental error is achieved, the scientist must determine whether this is so because of a true theory and fortuitously canceling idealizations, or due to a fortuitous combination of false theory and false idealizations. For the engineer, the problem seems rather different. Experiment for (...) the engineer reveals the closeness of predictive fit that can be achieved by theory and idealization for a particular case. If the closeness of fit is good enough for some practical purpose, the job is done. If not, or there are reasons to consider variation, then the engineer needs to know how well the experimentally determined closeness of fit will extrapolate to new cases. This paper focuses on engineering measures of closeness of fit and the projectibility of those measures to new cases. (shrink)

It's uncontroversial that notions of idealization and approximation are central to understanding computer simulations and their rationale. What's not so clear is what exactly these notions come to. Two distinct forms of approximation will be distinguished and their features contrasted with those of idealizations. These distinctions will be refined and closely tied to computer simulations by means of Scott-Strachey denotational programming semantics. The use of this sort of semantics also provides a convenient format for argumentation in favor of several theses (...) I shall propose concerning the role computer implemented approximations and idealizations play in fixing what the acceptance of an underlying scientific theory is or should be. (shrink)

Maxwell claimed that the electrostatic inverse square law could be deduced from Cavendish's spherical condenser experiment. This is true only if the accuracy claims made by Cavendish and Maxwell are ignored, for both used the inverse square law as a premise in their analyses of experimental accuracy. By so doing, they assumed the very law the accuracy of which the Cavendish experiment was supposed to test. This paper attempts to make rational sense of this apparently circular procedure and to relate (...) it to some variants of traditional problems concerning old and new evidence. (shrink)

Grunbaum has argued that the Lorentz-Fitzgerald contraction hypothesis is not ad hoc since the Kennedy-Thorndike experiment can be used to provide a test that is significantly different from that provided by the Michelson-Morley experiment. In the first part of the paper, I show that the differences claimed by Grunbaum to hold between these two experiments are not sufficient for establishing independent testability. A dilemma is developed: either the Kennedy-Thorndike experiment, because of experimental realities, cannot test the uncontracted Fresnel aether theory, (...) or if experimental difficulties are ignored, the Kennedy-Thorndike experiment degenerates into a version of the Michelson-Morley experiment. The second part of the paper is a feasibility study of the prospects for defining experimental types according to aims of measurement and determination. This approach is applied to the contraction hypothesis, where it is suggested that the usual analysis of independent testability be modified. (shrink)

It’s uncontroversial that notions of idealization and approximation are central to understanding computer simulations and their rationale. So, for example, one common form of computer simulation is to abandon a realistic approach that is computationally non-tractable for a more idealized but computationally tractable approach. Many simulations of systems of interacting members can be understood this way. In such simulations, realistic descriptions of individual members are replaced with less realistic descriptions which have the virtue of making interactions computationally tractable. Such simulations (...) can be supplemented with empirically determined correction factors which render the output produced by means of the idealizations more in accord, one hopes, with what the more realistic approach would have produced had it been computationally tractable. Another way to utilize computers is to replace an idealized but analytically tractable account of some phenomenon with a less idealized account which has no closed form or analytical solutions but where the computer can be used generate approximations to the desired solutions. (shrink)

One of the things I attempted to do in my paper on independent testability was to illustrate convincingly the very real difficulties of distinguishing between the accidental and essential features of a scientific experiment. The importance of this distinction is that independent testability presumably requires differences that are essential and telling and not merely accidental reflections of existing experimental technique or of the procedural preferences of the experimenter. In the case of the Michelson-Morley and Kennedy-Thorndike experiments, I showed, following a (...) suggestion of M. G. Evans, that Grünbaum's attempt to distinguish these two experiments does not work. I also showed that certain obvious and natural variations of Grünbaum's approach do not adequately distinguish these experiments. So, for example, it will not do simply to claim that MM is characterized by equal arms and KT by unequal arms, since equal arms are required for MM only in the absence of adequate photographic registration methods. But if these methods are not available then KT is not possible. Conversely, if these methods are available, then while both MM and KT are experimentally possible, MM need not be restricted to equal arms. (shrink)

In this paper, I will defend Paul Feyerabend's claim--that there are some scientific theories that cannot be refuted unless one of their rivals is first confirmed--by criticizing Ronald Laymon's well-known attack on Feyerabend's claim. In particular, I will argue both that the Second Law of Thermodynamics was not refuted before the Kinetic Theory's predictions were confirmed, and that it could not have been refuted without the confirmation of the remarkable predictions of some rival theory.

All these specialist aspects of one life are different facets of the intellectual diamond which scintillates in the huge quarry of The Bertrand Russell Archives at McMaster University, Hamilton, Ontario. This is the quintessential man, the bundle of contradictions passionately dedicated to intellect, at times carrying the rational argument to irrational extremes; the natural-born emotional adventurer forever hampered by orphaned youth and too-early marriage. This Russell in the round is greater than the sum of his constituent parts, a man of (...) epic proportions, struggling through a lifetime beset with frustration and near-disaster; in youth the constitutional sceptic, in old age the sometimes splendid figure with "courage never to submit or yield.". (shrink)

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

As consumer lifestyles have changed over recent decades, people have increasingly turned to meals prepared away from home. A major consequence of this shift in eating patterns has been a concomitant rise in obesity rates worldwide. Research has consistently documented that consumers tend to make less healthy choices when purchasing prepared meals away from home. In part, this can be attributed to inadequate information at the time of purchase; both nutrition experts and lay consumers tend, for example, to underestimate calories (...) in food purchased away from home and thus portion sizes tend to be larger. Thus, by requiring restaurants and other purveyors of prepared foods to provide the calorie content and other nutrition information at the point of purchase, consumers should be able to make more informed decisions and public health should be improved. The often maligned Affordable Care Act (i.e., “Obamacare”) addressed this issue in a mandate calling for compulsory nutrition labeling of prepared foods at the point of sale. In response to this effort, conservatives in Congress introduced the “Common Sense Nutrition Disclosure Act” (CSNDA) which, if enacted, would have effectively eviscerated the menu labeling provisions mandated by the Affordable Care Act. The stated rationale behind this legislation: to protect small business and prevent job loss resulting from overly‐burdensome federal regulations. This article provides a historical look at the evolution of federally mandated menu labeling in the United States with particular emphasis on opposition to its passage. The position is taken such that this legislation is beneficial, warranted, and long overdue, and its opposition, as reflected in the CSNDA, points to the need for new metrics when evaluating public policy. (shrink)

The problem of providing mandated medical care has become commonplace as correctional systems in the United States struggle to manage unprecedented increases in its aging prison population. This study explores older incarcerated women’s perceptions of prison health care policies and their day-to-day survival experiences. Aggregate data obtained from a sample of 327 older women residing in prison facilities in five Southern states were used to identify a baseline of health conditions and needs for this vulnerable group. With an average of (...) 4.2 chronic health conditions, frequently histories of victimization, and high rates of mental health issues, the women’s experiences of negotiating health care was particularly challenging. By incorporating the voices of older women, we expose the contradictions, dilemmas, and obstacles they experience in their attempts to obtain health care. It is clear from the personal accounts shared that, despite court mandates, penal harm practices such as delaying or denying medical treatment as well as occasional staff indifferences are common in women’s prisons. With older women having the greatest need for health care, an age- and gender-sensitive approach is recommended. (shrink)

Professor Narveson's comments about my papers on equality are both penetrating and comprehensive. I cannot hope to discuss all the issues he raises in any detail. But there is a special problem: his main question is about what I have not said. He asks how I might defend equality of resources other than simply by describing a version of it, and of course this question will require some extended discussion. But he is right to say that this is his most (...) important question, and I should hate to lose the opportunity of encouraging discussion of it. So I shall begin with some general remarks about the defence of the idea of equality and then take up, in a very hasty and summary way, the other problems he discusses or raises. Please allow me, however, this apology and caution. I know that what I shall say about the defense of equality is at many points dogmatic and at others unmindful of very natural objections and replies. I want to answer Narveson only by showing in a rough and general way how far I think a defense of equality is possible, what kind of defense this can be, and what form it should take. (shrink)

Aristotle's De Anima is the first systematic philosophical account of the soul, which serves to explain the functioning of all mortal living things. In his commentary, Ronald Polansky argues that the work is far more structured and systematic than previously supposed. He contends that Aristotle seeks a comprehensive understanding of the soul and its faculties. By closely tracing the unfolding of the many-layered argumentation and the way Aristotle fits his inquiry meticulously within his scheme of the sciences, Polansky answers (...) questions relating to the general definition of soul and the treatment of each of the soul's principal capacities: nutrition, sense perception, phantasia, intellect, and locomotion. The commentary sheds light on every section of the De Anima and the work as a unit. It offers a challenge to earlier and current interpretations of the relevance and meaning of Aristotle's highly influential treatise. (shrink)

This combination textbook and anthology provides coverage of the fundamental topics in current medical ethics adn familiarizes the reader with the basic moreal and social issues confronting the medical profession today.

My thesis is that, although medicine is scientific, it is not and can not become a science. After rejecting as flawed an argument attempting to show that medicine is already a science, I argue that a comparison of such basic, defining features as internal aims, criteria of success, and principles regulating the enterprises demonstrate that medicine and science are inherently different. I then argue that while it may be possible to reduce the cognitive content of medicine to biology, medicine itself (...) cannot be reduced, for as an enterprise it possesses features that make it an inappropriate subject of reduction. I conclude by indicating four results that emerge from recognizing that medicine and science are basically distinct. CiteULike Connotea Del.icio.us What's this? (shrink)