Translations from Lambda calculi into combinatory logics can be used to avoid some implementational problems of the former systems. However, this scheme can only be efficient if the translation produces short output with a small number of combinators, in order to reduce the time and transient storage space spent during reduction of combinatory terms. In this paper we present a combinatory system and an abstraction algorithm, based on the original bracket abstraction operator of Schonfinkel [9]. The algorithm introduces at most (...) one combinator for each abstraction in the initial Lambda term. This avoids explosive term growth during successive abstractions and makes the system suitable for practical applications. We prove the correctness of the algorithm and establish some relations between the combinatory system and the Lambda calculus. (shrink)

Le pancratiaste périodonique Markos Aurèlios Dèmostratos Damas de Sardes est connu par de nombreux témoignages trouvés dans sa patrie, à Rome, à Éphèse, à Delphes et en Egypte. Leur réexamen permet de reconstruire avec précision la carrière du champion, comme d'éclairer certains points de l'histoire des concours qu'il a remportés. Deux inscriptions d'Éphèse qui lui ont été rapportées ne doivent sans doute pas l'être. On peut proposer de nouveaux suppléments aux palmarès de Sardes et de Delphes ; un autre (...) texte delphique est identifié comme une nouvelle liste chronologique des victoires de Dèmostratos Damas. Le pancratiaste, dont le floruit se situe sous le règne de Marc Aurèle, a brillé en fin de carrière dans la boxe. Les statues dont on a retrouvé les bases ont été érigées essentiellement après sa carrière sportive, lorsqu'il exerce, sous Septime Sévère, les plus hautes charges au sein de l'association des athlètes. (shrink)

Ibn'Arabi (Murcie 1165-Damas 1241), philosophe, théologien et mystique musulman, est reconnu dans la tradition du Soufisme comme le plus grand Maître. C'est le philosophe qui a sans doute le mieux théorisé l'unicité de Dieu, reconnaissant la présence divine en toute forme et toute image. Disant de lui : " Je ne suis ni un prophète, ni un Envoyé, je suis simplement un héritier, quelqu'un qui laboure et ensemence le champ de la vie future ". Ibn'Arabi se donnait la capacité (...) de convoquer les prophètes hors de " présences imaginales " se considérant comme l'équivalent des Envoyés de Dieu. Plus qu'une biographie du Maître Ibn'Arabi, l'ouvrage est une étude, une analyse approfondie de l'univers de la spiritualité comme source de l'" imagination créatrice ". Selon ces réflexions et méditations, la Création, macrocosme cosmique, ombre visible de la lumière originelle est d'abord une matérialisation du verbe divin. Aux conditions initiales de la création des mondes répond la créature imaginant aussi son monde ou ses mondes, poursuivant elle-même la création et renouvelant. C'est par cette étude, fondatrice dans son œuvre, que Corbin a forgé le concept " d'imaginal ", initiant ici le décloisonnement qu'il poursuivra à travers toute son œuvre entre l'imaginaire et la science. (shrink)

In this article, we will make the case for an intercultural philosophy of religion with a special focus on interculturality between Chinese and African philosophies. We will provide an overview of the kind of intercultural philosophy that has already been undertaken between the East and the South and point out that a philosophy of religion has been left out. We will then make the case for a global philosophy of religion approach and why Chinese and African philosophies of religion should (...) engage in philosophical interchanges. We will then highlight some directions for carrying out such a philosophy and explain why the problem of evil may be better addressed from an intercultural perspective. (shrink)

