In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do (...) have their intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do (...) have their intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

Let be the field of p‐adic numbers in the language of rings. In this paper we consider the theory of expanded by two predicates interpreted by multiplicative subgroups and where are multiplicatively independent. We show that the theory of this structure interprets Peano arithmetic if α and β have positive p‐adic valuation. If either α or β has zero valuation we show that the theory of has the NIP (“negation of the independence property”) and therefore does not interpret (...) Peano arithmetic. In that case we also prove that the theory is decidable if and only if the theory of is decidable. (shrink)

A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subgroup and a quotient by a finite subgroup.

In this paper we present two types of logics and \ ) where certain p-adic functions are associated to propositional formulas. Logics of the former type are p-adic valued probability logics. In each of these logics we use probability formulas K r,ρ α and D ρ α,β which enable us to make sentences of the form “the probability of α belongs to the p-adic ball with the center r and the radius ρ”, and “the p-adic distance (...) between the probabilities of α and β is less than or equal to ρ”, respectively. Logics of the later type formalize processes of thinking where information are coded by p-adic numbers. We use the same operators as above, but in this formalism K r,ρ α means “the p-adic code of the information α belongs to the p-adic ball with the center r and the radius ρ”, while D ρ α,β means “the p-adic distance between codes of α and β are less than or equal to ρ”. The corresponding strongly complete axiom systems are presented and decidability of the satisfiability problem for each logic is proved. (shrink)

We introduce a very weak language L M on p-adic fields K, which is just rich enough to have exactly the same definable subsets of the line K that one has using the ring language. (In our context, definable always means definable with parameters.) We prove that the only definable functions in the language L M are trivial functions. We also give a definitional expansion $L\begin{array}{*{20}{c}} ' \\ M \\ \end{array} $ of L M in which K has quantifier (...) elimination, and we obtain a cell decomposition result for L M -definable sets. Our language L M can serve as a p-adic analogue of the very weak language (<) on the real numbers, to define a notion of minimality on the field of p-adic numbers and on related valued fields. These fields are not necessarily Henselian and may have positive characteristic. (shrink)

In this paper we consider possibilities for applying p-adic valued logic BL to the task of designing an unconventional computer based on the medium of slime mould, the giant amoebozoa that looks for attractants and reaches them by means of propagating complex networks. If it is assumed that at any time step t of propagation the slime mould can discover and reach not more than attractants, then this behaviour can be coded in terms of p-adic numbers. As a (...) result, this behaviour implements some p-adic valued arithmetic circuits and can verify p-adic valued logical propositions. (shrink)

We study a reduct ${\mathcal{L}_*}$ of the ring language where multiplication is restricted to a neighbourhood of zero. The language is chosen such that for p-adically closed fields K, the ${\mathcal{L}_*}$ -definable subsets of K coincide with the semi-algebraic subsets of K. Hence structures (K, ${\mathcal{L}_*}$ ) can be seen as the p-adic counterpart of the o-minimal structure of semibounded sets. We show that in this language, p-adically closed fields admit cell decomposition, using cells similar to p-adic semi-algebraic (...) cells. From this we can derive quantifier-elimination, and give a characterization of definable functions. In particular, we conclude that multiplication can only be defined on bounded sets, and we consider the existence of definable Skolem functions. (shrink)

Let p be prime number, K be a p‐adically closed field, a semi‐algebraic set defined over K and the lattice of semi‐algebraic subsets of X which are closed in X. We prove that the complete theory of eliminates quantifiers in a certain language, the ‐structure on being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field for. We classify these ‐structures up to elementary equivalence, and get in particular (...) that the complete theory of only depends on m, not on K nor even on p. As an application we obtain a classification of semi‐algebraic sets over countable p‐adically closed fields up to so‐called “pre‐algebraic” homeomorphisms. (shrink)

It is known Hrushovski and Pillay that a group G definable in the field \ of p-adic numbers is definably locally isomorphic to the group \\) of p-adic points of a algebraic group H over \. We observe here that if H is commutative then G is commutative-by-finite. This shows in particular that any one-dimensional group G definable in \ is commutative-by-finite. This result extends to groups definable in p-adically closed fields. We prove our results in the more (...) general context of geometric structures. (shrink)

