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)

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)

El estudio se centró en los textos de las resoluciones de acreditación de alta calidad de las Instituciones de Educación Superior en Colombia. La metodología condujo a un panorama descriptivo y posibilitó la construcción de categorías cualitativas que permitieron analizar fortalezas y debilidades. Los resultados evidencian la brecha urbano- rural; una tendencia de las instituciones oficiales a recibir más años de acreditación que las privadas y la no incidencia del carácter académico en el número de años de acreditación otorgados. Mejorar (...) las condiciones laborales de los profesores y atender las zonas rurales son prioridades que deben atender las políticas nacionales. (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 ...

This article provides a state of the art review of the philosophical literature on scientific representation. It first argues that the topic emerges historically mainly out of what may be called the modelling tradition. It then introduces a number of helpful analytical distinctions, and goes on to divide contemporary approaches to scientific representation into two distinct kinds, substantive and deflationary. Analogies with related discussions of artistic representation in aesthetics, and of the nature of truth in metaphysics are pursued. It is (...) finally urged that the most promising approaches - and the ones most likely to feature prominently in future developments - are deflationary. In particular, a defence is provided of a genuinely inferential conception of representation. (shrink)

This article provides a state-of-the-art review of the philosophical literature on scientific representation. It first argues that the topic emerges historically mainly out of what may be called the modelling tradition. It then introduces a number of helpful analytical distinctions and goes on to divide contemporary approaches to scientific representation into two distinct kinds, substantive and deflationary. Analogies with related discussions of artistic representation in aesthetics and the nature of truth in metaphysics are pursued. It is finally urged that the (...) most promising approaches—and the ones most likely to feature prominently in future developments—are deflationary. In particular, a defense is provided of a genuinely inferential conception of representation. (shrink)

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

En aquest article pretenem fer una crítica, des de postulats ètics de caràcter republicà, al mode actual d’entendre i, per tant, posar en pràctica el principi d'autonomia de la bioètica. Pretenem mostrar que, en l’estat actual d’aplicació d'aquest principi, emprant una definició liberal de llibertat i de la natura humana, aquest idea de llibertat i autonomia que es pretén protegir, no es compleix en deixar fora de l’equació tot un seguit de circumstàncies socials, polítiques o econòmiques que poden dificultar al (...) pacient prendre una veritable decisió sobirana sobre quin ha de ser el fet d'actuar dels professionals sanitaris sobre el seu cos en cada cas. (shrink)

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)

1Department of Philosophy, University of Bristol, 9 Woodland Road, Bristol BS8 1TB, UKScience Without Laws Ronald Giere Chicago, IL University of Chicago Press 1999 x + 285 Hardback£17.50.

This paper defends an inferential conception of scientific representation. It approaches the notion of representation in a deflationary spirit, and minimally characterizes the concept as it appears in science by means of two necessary conditions: its essential directionality and its capacity to allow surrogate reasoning and inference. The conception is defended by showing that it successfully meets the objections that make its competitors, such as isomorphism and similarity, untenable. In addition the inferential conception captures the objectivity of the cognitive representations (...) used by science, it sheds light on their truth and completeness, and it explains the source of the analogy between scientific and artistic modes of representation. (shrink)

The comparative study of synchronic occurrences of a particular construction in interactional corpora from different languages can provide a complete understanding of the development of the construction as a response to some basic intimately associated set of interactional moves and cognitive demands. A comparative formal analysis of lists in Spanish and English conversations shows that in both languages the construction has developed a stylized intonation pattern based on the holding of tones by means of lengthening of nuclear syllables, a durable (...) syntactic organization based on parataxis and an almost identical inventory of lexicalized expressions to index the end of the list. A parallel analysis of lists in their interactional contexts shows that in both English and Spanish conversation the formal properties of lists emerge as adaptations to a recurrent set of communicative tasks. The first type of `framing' lists is used for its incremental structure in the negotiation of common background between interlocutors, whereas the second type of `demonstrative' lists is used for its rhetorical structure to provide evidence for a claim and is directed to obtaining agreement. (shrink)

