In this paper we prove the equivalence between the Gentzen system G LJ*\c , obtained by deleting the contraction rule from the sequent calculus LJ* (which is a redundant version of LJ), the deductive system IPC*\c and the equational system associated with the variety RL of residuated lattices. This means that the variety RL is the equivalent algebraic semantics for both systems G LJ*\c in the sense of [18] and [4], respectively. The equivalence between G LJ*\c and IPC*\c is a (...) strengthening of a result obtained by H. Ono and Y. Komori [14, Corollary 2.8.1] and the equivalence between G LJ*\c and the equational system associated with the variety RL of residuated lattices is a strengthening of a result obtained by P.M. Idziak [13, Theorem 1].An axiomatization of the restriction of IPC*\c to the formulas whose main connective is the implication connective is obtained by using an interpretation of G LJ*\c in IPC*\c. (shrink)

Our ultimate purpose is to give an axiomatic treatment of recursion theory sufficient to develop the priority method. The direct or abstract approach is to keep in mind as clearly as possible the methods actually used in recursion theory, and then to formulate them explicitly. The indirect or experimental approach is to look first for other mathematical theories which seem similar to recursion theory, to formulate the analogies precisely, and then to search for an axiomatic treatment which covers not only (...) recursion theory but also the analogous theories as particular cases.The first approach is more general because it does not depend on the existence of analogues. A concrete mathematical theory, it seems, need have no such analogues and still be important, as e.g. classical number theory. In such a case, an axiomatic treatment may still be useful for exhibiting the mathematical structure of the theory considered and the assumptions on which it rests. However, it will lack one of the most heavily advertised advantages of the axiomatic method, namely, the “economy of thought” which results from an uniform theory for several different and interesting cases: we cannot hope for this if, by hypothesis, we know of only one particular case. In contrast, the second approach, if successful at all, is bound to achieve such “economy” because we start out with several interesting particular cases. Another possible virtue of the second approach is that of field work over insight: the abstract pattern that we are looking for and hoping to formalize in axioms, may not be evident in any one mathematical theory, but may spring to the eye if one happens to look simultaneously at several theories which happen to realize the pattern. (shrink)

According to the prevailing sentiment, changing the past is logically impossible. The prevailing sentiment is wrong. In this paper, I argue that the claim that changing the past entails a contradiction ultimately rests upon an empirical assumption, and so the conclusion that changing the past is logically impossible is to be resisted. I then present and discuss a model of time which drops the empirical assumption and coherently models changing the past. Finally, I defend the model, and changing the past, (...) against objections. (shrink)

In a series of recent papers, Jonathan Schaffer presents a novel framework for understanding grounding. Metaphysical laws play a central role. In addition, Schaffer argues that, contrary to what many have thought, there is no special 'explanatory gap' between consciousness and the physical world. Instead, explanatory gaps are everywhere. I draw out and criticize the methodology for metaphysics implicit in Schaffer's presentation. In addition, I argue that even if we accept Schaffer's picture, there remains a residual explanatory gap between consciousness (...) and the physical. The residual gap does most of the same philosophical work as the original. Schaffer has introduced a troublesome metaphysical methodology that fails to follow through on its biggest promise: to deflate the explanatory gap. (shrink)

Now in its fourth edition, Rational Diagnosis and Treatment: Evidence-Based Clinical Decision - Making is a unique book to look at evidence-based medicine and the difficulty of applying evidence from group studies to individual patients._ The book analyses the successive stages of the decision process and deals with topics such as the examination of the patient,_the reliability of clinical data, the logic of diagnosis, the fallacies of uncontrolled therapeutic experience and the need for randomised clinical trials and meta-analyses. It is (...) the main theme of the book that, whenever possible, clinical decisions must be based on the evidence from clinical research, but the authors also explain the pitfalls of such research and the problems involved in applying evidence from groups of patients to the individual patient._ For this new edition, the sections on placebo and meta-analysis and on alternative medicine have been thoroughly updated, and there is more focus on insufficient reporting of harms of interventions. The sections on different research designs describe advantages and limitations, and the increased medicalisation and the effects of cancer screening on health people are noted. A section on academic freedom when clinicians collaborate with industry and ghost authors is added._ This essential reference work integrates the science and statistical approach of evidence-based medicine with the art and humanism of medical practice; distinguishing between data, sets of data, knowledge and wisdom, and their application. Such an intellectually challenging book is ideal for both medical students and doctors who require theoretical and practical clinical skills to help ensure that they apply theory in practice. (shrink)

