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)

Populist representation is the process by which a body or set of bodies become the signifier of a powerful act of political transgression of the social order. We call this specific type of representative linkage ‘synecdochal representation’. In it, the leader’s body performs three key functions: it mirrors certain popular traits that are characterized as ‘low’, it displays marks of exceptionality, and it appropriates symbols of institutional power. These tasks are performed through particular ways of acting, dressing, talking, eating, and (...) the like, in public. Social media has become a key locus for bodily self-presentation because it is used to create the appearance of intimacy and spontaneity through the distribution of ‘candid’ pictures and videos. This paper will analyze how the self-presentation of populist and non-populist leaders are established through Twitter, what images they choose to disseminate, and how they are re-signified by the audience. To do so, we will focus on the two Latin American politicians: Cristina Fernández (with a populist style) and Mauricio Macri (with a technocratic one). (shrink)

Este escrito apunta a mostrar el camino histórico seguido por el conocimiento liberal y por la Universidad en la tradición educativa anglosajona. En este contexto de ideas, el campo de estudio ha sido limitado a los siguientes temas: primero, precisar, en términos generales, qué es la educación liberal y qué elementos componen su syllabus; segundo, describir las características esenciales que definen esta tradición educativa en el mundo anglosajón, principalmente en Inglaterra y en los Estados Unidos; y tercero, mostrar en qué (...) consiste la superioridad cualitativa de este tipo de educación. (shrink)

We study some operations that may be defined using the minimum operator in the context of a Heyting algebra. Our motivation comes from the fact that 1) already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation G by Gabbay may be defined in this way, though almost never explicitly noted in the literature; 2) defining operations in this way is equivalent, from a logical point of view, to two clauses, one corresponding (...) to an introduction rule and the other to an elimination rule, thus providing a manageable way to deal with these operations. Our main result is negative: all operations that arise turn out to be Heyting terms or the mentioned already known operations or operations interdefinable with them. However, it should be noted that some of the operations that arise may exist even if the known operations do not. We also study the extension of Priestley duality to Heyting algebras enriched with the new operations. (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)

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)

In the present paper, we return to one of the main theses we already defended concerning the role of the tarskian truth notion within the semantic approach (CARNIER, 2022). As it was argued, this truth notion proves to be insufficient to be applied to scientific theories as they are conceived by this approach, i.e., as extralinguistic entities, because it is a property of sentences and because the tarskian truth of a sentence doesn't necessarily mean the world is as it describes, (...) which results in the fact that other truth conceptions more appropriate need to be articulated within the several members of the semanticist family, in order to characterize the relationship between theory and phenomenon. Our argument in this regard was based in a case study applied to constructive empiricism and quasi-realism, but in this paper we extend our analysis to structuralism, assuming and endorsing the position according to which this proposal may be considered a member of the semantic approach. (shrink)

El objetivo de este trabajo es analizar algunos de los documentos normativo-institucionales que regulan los valores éticos que identifican la conducta de los servidores públicos de México, Chile y Colombia, con el fin de conocer sus similitudes y diferencias, para lo cual utilizaremos el método comparado; desde luego, sin profundizar en éste con todo su rigor, dadas las características propias de este ensayo. Los tres países heredaron los valores de los padres del Contrato Social, sin embargo, estos han sido histórica, (...) política, social y culturalmente cuestionados por muchos motivos, en especial, por la enorme infuencia de la doctrina neoliberal. (shrink)

Diderot, Denis: El sobrino de Rameau. El mundo sin Dios y el hombre en la naturaleza; conversación entre d'Alembert y Diderot. Sueño de d'Alembert (fragmentos) -- Holbach, Baron von. Sistema de la naturaleza. -- Helvetius, C. A. Del espíritu.

This study situates Henry Havelock Ellis’s sexological research within the nineteenth-century evolutionary debates, especially the discussion over sexual selection’s applicability to humanity. For example, Ellis’s monograph on sexual behavior, _Sexual Inversion_ (1897), treated inborn homosexuality as a natural variation of evolutionary mechanisms. This book was situated within a longer study of human sexuality in relation to evolutionary selection. His later works dealt even more directly with Charles Darwin’s concept of selection, such as _Sexual Selection in Man_ (1905). Through _Sexual Selection (...) in Man_, Ellis asserted that sexual attraction stemmed from a physical cause rather than an innate aesthetic sense. I argue that Ellis’s best-known historical publications, including his work on sexual inversion, were intended to intervene in the contemporary evolutionary debates. This analysis also identifies a specific point where evolutionary theory informed the foundation of sexology as a scientific discipline. (shrink)

CONTENIDO: Vestigios protodemocráticos en la Edad Media tardía: Marsilio de Papua, Nicolás de Cusa / Matthias Vollet / - La concepción normativa de la democracia: un aporte neokantiano / Rodolfo Arango / - El concepto de lo político y la razón pública en Schmit y Rawls / Miguel Vatter / - Democracia y liberación pública / Cristina Lafont / - La democracia desde la teoría de las emociones / Viviana Quintero / - Ontología y democracia en spinoza y Negri (...) / Amalia Rey / - Reconocimiento y redistribución: el rol de un teoría crítica de la democracia / Nicolás Espejo / - La contribución de Haberman a la crítica de la tecnocratización de la democracia / Luis Javier Orjuela / - Libertad, derecho y democracia: aspectos teóricos y pragmáticos, con énfasis en la competencia / Joachim Lege / - Democracia representativa y democracia deliberativa: reflexiones a partir de la situación peruana reciente / David Sobrevilla. (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)

