Almost everyone has an intuitive notion of what a random number is. For example, consider these two series of binary digits: 01010101010101010101 01101100110111100010 The first is obviously constructed according to a simple rule; it consists of the number 01 repeated ten times. If one were asked to speculate on how the series might continue, one could predict with considerable confidence that the next two digits would be 0 and 1. Inspection of the second series of digits yields no such comprehensive (...) pattern. There is no obvious rule governing the formation of the number, and there is no rational way to guess the succeeding digits. The arrangement seems haphazard; in other words, the sequence appears to be a random assortment of 0's and 1's. (shrink)

Introduction to the Scientific Proof of the Natural Moral Law This paper proves that Aquinas has a means of demonstrating and deriving both moral goodness and the natural moral law from human nature alone. Aquinas scientifically proves the existence of the natural moral law as the natural rule of human operations from human nature alone. The distinction between moral goodness and transcendental goodness is affirmed. This provides the intellectual tools to refute the G.E. Moore (Principles of Ethics) attack (...) against the natural law as committing a "naturalistic fallacy". This article proves that instead Moore commits the fallacy of equivocation between moral goodness and transcendental goodness in his very assertion of a "naturalistic fallacy" by the proponents of the natural moral law. In the process the new deontological/kantian theory of natural law as articulated by John Finnis, Robert George, and Germain Grisez is false historically and philosophically. Ethical naturalism is affirmed as a result. (shrink)

이 글은 후성유전학에 기초하여 전개되어온 철학적 논의를 비판적으로 검토하기 위해 쓰여졌다. 후성유전학은 개체의 영양 상태나 정신적 경험에 의해 결정되는 DNA메틸화, 히스톤변형, 비번역 RNA의 작용 등의 요인을 통해 유전자의 발현 여부와 발현정도가 조절되고 최종적으로 개체의 표현형질이 변한다는 사실을 밝혀냈다. 이러한 내용은 사람들이 스스로 환경을 선택하고 의도된 정신적 경험을 부여함으로써 유전자 발현을 조절할 수 있다는 내용을 함축하고 있어 자유의지 성립을 위한 주요한 근거로 제시되었다. 후성유전학과 연관된 자유의지 논증은 그동안 진화론, 유전공학, 신경과학 등의 분야에서 주장된 유전자결정론이나 유물론적 기계론을 극복하고 나아가 유전자 돌연변이로 인해 (...) 발생하는 다양한 질병을 치료하거나 원하는 대로 각자의 행동을 조절할 수 있는 가능성까지 함축하는 것이어서 사회적, 철학적 관심이 집중되기도 하였다. 하지만 후성유전학적 근거가 제대로 밝혀진 경우는 몇몇 사례에 불과하고 특히 분자적 수준에서의 인과성을 통해 전 과정을 체계적으로 설명한 경우는 극소수에 불과해 논의의 타당성에 의문이 제기될 수 있다. 이러한 문제는 앞으로 후성유전학 연구가 지속된다고 하더라도 쉽게 개선되기는 어려울 것이다. 과거 유전공학의 안정성 문제에 대한 논의에서 충분히 드러났듯이 인간은 기본적인 구조로 환원되기 어려운 유기체적 복잡성을 갖고 있기 때문에 DNA발현부위를 조절하는 보편적인 후성유전 법칙을 찾아내기란 쉬운 일이 아니기 때문이다. 후성유전학이 과거 본성과 양육의 대립논쟁을 뛰어넘어 이 둘을 하나의 메커니즘안에서 종합적으로 설명하고 유전자결정론을 극복할 수 있는 근거를 마련한 것은 높이 평가할 부분이다. 하지만 유전자발현부위 조절에 대한 일반적 원리가 정립되기 어려운 상황에서 후성유전학을 자유의지 성립 근거로 제시한다면 논리적으로 반박당할 가능성이 클 뿐만 아니라 사회적으로도 다양한 문제를 야기할 수도 있어 보다 신중한 태도로 접근할 필요가 있다. (shrink)

