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)

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)

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)

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.

It is well established that demographic representation in clinical research is important for understanding the safety and effectiveness of novel therapeutics and vaccines in diverse patient populations. In recent years, the National Institutes of Health and Food and Drug Administration have issued guidelines and recommendations for the inclusion of women, older adults, and racial and ethnic minorities in research. However, these guidelines fail to provide an adequate explanation of why racial and ethnic representation in clinical research is important. This article (...) aims to both provide the missing arguments for why adequate representation of racial and ethnic minorities in clinical research is essential and to articulate a number of recommendations for improving diversity going forward.Appropriate racial and ethnic representation and fair inclusion help (1) increase the generalisability of clinical trial results, (2) equitably distribute any benefits of clinical research and (3) enable trust in the research enterprise. (shrink)

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)

Background Assisted death, including euthanasia and physician-assisted suicide (PAS), is under debate worldwide, and these practices are adopted in many Western countries. Physicians’ attitudes toward assisted death vary across the globe, but little is known about physicians’ actual reactions when facing a request for assisted death. There is a clear gap in evidence on how physicians act and respond to patients’ requests for assisted death in countries where these actions are not legal. Methods A survey including statements concerning euthanasia and (...) PAS and an open question about their actions when facing a request for assisted death was sent to all Finnish physicians. Quantitative data are presented as numbers and percentages. Statistical significance was tested by using the Pearson chi-square test, when appropriate. The qualitative analysis was performed by using an inductive content analysis approach, where categories emerge from the data. Results Altogether, 6889 physicians or medical students answered the survey, yielding a response rate of 26%. One-third of participants agreed or partly agreed that they could assist a patient in a suicide. The majority (69%) of the participants fully or partly agreed that euthanasia should only be accepted due to difficult physical symptoms, while 12% fully or partly agreed that life turning into a burden should be an acceptable reason for euthanasia. Of the participants, 16% had faced a request for euthanasia or PAS, and 3033 answers from 2565 respondents were achieved to the open questions concerning their actions regarding the request and ethical aspects of assisted death. In the qualitative analysis, six main categories, including 22 subcategories, were formed regarding the phenomenon of how physicians act when facing this request. The six main categories were as follows: providing an alternative to the request, enabling care and support, ignoring the request, giving a reasoned refusal, complying with the request, and seeing the request as a possibility. Conclusions Finnish physicians’ actions regarding the requests for assisted death, and attitudes toward euthanasia and PAS vary substantially. Open discussion, education, and recommendations concerning a request for assisted death and ethics around it are also highly needed in countries where euthanasia and PAS are not legal. (shrink)

Between 1860-1920 a number of distinguished Scottish theologians grappled with the problems of reconciling a biblical faith with current philosophical and theological trends. Alan Sell has selected eight of these: John Kennedy of Dingwall ; Robert Flint ; John Caird ; A. B. Bruce ; James Iverach ; James Orr ; D. W. Forrest ; and James Denney. The book is not only of historical interest; many of the issues confronted by these scholars are also of contemporary interest. Professor James (...) Torrance comments: 'This study is invaluable in keeping alive the authentic tradition that Scotland has produced great theologians,... but perhaps supremely in the period covered by this eminently readable book.'. (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)

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.

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)

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.

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)

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)

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.

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)

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)

