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)

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)

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.

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.

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)

Should the philosophy of biology deal with organismic, or with molecular aspects , or with both ? We are, of course, not the first to appreciate the ...

. Introductory Remarks THEODOSIUS DOBZHANSKY The problems of reduction in biology are currently of considerable theoretical interest and practical ...

Este artículo propone una revisión crítica sobre los alcances del transhumanismo en la esfera de la Psicología. Para ello, se expondrán antecedentes y se definirá lo que se entiende por transhumanismo y el resultado de éste, denominado poshumanismo. A través de características humanas tan básicas y diversas como la cognición, el sufrimiento y la identidad, se discute sobre los inéditos cambios que la ejecución y logro de las propuestas transhumanistas significarían para la sociedad, el cómo la psicología podría prever y (...) anticipar un escenario así de radical, y la necesidad y urgencia de nuevas teorías éticas que ayuden a comprender los fenómenos en cuestión. (shrink)

Se ofrece una interpretación teórico-política de la fusión de horizontes de Gadamer. Se argumenta que el diálogo político, desde un punto de vista hermenéutico, debe entenderse como el proceso de cuestionamiento y disputa de los horizontes de sentido en donde descansan las prácticas sociales. Asimismo, se sostiene que el diálogo instituye una pregunta-escenario-común que abre el horizonte social de sentido hacia la contingencia e incertidumbre, así como que este nunca busca un consenso procedimental o sustancial que subsane los conflictos y (...) concilie las diferentes perspectivas en un punto de vista homogéneo. (shrink)