Fragments of extensional Martin-Löf type theory without universes,ML 0, are introduced that conservatively extend S.A. Cook and A. Urquhart'sIPV ω. A model for these restricted theories is obtained by interpretation in Feferman's theory APP of operators, a natural model of which is the class of partial recursive functions. In conclusion, some examples in group theory are considered.
The Johns Hopkins-Fogarty African Bioethics Training Program (FABTP) has offered a fully-funded, one-year, non-degree training opportunity in research ethics to health professionals, ethics committee members, scholars, journalists and scientists from countries across sub-Saharan Africa. In the first 9 years of operation, 28 trainees from 13 African countries have trained with FABTP. Any capacity building investment requires periodic critical evaluation of the impact that training dollars produce. In this paper we describe and evaluate FABTP and the efforts of its trainees.Our data (...) show that since 2001, the 28 former FABTP trainees have authored or co-authored 105 new bioethics-related publications; were awarded 33 bioethics-related grants; played key roles on 78 bioethics-related research studies; and participated in 198 bioethics workshops or conferences. Over the past nine years, trainees have collectively taught 48 separate courses related to bioethics and have given 170 presentations on various topics in the field. Many former trainees have pursued and completed doctoral degrees in bioethics; some have become editorial board members for bioethics journals. Female trainees were, on average, less experienced at matriculation and produced fewer post-training outputs than their male counterparts. More comprehensive studies are needed to determine the relationships between age, sex, previous experience and training program outputs. (shrink)
A number of years ago, James Rachels presented an argument for the necessary non–existence of God. It was based upon a supposed inconsistency between worship and what might be called ‘autonomous moral agency’. In Rachels' view, one person's being the worshipper of another is partially determined by the way in which it is appropriate for the first to respond to the commands of the second. In brief, a worshipper's obedience to commands should be ‘ unqualified ’. Rachels thought that there (...) was some kind of incoherence in the requirement that an autonomous moral agent respond to commands in this way. He concluded that there could be no being who, like God, was alleged necessarily to be a fitting object of worship. (shrink)
Joseph Déjacque was a sailor a mere nineteen years of age when he heard for the first time the gentle, “feminine” tone of anarchy: The voice was not of a woman; it was an odd officer’s soft words, not even “four words,”1 which did not command anything but instead permitted the things to be done and the sailors to do things their own way. Anarchy is not the absence of orders; it is the absence of butch command. And this (...) absence, gently maneuvered, produces “harmony”. This efficient and enthusiastic maneuver of anarchy was to be discovered by the young Parisian proletarian Joseph Déjacque far away from his native Faubourg Saint-Antoine, amid “the Oriental seas,” aboard a frigate of war, in 1841. It.. (shrink)
Jean-Pol Gallez | : L’humanisme chrétien bénéficie d’une longue tradition de pensée incarnée par de nombreuses figures. Au xxe siècle, il a fait l’objet de travaux essentiellement historiques. Mais cette tradition n’a pas vraiment été visitée par la théologie fondamentale. L’humanisme chrétien se trouve donc en manque de conceptualisation théologique. À travers l’importance accordée au concept d’« humanisme évangélique » dans Dieu qui vient à l’homme, J. Moingt ouvre incontestablement une voie théologique en cette direction et établit, à notre sens, (...) un lien tangible et précieux entre l’histoire de la révélation trinitaire et l’humanisme chrétien. Sans oublier le cas de l’humanisme séculier, le présent article entend éclaircir ce rapport dans la théologie de l’auteur et situer quelques enjeux qu’il soulève à l’horizon du monde sécularisé. | : Christian humanism has a long tradition embodied by many figures. In the twentieth century it has been approached mainly through a historical perspective. But this tradition has not really been studied by fundamental theology. Christian humanism is therefore in lack of theological conceptualization. Due to the importance granted by J. Moingt to the concept of “evangelical humanism” in Dieu qui vient à l’homme, we think that the author is paving the way to a theological approach of Christian humanism and establishes a tangible and valuable link between the history of the Trinitarian revelation and Christian humanism. Taking into account the case of secular humanism the present article seeks to clarify this ratio inside the author’s theology and to raise some of the issues it implies on the horizon of the secularized world. (shrink)