Space Gender Knowledge is an innovative and comprehensive introduction to the geographies of gender and the gendered nature of spatial relations. It examines the major issues raised by women's movements and academic feminism, and outlines the main shifts in feminist geographical work, from the geography of women to the impact of post-structuralism. In making their selection, the editors have drawn on a wide range of interdisciplinary material, ranging across spatial scales from the body to the globe. The book presents influential (...) arguments for the importance of the intersection between space and gender. Looking both at geography and beyond the discipline, it explores the gendered construction of space and the spatial construction of gender. Divided into a number of conceptual sections, each prefaced by an editorial introduction, this reader includes extracts from both landmark texts and less well-known works, making it an indispensable introduction to this dynamic field of study. (shrink)

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...) (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

Many of the activities of clinical practice happen to, with or upon vulnerable human beings. For this reason numerous nursing authors draw attention to or claim a significant moral domain in clinical practice. A number of nursing authors also discuss the emotional involvement and/or emotional labour which is often experienced in clinical practice. In this article I explore the importance of emotion for moral perception and moral agency. I suggest that an aspect of being a good nurse is having an (...) emotional sensitivity to other human beings (patients), because this emotional sensitivity allows the nurse to perceive more accurately the context and perspective of the patient. It is thus important to the moral agency of the nurse and to morally sensitive clinical practice. As such education of the emotions should be a feature of the moral education of the nurse. A useful conception of the role of educated emotion in the moral life can be discovered in Aristotelian ethics. (shrink)

This volume contains papers and abstracts of papers delivered at the colloquium at Tihany, Hungary in 1962. There were seven sections; mathematical logic, computers and automata theory, circuit theory, mathematical linguistics, computers and programming, applications of computers in economics, artificial intelligence. Among the more interesting—to the reviewer—were these papers: one by Church concerning an independence problem in recursive arithmetic; Muller—characterizing classes of recursive functions; a long and philosophically stimulating study by Watanabe on a formalization of inductive logic; Kiefer—applications of set (...) theoretic techniques in linguistics; Abraham and Salapina—recognition of synonymity by machine; Gelernter—problem-solving graphs and heuristic programming. A number of papers which were read are not included in this volume.—P. J. M. (shrink)

This is a collection of papers, all but one of which were previously published, by one of England's leading logicians. Goodstein has described his position in the philosophy of mathematics as that of a "constructive formalist": leaning toward the Hilbert school, but emphasizing the constructive nature of mathematical entities. The papers are more or less technical and symbolic; those most difficult are "The Nature of Mathematics," "The Decision Problem," and "The Definition of Number." Other titles are "Proof by Reductio ad (...) Absurdum," "Logic Paradoxes", "Language and Experience," "The Meaning of Counting," "Mathematical Systems," "The Axiomatic Method," "Pure and Applied Mathematics," and "The Significance of Incompleteness Theorems"; the last-mentioned paper is also quite difficult, but it constitutes not only one of the best semi-formal presentations of Gödel's theorems, but also helps make quite clear what their relevance is to considerations of the expressive power of formal languages in general. This collection constitutes a fine introduction to the philosophy of mathematics.—P. J. M. (shrink)

The author's central thesis is that a knowledge of set theory can be put to good use by the linguist interested in the syntax of natural languages. The author first points out the role of set theory in formal science, and then gives a short summary of some of the more important ideas. He then develops certain relations in set theory which are of special importance in the study of languages. A fair number of examples—admittedly in rather trivial form—which occur (...) in the study of language are exhibited to show some of the applications in mind. The last few pages are devoted to a review of how his thesis has fared. Although it may seem obvious to some that set theory is the means par excellence for the formal study of any discipline, many linguists apparently do not yet see this; this book will go some way toward demonstrating this.—P. J. M. (shrink)

The development of artificial womb technology is proceeding rapidly and will present important ethical and theological challenges for Christians. While there has been extensive secular discourse on artificial wombs in recent years, there has been little Christian engagement with this topic. There are broadly two primary uses of artificial womb technology—ectogestation as a form of enhanced neonatal care, where some of the gestation period takes place in an artificial womb, and ectogenesis, where the entire gestation period is within an artificial (...) womb. Ectogestation for the latter weeks or months of pregnancy could be possible within a decade or so, while ectogenesis for humans is far more speculative. Ectogestation is likely to significantly decrease maternal and neonatal morbidity and mortality, and so there is a strong case for supporting its development. Ectogenesis, however, may bring a number of challenges, including the commodification of children, and the pathologizing of pregnancy and childbirth. Its long-term effects on those who are created through this process are also unknown. In the event that it becomes ubiquitous, we may also find the central theological significance of pregnancy and birth diminished. The dilemma for Christians is that the development of ectogestation seems likely to normalise the use of artificial gestation, and, in time, pave the way for ectogenesis. (shrink)

Between 1787, and the end of his life in 1832, Bentham turned his attention to the development and application of economic ideas and principles within the general structure of his legislative project. For seventeen years this interest was manifested through a number of books and pamphlets, most of which remained in manuscript form, that develop a distinctive approach to economic questions. Although Bentham was influenced by Adam Smith's An Inquiry into the Nature and Causes of the Wealth of Nations, he (...) neither adopted a Smithian vocabulary for addressing questions of economic principle and policy, nor did he accept many of the distinctive features of Smith's economic theory. One consequence of this was that Bentham played almost no part in the development of the emerging science of political economy in the early nineteenth century. The standard histories of economics all emphasize how little he contributed to the mainstream of late eighteenth and early nineteenth-century debate by concentrating attention on his utilitarianism and the psychology of hedonism on which it is premised. Others have argued that the calculating nature of his theory of practical reason reduced the whole legislative project to a crude attempt to apply economics to all aspects of social and political life. Put at its simplest this argument amounts to the erroneous claim that Bentham's science of legislation is reducible to the science of political economy. A different but equally dangerous error would be to argue that because Bentham's conception of the science of legislation comprehends all the basic forms of social relationships, there can be no science of political economy as there is no autonomous sphere of activity governed by the principles of economics. This approach is no doubt attractive from an historical point of view given that the major premise of this argument is true, and that many of Bentham's ‘economic’ arguments are couched in terms of his theory of legislation. Yet it fails to account for the undoubted importance of political economy within Bentham's writings, not just on finance, economic policy, colonies and preventive police, but also in other aspects of his utilitarian public policy such as prison reform, pauper management, and even constitutional reform. All of these works reflect a conception of political economy in its broadest terms. However, this conception of political economy differs in many respects from that of Bentham's contemporaries, and for this reason Bentham's distinctive approach to problems of economics and political economy has largely been misunderstood. (shrink)

There are currently several versions of Everett's relative state interpretation of quantum mechanics, responding to a number of perceived problems for the original proposal. One of those problems is whether Everett's idea is in accord with the standard 'probabilistic' interpretation implicit in the Born rule. I argue in defence of what appears to be Everett's original view on this. The contribution I aim to make is a more complete discussion of the central issues of the identity of objects and observers (...) over time and how the concept of expectation can be applied when all 'possible' outcomes of a measurement process are regarded as actually occurring. (shrink)

In the axiomatic development of the logic of nonrelativistic quantum mechanics it is not difficult to set down certain plausible axioms which ensure that the quantum logic of propositions has the structure of an orthomodular poset. This can be done in a number of ways, for example, as in Gunson [2], Mackey [4], Piron [5], Varadarajan [7] and Zierler [8], and we summarise one of these ways in §2 below.

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)

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)