This chapter presents a historical analysis of pseudoscience, tracking down the coinage and currency of the term and explaining its shifting meaning in tandem with the emerging historical identity of science. The discussions cover the invention of pseudoscience; science and pseudoscience in the late nineteenth century; pseudoscience in the new century; and pseudoscience and its critics in the late twentieth century.

This baseline study was conducted to find out the knowledge, attitudes and practices of medical ethics among the undergraduate medical interns who did not have structured ethics curriculum in their course. A descriptive, cross-sectional study was carried out using a self-administered structured questionnaire among the medical undergraduate interns of Maharajgunj Medical Campus, the pioneer medical college of Nepal which enrols 60 students in a year. A total of 46 interns participated in the study. The most common source of knowledge on (...) ethics was lectures/seminars (35.7%) followed by experience at work (24.5%), training (21.4%) and own reading (17.3%). The main contents of Hippocratic Oath were known to 98.8% while 60.9% knew the main contents of Nepal Medical Council (NMC) code of ethics. Great majority (91.3%) regard ethics as very important in medical profession. “Doctors know the best irrespective of patients’ opinion” was disagreed by only 39.1% indicating the paternalistic attitude. However, 78.3% were in favour of adhering to the patient’s wish. None of the participant agreed to abandon confidentiality. Only about one-fourth (26.1%) claim to encounter ethical dilemma every day while the highest number (43.5%) had once in a month. To deal with the situation of ethical dilemma, majority approached to immediate supervisor followed by head of the department and colleagues. Eighty-seven percent of participating interns were involved in research activities involving human subjects. Only one of the participants had encountered the ethical issue on end-of-life and it was do-not-resuscitate consent in a terminally ill patient. On implementation of the curriculum on medical ethics focus should be - principles of biomedical ethics, sensitive ethical dilemmas like end-of-life care and practical experiences with participation in deliberations of the ethics committee. (shrink)

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...) simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual. (shrink)

This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.In essence, modal logic is a simple formalism for working with relational structures . But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to (...) individual nodes is possible.But hybrid logic is a rather unusual modal upgrade. It pushes one simple idea as far as it will go: represent all information as formulas. This turns out to be the key needed to draw together a surprisingly diverse range of work . Moreover, it displays a number of knowledge representation issues in a new light, notably the importance of sorting. (shrink)

We define theories of bounded arithmetic, whose definable functions and relations are exactly those in certain complexity classes. Based on a recursion-theoretic characterization of NC in Clote , the first-order theory TNC, whose principal axiom scheme is a form of short induction on notation for nondeterministic polynomial-time computable relations, has the property that those functions having nondeterministic polynomial-time graph Θ such that TNC x y Θ are exactly the functions in NC, computable on a parallel random-access machine in polylogarithmic parallel (...) time with a polynomial number of processors.0 We then define three theories of weak second-order arithmetic which respectively characterize relations in the classes of alternating logarithmic time, logspace and nondeterministic logspace. (shrink)

It is shown, assuming the linear case of Schinzel's Hypothesis, that the first-order theory of the structure $\langle \omega; +, P\rangle$ , where P is the set of primes, is undecidable and, in fact, that multiplication of natural numbers is first-order definable in this structure. In the other direction, it is shown, from the same hypothesis, that the monadic second-order theory of $\langle\omega; S, P\rangle$ is decidable, where S is the successor function. The latter result is proved using a general (...) result of A. L. Semenov on decidability of monadic theories, and a proof of Semenov's result is presented. (shrink)

In the October 1937 number of Philosophy of Science Lindsay has made certain criticisms of the adequacy of the “operational method” of analyzing and giving meaning to the concepts of physics, documenting his criticisms chiefly from my own writings. In these criticisms he has made statements as to the method which I would by no means accept. This is not characteristic of his paper only, for I have seldom indeed seen a printed discussion of the method which I would accept (...) as being an adequate or sometimes even fair representation of what I understand by it. It will perhaps pay therefore if I attempt to state what I conceive it to be all about, particularly since I have never attempted such a comprehensive statement and since my own ideas on the subject have been developing since I first wrote in the Logic of Modern Physics. For one reason I have hesitated to do this, for fear of seeming to subscribe to the not uncommon idea that we are dealing with some elaborate and profound new theory of the nature of knowledge or of meaning. I believe that I myself have never talked of “operationalism” or “operationism”, but I have a distaste for these grandiloquent words which imply something more philosophic and esoteric than the simple thing that I see. What we are here concerned with is an observation and description of methods which at least some physicists had already, perhaps unconsciously, adopted and found successful—the practise of the methods already existed. What I have attempted is to analyze these successful methods, not to set up a philosophical system and a theory of the properties that any method must have if it hopes to be successful. Since I was concerned with a technique already extant, my principal method of getting others to see what the technique involved has been to exhibit examples of the technique in action, rather than to attempt any exhaustive characterization of the technique itself. (shrink)