En este trabajo realizo un examen crítico del reciente libro de Silvana Gabriela Di Camillo sobre la crítica de Aristóteles a la teoría platónica de las Ideas. El libro de Di Camillo es un trabajo muy serio cuya lectura recomiendo ampliamente. Sin embargo, considero que cuatro de las principales tesis que la autora defiende tienen varias dificultades y mi objetivo aquí es presentar argumentos detallados en contra de ellas: la interpretación de la distinción entre argumentos más y menos rigurosos del (...) tratado Sobre las Ideas; la tesis de que la separación es el blanco esencial de las críticas aristotélicas a las Ideas; la interpretación de las opciones que Platón tiene para responder al argumento del tercer hombre, y la tesis de que la separación de las Ideas debe entenderse como homonimia. In this paper I examine Silvana Gabriela Di Camillo's recent book on Aristotle's criticisms of Plato's theory of Ideas. Di Camillo's book is a very serious work that I highly recommend. Nevertheless, I consider that four of the main theses that the author defends face several difficulties and my aim here is to offer detailed arguments against them: the interpretation of the distinction between more and less accurate arguments of the treatise On Ideas; the thesis that separation is the essential target of Aristotle's criticisms against Plato's Ideas; the interpretation of the options available to Plato to reply to the third man argument; and the thesis that the separation of Ideas should be understood as homonymy. (shrink)

Este artículo examina la doctrina del Idealismo Trascendental de Kant en relación con el Problema del Mundo Externo, abordándola desde la perspectiva de la Filosofía de la Percepción. La investigación propone que hay argumentos sólidos para evaluar la doctrina kantiana bajo estos criterios y sugiere que, al hacerlo, se desprende que el Idealismo Trascendental no puede ser clasificado como una postura idealista que niegue la existencia de objetos o propiedades extramentales. Este análisis aporta una comprensión más profunda del alcance y (...) las implicaciones del Idealismo Trascendental de Kant en el contexto de la filosofía de la percepción, contribuyendo así al debate académico sobre la naturaleza del conocimiento y la realidad. (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.

Juliana Guerrero. Música y humor en la obra de Les Luthiers. Santa Fe: Ediciones UNL, 2021, 280 páginas. Héctor Olivos. Prometeo: el fuego insumiso. Madrid: Prisa Noticias Colecciones y EMSE EDAPP, S.L., 2020, 125 páginas.

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. (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)

A ciência experimental se concentra de forma peculiar, embora não exclusiva, no exame dos componentes materiais presentes na natureza e em suas relações quantitativas. Esta abordagem tem sido extremamente bem-sucedida, mesmo que haja lacunas e perplexidades a serem superadas, que, por sinal, também fazem parte do modus operandi da investigação experimental. Entretanto, se esta investigação é necessária para compreender a totalidade da natureza, ela já não é suficiente, o que é também corroborado por um sentimento de incompletude presente nas teorias. (...) Assim, existem razões justificáveis para se investigar a presença de uma estrutura não conceptualizável apenas em termos quantitativos chamada Realidade Velada pelo físico Bernard d'Espagnat, que pode ser assimilada à composição transcendental clássica de ser e essência, desde que este último elemento da composição, a essência, seja equivalente à estrutura forma-matéria, ou estrutura hilemórfica (aqui, matéria deve ser assimilada à matéria prima). Ora, a existência de tal estrutura reposicionaria a filosofia da natureza como conhecimento complementar ao da ciência experimental no sentido de que ele daria uma contribuição metafísica qualitativa relevante à pesquisa do que está além do limiar essencialmente quantitativo, conquanto necessário, oferecido pelas ciências da natureza. (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)

There is growing worldwide concern that the rampant spread of digital fake news via new media technologies is detrimentally impacting Democratic elections. However, the actual influence of this recent Internet phenomenon on electoral decisions has not been directly examined. Accordingly, this study tested the effects of attention to DFN on readers’ Presidential candidate preferences via an experimental web-survey administered to a cross-sectional American sample. Results showed no main effect of exposure to DFN on participants’ candidate evaluations or vote choice. However, (...) the perceived believability of DFN about the Democratic candidate negatively mediated evaluations of that candidate—especially amongst far-right ideologues. These results suggest that DFN may at worst reinforce the partisan dispositions of mostly politically conservative Internet users, but does not cause or induce conversions in these dispositions. Overall, this study contributes novel experimental evidence, indicating that the potential electoral impact of DFN, although concerning, is strongly conditional on a reciprocal interaction between message receptibility and a pre-existing right-wing ideological orientation. The said impact is, therefore, likely narrow in scope. (shrink)

Nineteenth-century investigations of the deep sea provide a case study for black box science. Naturalists were forced to theorize about a space for which they had no direct sensory observations. This study traces the emergence of bathymetry and deep-sea biology and then analyzes how men of science dealt with the uncertainty associated with their black box practices. I argue that these investigators created multiple types of black boxes based on their uncertainties and that these black boxes did not operate equivalently. (...) Consequently, scholars should be aware of the different categories of black boxes when they describe scientific practices. (shrink)

The theory of rights is crucial as a means of relieving the tension between basic rights and democracy, and as a means of resolving the problem of allocating competence between the constitutional court and the legislature. To some theorists, no tension between basic rights and democracy exists, for the latter presupposes the former. To others, among whom I include myself, tension does exist, for basic rights, in lending protection to certain persons and groups, limit the possibilities of political decision. In (...) this connection it is important to take up the problem of the necessary conditions for realizing basic rights. One of these conditions concerns the delimiting of the scope of institutional action that is found, so to speak, in the space between the constitutional justices and the legislature, the latter as representative of the popular will. (shrink)