Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's system called PF in which functions may be partial. The semantics of PF, which is based on Henkin's general-models semantics, allows terms to be nondenoting but requires formulas to always denote a standard truth value. We prove that PF is complete with respect to its semantics. The reasoning mechanism in PF for partial (...) functions corresponds closely to mathematical practice, and the formulation of PF adheres tightly to the framework of Church's system. (shrink)

This is a review essay of Lagasnerie, Judge and Punish and Fassin, The Will to Punish. It explores the way that these two books challenge conventional thinking about the relationship between crime and punishment.

The fifth book in the series offers an historical and conceptual account of the criminal law, as it has developed in England and spread to common law jurisdictions around the world. It traces how and why criminal law has come to be accorded with a central role in securing civil order in modernity, and justifies who and what should be treated as criminal under the law. Farmer argues that the emergence of the modern state in which criminal law is recognized (...) as an instrument of government is a result of the distinct body of rules which have emerged from the modern criminal law. (shrink)

Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach to partial functions (...) can be formalized in a range of formalisms that includes first-order logic, simple type theory, and Von-Neumann—Bernays—Gödel set theory. It argues that these new formalisms allow one to directly reason about partial functions; are based on natural, well-understood, familiar principles; and can be effectively implemented in mechanized mathematics systems. (shrink)

Recent advances in our understanding of the human genome have raised high hopes for the creation of personalized medicine able to predict diseases well before they occur, or that will lead to individualized and therefore more effective treatments. This possibility of a more accurate science of the prevention and surveillance of disease also illuminates the field of public health, where the translation of genomic knowledge could provide tools enhancing the capacity of public health authorities to promote health and prevent diseases. (...) But beyond scientific considerations, the use of genomics in public health research and interventions gives rise to several ethical and social issues of great importance. Considering the impact that PHG could have on the future of public health while still paying attention to the uncertainty surrounding the use of genomic databases for the benefit of populations, this article seeks to explore the promise of genomics in public health and the ethical issues that emerge from its application. (shrink)

We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let Ω be a regular uncountable cardinal. Let m < ω and M be an m-sound premouse and Σ be...

First, to what level of quality can medical ethics a spire, if it ignores callous discrimination in medrcal practice against large populations of the innocent poor? Second, how effective can such theories be in addressing the critical issues of medical and clinical ethics if they are unable to contribute to the closing of the gap of sociomedical disparity?Marcio Fabri dos Anjos, Medical Ethics in the Developing World: A Liberation Theology Perspective.

This review had already been published on September 11, 2020 on euppublishingblog.com. P. Crespi & S. Manghani, Rhythm and Critique. Techniques, modalities, practices, Edinburgh, Edinburgh University Press, 2020, 240 p. What is the relationship between rhythm and critique? Rhythm remains one of the most productive terms for critical enquiry into our social, political and cultural lives. References to temporality, flow, measure, pattern, variation and meter occur across a - Recensions.

The k-provability for an axiomatic system A is to determine, given an integer k 1 and a formula in the language of A, whether or not there is a proof of in A containing at most k lines. In this paper we develop a unification-theoretic method for investigating the k-provability problem for Parikh systems, which are first-order axiomatic systems that contain a finite number of axiom schemata and a finite number of rules of inference. We show that the k-provability problem (...) for a Parikh system reduces to a unification problem that is essentially the unification problem for second-order terms. By solving various subproblems of this unification problem , we solve the k- probability problem for a variety of Parikh systems, including several formulations of Peano arithmetic. Our method for investigating the k-provability problem employs algorithms that compute and characterize unifiers. We give some examples of how these algorithms can be used to solve complexity problems other than the k-provability problem. (shrink)