In this paper we introduce a poset of subvarieties of BL-algebras, whose completion is the entire lattice of subvarietes; we exhibit also a description of this poset in terms of finite sequences of functions on the natural numbers.

The essays in this volume make it abundantly clear that there is no shortage of disagreement about the plausibility of the simulation theory. As we see it, there are at least three factors contributing to this disagreement. In some instances the issues in dispute are broadly empirical. Different people have different views on which theory is favored by experiments reported in the literature, and different hunches about how future experiments are likely to turn out. In 3.1 and 3.3 we will (...) consider two cases that fall under this heading. With a bit of luck these disputes will be resolved as more experiments are done and more data become available. Faulty arguments are a second source of disagreement. In 3.2 and 3.4 we will set out two dubious arguments advanced by our critics and try to explain exactly why we think they are mistaken. The third source of disagreement is terminological. Terms like "theory-theory," "simulation theory" and a number of others are often not clearly defined, and they are used in different ways by different authors. (Worse yet, we suspect they are sometimes used in different ways by a single author on different occasions). Thus it is sometimes the case that what appears to be a substantive disagreement turns out to be simply a verbal dispute. Moreover, since the labels "theory-theory" and "simulation theory" are each used to characterize a broad range of theories, it may well turn out that some of the theories falling under both headings are correct. In Sections 1 and 2, we will set out a variety of different views for which the labels "theory-theory" and "simulation theory" might be used. As we proceed we'll point out a number of places where disagreements diminish when distinctions among different versions of the theory-theory and the simulation theory are kept clearly in mind. (shrink)

This is a review article of Paul Cillier's 1999 book _Complexity and Postmodernism_. The review article is generally encouraging and constructive, although isolates a number of areas in need of clarification or development in Cillier's work. The volume of the _South African Journal of Philosophy_ in which the review article appeared also printed a response by Cilliers.

In this paper we discuss two hybrid languages, ℒ and ℒ, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to 'label' states by using A and ↓ to bind special state variables.This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea of (...) canonical models with the classical idea of witnessed maximal consistent sets. The languages ℒ and ℒ provide us with two extreme examples of the issues involved. In the case of ℒ, we can combine these ideas relatively straightforwardly with the aid of analogs of the Barcan axioms coupled with a modal theory of labeling. In the case of ℒ, on the other hand, although we can still formulate a theory of labeling, the Barcan analogs are not valid. We show how to overcome this difficulty by using COV*, an infinite collection of additional rules of proof which has been used in a number of investigations of extended modal logic. (shrink)

Social and political scientists, historians and others, have put forward a number of widely differing views concerning the ‘character’ of Islamic millenarian and/or Mahdist movements in Africa. The same is true of course with regard to the opinions ofscholars concerning the transformative capacity of Islam as an ideology. In this paper I want to look at one aspect only of Islamic millenarianism in the West African context, viz. its allegedly revolutionary character.

Since its inception some fifty years ago, cognitive science has seen a number of sea changes. Perhaps the best known is the development of connectionist models of cognition as an alternative to classical, symbol-based approaches. A more recent - and increasingly influential - trend is that of dynamical-systems-based, ecologically oriented models of the mind. Researchers suggest that a full understanding of the mind will require systematic study of the dynamics of interaction between mind, body, and world. Some argue that this (...) new orientation calls for a revolutionary new metaphysics of mind, according to which mental states and processes, and even persons, literally extend into the environment. This book is a guide to this movement in cognitive science. Each chapter tackles either a specific area of empirical research or specific sector of the conceptual foundation underlying this research. (shrink)