This article deals with the events that preceded the U.S. House Resolution No. 269 of June 11, 2002, acknowledging the primacy of Antonio Meucci in the invention of the telephone and that were decisive to the passing of the same. Among them are the author’s lecture at the University of NewYork of October 10, 2000, and Resolution No. 1566 of the New York City Council urging the U.S. Congress to recognize the priority of Antonio Meucci in the invention of the (...) telephone, which followed 2 days after. This lecture is reported here as it was newly delivered in Canada during the author’s visit in April 2003. (shrink)

The author analyzes proof and argumentation as a form of appeal to a scientific community with deep ethical meaning. He presents proof primarily as an effort to persuade a scientific community rather than a search for true knowledge, as an instrument by which responsibility is taken for the correctness of the thesis being proved, which usually originates in a sudden flash of insight.

A Neuroscientist Offers Evidence of Where the Brain Ends and Consciousness Begins.

“Proof of concept” is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I (...) provide a short analysis of proof of concept research and offer an example of it within synthetic biology. I suggest that not only are there activities that circumscribe new epistemological categories but there are also associated normative ethical categories or principles linked to the research. I examine these and provide an outline for an alternative ethical account to describe these activities that I refer to as “extended agency ethics”. This view is used to explain how the type of research described as proof of concept also provides an attendant proof of principle that is the result of decision-making that extends across practitioners, their tools, techniques, and the problem solving activities of other research groups. (shrink)

It has been a traditional claim that Descartes sought to construct a deductive scientific system in which everything could be deduced from a priori truths. I shall call this thesis strong a priorism. In view of the overwhelming amount of evidence that Descartes thought experience to be a necessary part of his method, the traditional interpretation has undergone several transformations. One interpretation resulting from this transformation holds that Descartes sought to prove the first principles of natural philosophy in an (...) a priori manner. I will call this interpretation weak a priorismk.My task in this paper is to show that the thesis of weak a priorismk is false. With a view to proving this, I will show that one of the very general principles of Cartesian natural philosophy, namely, the claim that the essence of matter is extension, could not have been, and was not meant to be, established in a purely a priorik way. (shrink)

It has been a traditional claim that Descartes sought to construct a deductive scientific system in which everything could be deduced from a priori truths. I shall call this thesis strong a priorism. In view of the overwhelming amount of evidence that Descartes thought experience to be a necessary part of his method, the traditional interpretation has undergone several transformations. One interpretation resulting from this transformation holds that Descartes sought to prove the first principles of natural philosophy in an (...) a priori manner. I will call this interpretation weak a priorismk.My task in this paper is to show that the thesis of weak a priorismk is false. With a view to proving this, I will show that one of the very general principles of Cartesian natural philosophy, namely, the claim that the essence of matter is extension, could not have been, and was not meant to be, established in a purely a priorik way. (shrink)

It has been a common belief among scientists, including mathematicians, that young scientists are especially good at bringing about scientific change. A number of studies suggest, however, that older scientists are not more resistant to change than young scientists are. It is nonetheless worth examining why a scientist’s or mathematician’s outsider status – due to age, educational background, or something else – can sometimes be effective in enabling scientific change. This paper focuses on the case of the solving (...) of the Four Color Problem by Wolfgang Haken and Kenneth Appel. Building on Donald MacKenzie’s paper ‘Slaying the kraken: The sociohistory of a mathematical proof’, I argue that Haken’s outsider status is central to understanding his success with the problem. On this basis, I offer an argument against Margaret Gilbert’s account of why a scientist’s outsider status can be effective in enabling scientific change. (shrink)

Environmental actions require a willingness to act, which, in turn, is stimulated partially by the belief that an action will yield the desired consequences. In determining whether an actor was justified in exerting the will to act, therefore, it is essential to examine the nature of evidence offered by the actor in support of any beliefs about the environment. In this paper we explore the points in environmental risk analyses at which evidence is brought to bear in support of inferences (...) conceming environmental effects of regulatory actions. The intent is to provide a framework for discussing the manner in which evidence may provide a sufficient basis for ethically sound decisions for environmental actions. (shrink)