In this paper, we argue that lack of access to the fruits of modern medicine and the science that informs it is an important and neglected topic within bioethics and medical ethics. This is especially clear to those working in what are now termed 'resource-poor settings'- to those working, in plain language, among populations living in dire poverty. We draw on our experience with infectious diseases in some of the poorest communities in the world to interrogate the central imperatives of (...) bioethics and medical ethics. AIDS, tuberculosis, and malaria are the three leading infectious killers of adults in the world today. Because each disease is treatable with already available therapies, the lack of access to medical care is widely perceived in heavily disease-burdened areas as constituting an ethical and moral dilemma. In settings in which research on these diseases are conducted but there is little in the way of therapy, there is much talk of first world diagnostics and third world therapeutics. Here we call for the 'resocialising' of ethics. To resocialise medical ethics will involve using the socialising disciplines to contextualise fully ethical dilemmas in settings of poverty and, a related gambit, the systematic participation of the destitute sick. Clinical research across steep gradients also needs to be linked with the interventions that are demanded by the poor and otherwise marginalised. We conclude that medical ethics must grapple more persistently with the growing problem posed by the yawning 'outcome gap' between rich and poor. (shrink)

Although it is often said that economics is too much like physics, to a physicist economics is not at all like physics. The difference is in the scientific methods of the two fields: theoretical economics uses a top down approach in which hypothesis and mathematical rigor come first and empirical confirmation comes second. Physics, in contrast, embraces the bottom up ‘experimental philosophy’ of Newton, in which ‘hypotheses are inferred from phenomena, and afterward rendered general by induction’. Progress would accelerates if (...) economics were to truly make empirical verification the ultimate arbiter of theories, which would force it to open up to alternative approaches. (shrink)

From the perspective of at least some of our valuing practices, the advance of the sciences can seem to constitute a threat. The question I take up in this dissertation is whether or not naturalism--understood as the picture of the world and of ourselves bequeathed to us by the sciences--should be understood as a threat to our moral practices, to moral living. On the account I defend, the knowledge we gain from empirical inquiry need not undermine moral living in toto, (...) although a naturalistic mindset does raise some possibly dangerous questions for particular inherited moral norms and ideals. In defense of my claim that the examined life need not destroy the moral life, I develop a social view of morality. On this view, both moral authority and moral justification are viewed as fundamentally social phenomena, and morality itself as a tool for social living. With a case study on the development of the ethics of care, I illustrate ways in which a concern for empirically truthful representations of humanity can also dovetail with liberatory political concerns. That is, I defend not only the claim that moral living can survive critical scrutiny, but also the claim that it can be enriched by this scrutiny--that the truth can be transformative. Expansive moral ideals, such as those humanist views that see progress in the expansion of our moral vocabularies and institutions, are compatible with a naturalistic outlook, I argue. However, a strong defense of humanist views, according to which such ideals flow unproblematically from the nature of reason or from the history of ethical practice, does not seem possible. A weak defense of humanism, which connects the ideals of humanists to more widely held values, seems more promising. In working socially and politically for their cause, I contend that humanists in some sense have the truth on their side: sexist, racist, classist, or otherwise inegalitarian views regularly trade in falsehoods and obfuscation. Empirically truthful accounts of particular inherited norms and ideals thus continue to be dangerous, at least for those invested in the continued existence of the corresponding institutions. (shrink)

Pour l’épistémologue, mais aussi pour le théoricien de l’éthique, la théorie thomienne des modèles présente un intérêt particulier. Elle établit que la connaissance, ainsi que toutes les catégorisations abstraites qui en résultent, sont façonnées en première instance par les morphologies d’événements qui s’offrent à nos sens. L’intérêt de cette approche épistémologique pour l’éthique est de répondre au problème de son universalisation. Alors que l’éthique traditionnelle fonde la justification sur des principes qui, linguistiquement ancrés, peinent à s’imposer au-delà des cultures particulières, (...) la théorie thomienne des modèles ouvre la voie à un nouveau type d’aide à la décision qui est fondé sur un mode de connaissance universel : la topologie. Cet article expose les fondements épistémologiques de la théorie thomienne, pour ensuite en proposer une application originale aux conflits éthiques.For both the epistemologist and the ethicist, René Thom’s model theory is of particular interest. It assumes that knowledge, as well as all forms of abstract categorizations, are shaped by the morphologies that we perceive. The benefit of Thom’s epistemological approach is then to contribute to the problem of universalization in ethics. Whereas traditional theories in ethics elaborate justification with language-based principles that cannot be applied universally, René Thom’s model theory leads to a new modeling of ethics based on a universal form of knowledge : topology. This paper sets forth the epistemological foundations of Thom’s theory, and then proposes an application to ethical conflicts. (shrink)