We present here some Boolean connexive logics (BCLs) that are intended to be connexive counterparts of selected Epstein’s content relationship logics (CRLs). The main motivation for analyzing such logics is to explain the notion of connexivity by means of the notion of content relationship. The article consists of two parts. In the first one, we focus on the syntactic analysis by means of axiomatic systems. The starting point for our syntactic considerations will be the smallest BCL and the smallest CRL. (...) In the first part, we also identify axioms of Epstein’s logics that, together with the connexive principles, lead to contradiction. Moreover, we present some principles that will be equivalent to the connexive theses, but not to the content connexive theses we will propose. In the second part, we focus on the semantic analysis provided by relating- and set-assignment models. We define sound and complete relating semantics for all tested systems. We also indicate alternative relating models for the smallest BCL, which are not alternative models of the connexive counterparts of the considered CRLs. We provide a set-assignment semantics for some BCLs, giving thus a natural formalization of the content relationship understood either as content sharing or as content inclusion. (shrink)

The pandemic motivated nutrition and healthy living to maintain a healthy lifestyle. The objective is to analyze and describe the perspectives of post-pandemic lifestyles of university students, using the quantitative cross-sectional method with non-probabilistic sampling and survey that measures the nutritional level and level of physical activities, 1033 university students participated. The results showed that the measurement instrument in the Peruvian context is acceptable and that the level of lifestyle is moderate. In conclusion, nutritional policies and physical activities should be (...) considered in universities so that university students practice a healthy lifestyle and take care of their health. (shrink)

Digital competencies were part of online education and now when returning to the classroom what will happen or what we expect for the future in education. The objective is to analyze and describe the perspectives of the level of digital competence, the non-experimental descriptive quantitative methodology is used with 1987 university students. Resulting that the instrument adapted to the Peruvian version is adequate according to statistics such as Cronbach's Alpha. Concluding that the digital competences improved the academic quality and have (...) a good level. Society is waiting for the next step to know what is presented to us in education. (shrink)

This chapter is divided into three parts. In the first, I ask whether there is a human right to be spared extreme poverty. The answer is ‘Not necessarily’ if a human right is a legal right, and I argue that ‘human right’ either means a right in international law and associated policy, or else the term has an unacceptably wide sense. In the second section I consider microcredit as a poverty-alleviating mechanism, distinguishing between extreme and relative poverty in developing countries. (...) I argue that credit may not be a good way of alleviating extreme poverty, and that methods of collecting debt used by microcredit providers may have moral drawbacks. In the third section I consider the fit between the class of agents currently involved in offering financial services to the poor, and the class of agents recognized as duty-bearers by human rights law and policy. Unless states become highly involved in microcredit, it is not clear that microfinance providers are or can be human rights duty bearers. (shrink)

Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored in (...) the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (shrink)

In this paper I propose an explanation for the impulsivity displayed by some of our emotional experiences. I begin by looking for such an account in the psychological and philosophical literatures. After expressing doubts regarding some approaches’ resources to account for the phenomenon at issue, I outline an account of emotional impulsivity by focusing on (1) its independence from judgment and deliberation; (2) its felt strength; and (3) its relationship to action. Following the intuition that there is a strong connection (...) between the possession of skills and the ability to entertain certain representational states, I propose that the impulsivity of some emotional experiences can be explained by their characteristic inseparability from sets of sensorimotor skills. (shrink)

As a result of recent corporate scandals, several rules have focused on the role played by Boards of Directors on the planning and monitoring of corporate codes of ethics. In theory, outside directors are in a better position than insiders to protect and further the interests of all stakeholders because of their experience and their sense of moral and legal obligations. Female directors also tend to be more sensitive to ethics according to several past studies which explain this affirmation by (...) early gender socialization, the fact that women are thought to place a greater emphasis on harmonious relations and the fact that men and women use different ethical frameworks in their judgments. The goal of this paper is to determine the influence of these characteristics of the Board in terms of promoting and hindering the creation of a code of ethics. Our findings show that a greater number of female directors does not necessarily lead to more ethical companies. Moreover, within Europe as a continent, board ownership leads to an entrenchment of upper-level management, generating a divergence between the ethical interests of owners and managers. In light of this situation, the presence of independent directors is necessary to reduce such conflicts. (shrink)