My aim is to suggest that there is a case for using a randomised consent design in some neonatal trials. As an example I use the trials of extracorporeal membrane oxygenation (ECMO) in neonates suffering pulmonary hypertension. In some trials the process of obtaining consent has the potential to harm the subject, for example, by disappointing those who end in the control group and by creating additional anxiety at times of acute illness. An example of such were the trials of (...) extracorporeal membrane oxygenation (ECMO) in neonates suffering pulmonary hypertension. Pre-randomised consent could avoid or lessen these harms. However, a number of ethical objections are made to these research designs. They involve denial of information, using people, denial of choice, and "overselling" of allocated treatment. Furthermore, they are the wrong response; better communication might be the answer, for example. I argue that these objections are not completely persuasive. However, they are enough to suggest caution in the use of such designs. (shrink)

The paper compares use of willingness to pay values with multi-attribute utility as ways of modelling social choice problems in the environment. A number of reasons for moving away from willingness to pay are reviewed. The view proposed is that social choice is about the integration of competing claim types (utilities, rights, social contracts and beliefs about due process). However, willingness to pay is only indirectly related to the first of these and assumes an Arrovian approach, namely one in which (...) social choice is regarded as the aggregation of people's preferences. (shrink)

This essay presents a critique of current views of Hugo Grotius which erroneously see him as a major theorist of natural rights and a formative influence upon the rights theory of Thomas Hobbes. Especially singled out for criticism are the misconceptions due to Richard Tuck in a number of writings that discuss the political ideas of Grotius and Hobbes and the relationship between them. In an examination of Hobbes's conception of natural rights, the essay reaffirms its originality and notes its (...) revolutionary potential contrary to the main intention of Hobbes's own political doctrine. (shrink)

Incorporating significant editorial changes from earlier editions, the fourth edition of Ludwig Wittgenstein's _Philosophical Investigations_ is the definitive _en face_ German-English version of the most important work of 20th-century philosophy The extensively revised English translation incorporates many hundreds of changes to Anscombe’s original translation Footnoted remarks in the earlier editions have now been relocated in the text What was previously referred to as ‘Part 2’ is now republished as _Philosophy of Psychology – A Fragment_, and all the remarks in it (...) are numbered for ease of reference New detailed editorial endnotes explain decisions of translators and identify references and allusions in Wittgenstein's original text Now features new essays on the history of the _Philosophical Investigations_, and the problems of translating Wittgenstein’s text. (shrink)

Line 24 on page 218 in the July number of this volume of Philosophy should read as follows: naturally out of matter itself lifeless or that consciousness and intelli-.

Starting from a set of assumptions mainly of an “operational” or experimentally based nature, a derivation of quantum mechanics is presented, with the aim of clarifying the essential features of the theory and their interpretation. Various properties of quantum mechanics such as the addition of amplitudes, the calculation of probabilities, de Broglie's equations, and energy-momentum conservation are derived from first principles. It is investigated whether quantum amplitudes may be constructed from quantities of higher order than complex numbers. Measurable physical quantitics, (...) as traditionally understood, are seen to play a role distinct from and supplementary to the behavior of the quantum amplitudes themselves. This is related to two distinct aspects of the nature of time in the context of quantum mechanics. (shrink)

The tableaux-constructions have a number of properties which advantageously distinguish them from equivalent axiomatic systems . The proofs in the form of tableaux-constructions have a full accordance with semantic interpretation and subformula property in the sense of Gentzen’s Hauptsatz. Method of tatleaux-construction gives a good substitute of Gentzen’s methods and thus opens a good perspective for the investigations of theoretical as well as applied aspects of logical calculi. It should be noted that application of tableau method in modal, tense, relevant (...) and other non-classical logics is connected with serious difficulties. Tableaux variants are constructed only for a few normal modal systems. As to relevant and paraconsistent logic, the absence of its tableau variants may be considered as a question of special interest. We shall formulate the tableaux for propositional modal system S4.1, S4.2, S4.3, S4.4 and relevant R∗ and E ∗ using Beth’s tableaux construction with indexed formulas. (shrink)