Studies of coexistence are based ultimately on the assumption that competitive exclusion is a general and accredited phenomenon in nature. However, the ecological and evolutionary impact of interspecific competition is of questionable significance. Review of three reputed examples of competitive exclusion in the field (Aphytis wasps, red and grey squirrels, and triclads) demonstrates that the widely-accepted competition-based interpretations are unlikely, that alternative explanations are overlooked, and that all other reported cases need critical reinvestigation. Although interspecific competition does undoubtedly occur, the (...) evidence suggests it is usually too weak and intermittent a force to achieve competitive exclusion or any other ecologically-significant result, except perhaps rarely and on a minor scale. Coexistence and community structure are therefore not ecological conditions to be especially accounted for, especially since their inherently comparative methods generate information that is largely superficial. Alternative questions that relate directly to species, the units of diversity, are discussed and they emphasize the primary habitat requirements of species, which are fixed during speciation. Neither the comparative approach of coexistence studies, nor the investigation of pattern is likely to be profitable, since the acquisition of species-specific characteristics during speciation requires historical research. At least one alternative theory of ecology, based on the close adaptation of organisms to the environment, is available. (shrink)

After briefly reviewing the standard set-theoretic resolutions of the Burali-Forti paradox, we examine how the paradox arises in set theory formalized with plural quantifiers. A significant choice emerges between the desirable unrestricted availability of ordinals to represent well-orderings and the sensibility of attempting to refer to ‘absolutely all ordinals’ or ‘absolutely all well-orderings’. This choice is obscured by standard set theories, which rely on type distinctions which are obliterated in the setting with plurals. Zermelo's attempt ( 1930 ) to secure (...) ordinal representability of arbitrary well-orderings through relativization of quantification to set-theoretic models is reviewed and found wanting. The natural modal-structural recasting provides, it is claimed, a good repair. (shrink)

Substructural logics are obtained from the sequent calculi for classical or intuitionistic logic by suitably restricting or deleting some or all of the structural rules (Restall, 2000; Ono, 1998). Recently, this field of research has come to encompass a number of logics - e.g. many fuzzy or paraconsistent logics - which had been originally introduced out of different, possibly semantical, motivations. A finer proof-theoretical analysis of such logics, in fact, revealed that it was possible to subsume them under the previous (...) definition (see e.g. Aguzzoli and Ciabattoni, 2000).Although proof systems for substructural logics are currently being investigated with remarkable success, their algebraic models do not seem equally satisfactory. In fact:(i) such structures are often very weak, i.e. they do not possess many interesting algebraic properties;(ii) as a consequence, their theories of ideals, congruences, and representation are as a rule scarcely developed, or even lacking.In this paper, we address these difficulties. (shrink)

An alleged moral right to informational privacy assumes that we should have control over information about ourselves. What is the philosophical justification for this control? I think that one prevalent answer to this question—an answer that has to do with the justification of negative rights generally—will not do.

Psychiatry's relation to the rest of medicine is ambivalent. Its legitimacy as a specialty is often conceived as being closely linked to its fidelity to the fundamental paradigms of medicine, especially the centrality of diagnosis and the association of diagnosis with treatment indications. However, as Gagné-Julien notes, a major impetus behind the quest for a solution to the demarcation problem in psychiatry is "growing concerns regarding over-medicalization". Although it could appear that these two considerations point in opposite directions, both arguably (...) would be served by what Gagné-Julien labels "a satisfying definition" of mental disorder. Such a... (shrink)

For the last 25 years, since publication of his Logical Studies, Professor Von Wright has steadily explored the field of philosophical logic. The concept of negation, logical paradoxes, the puzzles connected with evidence and probability in confirmation theory, the interrelatedness of the ideas of time and change, and the clarification of the structure of temporal and spatial orderings are among the many areas he has profitably investigated.

Like all research, embryo research can take a variety of forms, some posing substantially more risks to persons than others. Savulescu et al argue persuasively that regulatory regimes specially designed for sensitive embryo research should differentiate between person-affecting and non-person-affecting embryo research, with substantial scrutiny only warranted for the former.1 Yet if we find Savulescu et al ’s argument persuasive, what practical implications would it have? In this commentary, we focus in particular on how such an argument might apply in (...) Singapore, one of the jurisdictions with special regulations for embryo research. We will summarise the way in which approval for oocyte and embryonic research operates in Singapore, and suggest that Savulesc et al ’s distinction requires specification to be useful in such contexts. We propose adopting a risk-stratified framework similar to that employed with Institutional Review Boards. This requires a wider view of risks than the focus by Savulescu et al on future persons. We then illustrate how such a framework would apply in five scenarios discussed in Savulescu et al. Research with embryos and oocytes is regulated in Singapore under the Human Biomedical Research Act.2 Enacted in 2015, this law sets out requirements for consent, IRB review and research oversight. By definition, all research involving gametes and embryos fall within the remit of the Act. Moreover, such research is defined as ‘restricted’; besides the Act, research involving oocytes and embryos is also subject to control under the Human Biomedical Research …. (shrink)

