It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...) a novel and perspicuous proof of the strong normalization property for the full intuitionistic propositional calculus. It is noticed that this novel proof bestows a crucial role to $\eta$-conversions. (shrink)

The main focus of this article is to present the practical aspect of the code rules of variation and the search for a second set of genomic rules, including comparison of sequences to understand how to preserve compatible organisms in danger of extinction and how to generate biodiversity. Three new rules of variation are introduced: 1) homologous recombination, 2) a healthy fertile offspring, and 3) comparison of compatible genomes. The novel search in the natural world for fully compatible genomes capable (...) of homologous recombination is explored by using examples of human polymorphisms and by the production of fertile offspring by crossbreeding. By a rational control of: natural crossbreeding of organisms with compatible genomes (something already happening in nature), the current work focuses on the generation of new varieties after a careful plan. This study is presented within the context of biosemiotics, which studies the processing of information, signalling and signs by living systems. I define a group of organisms having compatible genomes as a single theme: the genomic species or population, able to speak the same molecular language through different accents, with each variety within a theme being a different version of the same book. These studies have a molecular, compatible genetics context. Population and ecosystem biosemiotics will be exemplified by a possible genetic damage capable of causing mutations by breaking the rules of variation through the coordinated patterns of atoms present in the 9/11 World Trade Center contaminated dust (U, Ba, La, Ce, Sr, Rb, K, Mn, Mg, etc.), combination that may be able to overload the molecular quality control mechanisms of the human body. I introduce here the balance of codons in the circular genetic code: 2[1(1)+1(3)+1(4)+4(2)]=2[2(2)+3(4)]. (shrink)

Este artículo rastrea el concepto de “felicidad” en la obra Anti-Séneca o Discurso sobre la felicidad de Julien Offray de La Mettrie (2010). Antes de explorar el término “felicidad”, es indispensable responder la pregunta: ¿qué entiende La Mettrie por “ser humano”? Para ello, en la primera sección se analiza la idea de “cuerpo humano”, entendido como máquina orgánica. En la segunda sección discutimos los daños físicos o enfermedades que pueden afectar la máquina o cuerpo humano. En la tercera parte exploramos (...) la concepción de “felicidad” entendida como placer carnal, voluptuosidad y felicidad orgánica o arterial. En la cuarta sección examinamos los diferentes caminos para alcanzar la vida feliz. Concluimos que la felicidad, para La Mettrie, es el resultado de la organización o composición del cuerpo humano; por lo tanto, el individuo, al actuar según su naturaleza, debe quedar exento de recriminación o juicios éticos. (shrink)

Finite-state methods are applied to determine the consequences of events, represented as strings of sets of fluents. Developed to flesh out events used in natural language semantics, the approach supports reasoning about action in AI, including the frame problem and inertia. Representational and inferential aspects of the approach are explored, centering on conciseness of language, context update and constraint application with bias.

El SARS-CoV-2 más conocido como COVID 19 ha evidenciado de forma radical como el sistema capitalista neoliberal, nos ha llevado a una serie de maquillajes de la realidad que no permitían ver la gravedad de su construcción de inequidad, pero lo que es peor, al convertir en una empresa rentable todo lo que toca, termino por desdibujar la democracia, la justicia, y el estado mismo. El presente texto que obedece al programa de investigación “proyecto 29-000029 Dinámicas urbano-regionales, economía solidaria y (...) construcción de paz territorial en Antioquia” de UNAULA, para demostrar lo inicialmente planteado se procederá primero mostrando como el sistema de salud al ser convertido en un negocio, no tuvo capacidad para enfrentar la pandemia en ninguna parte del mundo, ello tuvo como consecuencia la parálisis de la economía mundial, pero adicionalmente genero un escenario perfecto para el encumbramiento de dictadores disfrazados de mesías, bien sea por el temor de los parlamentos a enfermarse o su cierre simbólico por su ausencia, eliminando de tajo la escasa democracia representativa, sumado a la parálisis de la justicia, además de la pobreza, el racismo, desigualdad y la estigmatización, que se vio controlada por la represión armada y la vigilancia que reino en el mundo y especialmente en Colombia con diferentes facetas. (shrink)

The paper explains the application of a Social Innovation Based Transformative Learning (SIBTL) pedagogical approach in an undergraduate, final year business ethics course taught at an Australian university. Using social innovation as an enabling process to extend students’ cognitive, behavioural and managerial competencies in an integrated manner, the paper describes how the SIBTL approach helps ethics teachers to promote students’ ethical action.