Many of our concepts are introduced to us via, and seem only to be constrained by, roughand-ready explanations and some sample paradigm positive and negative applications. This happens even in informal logic and mathematics. Yet in some cases, the concepts in question – although only informally and vaguely characterized – in fact have, or appear to have, entirely determinate extensions. Here’s one familiar example. When we start learning computability theory, we are introduced to the idea of an algorithmically computable function (...) (from numbers to numbers) – i.e. one whose value for any given input can be determined by a step-by-step calculating procedure, where each step is fully determined by some antecedently given finite set of calculating rules. We are told that we are to abstract from practical considerations of how many steps will be needed and how much ink will be spilt in the process, so long as everything remains finite. We are also told that each step is to be ‘small’ and the rules governing it must be ‘simple’, available to a cognitively limited calculating agent: for we want an algorithmic procedure, step-by-minimal-step, to be idiot-proof. For a classic elucidation of this kind, see e.g. Rogers (1967, pp. 1–5). Church’s Thesis, in one form, then claims this informally explicated concept in fact has a perfectly precise extension, the set of recursive functions. Church’s Thesis can be supported in a quasi-empirical way, by the failure of our searches for counterexamples. It can be supported too in a more principled way, by the observation that different appealing ways of sharpening up the informal chararacterization of algorithmic computability end up specifying the same set of recursive functions. But such considerations fall short of a demonstration of the Thesis. So is there a different argumentative strategy we could use, one that could lead to a proof? Sometimes it is claimed that there just can’t be, because you can never really prove results involving an informal concept like algorithmic computability.. (shrink)

I argue for accepting a pluralist approach to species, while rejecting the realism about species espoused by P. Kitcher and a number of other philosophers of biology. I develop an alternative view of species concepts as divisions of organisms into groups for study which are relative to the systematic explanatory interests of biologists at a particular time. I also show how this conception resolves a number of difficult puzzles which plague the application of particular species concepts.

Objectives: The objective of this research is to analyse the evolution and nature of published empirical research in the fields of medical ethics and bioethics.Design: Retrospective quantitative study of nine peer reviewed journals in the field of bioethics and medical ethics .Results: In total, 4029 articles published between 1990 and 2003 were retrieved from the journals studied. Over this period, 435 studies used an empirical design. The highest percentage of empirical research articles appeared in Nursing Ethics , followed by the (...) Journal of Medical Ethics and the Journal of Clinical Ethics . These three journals account for 84.1% of all empirical research in bioethics published in this period. The results of the χ2 test for two independent samples for the entire dataset indicate that the period 1997–2003 presented a higher number of empirical studies than did the period 1990–1996 . This increase is statistically significant . Most empirical studies employed a quantitative paradigm . The main topic of research was prolongation of life and euthanasia .Conclusions: We conclude that the proportion of empirical research in the nine journals increased steadily from 5.4% in 1990 to 15.4% in 2003. It is likely that the importance of empirical methods in medical ethics and bioethics will continue to increase. (shrink)

History of Science is a many-sided subject, permitting approach from the point of view of various human interests, and presenting a wide variety of problems, many of them paradoxical and perhaps not capable of satisfactory solution. In the following it will probably seem to the reader a number of times that I am talking at cross purposes. Anything that I can say is of necessity limited by my background as a physicist.

A growing interest in and concern about the adequacy and fairness of modern peer-review practices in publication and funding are apparent across a wide range of scientific disciplines. Although questions about reliability, accountability, reviewer bias, and competence have been raised, there has been very little direct research on these variables.The present investigation was an attempt to study the peer-review process directly, in the natural setting of actual journal referee evaluations of submitted manuscripts. As test materials we selected 12 already published (...) research articles by investigators from prestigious and highly productive American psychology departments, one article from each of 12 highly regarded and widely read American psychology journals with high rejection rates (80%) and nonblind refereeing practices.With fictitious names and institutions substituted for the original ones (e.g., Tri-Valley Center for Human Potential), the altered manuscripts were formally resubmitted to the journals that had originally refereed and published them 18 to 32 months earlier. Of the sample of 38 editors and reviewers, only three (8%) detected the resubmissions. This result allowed nine of the 12 articles to continue through the review process to receive an actual evaluation: eight of the nine were rejected. Sixteen of the 18 referees (89%) recommended against publication and the editors concurred. The grounds for rejection were in many cases described as “serious methodological flaws.” A number of possible interpretations of these data are reviewed and evaluated. (shrink)