In this paper I investigate how Nietzsche’s approaches to the physiology of art become operative in the last year of his philosophical production to consummate the critique of modern décadence. Through intoxication, transfiguration, and increased power, the physiology of art could reveal new ways to express the values of ascendant life as opposed to decadential movements. I question, finally, whether the will to power is a satisfactory criterion for the artistic affirmation and transfiguration of existence.

This paper aims to explore and offer different hypotheses that could account for an adequate understanding of the duty to die and its relation to biopolitics from two neglected approaches. First, death will be analysed from a biopolitical perspective to understand the crucial role it has in biopower. Second, the focus lies on the two-folded implication that death has in biopower, for it could be either a defiance of it or the final sublimation of its control. Similarly, the next section (...) addresses the relations between death and neoliberalism from a biopolitical perspective, exploring the possibility of understanding the duty to die as resistance to economic mandates or, on the contrary, as the fulfilment of neoliberal interests. Finally, as a continuation of the relations between the duty to die and neo-liberalism, the paper analyses a similar two-folded view of the former from a psychopolitical perspective. (shrink)

In her new article in the American Journal of Bioethics, Jennifer Blumenthal-Barby (2024) provides at least three reasons that support her argument that the concept of personhood must be abandoned...

In the predominant pedagogical frameworks of our days, rationalist, voluntarist or sentimentalist reductionisms are seen, from which it is about educating people regardless of their Origin and the singular and unrepeatable originality with which they have been given to existence. Faced with this anthropocentric confinement, Sensitive Education arises so that every person, regardless of their culture and creed, remains sensitive to their Origin and captures their own originality, which in the end is what they must accept and try to manifest (...) with education. When educational systems are not sensitive to the original, they develop falsehood. With the aim of consolidating the validity of the pedagogical-anthropological foundation of Sensitive Education, this study seeks to show how Edith Stein’s argument explains Sensitive Education, although Stein, after her conversion, uses explicitly Christian terminology. Stein’s direct terms serve to describe Education Sensitive to the Holy Spirit, but for those who do not start from a Christian worldview, Education Sensitive to Origin can be a more non-denominational way of approaching the Original. To achieve this objective, an analytical-synthetic methodology has been followed in which essential features of Sensitive Education are proposed and in a hermeneutic manner, arguments are extracted from the writings of Edith Stein that offer support for these essential features. In conclusion, it is sufficiently shown that Edith Stein’s thought provides a pedagogical foundation to Sensitive Education. (shrink)

Philosophical discussions on cognition (ranging from computational and representational approaches to the 4E fra-mework), on the one hand, and those on sound and auditory per-ception, on the other, have hitherto remained apart. In this paper, the author addresses the concept of “auditory cognition”. While committing to the conceptual analysis of the latter, the author in-troduces the discussion of modality-specif ic approaches. Since the contributions made so far in the domain of the philosophy of sound and auditory perception are prone to (...) favor computational-repre-sentational approaches —e.g., the perceptual coherence model (Méndez-Martínez, 2022)—, the exploration of 4E possibilities will lay down a series of questions aimed to encourage future developers from that viewpoint. In that sense, the author explores conceptual entailments and connections between the genealogy of theories within the philosophy of sound and auditory perception, and the hypothesis of the extended cognition (EX). (shrink)

It has been claimed that contracting connectivesContracting connective are conditionalsConditional. Our modest aim here is to show that the conditional-like features of a contracting connectiveContracting connective depend on the defining features of the conditionalConditional in a particular logic, yes, but they also depend on the underlying notion of logical consequence and the structure of the collection of truth values. More concretely, we will show that under P-consequenceP-consequence and suitable satisfiability conditions for the conditionalConditional, conjunctionsConjunction are contracting connectivesContracting connective for some (...) logics without thereby being conditional-ish. (shrink)