The idea that temporal propositions are vague predicates is examined with attention to the nature of the objects over which the predicates range. These objects should not, it is argued, be identified once and for all with points or intervals in the real line (or any fixed linear order). Context has an important role to play not only in sidestepping the Sorites paradox (Gaifman 2002) but also in shaping temporal moments/extent (Landman 1991). The Russell-Wiener construction of time from events (Kamp (...) 1979) is related to a notion of context given by a string of observations, the vagueness in which is brought out by grounding the observations in the real line. With this notion of context, the context dependency functions in Gaifman 2002 are adapted to interpret temporal propositions. (shrink)

Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of ‘real’ agents. This manuscript proposes a (...) framework that takes visibility, memory, perspective and communication as the main factors underpinning mental attributions. This is more in-line with findings in cognitive science and allows us to model well-known False-Belief Tasks that are typically used in testing people's ToM. We discuss some of the framework's technical features, arguing why it does justice to empirical observations. (shrink)

An important recent debate in the philosophy of action has focused on whether there is a persistence requirement on intention and, if there is, what its proper formulation should be. At one extreme, Bratman has defended what I call Strong Persistence, according to which it’s irrational to abandon an intention except for an alternative that is better supported by one’s reasons. At the other extreme, Tenenbaum has argued that there isn’t a persistence requirement on intention at all. In the middle, (...) philosophers like Broome, Ferrero, and Paul have defended persistence requirements with varying degrees of stringency while agreeing that Bratman’s proposed requirement is too strong. In this paper I side with Bratman in defending Strong Persistence. I argue, however, that Bratman’s own argument in favor of it is defective and an easy prey to the multiple objections that have been leveled against it. I thus offer in its place a “first-personally addressed constitutivist argument” whose aim is to show to the minimally reflective agent the kind of commitment involved in deciding and forming an intention in situations of incomparability—which are taken to be the litmus test for persistence requirements—and the persistence rational requirement governing it. Along the way I respond to the objections against Strong Persistence and explain why my argument represents an improvement over Bratman’s. (shrink)

In this paper it is studied the habit of wisdom according to Leonardo Polo; intellectual habit that is innate, superior to the others, solidary to the personal intellect, to whom attains as to known at the level of the act of human being, and to the others personal transcendentals.

En este trabajo se estudia la concepción del intelecto agente del filósofo Alfonso, arzobispo de Toledo.Este pensador critica tres sistemas filosóficos: a) El averroísmo, posición de quienes identifican elintelecto agente con Dios. b) El potencialismo, opinión de quienes piensan que es una «potencia» del alma.c) El nominalismo, parecer de quienes consideran que no hay una distinción real, sino sólo de razón, entreel intelecto agente y el posible. Este autor defiende el habitualismo, hipótesis que identifica el intelectoagente con un hábito innato, (...) en concreto, el de los primeros principios.In this paper we study the conception about the agent intellect of Alfonso, Bishop of Toledo. This thinkercriticizes three systems of philosophy: a) The averroism, hypothesis which sustains the identificationbetween the agent intellect with God. b) The potentialism, opinion of those who think that the agent intellect is a potency. c) The nominalism, position of those who defend that there is no real difference between the agent and the possible intellect. This author defends the habitualism, thesis that identifies the agent intellect with an innate habit, concretely, with the habit of first principles. (shrink)

The “surge in use of finite-state methods” ([10]) in computational linguistics has largely, if not completely, left semantics untouched. The present paper is directed towards correcting this situation. Techniques explained in [1] are applied to a fragment of temporal semantics through an approach we call finite-state temporality. This proceeds from the intuition of an event as “a series of snapshots” ([15]; see also [12]), equating snapshots with symbols that collectively form our alphabet. A sequence of snapshots then becomes a string (...) over that alphabet, evoking comic/film strips. Jackendoff has, among others, objected to conceptualizing events in terms of snapshots ([8]). To counter these objections, we step up from events-as-strings to event-typesas-regular languages ([5, 6]), recognizing the need for variable granularity. Beyond the introduction of disjunction implicit in the step from a single string up to a set of strings, we obtain a useful logic from the regular operations and a careful choice of the snapshots (constituting our alphabet). (shrink)

Este artigo trata do lugar de Palestrina no primeiro período da filosofia de Nietzsche. Na tentativa de situar o célebre compositor renascentista no seio de algumas observações articuladas pelo filósofo alemão, mostrar-se-á, qual instigante e invulgar problemática acerca da origem da linguagempode, a partir de tal registro teórico, vir à tona.