This article discusses the concept of God with a focus on the translation of God in the Chinese and Yoruba religious contexts. Translating the word God is of the essence when comparing concepts of god. The translation of the Christian God as Olodumare misrepresents the latter. As suggested by Africanists, there should be appropriate translations for God, Olodumare, and other African gods. As a preliminary comparative attempt, this article presents a case on the introduction of God to the Chinese people. (...) The translation of God into Chinese reflects different views regarding the correlation between the Christian God and the Chinese gods. (shrink)

Three basic political positions on embryo research will be identified as libertarian, conservative, and social-democratic. The Human Embryo Research Panel will be regarded as an expression of the social-democratic position. A taxonomy of the ethical issues addressed by the Panel will then be developed at the juncture of political and ethical modes of reflection. Among the arguments considered will be those for the separability of the abortion and embryo research debates; arguments against the possibility of the preembryo being a person, (...) especially arguments associated with totipotency and the significance of the primitive streak; and the various reasons for regulating embryo research, including those associated with respect for the preembryo, the protection of traditional views of human procreation, and the prevention of commercialization. (shrink)

In this thesis I argue for the following theory: constitutive Russellian phenomenal bonding panpsychism. To do so I do three main things: 1) I argue for Russellian panpsychism. 2) I argue for phenomenal bonding panpsychism. 3) I defend the resultant phenomenal bonding panpsychist model. The importance of arguing for such a theory is that if it can be made to be viable, then it is proposed to be the most promising theory of the place of consciousness within nature. This is (...) because constitutive Russellian panpsychism has all the theoretical virtues of physicalism and dualism but does not face the problems they do. The combination problem, however, is the most significant problem for the Russellian panpsychist, and, hence, in order to show the viability of the theory I address this problem. Moreover, I present a novel ”mereological argument’ for panpsychism which makes it necessary that the Russellian panpsychist addresses the combination problem. The focus of this thesis is therefore addressing this problem. I argue that the combination problem can indeed be solved. To do so I argue for the phenomenal bonding solution proposed by Goff. I argue that this solution works and that we can form a positive concept of the phenomenal bonding relation. This forces the panpsychist to make sense of how experiencing subjects can be proper parts of other experiencing subjects. I then argue that this can indeed be made sense of and show that we can indeed be composite subjects made of other subjects. To show that we can be subjects made up of other subjects I defend this proposal from various objections from throughout the literature. All these objections can be responded to by the constitutive Russellian phenomenal bonding panpsychist. Ultimately this leaves us with a novel and interesting account of what conscious subjects are, and what the material world is: they are both composite entities made wholly of conscious matter. (shrink)

Este ensayo presenta una visión de conjunto del modo en el cual el «giro» (Kehre) hacia el pensamiento ontohistórico, a medidados de los años ’30, impacta sobre la concepción aleteiológica que, siguiendo a E. Lask y E. Husserl, Heidegger elabora desde comienzos de los años ‘20 hasta Sein und Zeit. Sobre esa base, se ofrece también un intento de caracterización de la reformulación eventualista-kairológica de la aleteiología presentada en Beiträge zur Philosophie. La caracterización propuesta se lleva a cabo con arreglo (...) a la distinción entre un nivel metahistórico de consideración, que corresponde al intento de pensar el seren su verdad en términos de la noción de «acontecimiento» (Ereignis), y un nivel propiamente histórico de consideración, que corresponde a la «hermenéutica de los dos comienzos». El pensar que medita históricamente el ser en su verdad sólo puede ser fiel a la intrínseca movilidad del ser mismo, si se ejerce en y desde la quietud de la contención, como temple animímico fundamental. (shrink)

The theme of the paper is defined by the relevance and insufficient scientific elaboration of the concept of dental tourism in Russia on the basis of deep, comprehensive and conceptually oriented research. The article presents the analytical review of foreign literature in the field of dental tourism. The authors consider various approaches to the definition of the conceptof dental tourism. Scientific developments which are devoted to the dental tourism have not been conducted in our country yet. Mainly, the scientific developments (...) in the sphere of dental tourism are conducted for advertising purposes. The authors points to the possibility and necessity of this study within the framework of sociology of medicine which has the methodological and operational basis for achieving the planned result. (shrink)