We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous works have illustrated the usefulness of these calculi for practical notions like the implementation of typed functional programming languages and higher order proof assistants. It has also been shown that eta-reduction is useful for adapting substitution calculi for practical problems like higher order unification. This paper concentrates on rewrite rules for eta-reduction in three different styles of explicit substitution calculi: λσ, λse and the suspension calculus. (...) Both λσ and λse when extended with eta-reduction rules, have proved useful for solving higher order unification. We enlarge the suspension calculus with an adequate eta-reduction rule which we show to preserve termination and confluence of the associated substitution calculus and to correspond to the eta rules of the other two calculi. We prove that λσ and λse as well as λσ and the suspension calculus are non-comparable while λse is more adequate than the suspension calculus in simulating one-step beta-reduction. After defining the eta-reduction rule in the suspension calculus, and after comparing these three calculi of explicit substitutions , we then concentrate on the implementation of the rewrite rules of eta-reduction in these calculi. We note that it is usual practice when implementing the eta rule for substitution calculi, to mix isolated applications of eta-reduction with the application of other rules of the corresponding substitution calculi. The main disadvantage of this practice is that the eta rewrite rules so obtained are unclean because they have an operational semantics different from that of the eta-reduction of the λ-calculus. For the three calculi in question enlarged with adequate eta rules we show how to implement these eta rules. For the λse we build a clean implementation of the eta rule and we prove that it is not possible to follow the same approach for the λσ and λsusp. (shrink)

Natural Law is considered by many jurists an ambiguous concept. In this article we offer a concise history of ancient and mediaeval Natural Law as well as how it is present in the modern Bills of Human Rights. In the Natural Law it is convenient to distinguish what is caducous from that still valid.

Juan Luis Vives: Humanistic Logic versus Nominalistc Logic. In this work we study an aspect of the Humanism of Juan Luis Vives: his critique to the Nominalistic Logic. According to the Spanish philosopher, Grammar and Rhetoric were not separable from Dialectic. Perhaps Juan Luis Vives did not understand very well the sense of the Nominalistic Logic. Nevertheles his contribution to the humanictic Logic was quite considerable.

Una de las mayores revoluciones dela época contemporánea en el plano jurídicomorales la universalización de los derechoshumanos. Esta nueva realidad que vive la Humanidadai término dei II Milenio es fruto de unalarga conquista colectiva, pues todas las civilizacionesse fundan en sistemas de creencias quetratan de liberar ai hornbre de las necesidadesmás elementales de.la condición humana. Sinembargo, han sido la cultura occidental la quemás se ha distinguido en la lucha por las libertades,como ha quedado recogido en la literaturadei Antiguo y dei (...) Nuevo Testamento y en las delos gríegos y romanos. Ciertarnente no se trataaún de los derechos subjetivos, pero la idea denaturaleza humana inspira los prirneros intentosde elevar ai plano jurídico y politico los deseoslegítimos de libertad. En el siglo XII surgen lasprirneras ciudades "libres" y se reconoce lainiciativa de mercado, pero, sobre todo, e! respetoa la conciencia es objeto de reflexión preferentepor parte de los juristas y de los teólogos. SantoTomás de AqUino elabora e! concepto de naturalezacreada, pero suficiente en cuanto a sus fines.Por último, e! descubrirniento de América obliga alos teólogos espaiioles a sacar las consecuenciasde la idea de naturaleza humana en el contextosocio-político de la Conquista. (shrink)

RESUMEN Se aborda el pensamiento de E.M. Cioran desde la perspectiva de un sinsabor vital denominado sentimiento de muerte. El término, aunque aparece solo en su primer escrito, es transversal a toda su obra, puesto que para el autor los seres humanos nos intuimos como posesos de la muerte en cada momento de nuestra existencia. Esto cambia el tono normal de la vida, al poner frente a la persona una realidad carente de sentido y dominada por circunstancias radicales y limitantes (...) como el dolor y la agonía, que culmina en una atmósfera gobernada por la intuición trágica de la vida. ABSTRACT The article addresses the thought of E.M. Cioran from the perspective of that vital uneasiness known as the sentiment of death. Although the term appears only in his first book, the idea cuts across his entire work given that, for Cioran, human beings intuit themselves as possessed by death at every moment of their lives. When persons are faced with a meaningless reality, dominated by radical and limiting circumstances such as pain and agony, the whole tenor of life changes until it becomes a tragic intuition of life. (shrink)

Lower extremity non-contact soft tissue injuries are prevalent in elite futsal. The purpose of this study was to develop robust screening models based on pre-season measures obtained from questionnaires and field-based tests to prospectively predict LE-ST injuries after having applied a range of supervised Machine Learning techniques. One hundred and thirty-nine elite futsal players underwent a pre-season screening evaluation that included individual characteristics; measures related to sleep quality, athlete burnout, psychological characteristics related to sport performance and self-reported perception of chronic (...) ankle instability. A number of neuromuscular performance measures obtained through three field-based tests [isometric hip strength, dynamic postural control and lower extremity joints range of motion ] were also recorded. Injury incidence was monitored over one competitive season. There were 25 LE-ST injuries. Only those groups of measures from two of the field-based tests, as independent data sets, were able to build robust models [area under the receiver operating characteristic curve score ≥0.7] to identify elite futsal players at risk of sustaining a LE-ST injury. Unlike the measures obtained from the five questionnaires selected, the neuromuscular performance measures did build robust prediction models. The inclusion in the same data set of the measures recorded from all the questionnaires and field-based tests did not result in models with significantly higher performance scores. The model generated by the UnderBagging technique with a cost-sensitive SMO as the base classifier and using only four ROM measures reported the best prediction performance scores. The models developed might help coaches, physical trainers and medical practitioners in the decision-making process for injury prevention in futsal. (shrink)

I’m at the playground with my baby, and a smiling adult inquires, “Is it a boy or a girl?” Scientific studies show that if I say X, they will see my baby as doing A, being A, feeling A—versus if I say Y.1 They’ll likely make different assumptions about whether my baby is able to climb up the playground structures and sit without support, and they’ll encourage my baby to engage in different activities.2 And of course, they’ll respond to them (...) differently depending on whether they think the baby is a boy or a girl. What do I do if I don’t want that to happen? One way to respond to the question is not to reveal the gender, or rather, to reject the assumption that my baby already has a gender, which is arguably a weird move, breaking out of a smoothly functioning, well-oiled social exchange. Here I want to talk about this weird move: How weird it is? What are some of the reasons to make the move anyway, and what are some of the concerns? (shrink)

Human aesthetic experiences are pervasive; they are triggered by faces, art, natural scenery, foods, ideas, theories, and decision-making situations, among many sources, and seem to be a distinctive trait of our species. Our moral sense, understood as our capacity to judge events, actions, or people as good or bad, appropriate or inappropriate, also seems to be an exclusively human endowment (Ayala 2010). As part of the scientific efforts to characterize the biological foundations of our human uniqueness, recently there has (...) been interest in the brain’s underpinnings of aesthetic reactions to art on the one hand, and in the neural correlates of moral judgment and decision-making on the other (Greene and Paxton .. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)