Abstract The paper is an attempt to interpret Imre Lakatos's methodology of scientific research programmes (MSRP) on the basis of his mathematical methodology, the method of proofs and refutations (MPR). After sketching MSRP and MPR and analysing their relationship to Popper's and Poly a's work, I argue that MSRP was originally conceived as a methodology in the same sense as MPR. The most conspicuous difference between the two, namely that MSRP is fundamentally backward?looking, whereas MPR is primarily forward?looking, is (...) due to the fact that Lakatos could not carry out his project in the full sense. I also explain why he could not. (shrink)

In this paper I criticize the current standards for the acceptability of expert testimony in current US legislation. The standards have been the subject of much academic literature after the Frye and Daubert cases. I expose what I call the Paradox of Proof, and argue that the historical and current standards have sidestepped the problem of determining who is an expert and who is not in a court of law. I then investigate the problem of recognizing expertise from the (...) layperson’s standpoint, and suggest what courses of action the future research ought to take on the problem of identifying expertise. (shrink)

(2005). Wonder in the face of scientific revolutions: Adam Smith on Newton's ‘Proof’ of Copernicanism. British Journal for the History of Philosophy: Vol. 13, No. 4, pp. 697-732. doi: 10.1080/09608780500293042.

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings (...) between these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

This book is a collection of materials concerned not only with the law of evidence, but also with the logical and rhetorical aspects of proof; the epistemology of evidence as a basis for the proof of disputed facts; and scientific aspects of the subject. The editor also raises issues such as the philosophical basis for the use of evidence.

This book represents a new departure in science studies: an analysis of a scientific style of writing, situating it within the context of the contemporary style of literature. Its philosophical significance is that it provides a novel way of making sense of the notion of a scientific style. For the first time, the Hellenistic mathematical corpus - one of the most substantial extant for the period - is placed centre-stage in the discussion of Hellenistic culture as a whole. (...) Professor Netz argues that Hellenistic mathematical writings adopt a narrative strategy based on surprise, a compositional form based on a mosaic of apparently unrelated elements, and a carnivalesque profusion of detail. He further investigates how such stylistic preferences derive from, and throw light on, the style of Hellenistic poetry. This important book will be welcomed by all scholars of Hellenistic civilization as well as historians of ancient science and Western mathematics. (shrink)

In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of (...) class='Hi'>scientific reasoning. It results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems that have been successfully applied to diverse scientific disciplines, but the proof-theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the (...) main features of display calculi, a proof-theoretic paradigm that has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present article include a generalization of Belnap's cut-elimination metatheorem for display calculi, and a revised version of the display-style calculus D.EAK. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut-elimination as a consequence of the generalized metatheorem. (shrink)

Peirce stresses that the pragmatist qua pragmatist must embrace realism as opposed to nominalism. He offers as well “proofs” of realism which are open to various criticisms. Within the framework of his pragmatic vision, the experiential sense of realism is inseparable from the functioning of habit in the flow of time. What is being verified by experimental testing is, ultimately, not a particular scientific law, nor scientific laws in general, but rather the common sense expectation of predictive reliability (...) rooted in the primitive epistemic “feel” of real potentiality, a belief which is dubitable in principle, and which is, in fact, often doubted at the abstract, reflective levels of science, logic, and philosophy, but which, at the level of rudimentary perceptual experience is fundamental to our very sense of our world, and is well verified by the continual availability of our perceptual world. The concrete functioning of habit provides, epistemically, the conceptual counterpart of the real lawfulness held to exist in the world, and provides, ontologically, an example of this real lawfulness. Peirce’s dispositional theory of meaning leads to a metaphysics of realism as opposed to a nominalism, a realism not of eternal essences but a “process realism” in which there are real modes of behavior which govern what occurs. (shrink)

Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one I (...) propose also extends semantic epistemology beyond the ‘hard’ sciences. The article ends by presenting and then refuting some responses QM theorists might make to my arguments. (shrink)

In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of (...) class='Hi'>scientific reasoning. It results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of (...) class='Hi'>scientific reasoning. It results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