Se examina la idea de un vínculo directo entre modernización y pérdida de plausibilidad de la creencia religiosa, se explora la imagen contemporánea de la relación entre religión y racionalidad, y se muestra cómo no puede afirmarse que el avance de la ciencia conduzca a la secularización. Ante la pregunta, si la postsecularización conlleva una mutua exclusión de religión y racionalidad, se examinan las propuestas de J. Habermas y N. Wolterstorff, buscando criterios normativos para el diálogo entre racionalidades religiosas y (...) no religiosas. The article examines the idea of a direct link between modernization and the loss of plausibility of religious belief, explores the contemporary image of the relation between religion and rationality, and shows why it is not possible to say that the advance of science leads to secularization. In view of the question regarding whether post- secularization entails the mutual exclusion of religion and rationality, it examines the proposals of J. Habermas and N. Wolterstorff, in a search for normative criteria for the dialogue between religious and non-religious rationalities. (shrink)

Magnífico libro ha tenido a bien reeditar la editorial madrileña Encuentro, situándolo como el primer volumen de la colección Mínima Política. En él, además de realizar algunas correcciones y estructurar la obra de forma más manejable para el lector, se ha encargado del estudio preliminar el profesor Jerónimo Molina, como ya hiciera con otras obras del mismo autor, Teoría y sistema de las formas políticas e Introducción al Derecho político actual, hace unos pocos años. En esta introducción, se nos ofrece (...) un recorrido biográfico, intelectual y político por Francisco Javier Conde, sencillo, directo y profundo. Propio de quien tiene un riguroso conocimiento del autor y de su obra. Con su lectura conseguiremos enmarcar correctamente este libro en la trayectoria vital e intelectual de Conde, entre la actitud intelectual del realismo político, el fracaso en la vida de actividad política y el olvido arrastrado hasta casi nuestros días. Y digo casi, porque, según lo que hemos dicho, no son pocos los que honran a Conde y su trabajo intelectual, de gran mérito. No en vano señala el profesor Molina que este libro es un pequeño clásico contemporáneo. (shrink)

The traditional teaching style in which the teacher is in control and there is a submissive attitude in students is predominant in Mexico. The development of identity in preadolescence is subjected to social groups, which could develop interpersonal difficulties through the controlling teaching style. Although the fear of negative evaluation in students and competitive sport has been studied in education, relatively little research has been done in the area of physical education in relation to the controlling style. The purpose of (...) this study was to investigate the correlation and predictive relationship between controlling teaching and the fear of negative evaluation mediated by the frustration of the basic psychological needs, controlled motivation, and individualism/competitiveness through the theoretical framework of self-determination theory. Participants were 1132 students in the fifth and sixth grades in public elementary schools in the state of Chihuahua, Mexico, with ages between 10 and 13. Results indicate the perceived controlling teaching style positively predicted the fear of negative evaluation in students of this study through BPN frustration, that is positively related to low-quality motivation, which is related to a higher level of individualism/competitiveness. This, in turn, is proven to be a predictor of the fear of negative evaluation. The results also discuss the promotion of the autonomy support style, avoiding the controlling teaching style, for the minimization of negative results related to the perception of fear and the development of student well-being both within and beyond the school context. (shrink)

Depersonalization is characterised by a profound disruption of self-awareness mainly characterised by feelings of disembodiment and subjective emotional numbing.It has been proposed that depersonalization is caused by a fronto-limbic suppressive mechanism – presumably mediated via attention – which manifests subjectively as emotional numbing, and disables the process by which perception and cognition normally become emotionally coloured, giving rise to a subjective feeling of ‘unreality’.Our functional neuroimaging and psychophysiological studies support the above model and indicate that, compared with normal and clinical (...) controls, DPD patients show increased prefrontal activation as well as reduced activation in insula/limbic-related areas to aversive, arousing emotional stimuli.Although a putative inhibitory mechanism on emotional processing might account for the emotional numbing and characteristic perceptual detachment, it is likely, as suggested by some studies, that parietal mechanisms underpin feelings of disembodiment and lack of agency feelings. (shrink)

Las Instituciones Nacionales de Derechos Humanos cumplen, fundamentalmente, con dos funciones: proteger a las personas a partir de recomendaciones, garantizándoles una reparación si se comente una violación a sus derechos, y prevenir futuras violaciones a los derechos humanos. Sobre esta base están llamadas a ser los organismos que guíen hacia una cultura ciudadana a favor de los derechos humanos. Para lograr la culturización en este campo, se requiere educar en derechos a través de la educación formal e informal. En el (...) caso de México, la Comisión Nacional de los Derechos Humanos es la institución encargada de realizar esta labor. Su posición flexible y dinámica, así como su autonomía dentro del Estado mexicano, le dan la posibilidad de propiciar esa cultura, ya que es una institución de configuración diferente al sistema tradicional de impartición de justicia, por lo que hace que mantenga una línea de investigación enfocada en los derechos humanos. La culturización empieza por el ámbito nacional o interno y se debe extender hacia el exterior, como un movimiento social internacional. (shrink)

