This paper gives the strong reduction of the combinatory calculus SCL, which was introduced as a combinatory calculus corresponding to the untyped Lambda-mu calculus. It proves the confluence of the strong reduction. By the confluence, it also proves the conservativity of the extensional equality of SCL over the combinatory calculus CL, and the consistency of SCL.

The Y‐box‐binding protein (YB‐1) represents the most evolutionary conserved nucleic‐acid‐binding protein currently known. YB‐1 is a member of the cold‐shock domain (CSD) protein superfamily. It performs a wide variety of cellular functions, including transcriptional regulation, translational regulation, DNA repair, drug resistance and stress responses to extracellular signals. As a result, YB‐1 expression is closely associated with cell proliferation. In this review, we will begin by briefly describing the characteristics of YB‐1 and will then summarize the pleiotropic functions brought about via (...) DNA–RNA transaction and protein–protein interactions. In addition, we will discuss the diverse range of potential physiological and pathological functions of YB‐1. BioEssays 25:691–698, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

Résumé — La controverse religieuse qui a suivi l’essor du luthéranisme est ordinairement présentée comme le moteur principal de la reviviscence du pyrrhonisme à l’âge moderne. Au XVIe siècle, la religion aurait fait du pyrrhonisme un outil apologétique puissant, véritable arme que s’opposeraient les diverses confessions. Pourtant, comme le note Bayle dans son Dictionnaire, les rapports entre le scepticisme et la théologie sont extrêmement ambigus : un rapide tableau des appréciations portées par les théologiens chrétiens montrent que, chez les Réformés (...) comme chez les catholiques, l’humiliation des lumières naturelles est pensée comme une entrave à l’instauration de la foi. Seuls les courants pauliniens et mystiques voient dans cette philosophie un moyen bénéfique à la vie spirituelle. Pour devenir un outil intellectuel reconnu dans les milieux catholiques tridentins, le pyrrhonisme a dû subir une métamorphose radicale : Omer Talon, suivi par Gentian Hervet, ont reconfiguré le pyrrhonisme à partir du modèle probabiliste de la Nouvelle Académie, pourtant récusé par Sextus Empiricus. Assoupli, le scepticisme a alors été pensé comme le moyen privilégié d’une refondation de la dialectique rationaliste et de la défense de la foi.— The religious controversy which followed the development of Lutheranism is usually presented as the main engine of the revivescence of the Pyrrhonism in early modern period. In the sixteenth century, religion would have made by Pyrrhonism a powerful apologetic tool, true weapon that adverse confessions would have set against each other. Nevertheless, as Bayle notes it in its Dictionary, the connection between scepticism and theology is extremely ambiguous : a fast outline of the appreciations carried by the Christian theologians shows that, by protestants as well as by Catholics, the humiliation of natural lights is thought as an obstacle of the institution of faith. Only the Paulinian and mystic currents see in such a philosophy a beneficial resource for spiritual life. To become an intellectual tool recognized in the catholic Tridentin circles, Pyrrhonism must have been subjected to a radical transformation : Omer Talon, followed by Gentian Hervet, has restructured Pyrrhonism from the probabilistic model of the New Academy, even though such a model was rejected by Sextus Empiricus. Such mitigated, scepticism has then been considered as one of the privileged means of the refondation of rationalistic dialectic, and of the defence of faith. (shrink)

In case of special engineering projects of important relevance it is interesting to pay attention to several possible risks; some of them are in the field of morality or ethics. Due to the social importance of these risks, additional considerations or even additional warranties are justified.

A course in professional ethics for civil engineers was taught for the first time in Spain during the academic year 2007/08. In this paper a survey on the satisfaction and expectation of the course is presented. Surprisingly the students sought moral and ethical principles for their own ordinary lives as well as for their profession. Students were concerned about the law, but in their actions they were more concerned with their conscience, aware that it can be separate from the law.

Lectures on Jaina logic according to Devasena, fl. 933-947 and Yaśovijaya, 1624-1688, Jaina philosophers.

Introduction to the terms and concepts of Hinayana and Mahayana, Buddhist philosophy.

This article introduces the little-studied figure of Saigusa Hiroto, a twentieth century Marxist philosopher who reconstructed the history of technical thought in Japan. The article focuses on Saigusa’s thought between 1939 and 1942, contextualizes his thinking in relation to the technology controversy of the 1930s and presents his critique of the dualism between spiritual and technological culture. Saigusa defines technology as a “means as a process” and not a skill or system of things. The author argues that Saigusa’s notion (...) of “means as a process” dislocates the idea of Western technology as superior to Eastern technology, paving the way for current debates in the field of post-European philosophies of technology. (shrink)

On the concept of logic in Jainism; a study.

Philosophy and science ; Rationalism ; Thought and thinking ; Psychology and philosophy ; Islamic philosophy -- Iran ; Philosophy, Iranian.