This paper aims to propose a version of the description theory of reference –for short, descriptivism– on natural kind terms. This version is grounded on some proposals of descriptivists, such as Searle and Strawson, about proper names, which will be extended to natural kind terms. According to Searle and Strawson the reference of a proper name is determined by a sufficient number of the descriptions that speakers associate with the name, but among the sorts of descriptions admitted by these authors (...) are those in which the average speaker defers the reference of a term to other speakers. In this regard, descriptivism can accept Putnam’s thesis of the division of linguistic labour and claim that some of the descriptions associated by non-experts have the function of deferring the reference of natural kind terms to their reference in the use by experts. Thus, descriptivism can maintain that the reference of a natural kind term is determined by a sufficient number of the descriptions that experts concerning a natural kind associate with the term. I will argue that this version of descriptivism, which grants more weight to social links than to historical links, can explain better than Kripke’s theory the reference of the use of natural kind terms by the average speaker. (shrink)

A noção de “interesse público” parece ter uma tradição antiga e profícua nos estudos políticos, em particular nas pesquisas sobre mídia, comunicação e política. No entanto, parece haver um aparente paradoxo entre a própria noção de “interesse” e a ideia de algo “público”: como uma ação ou decisão política pode contemplar a miríade de interesses de grupos e indivíduos diversos? Este artigo delineia alguns aspectos da noção de “interesse” no debate atual sobre comunicação política. Com base em uma pesquisa bibliográfica, (...) este artigo argumenta que, nas últimas décadas, as principais obras sobre o tema têm dedicado menos espaço à noção de 'interesse público' como uma entidade única em favor de uma visão mais nuançada e identitária cultural, noção que contempla a pluralidade de uma esfera pública repleta de novas formas de ativismo e demandas coletivas por espaço, igualdade e visibilidade. (shrink)

The relevance of scientific knowledge for science and technology policy and regulation has led to a growing debate about the role of values. This article contributes to the clarification of what specific functions cognitive and noncognitive values adopt in knowledge generation and decisions, and what consequences the operation of values has for policy making and regulation. For our analysis, we differentiate between three different types of decision approaches, each of which shows a particular constellation of cognitive and noncognitive values. Our (...) objectives are to present a structured analysis of the varying functions that different kinds of values can adopt, as well as the value-related tensions and trade-offs they give rise to. We argue that the operation of noncognitive values in scientific knowledge generation, policy, and regulatory decision making can be understood as an enabling factor, rather than a limiting one. (shrink)

The presence of the past is of prime importance in today's Mexican society. According to José Fuentes Mares, among the “peoples of the world the Mexican is the one who lives history the most”. With regard to the unsatisfactory relations between Mexico and North America, the journalist Alan Riding asks himself: “How can a people who relish the past to the point of intoxication understand another that looks constantly to the future?” In the Republic of Mexico, according to him, “the (...) entire past of the country throws a dense shadow over the present”. Conforming to a universal custom, every country divides its present past into four groups (survival, residues, memories and history), but in few nations are the four groups as copious as in this one. Although Mexico is rapidly shedding many old customs and is selling residual objects to foreign collectors on the sly, its historical treasure is still enormous, perhaps the largest in the world. (shrink)

Neste pequeno ensaio procurar-se-á determinar como, em Miguel Reale, a ontognoseologia se constitui como uma teoria geral da experiência, onde se concretizam e se relacionam dialecticamente o ser e o conhecer. Por outro lado, aferiremos como a tese da impossibilidade da experiência metafísica e, consequentemente, do seu conhecimento parte da concepção da irredutibilidade da experiência humana, que é sempre histórica, e que, por isso, reduz a inquirição metafísica ao nível da mera conjectura. Na dialéctica entre sujeito e objecto, no processo (...) do conhecimento, emerge o valor, a determinação axiológica, e na acção, na experiência histórica e cultural que fazemos de nós no e do Mundo emerge o sentido. Assim, pelo conhecer constituímo-nos e sendo actualizamos o Ser. (shrink)