This paper studies homogeneously Suslin (hom) sets of reals in tame mice. The following results are established: In 0 ¶ the hom sets are precisely the [Symbol] sets. In M n every hom set is correctly [Symbol] and (δ + 1)-universally Baire where ä is the least Woodin. In M u every hom set is <λ-hom, where λ is the supremum of the Woodins.

Although several theories of online syntactic processing assume the parallel activation of multiple syntactic representations, evidence supporting simultaneous activation has been inconclusive. Here, the continuous and non‐ballistic properties of computer mouse movements are exploited, by recording their streaming x, y coordinates to procure evidence regarding parallel versus serial processing. Participants heard structurally ambiguous sentences while viewing scenes with properties either supporting or not supporting the difficult modifier interpretation. The curvatures of the elicited trajectories revealed both an effect of visual context (...) and graded competition between simultaneously active syntactic representations. The results are discussed in the context of 3 major groups of theories within the domain of sentence processing. (shrink)

Medicine and its allied health sciences have for too long been peripherally involved in work on human rights. Fifty years ago, the door to greater involvement was opened by Article 25 of the Universal Declaration of Human Rights, which underlined social and economic rights: “Everyone has the right to a standard of living adequate for the health and well-being of himself and his family, including food, clothing, housing, and medical care and necessary social services, and the right to security in (...) the event of unemployment, sickness, disability, widowhood, old age or other lack of livelihood in circumstances beyond his control.”. (shrink)

Volume 10, Issue 1, March 2019, Page 110-113.

This article focuses on the question of the function of imitation and whether current accounts of imitative function are consistent with our knowledge about imitation's origins. We first review theories of imitative origin concluding that empirical evidence suggests that imitation arises from domain‐general learning mechanisms. Next, we lay out a selective account of function that allows normative functions to be ascribed to learned behaviours. We then describe and review four accounts of the function of imitation before evaluating the relationship between (...) the claim that imitation arises out of domain‐general learning mechanisms and theories of the function of imitation. (shrink)

A History of East Asia: From the Origins of Civilization to the Twenty-First Century. By Charles Holcombe. Cambridge: Cambridge University Press, 2011. Pp. xxiv + 403. $33.

Let M be a short extender mouse. We prove that if $E\in M$ and $M\models $ “E is a countably complete short extender whose support is a cardinal $\theta $ and $\mathcal {H}_\theta \subseteq \mathrm {Ult}(V,E)$ ”, then E is in the extender sequence $\mathbb {E}^M$ of M. We also prove other related facts, and use them to establish that if $\kappa $ is an uncountable cardinal of M and $\kappa ^{+M}$ exists in M then $(\mathcal {H}_{\kappa ^+})^M$ satisfies the (...) Axiom of Global Choice. We prove that if M satisfies the Power Set Axiom then $\mathbb {E}^M$ is definable over the universe of M from the parameter $X=\mathbb {E}^M\!\upharpoonright \!\aleph _1^M$, and M satisfies “Every set is $\mathrm {OD}_{\{X\}}$ ”. We also prove various local versions of this fact in which M has a largest cardinal, and a version for generic extensions of M. As a consequence, for example, the minimal proper class mouse with a Woodin limit of Woodin cardinals models “ $V=\mathrm {HOD}$ ”. This adapts to many other similar examples. We also describe a simplified approach to Mitchell–Steel fine structure, which does away with the parameters $u_n$. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

This book examines the relationship between legal tradition and national identity to offer a critical and historical perspective on the study of criminal law. It develops a radically different approach to questions of responsibility and subjectivity, and was among the first studies to combine appreciation of the institutional and historical context in which criminal law is practised with a critical understanding of the law itself. Applying contemporary social theory to the particular case of nineteenth-century Scottish law, Lindsay Farmer is able (...) to develop a critique of modern criminal law theory in general. He traces the development of the modern characteristics of criminal law and legal order, tracing the relationship between legal practice and national culture, and showing how contemporary criminal law theory fundamentally misrepresents the character of modern criminal justice. (shrink)