Nos dias atuais, o avanço da Teologia da Prosperidade não pode não ser observado tendo em vista o número crescente de igrejas neopentecostais que adotam o princípio de um Deus Cristão diretamente vinculado às questões de prosperidade, uma vez que ser bem sucedido financeiramente requer a aprovação de um deus acionável e subserviente. Assim, surgem questionamentos sobre as diferenças existentes entre a TP e a conhecida Teologia da gratuidade encontrada na Bíblia. Concordamos com Moltmann ao assumir que a ressurreição não (...) esvazia na cruz, mas a preenche de significado. A partir dessa perspectiva, percebemos que a relação com o Pai não é mais marcada pela onipotência, mas pela entrega e solidariedade no abandono, ou seja, a relação não é mais marcada pela disputa da onipotência, não é mais medida e orientada pelo narcisismo e pela privação como renúncia de instintos exigida pelo Deus da ilusão com vista a uma retribuição como justiça final, mas pela analogia. (shrink)

Para Hegel, el rendimiento supremo del pensamiento consiste en hallar un terreno en el cual se pongan en evidencia las dimensiones primarias de la realidad. Por esta vía consigue desarrollar uno de sus planteamientos más interesantes en la Ciencia de la lógica, a saber, el concepto de realidad efectiva. Este artículo elabora esa visión de la realidad comentando cuidadosamente lo que Hegel desarrolla allí. Al final muestra que la realidad absoluta es a la vez diferenciación en multiplicidades existentes e inversión (...) de esa contingencia en absoluta necesidad, es decir, se pone como contingente para recuperarse a sí misma en la necesidad. (shrink)

La presencia e integración de la investigación cualitativa a los protocolos de investigación biomédica ha cobrado cada vez mayor relevancia, por la importancia de la antropología cultural. El caso particular de la etnografía adquiere aún más preeminencia en relación con la definición de riesgo para el sujeto de investigación. El presente artículo expone las principales características de la investigación etnográfica que deben ser evaluadas por un comité de ética de la investigación, y define una serie de recomendaciones para la evaluación (...) del riesgo para los sujetos que se someten a este tipo de estudio. Los miembros de los Comités de Ética en Investigación deben tener en cuenta la etnografía para realizar a cabalidad su función. (shrink)

Los derechos de las personas LGTBI están de actualidad en la sociedad del si- glo XXI. Es nuestro propósito estudiar las normas sobre orientación sexual e identidad de género en los países del Norte de Europa (Reino Unido, Irlanda, Islandia, Finlandia, Dinamarca, Noruega, Suecia, Estonia, Letonia y Lituania). Nos dedicaremos sobre todo al estudio del grado de reconocimiento del derecho al cambio de género en las leyes nacionales, así como si esas legislaciones res- petan o no el Convenio Europeo de (...) Derechos Humanos y la legislación de la Unión Europea, a través de las resoluciones del Tribunal Derechos Humanos y del Tribunal de Justicia de la Unión Europea. (shrink)

L’action est morale si elle est voulue en toute circonstance. Selon la Typique de la faculté de juger pratique, la loi fournit le modèle pour le passage à l’universel. Si ce modèle convient à la première formule del’impératif catégorique, il ne suffit à fonder ni la seconde, ni la troisième. On met en lumière les apories de la pensée kantienne pour indiquer ensuite que la position du problème de la « justice » par Rawls apporte peut-être un principe de solution.

This paper deals in detail with a fairly recent philosophical debate centered around the ability of the theory of natural selection to account for those phenotypical changes which can be argued to make organisms better adapted to their environments. The philosopher and cognitive scientist Jerry Fodor started the debate by claiming that natural selection cannot do the job. He follows two main lines of argumentation. One is based on an alleged conceptual defect in the theory, the other on alleged empirical (...) problems in it as well as empirical alternatives to it. Four philosophers and two biologists respond in a way that displays what might easily be described as fallacious. The paper relies on the ideal model of critical discussion of pragma-dialectics to offer a step-by-step analysis of the whole debate, which extended for four issues of the _London Review of Books_, from October 2007 through January 2008. This pragma-dialectical analysis is carried out by constant reference to the various questions (problems, issues) that arise in the debate. The analysis includes as much detail as possible both in Fodor’s original argument and in the critics’ various comments as well as Fodor’s replies along two rounds of debate. Since a simple negative evaluation in terms of fallacies is out of the question in view of the proved argumentative accomplishments of the participants, an alternative explanation is offered: the undeniable derailments in strategic maneuvering are due to the fact that, whilst ostensibly discussing the theory of natural selection, Fodor’s detractors are worried by an underlying issue, namely, the dangers of discussing the merits and demerits of natural selection as a theory of evolution in a venue as exposed to the general public as the _London Review of Books_, given the religiously inspired movements that threaten the teaching of evolutionary biology in schools. (shrink)