Is truth in the law just plain truth - or something sui generis? Is a trial a search for truth? Do adversarial procedures and exclusionary rules of evidence enable, or impede, the accurate determination of factual issues? Can degrees of proof be identified with mathematical probabilities? What role can statistical evidence properly play? How can courts best handle the scientific testimony on which cases sometimes turn? How are they to distinguish reliable scientific testimony from unreliable hokum? These (...) interdisciplinary essays explore such questions about science, proof, and truth in the law. With her characteristic clarity and verve, Haack brings her original and distinctive work in theory of knowledge and philosophy of science to bear on real-life legal issues. She includes detailed analyses of a wide variety of cases and lucid summaries of relevant scientific work, of the many roles of the scientific peer-review system, and of relevant legal developments. (shrink)

Explores how to identify future-proof science. Peter Vickers takes a transdisciplinary approach in his analysis of 'scientific fact' in order to defend science against potentially dangerous scepticism.

In lieu of an abstract, here is a brief excerpt of the content:Feminist Studies 41, no. 3. © 2015 by Feminist Studies, Inc. 623 Jaye Cee Whitehead, Kath Bassett, Leia Franchini, and Michael Iacolucci “The Proof Is in the Pudding”: How Mental Health Practitioners View the Power of “Sex Hormones” in the Process of Transition In the United States today, popular discourse touts the power of “sex hormones” and hormone receptors in the brain to chemically produce gender expressions (manifested (...) in physical sex traits, behaviors, and attitudes) and identities (a sense of self as feminine or masculine). These accounts range from common assumptions that Western ideals of femininity (such as empathy understanding, cooperative orientation, nurturing behavior) and masculinity (rational/spatial understanding, competitive orientation, violent behavior) are produced by corresponding sex hormones, to studies that reduce complex gender identities and macrosocial economic phenomena to presocial, binary, hormonal processes.1 For sociologists, accounts that reduce complex identities to internal hormonal reactions are problematic for two primary reasons: first, they are inaccurate because they fail to examine how hormonal reactions are embedded in a complex cultural process of meaning and interpretation; second, they operate as bioreductive ideologies that obscure the social power inherent to the process of gender identity construction. In what follows, we extend both of these insights by examining mental health 1. For an example of a hybrid popular-scientific account of the power of sex hormones to destabilize economic structures, see Jon Coates and Joe Herbert, “Endogenous Steroids and Financial Risk Taking on a London Trading Floor,” Proceedings of the National Academy of Sciences 105, no. 16 (April 2008): 6167–72. 624 Whitehead, Bassett, Franchini, and Iacolucci practitioners’ divergent interpretations of the power of sex hormones in the process of gender transition.2 In doing so, we examine the cultural power of sex hormones in crafting gender identities without reproducing reductionist interpretations of trans embodiment. Perhaps what is most perplexing about the way we speak of sex hormones is that we know it is inaccurate to describe these hormones as sexed; scientists have acknowledged since the 1930s that they are neither sex specific in their function, nor in terms of their location in male or female bodies.3 In her extensive historicization of sex hormones, Anne Fausto-Sterling concludes that it is more accurate to call androgen- and estrogen-based hormones, “steroid hormones” as they have functions that are not confined to corresponding sexed bodies. In fact she urges scientists to “break out of the sex hormone straightjacket” and to look at steroids as just one of a number of components that are important to the creation of sex and gender, including environment and experience.4 Scholars also point to an inextricable link between the chemical operation of hormones and the social process of constructing meaning, both at the level of social interaction and macrocultural constructions of sex categories and gender ideologies.5 While brain organization/activation theory attributes sex and gender differences to hormonal interactions within the developing brain, Fausto-Sterling questions the distinction between activation and organization by pointing out how “the brain can respond to hormonal stimuli with anatomical changes…hormonal systems, after all, respond exquisitely to experience, be it in the form of nutrition, stress, or sexual activity (to name but a few possibilities ).”6 Drawing from Elizabeth Grosz, Fausto-Sterling argues that the power of hormones is best understood according to the model of the 2. “Gender transition” is a controversial phrase, as it implies that transgendered individuals who receive hormone therapy are changing identities. We are only using it for lack of clear alternative phrasing, not because we believe body modifications change gender identities. 3. See Anne Fausto-Sterling, Sexing the Body: Gender Politics and the Construction of Sexuality (New York: Basic Books, 2000); Rebecca Jordan-Young, Brainstorm: The Flaws in the Science of Sex Differences (Cambridge, MA: Harvard University Press, 2010); and Nelly Oudshoorn, Beyond the Natural Body: An Archeology of Sex Hormones (New York: Routledge, 1994). 4. Fausto-Sterling, Sexing the Body, 193–94. 5. Fausto-Sterling, Sexing the Body. 6. Ibid., 232. Whitehead, Bassett, Franchini, and Iacolucci 625 Möbius strip, wherein internal components of the self are always connected to and continuous with outer components such as culture and environment.7 In other... (shrink)