El modelo de ser humano: homo oeconomicus, impuesto por la racionalidad económica capitalista, ha tenido en las dos últimas décadas una metamorfosis compleja, a saber, la formación de un tipo de subjetividad representada en la figura del “emprendedor” o “su propio jefe” que, desde una nueva gramática teológica, encarna un proyecto mercantil solapado y subrepticio que condiciona las relaciones entre sujetos. En razón a esto, el propósito de este texto es pensar dicha problemática desde el ejercicio hermenéutico-crítico que lleva a (...) cabo el joven Marx, para someter al análisis las categorías de culpa, deuda, sacrificio y expiación destacadas por Walter Benjamin, a la luz de la categoría esencia subjetiva de la propiedad privada que permita entender cómo el capitalismo se vale hoy de la teología y su lenguaje para continuar responsabilizando al ser humano de su pobreza, de su riqueza o su fracaso económico. (shrink)

Se explora la relación entre las dimensiones proposicional y no proposicional de la creencia religiosa para mostrar que la última dirige el proceso de justificación y representa su límite. Se defiende que la no proposicional también tiene valor cognitivo, porque constituye una suerte de elección epistémica preteórica que no es exclusiva de la fe religiosa. Se explora la noción de ambigüedad religiosa, tanto a nivel intelectual como experiencial, y se sostiene que la relación entre la dimensión proposicional y la no-proposicional (...) de la fe está mediada por la función directiva de las presuposiciones metafísicas instauradas por la experiencia religiosa. (shrink)

This paper defends the deflationary character of two recent views regarding scientific representation, namely RIG Hughes’ DDI model and the inferential conception. It is first argued that these views’ deflationism is akin to the homonymous position in discussions regarding the nature of truth. There, we are invited to consider the platitudes that the predicate “true” obeys at the level of practice, disregarding any deeper, or more substantive, account of its nature. More generally, for any concept X, a deflationary approach is (...) then defined in opposition to a substantive approach, where a substantive approach to X is an analysis of X in terms of some property P, or relation R, accounting for and explaining the standard use of X. It then becomes possible to characterize a deflationary view of scientific representation in three distinct senses, namely: a “no-theory” view, a “minimalist” view, and a “use-based” view – in line with three standard deflationary responses in the philosophical literature on truth. It is then argued that both the DDI model and the inferential conception may be suitably understood in any of these three different senses. The application of these deflationary ‘hermeneutics’ moreover yields significant improvements on the DDI model, which bring it closer to the inferential conception. It is finally argued that what these approaches have in common – the key to any deflationary account of scientific representation – is the denial that scientific representation may be ultimately reduced to any substantive explanatory property of sources, or targets, or their relations. (shrink)

This paper argues that there is a thread in the philosophy of E. Tugendhat binding together his moral and justice theories with his conceptual analysis. Oriented by the thesis that a conceptual analysis is necessary to explain what justice is, this paper reconstructs some aspects of Tugendhat’s philosophy. It is divided in four sections: First, I delve into the author’s definition and use of conceptual analysis. Second, I describe some features of Tugendhat’s moral theory of contractualism. Third, I examine his (...) theory of justice. Fourth, I conclude by framing my analysis within the debate between Rawls’s and Tugendhat’s theories of justice. (shrink)

The aim of this study was to analyze the explanatory level of the variables advertising influence, verbal messages, social models and social situations as regards body dissatisfaction, weight worry, and bodily discomfort. The study was conducted in a convenience sample of 206 Mexican women with an average age of 22.12 years. Structural equation modeling was used to analyze the direct and indirect effects of the independent variables on the dependent ones in three hypothetical models proposed. In the case of the (...) model proposed for body dissatisfaction, it was found that the set of variables had 79% of variance explained and showed adequate goodness-of-fit indices. The model for weight worry had 62% of variance explained and an acceptable goodness of fit. Finally, the model for bodily discomfort had 72% of variance explained and showed adequate goodness of fit. It is concluded that social influences have a significant impact on body image. Verbal messages had the strongest impact on the variables studied. (shrink)