This article aims to establish, through the background of a shared language, the analyticity of the language of rights, determining the very possibility of such objectivity, structuring the way in which the way of accessing the heard object and the specificity of a transcendence that, by its very nature, must coincide with predetermined characteristics, which necessarily leads to the determination of the extralinguistic habitability of the saying that, in a certain way, finds the «something» it refers to. The analysis of (...) such a language will lead to an apprehension of the nature of the proposition; therefore, of the relationship established in the «is»between the predicate and the subject of the enunciation, the concept of existence or the copula can be derived, which would mean the scope of an «address to... » the something that, in each case, the right aims to be. (shrink)

En este artículo nos disponemos desarrollar la tesis según la cual la crítica elaborada por Santiago Castro-Gómez a Enrique Dussel se trató de una desnaturalización del análisis del filósofo argentino sobre el proyecto moderno, en la cual Castro-Gómez puso de relieve las prácticas de las herencias coloniales como condición de posibilidad para la emergencia de la modernidad, sin necesidad de recurrir a la figura fundante del sujeto, aspecto que sí se encuentra presente en la propuesta del mendocino. Esta tesis se (...) demostrará mediante un diálogo crítico entre estos dos autores en torno al problema de la modernidad y la colonialidad a partir de tres claves analíticas, la posmodernidad, la modernidad y la descolonización, con el fin de pensar el modo en que las prácticas coloniales operaron en el proyecto moderno a través del uso de los valores presentes en la misma modernidad, sin que ello implique caer en una supuesta desmodernización. (shrink)

Este artículo estudia el poder de la visualidad en la política. Entre aquello que está permitido ver y aquello que está prohibido mostrar, el régimen escópico se define por la intervención del poder institucional respecto de la mirada del espectador. Este estudio se desarrolla entre la tradición filosófica y otras aportaciones multidisciplinares que evidencian a) el control político en los regímenes escópicos de la mirada del espectador; b) la consolidación de una cultura visual que condiciona el modo de vida de (...) los individuos y las sociedades; c) el dominio del espacio social por medio de la regulación del espacio visual; y d) la manipulación de los afectos por medio de la experiencia visual. En este estudio destacamos la apertura de la consciencia crítica en la modernidad a la estetización de la política. (shrink)

The notion of linguistic correction with which Augustine of Hippo introduced his Ars pro fratrum mediocritate breuiata seems central to the philosopher's grammatical discussion, not only because of the various examples that Augustine offers about the definitions of barbarism and soloecism at the end of this treatise, but also because the subject of correction and, consequently, of the deviations of language, are also presented in other non-grammatical works: The confessions, De ordine and De doctrina Christiana. In this article, we propose (...) to evaluate the conceptual outlines of the notions of barbarism and solecism in the work of Augustine, considering, on the one hand, the definitions present in the Ars breuiata, and, on the other, the way in which Augustine also presents them in his philosophical work. We propose that the normative orientation contained in the text of ars must be relativised by ethical questions that arise from the comments present in the Confessions, the De ordine and the De doctrina Christiana. (shrink)

String representations of events are applied to Robin Cooper’s proposal that propositions in natural language semantics are types of situations. Links with the higher types of prooftheoretic semantics are forged, deepening type-theoretic interpretations of Discourse Representation Structures to encompass event structures.

This article explores the transformative power of art circulation by analysing surprising narratives of abducted fountains across the early modern Mediterranean area under the political influence of the Spanish Empire. The object of this study will be the stories of Italian fountains stolen by Spanish viceroys or rescued during naval skirmishes between the Holy League and the Ottoman Empire. These narratives reveal a widespread desire for fountains throughout the Mediterranean, which generated a sequence of geographical relocations and cultural translations. My (...) aim is to conceptualise the desire for Italian fountains as an engine for continental circulation, taking into consideration several cases of stolen, abducted, or captive works of sculpture whose stories navigate the dubious boundaries of historical truth and resemble more popular episodes of thefts of relics or the kidnapping and trafficking of enslaved people. Sometimes demonstrable facts, sometimes charming legends linked to the suggestive power of water, these episodes disclose the life of monumental art in motion and subvert the widespread reading of fountains as site-specific objects. (shrink)