Is science getting at the truth? The sceptics – those who spread doubt about science – often employ a simple argument: scientists were sure in the past, and then they ended up being wrong. Such sceptics draw on dramatic quotes from eminent scientists such as Lord Kelvin, who reportedly stated at the turn of the 20th century “There is nothing new to be discovered in physics now,” shortly before physics was dramatically transformed. They ask: given the history of science, wouldn’t (...) it be naïve to think that current scientific theories reveal ‘the truth’, and will never be discarded in favour of other theories? Through a combination of historical investigation and philosophical-sociological analysis, Identifying Future-Proof Science defends science against such potentially dangerous scepticism. It is argued that we can confidently identify many scientific claims that are future-proof: they will last forever, so long as science continues. How do we identify future-proof claims? This appears to be a new question for science scholars, and not an unimportant one. It is argued that the best way to identify future-proof science is to avoid any attempt to analyse the relevant first-order scientific evidence, instead focusing purely on second-order evidence. Specifically, a scientific claim is future-proof when the relevant scientific community is large, international, and diverse, and at least 95% of that community would describe the claim as a ‘scientific fact’. In the entire history of science, no claim meeting these criteria has ever been overturned, despite enormous opportunity. (shrink)

Among systems of normative ethics, Utilitarianism has been the one most persistently claimed to stand on a scientific basis. The paper restates this claim by showing that although Mill’s so-called "proof"of Utilitarianism is indefensible even in terms of non-demonstrative plausibility, an alternative argument can be constructed yielding the same conclusion by making use of a "minimum agreement principle". It is argued, further, that the concept of happiness central to Utilitarianism is empirically determinate and is capable of scientific (...) investigation by various psychological and sociological approaches. (shrink)

When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof. This is not an introduction to mathematics so much as an introduction to the pleasures of mathematical thinking. And indeed the delights of this book are many (...) and varied. The book is packed with intriguing conundrums--Loyd's Fifteen Puzzle, the Petersburg Paradox, the Chaos Game, the Monty Hall Problem, the Prisoners' Dilemma--as well as many mathematical curiosities. We learn how to perform the arithmetical proof called "casting out nines" and are introduced to Russian peasant multiplication, a bizarre way to multiply numbers that actually works. The book shows us how to calculate the number of ways a chef can combine ten or fewer spices to flavor his soup (1,024) and how many people we would have to gather in a room to have a 50-50 chance of two having the same birthday (23 people). But most important, Benson takes us step by step through these many mathematical wonders, so that we arrive at the solution much the way a working scientist would--and with much the same feeling of surprise. Every fan of mathematical puzzles will be enthralled by The Moment of Proof. Indeed, anyone interested in mathematics or in scientific discovery in general will want to own this book. (shrink)

In this paper I examine the epistemic function of agent-based models of scientific inquiry, proposed in the recent philosophical literature. In view of Boero and Squazzoni’s classification of ABMs into case-based models, typifications and theoretical abstractions, I argue that proposed ABMs of scientific inquiry largely belong to the last category. While this means that their function is primarily exploratory, I suggest that they are epistemically valuable not only as a temporary stage in the development of ABMs of science, (...) but by providing insights into theoretical aspects of scientific rationality. I illustrate my point with two examples of highly idealized ABMs of science, which perform two exploratory functions: Zollman’s ABM which provides a proof-of-possibility in the realm of theoretical discussions on scientific rationality, and an argumentation-based ABM, which provides insights into potential mechanisms underlying the efficiency of scientific inquiry. (shrink)