In Leibniz’s New Essays stands out, within many important topics, his doctrine of innate ideas, which supposes the division between sense knowledge and innate knowledge and implies the distinction between truths of reason and truths of fact. That doctrine is particularly relevant for Leibniz’s philosophy, but implicitly entails the epistemological difference between belief, on one hand, and certainty, on the other. In this paper I outline, according to my interpretation, how Leibniz explains that humans can have certainty about innate ideas. (...) This topic is important because if Leibniz demonstrates the possibility of having certainty of those ideas, then, it is feasible to believe in its existence. However, if his explanation is unsatisfactory his metaphysical doctrine would be seriously weakened and, at the same time, both skepticism and Locke’s empiricist doctrine would be reinforced. (shrink)

Partiendo de la comprensión de Heidegger en torno a los pensadores del inicio desplegada en los cuatros cursos de principios de los años cuarenta del siglo XX, querríamos mostrar la lectura de Heidegger de los pensadores del inicio en contraste con la de Gadamer en torno a los «presocráticos» mostrada en El inicio de la Filosofía occidental. Estudiaremos para ello la palabra Anfang en uno y otro autor contextualizando sus aproximaciones hermenéuticas a los textos griegos. Finalmente prestaremos atención a la (...) interpretación del poema de Parménides de Elea en El Inicio de la Filosofía occidental. Además de una diversa comprensión del final de la filosofía y la tarea del pensar, se nos irá revelando cómo Heidegger despliega indicaciones en torno a la articulación del pensar y la palabra en los pensadores del inicio, mientras Gadamer hace referencias al «valor poético» del poema de Parménides. Tras recorrer los diversos fragmentos transmitidos del poema, concluiremos señalando cómo la cuestión del ser y la verdad interpretada por Gadamer en Parménides remite a la pregunta por el carácter unitario —o al problema del continuo— de la presencia o aparecer que dice «ser», henologicamiente incomprensible sin atender a los cruces ἀλήθεια y φύσις. (shrink)

Aunque el denominado problema de marco generó múltiples debates a finales del siglo pasado, aún es un problema fundamental para el avance en las Ciencias Cognitivas, en general, y para la Inteligencia Artificial, en particular. En este trabajo, y restringiéndonos al aspecto lógico del problema, postulamos que la discusión actual y subyacente a este aspecto gira en torno a cómo determinar lo que no cambia en términos de acciones y propiedades dentro de un sistema lógico formal. Es sobre este aspecto, (...) y en función de sus dificultades (i) definicional y (ii) resolutiva, que en este trabajo argumentaremos que el denominado “criterio temporal” no solamente puede estimarse como uno los principales requerimientos teóricos para (i) resolverlo sino también para (ii) explicitar más claramente su dificultad principal, a saber, “lo que es relevante” frente al cambio en el tiempo. De esta manera, sostenemos que el razonamiento lógico-temporal resulta necesario para construir cualquier solución íntegramente satisfactoria del aspecto lógico del problema de marco entendido como el modo en que, inmediatamente, determinamos relevancia frente al cambio. (shrink)

Contributors examine the ethical issues surrounding microfinance, including questions about exploitation, human rights, and efforts to promote global justice.

In the Reality we know, we cannot say if something is infinite whether we are doing Physics, Biology, Sociology or Economics. This means we have to be careful using this concept. Infinite structures do not exist in the physical world as far as we know. So what do mathematicians mean when they assert the existence of ω? There is no universally accepted philosophy of mathematics but the most common belief is that mathematics touches on another worldly absolute truth. Many mathematicians (...) believe that mathematics involves a special perception of an idealized world of absolute truth. This comes in part from the recognition that our knowledge of the physical world is imperfect and falls short of what we can apprehend with mathematical thinking. The objective of this paper is to present an epistemological rather than an historical vision of the mathematical concept of infinity that examines the dialectic between the actual and potential infinity. (shrink)