Chaque jour, les professionnels de la santé doivent prendre des décisions dans des environnements complexes où s'affrontent de multiples normes qu'il n'est pas toujours facile de départager ni de mettre au clair afin de prendre une décision éclairée. Pourtant, les modèles de prise de décision dont disposent actuellement les éthiciens cliniques ou les comités de bioéthique comportent souvent des lacunes lorsqu'il s'agit d'aborder des problèmes à plusieurs niveaux (micro, méso et macro). Les décisions reposent ainsi trop souvent sur l'intuition plutôt (...) que sur une démarche systématique rigoureuse et facilement reproductible. Afin de pallier la situation, cet ouvrage fournit des outils théoriques et pratiques facilitant la prise de décision. Fondé sur l'étude collective d'un cas complexe ayant trait aux dimensions tragiques des choix éthiques en fin de vie (doit-on ou non administrer un médicament coûteux pour le traitement d'un cancer au stade avancé?), il réunit les contributions de plusieurs experts reconnus travaillant dans le système de santé (cliniciens, éthiciens, chercheurs, gestionnaires et décideurs publics). En raison de l'actualité des enjeux qui y sont traités et de la qualité des textes qui y sont rassemblés, cet ouvrage sera un outil pédagogique efficace pour les étudiants, les enseignants et les professionnels de la santé et aura certainement une incidence importante sur le mode de prestation des soins. (shrink)

The Phenomenal Self (PS) is widely considered to be dependent on body representations, whereas the Narrative Self (NS) is generally thought to rely on abstract cognitive representations. The concept of the Bodily Social Self (BSS) might play an important role in explaining how the high level cognitive self-representations enabling the NS might emerge from the bodily basis of the PS. First, the phenomenal self (PS) and narrative self (NS), are briefly examined. Next, the BSS is defined and its potential for (...) explaining aspects of social cognition is explored. The minimal requirements for a BSS are considered, before reviewing empirical evidence regarding the development of the BSS over the first year of life. Finally, evidence on the involvement of the body in social distinctions between self and other is reviewed to illustrate how the BSS is affected by both the bottom up effects of multisensory stimulation and the top down effects of social identification. (shrink)

A significant open problem in inner model theory is the analysis of HODL[x] as a strategy premouse, for a Turing cone of reals x. We describe here an obstacle to such an analysis. Assuming sufficient large cardinals, for a Turing cone of reals x there are proper class 1-small premice M,N, with Woodin cardinals δ,ε, respectively, such that M|δ and N|ε are in L[x], M and N are countable in L[x], and the pseudo-comparison of M with N succeeds, is in (...) L[x], and lasts exactly ω1L[x] stages. Moreover, we can take M=M1, the minimal iterable proper class inner model with a Woodin cardinal, and take N to be M1-like and short-tree-iterable. (shrink)

Assume. Let κ be a cardinal. A ‐ground is a transitive proper class W modelling such that V is a generic extension of W via a forcing of cardinality. The κ‐mantle is the intersection of all ‐grounds. We prove that certain partial choice principles in are the consequence of κ being inaccessible/weakly compact, and some other related facts.

Many practices available for use in health service psychology are ineffective or harmful. How we describe these practices is important to scientific discourse and science communication with policy-makers and the general public. The label “pseudoscience” is typically applied in these cases, though the meaning of pseudoscience varies widely creating a quagmire for transparent and accurate communication. To clarify this issue, we review several prominent definitions of pseudoscience as well as consider how the term is used amongst psychology scholars and science-communicators. (...) We define two additional terms adapted from the medical literature, contemporary and alternative psychotherapies and low-value practices, and discuss their strengths and limitations. Finally, we recommend the broader category of low-value practices for use due to its definitional clarity, lack of competing definitions, and potential for clarifying research programs. (shrink)

Partial functions can be easily represented in set theory as certain sets of ordered pairs. However, classical set theory provides no special machinery for reasoning about partial functions. For instance, there is no direct way of handling the application of a function to an argument outside its domain as in partial logic. There is also no utilization of lambda-notation and sorts or types as in type theory. This paper introduces a version of von-Neumann-Bernays-Gödel set theory for reasoning about sets, proper (...) classes, and partial functions represented as classes of ordered pairs. The underlying logic of the system is a partial first-order logic, so class-valued terms may be nondenoting. Functions can be specified using lambda-notation, and reasoning about the application of functions to arguments is facilitated using sorts similar to those employed in the logic of the IMPS Interactive Mathematical Proof System. The set theory is intended to serve as a foundation for mechanized mathematics systems. (shrink)