Public and professional debates have come to rely heavily on a special type of reasoning: the argument-from-ignorance, in which conclusions depend on the _lack_ of compelling information. "I win my argument," says the skillful advocate, "unless you can prove that I am wrong." This extraordinary gambit has been largely ignored in modern rhetorical and philosophical studies. Yet its broad force can be demonstrated by analogy with the modern legal system, where courts have long manipulated burdens of proof with skill (...) and subtlety. This legal, philosophical, and rhetorical study by Richard H. Gaskins provides the first systematic treatment of arguments-from-ignorance across a wide range of modern discourse—from constitutional law, scientific inquiry, and moral philosophy to organizational behavior, computer operation, and personal interaction. Gaskins reviews the historic shifts in constitutional proof burdens that have shaped public debate on fundamental rights and, by analogy, on the fundamental status of intellectual and cultural authority. He shows how similar shifts have dominated polemical battles between scientific and ethical modes of authority, affecting both academic and popular discussion. Finally, he discovers the philosophical roots of default reasoning strategies in the arguments of Kant and nineteenth-century Kantian schools. Concluding that shifting proof burdens are inescapable in a world of scientific and moral uncertainty, Gaskins emphasizes the common strategic ground shared by dogmatic and skeptical reasoning. Using Hegelian strategies, he describes a more pluralistic temper that can move critical thinking beyond polemics and strengthen our capacities for common discourse. (shrink)

This five-step metaphysical proof borrows from the metaphysical thought of Aquinas as well as from Bernard Lonergan’s proof of God in Insight. It makes several advances to proofs of God. Most importantly, by showing that an unconditioned reality must be unrestrictedly intelligible, the second step of the proof is original and lays a stronger foundation than previous proofs for the uniqueness of an unconditioned reality as well as its identification with an unrestricted act of thinking. This point (...) strengthens the argument that this unique reality is a creator of everything else in reality. In so doing, it responds to contemporary criticisms of proofs of God by Richard Dawkins and others. This proof also adapts metaphysical ideas and terms to those arising out of the contemporary scientific world view, so that it is relevant and applicable to quantum and relativity theory, quantum cosmology, and other contemporary cosmological ideas, such as a multiverse and multidimensional physical realities. (shrink)

The anti-tuberculosis BCG vaccine was conceived and developed between 1905 and 1921 at Pasteur Institutes in France. Between 1921 and A. Calmette’s death in 1933, the vaccine went through a first period of national and international production and distribution for its use in humans. In France these activities were exclusively carried out by Calmette and his collaborators at the Pasteur Institute in Paris. Initially improvised production in a small room in the cellar gave way in 1931 to the construction of (...) the spacious and magnificent ‘New laboratories for research on tuberculosis and the preparation of the BCG’ within the premises of the Pasteur Institute. Presentation and image-building of the vaccine in France insisted on the fact that the BCG was not a commercial specialty but distributed free of charge. The technical monopoly of its production nevertheless lay with the Paris Pasteur Institute and standardization of scientific proof of safety, efficacy and stability was dominated by that Institute in France. In contrast, the international production and distribution of the vaccine was entrusted and transferred, free of charge, to trustworthy laboratories outside France. Multiplication of producers and users led to an increased need for standardization. For this process the analysis distinguishes between the standardization of scientific proof concerning safety, efficacy and stability of the vaccine and standardization of its medical uses. Whereas standardization was rather successful in the inter-war period in France, the international efforts remained rather unsuccessful. Only after world war II under Scandinavian leadership and in the context of mass vaccination programs supported by the WHO and UNICEF was the international standardization effectively implemented and succeeded at least to some extend. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the (...) framework of Cantor’s proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)