In this article, I argue that the main contribution of Hegel's philosophy of right to the contemporary political debate is that it opens a window on the idea that liberalism and individual freedom are incompatible. My main thesis is that the liberal conception of the State and law, structured from a nonrelational account of singularity, ends up denying the individual freedom that it claims to defend. I begin by reconstructing the Hegelian concept of freedom from its most general lines, showing (...) that being free consists in wanting to become someone and not so much in wanting to do something. After showing that the purpose of becoming someone can only be fulfilled in a social medium, I focus on Hegel's critique of the liberal state (as expounded in the section on “civil society”). I argue that civil society structurally impedes individuals from realizing their purpose of becoming someone: the economical interactions of civil society give rise to impersonal and inscrutable mechanisms, which take the social conditions of people's individuation beyond their control. Finally, I claim that (rational) individual freedom consists in being able to thematize and democratically control the very social conditions of individuation through the State and law. (shrink)

IntroductionThe idea of video recording in the operating room with panoramic cameras and microphones is a new concept that is changing the approach to medical activities in the OR. However, VR in the OR has brought up many concerns regarding patient privacy and has highlighted legal and ethical issues that were never previously exposed.AimTo review the literature concerning these aspects and provide a better ethical and legal understanding of the new challenges concerning VR in the OR.ConclusionsThere is a disparity between (...) the two main legal models concerning VR in the OR, namely the European legal system ) and the American legal framework ). This difference mainly deals with two distinct bioethical paradigms: GDPR places a strong emphasis on protecting patients’ privacy to improve the public health system, whereas HIPAA indicates the need to generate protocols to safeguard the risks connected to medical activity and patient privacy. Following from this point, we may argue that, at the ethical and bioethical level, GDPR and HIPAA depend mainly on two different ethical models: a perspective based on moral acquaintances and weak proceduralism, respectively. It is worth noting the importance of developing additional guidelines concerning different world regions to avoid the ethical problems that may emerge when simply applying a foreign paradigm to a very different culture. (shrink)

This paper argues that the historical character of our knowledge is compatible with both ontological and epistemological realism. The first part critically analyses the thesis according to which the situated nature of our cognitive practices implies that they do not refer to an extra-linguistic reality. The second section explores the claim that realism is a necessary presupposition of our communicative practices and the final part outlines the principles of a pluralist realism.

El presente texto desea dar cuenta, a partir de aquellos aspectos fenomenológicos de la teoría del conocimiento de Thomas Hobbes, el fundamentoy justificación de la génesis del Estado civil. Sin lugar a dudas, serán la percepción o la intuición, lo sensible, la imaginación o la memoria, el lenguaje, el movimiento, el cómputo, el deseo, el miedo, entre otros, lo que lleva al sujeto a comprender su propia naturaleza y a partir de ella, a pactar con otros sujetos cediendo sus derechos (...) naturales a un tercero para dar fin al estado de naturaleza y poder conservar su vida y vivir en paz. (shrink)

This paper argues for a broadly dispositionalist approach to the ontology of Bohmian mechanics . It first distinguishes the ‘minimal’ and the ‘causal’ versions of Bohm’s theory, and then briefly reviews some of the claims advanced on behalf of the ‘causal’ version by its proponents. A number of ontological or interpretive accounts of the wave function in BM are then addressed in detail, including configuration space, multi-field, nomological, and dispositional approaches. The main objection to each account is reviewed, namely the (...) ‘problem of perception’, the ‘problem of communication’, the ‘problem of temporal laws’, and the ‘problem of under-determination’. It is then shown that a version of dispositionalism overcomes the under-determination problem while providing neat solutions to the other three problems. A pragmatic argument is thus furnished for the use of dispositions in the interpretation of the theory more generally. The paper ends in a more speculative note by suggesting ways in which a dispositionalist interpretation of the wave function is in addition able to shed light upon some of the claims of the proponents of the causal version of BM. (shrink)

This paper makes the claim that the overall structure of Plato’s Laws follows the principle of indirect access to the knowledge of human soul, which consists in the understanding that a philosophical approach to the soul is only possible initially through an image of it. The structure of the Laws can be interpreted as a movement towards the soul’s interior, beginning with the famous image of the puppet. According to this image, the movement opens with the analysis of the non-rational (...) elements of the soul, which are capable of an harmonic relation with the rational element, and advances bit to bit to the rational or epistemic element. The political necessity of undertaking the dialectical investigation in order to attain a philosophical knowledge of the human soul and its specific excellence appears only at the end of the dialogue. In this way, the structure of the Laws dramatizes the progressive birth of philosophy, conceived as the dialectical investigation of the unity of virtue, starting from the initial understanding of the human soul contained in the myth of the puppet. (shrink)