In this paper we consider the modal logic with both \ and \ arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra \. We provide an axiomatic system extending the one from Caicedo and Rodriguez :37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the most usual frame restrictions are (...) given too. We also prove that in the studied logic it is not possible to get \ as an abbreviation of \, nor vice-versa, showing that indeed the axiomatic system we present does not coincide with any of the mono-modal fragments previously axiomatized in the literature. (shrink)

In this paper we provide a simplified, possibilistic semantics for the logics K45, i.e. a many-valued counterpart of the classical modal logic K45 over the [0, 1]-valued Gödel fuzzy logic \. More precisely, we characterize K45 as the set of valid formulae of the class of possibilistic Gödel frames \, where W is a non-empty set of worlds and \ is a possibility distribution on W. We provide decidability results as well. Moreover, we show that all the results also apply (...) to the extension of K45 with the axiom, provided that we restrict ourselves to normalised Gödel Kripke frames, i.e. frames \ where \ satisfies the normalisation condition \ = 1\). (shrink)

In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...) to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp. (shrink)

En el artículo se reconstruye la teoría perspectivista de G.W. Leibniz. En un primer momento, se analiza el sentido epistemológico del perspectivismo leibniziano. La teoría de la claridad-oscuridad cognitiva permite, en ese momento inicial, caracterizar la particularidad perceptiva como una perspectiva del universo. Se utilizan los escritos de Leibniz sobre ciencia perspectiva, recientemente transcritos, para analizar los sentidos de los conceptos, procedentes de dicha ciencia, que el pensador alemán usa para explicar el acto cognitivo. La explicación perspectivista de la cognición (...) da lugar a una concepción inmanente de la percepción: la perspectiva sustancial es el resultado de la relación entre la fuerza de representación y el universo. Se analiza, entonces, cómo el concepto de punto de vista permite describir la función cognitiva de mediación que el cuerpo desempeña entre la fuerza de representación y el universo. Esta explicación perspectivista de la particularidad perceptiva es, al mismo tiempo, una defensa de la pluralidad metafísica del universo. (shrink)

La interioridad es uno de los temas más importantes y que distinguenla filosofía agustiniana.Agustín de Hipona descubrió y se interesó por la interioridadcon la lectura de los libros platónicos, así pues, se puede leer en lasConfesiones: “amonestado por estos libros a volver a mí mismo entréen mi interior guiado por ti.”.

¿Cómo es posible encontrar una constante en una obra que tiene en la ruptura su principal argumento? Una primera línea se puede percibir en el trabajo de Žižek sobre una política del goce cuya trayectoria circula desde el deseo a la pulsión. Desde una investigación muy orientada en el problema del sujeto, en el carácter sintomático del mismo, Žižek se ha desplazado hacia un análisis de la relación entre el objeto a y la pulsión en el marco del capitalismo actual. (...) En conexión con esta problemática se encuentra una segunda línea que tiene como punto central el trabajo crítico sobre las relaciones entre economía y política; frente al desafío que supone hoy en día la circulación espontánea del capital y el abandono del ámbito económico por parte de la teoría política. Por un lado nos encontramos con los dos sentidos del término escatología, el económico y el teológico-político, que convergen en la noción de exceso, sea de la pulsión o sea del objeto a. Al mismo tiempo, Žižek considera que no es posible traducir la atención sobre el exceso capitalista y su propia revolución inmanente en términos de dominación política.Ambas secuencias se encuentran, en definitiva, íntimamente vinculadas en la crítica de la economía política del discurso que Žižek lleva a cabo. La introducción del término paralaje puede servir como alternativa para entender la oscilación permanente que se produce en su obra entre síntoma y escatología. Una opción para leer a Žižek en función de sus incesantes desplazamientos, comenzando por el más fundamental: la paralaje entre lectura y escritura. (shrink)

In this article we will argue that given certain conditions for the evolution of bi- ological controllers, these will necessarily evolve in the direction of incorporating consciousness capabilities. We will also see what are the necessary mechanics for the provision of these capabilities and extrapolate this vision to the world of artifi- cial systems postulating seven design principles for conscious systems. This article was published in the journal Neural Networks special issue on brain and conscious- ness.

Lo icónico siempre se ha empleado para vehicular conocimientos de un modo propio con distintos grados de validez. En este artículo se busca pensar esta cuestión a propósito del fenómeno pictorial de nuestra época: las “nuevas imágenes técnicas”. Así, tras delimitar sus características, se especificarán sus modulaciones en el campo científico, tomando las neuroimágenes como estudio de caso, y en el artístico, haciendo hincapié en el arte algorítmico. Se pondrán en tela de juicio cinco nociones estético-epistémicas: verdad, realidad, novedad, imaginación (...) y creatividad; perfilando finalmente la posibilidad de genuina creatividad en la estética algorítmica a partir del concepto de “probabilidad’’. Palabras claves: Teoría de la imagen; Imágenes técnicas; Neuroimagen; Arte algorítmico; Estética contemporánea. (shrink)

Rare neuromuscular diseases are a group of pathologies characterized by a progressive loss of muscular strength, atrophy, fatigue, and other muscle-related symptoms, which affect quality of life levels. The low prevalence, high geographical dispersion and disability of these individuals involve difficulties in accessing health and social care services. Teleassistance is presented as a useful tool to perform psychosocial interventions in these situations. The main aim of this research is to assess the effects of a teleassistance psychosocial program on the QoL (...) levels of people with RNMDs who have different levels of disability. A sample of 73 participants was divided into an experimental group, which participated in the intervention, and a control wait list group. QoL was evaluated through the SIP and the SF-36, and disability through the WHO-DAS II. The participants with a moderate to severe level of disability were those who most benefited from the intervention. The results also revealed that the psychosocial teleassistance program was suitable to improve physical and psychosocial aspects of people suffering from a rare neuromuscular disease with a moderate level of disability, but just psychosocial aspects in those with a severe level of disability. (shrink)

RESUMEN El presente trabajo de revisión expone cómo las prácticas de gestión en la anestesiología deben ser modificadas para encarar las cambiantes necesidades de pacientes, otros profesionales y sistemas sanitarios, a fin de mantener una función significativa en la atención sanitaria. Los servicios de anestesia han adoptado una amplia variedad de modelos para hacer frente a las necesidades del medio local, la relación entre los anestesiólogos y la comunidad, y los papeles desempeñados por los anestesiólogos en el tratamiento perioperatorio. El (...) sistema sanitario cubano se encuentra inmerso en un proceso de permanente adecuación de sus servicios a los problemas, demandas y necesidades de la población cubana y sus determinantes. Por ello, objetivo es exponer consideraciones teóricas en función del perfeccionamiento del servicio de Anestesiología y Reanimación. ABSTRACT This review paper presents how anesthesiology management practices must be modified in order to deal with the changing needs patients, other professionals and health systems have, in order to maintain a significant function in health care. Anesthesiology services have adopted a wide variety of models to face up to the needs the city, the relationship between anesthesiologists and the community and the role anesthesiologists play in perioperative treatment have. The Cuban health system services are in a process of permanent adaptation to the problems, demands and needs the Cuban population and its determinants have. For that reason, this paper aims at presenting theoretical considerations towards the improvement of the Anesthesiology and Resuscitation service. (shrink)

Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.

América Latina es un concepto, una construcción intelectual que intenta dar cuenta de un grupo de estados nacionales, variable en su composición pero con un núcleo estable, las ex colonias españolas y portuguesas del continente americano. Hoy no hay en América Latina un programa de desarrollo nacional alternativo a la integración al mundo capitalista global. Las experiencias nacionales que la izquierda dirige no constituyen una imagen como la que representó Cuba en los años sesenta, ni desde el punto de vista (...) de los programas ni desde el liderazgo. Lo que se construyó en las décadas de los cincuentas y sesentas fue una conciencia de la relevancia de un proyecto continental que merecía ser respaldado por una teorización del conjunto, la construcción de un objeto de conocimiento al mismo tiempo que un actor político colectivo. Como quiera que sea, esta conciencia se desarrolló alrededor de las instituciones internacionales y nacionales residentes en Santiago de Chile y comenzó a desvanecerse junto con el proyecto de Allende y la Unidad Popular. (shrink)

We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...) logic has the finite model property. Analogues of the classical modal systems D, T, S4 and S5 are considered also, and the completeness results are extended to languages enriched with a discrete well ordered set of truth constants. (shrink)

Automatic public malware analysis services provide controlled, isolated and virtual environments to analyse malicious software samples. Unfortunately, malware is currently incorporating techniques to recognize execution onto a virtual or sandbox environment; when an analysis environment is detected, malware behaves as a benign application or even shows no activity. In this work, we present an empirical study and characterization of automatic PMAS, considering 26 different services. We also show a set of features that allow to easily fingerprint these services as analysis (...) environments; the lower the unlikeability of these features, the easier for us to fingerprint the analysis service they belong to. Finally, we propose a method for these analysis services to counter or at least mitigate our proposal. (shrink)

Participatory research (PR) has been analyzed and documented from different points of view, with emphasis on the benefits generated for farmers. The effect of PR on organizational learning has, however, received little attention. This paper analyzes the interaction between a research and a development institution, the International Potato Center (CIP) and CARE in Peru, respectively, and makes the case that PR can contribute to creating a collaborative learning environment among organizations. The paper describes the evolution of the inter-institutional collaborative environment (...) between the two institutions for more than a decade, including an information-transfer period (1993–1996), an action-learning period (1997–2002), and a social-learning period (2003–2007). Several lessons learned from each period are described, as are changes in institutional contexts and stakeholders’ perceptions. The case shows that research and development-oriented organizations can interact fruitfully using PR as a mechanism to promote learning, flexibility in interactions, and innovation. Interactions foster the diffusion of information and the sharing of tacit knowledge within and between organizations, which in turn influences behavior. However, the paper also argues that long-term inter-organizational interactions are needed to facilitate learning, which can be used to influence the way organizations implement their interventions in a constantly changing environment. (shrink)

Mexico has long suffered from poverty. Two common government approaches to poverty reduction are public spending for social programs, and public spending for economic competitiveness programs. This article summarizes the nature and effects of these two approaches based on information published in Mexican journals and international research institution reports written in Spanish. Since 1990, public spending for social programs has increased at an annual rate of 7%, whereas spending for economic competitiveness programs has become stagnant. Researchers report that: (1) spending (...) on social programs may not be the primary cause for poverty reduction, (2) social programs may not be reaching those with the greatest need, and (3) social program spending may be causing a decrease in productivity and economic growth. More resources are needed for economic competitiveness programs that increase workforce productivity and well-paid jobs. (shrink)

This paper aims to make a proposal to govern the Peruvian State under the umbrella of management cybernetics, following the paths of the viable system model, proposed by Prof. Stafford Beer, enriched with other soft and hard systemic methodologies and technologies, to cover the soft and hard issues that are part of the complex Peruvian reality at different levels of recursion. For doing this, four defined perspectives were adopted to understand the complexity of Peru: the sectoral view, the regions view, (...) the river basins view and the macroregions view. Peru is seen as a system in focus, defining, for each of these four perspectives, the five systems that VSM has. The application of the VSM in each perspective serves to apply it in two modes: diagnosis and design, according to the respective perspective. Then an integrative analysis and reflection is done considering the four perspectives, to analyze the viability of the VSM approach in the governance of the Peruvian State to establish some conclusions and recommendations in relation to the proposal, appearing at the end of the paper. (shrink)

Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In addition, we will (...) give a complete characterization of that more general kind of revision and will show how permits to unify models of revision given by other authors. Alchourrón dedicó sus últimos años al análisis de la noción de condicionalización derrotable. Desarrolló un sistema formal que captura los aspectos esenciales de esta noción. Su definición de condicional revisable está dada en términos del operador de implicación estricta y un operador modal f el cual es interpretado en el nivel del lenguaje como una función de revisión. En este trabajo señalamos que la función de revisión subyacente es más general que la bien conocida función de revisión de AGM. Además, presentaremos una caracterización completa de una clase de revisión más general y mostraremos cómo nuestro modelo permite unificar los modelos de revisión propuestos por otros autores. (shrink)

The use of wireless sensor networks and the Internet of things to detect forest fire outbreaks may help to reduce the response time and avoid natural disasters. This work proposes the deployment of WSN to enhance the real-time monitoring of dynamic variables such as polluting gases, temperature or the presence of fire flames by infrared. In addition, the activation of forest fire alerts if environmental status may involve evidence of a recent fire outbreak. A fuzzy-based controller is implemented to manage (...) the uncertainty related to estimating forest fire occurrence and dynamic update of fuzzy sets is developed to distinguish usual and unusual environmental conditions of every monitored forest area. Merkle trees, AES and hash functions are considered to protect the integrity of environmental data. (shrink)

Las investigaciones que Carlos Alchourrón desarrolló en la Filosofía del Derecho se vincularon, desde inicios de la década de 1980, con problemáticas críticas de la Inteligencia Artificial. Su contribución a la construcción de una lógica de las normas se conectó rápidamente con la deducción automática y los Sistemas Expertos Jurídicos. Su preocupación por la cuestión de los conflictos de obligaciones que pueden plantearse en un sistema normativo cuando el juez se enfrenta a la necesidad de emitir un veredicto considerando ciertos (...) hechos, se vinculó, en sus trabajos, con la noción más general de "condicionales derrotables" y con la formalización del Razonamiento No Monótono. Pero su contribución de mayor impacto fue aquella derivada de la búsqueda de una solución al problema de los resultados múltiples que surgen de la derogación de una norma en un sistema jurídico, problema que puede ser visto, en un contexto epistémico, como el de la contracción de un conjunto de creencias. Su enfoque constructivo, que desarrolló con David Makinson, convergió con el axiomático elaborado por Peter Gärdenfors, dando lugar al surgimiento de la teoría de los Cambios Racionales de Creencias, más conocida como AGM, teoría que fue adoptada en IA como un modelo standard para la especificación de las actualizaciones de Bases de Conocimiento, operaciones que, habitualmente, involucran la introducción de una nueva creencia que puede ser inconsistente con las anteriores. ¿Por qué AGM adquirió rápidamente carta de ciudadanía en IA, al punto de que su influencia, medida según la cantidad de menciones bibliográficas del artículo fundacional de 1985, se ha duplicado en la última década? Mostraremos en este trabajo que la teoría apareció en un momento de crisis de la IA y que el alto nivel de abstracción del modelo de AGM era lo que muchos investigadores de la disciplina estaban buscando. El presente artículo, luego de describir la génesis de AGM, realiza un análisis histórico de las circunstancias en las cuales la teoría se introdujo en la IA y una evaluación cuantitativa y cualitativa de su impacto en dicha disciplina. The main lines of research that Carlos Alchourrón developed in the Philosophy of Law, were connected, from the beginnings of the 80' s, to some critical problems in the Artificial Intelligence. His contributions to the construction of a logic of norms were rapidly linked to automatic deduction and the Legal Expert Systems. His concerns for the conflict of obligations that could arise in a normative system when a judge has to issue a ruling taking some particular facts into account were associated in his work with the more general notion of "defeasible conditionals" and with the formalization of Non Monotonic Reasoning. But his most relevant contribution was the one derived from the search of a solution to the problem of multiple outcomes resulting from the derogation of a norm in a legal corpus, which may be considered -within an epistemic framework- analogous to the contraction of a set of beliefs. The constructive approach he worked out with David Makinson converged with Peter Gärdenfors' axiomatic, giving rise to the formulation of the theory of Rational Changes of Belief, which was adopted in AI as a model for the specification of the updates of Knowledge Bases as it usually involves a new belief that may be inconsistent with the old ones. (shrink)

Tradición patrimonial y administración señorial en la América Latina Aspectos básicos del liberalismo brasileño del siglo XIX - El pensamiento conservador en Colombia, a lo largo del siglo XIX - El pensamiento conservador en Colombia, a lo largo del siglo XX - Iberoamérica como totalidad - Clientelismo mesianismo y liberación en la cultura Latinoamericana - Catequesis misionera y "saber de salvación" en el Brasil colonial - La filosofía brasileña en los siglos XVII, XVIII y XIX - La filosofía brasileña en (...) el siglo XX - Positivismo y realidad Latinoamericana - Cinco concepciones de la integración Latinoamericana - Etica y política en la cultura brasileña - Catolicismo y modernidad : la función moralizadora de la iglesia. (shrink)

Este artículo es una revisión de la capacidad de los herbarios fotográficos para establecer posibles alianzas experimentales con potencial para ayudar en la concienciación y resolución de la crisis de biodiversidad vegetal. Se analiza cómo el medio fotográfico, bajo el prisma de la creación artística, puede erigirse como un sistema revelador, capaz de superar la mera descripción y ampliar las limitaciones cognitivas de nuestra percepción visual, desvelando la complejidad del universo botánico mediante una mirada más profunda y poética de su (...) naturaleza física. (shrink)

Background:The first wave of the COVID-19 pandemic caused a shortage of qualified nurses in Spain. As a result, the government authorized the hiring of senior students.Objectives:To explore the ethical dilemmas and ethical conflicts experienced by final-year nursing students who worked during the first outbreak of the COVID-19 pandemic in Spain.Research design:A qualitative exploratory study was conducted using purposive sampling. Semi-structured interviews were carried out using a question guide. Interviews took place via a private video chat room platform. A thematic, inductive (...) analysis was performed of the information gathered.Participants and research context:Eighteen nursing students were recruited from two universities of Madrid, aged between 18 and 65 years old, enrolled in the fourth year of nursing studies and who were hired under a relief contract for health professionals during the pandemic.Ethical considerations:The present study was carried out in accordance with the Declaration of Helsinki, and the study was approved by the Local Ethics Committee of Universidad Rey Juan Carlos.Results:Three specific themes emerged: (a) coping with patient triage, (b) difficulties in providing end-of-life care, and (c) coping with patient death. Nursing students participated in the process of patient selection for resource allocation and ICU bed occupancy. They were shown how to care for patients who were not admitted to the ICU, in their last moments and were faced with the difficulties of applying end-of-life care. Finally, the nursing students were confronted with the death of their patients, in overwhelming numbers and under adverse conditions.Conclusions:These findings can help shed light on the ethical dilemmas and ethical conflicts faced by novice nursing students, incorporated into the workforce during the COVID-19 pandemic. Moreover, it was described that students may normalize the death due to the exhaustion and overwhelmed routine. (shrink)

O presente texto narra uma experiência de formação de alfabetizadores de jovens e adultos: uma alfabetização filosófica de 40 horas com 300 alfabetizadores em julho de 2022, como primeira etapa do Programa “Supera RN” em Pau dos Ferros, dentro da Política de Superação do Analfabetismo do Estado do Rio Grande do Norte (RN). O texto tematiza em que sentido a experiência de Alfabetização filosófica se inspira e ao mesmo tempo se diferencia do curso de Alfabetização oferecido por Paulo Freire em (...) Angicos em 1963. Inspirado na curiosidade e no compromisso de Paulo Freire com os esfarrapados do mundo, o conceito “alfabetização filosófica” propõe uma formação experiencial sustentada nas seguintes disposições: escutar atentamente o mundo humano e não humano que nos rodeia; pensar juntos com cuidado e calma; relacionarmo-nos cooperativa e não competitivamente com as ideias das outras pessoas; perguntarmo-nos, colocando em questão, nossa vida e a maneira como nos relacionamos com ela, num tempo especial, singular, suspendido; conversar como iguais na busca de enfrentar as exigências de nossa comunidade; inventar novas formas de estar com outras e outros. O texto apresenta como essas disposições foram pensadas e praticadas durante a alfabetização filosófica em Pau dos Ferros, RN, através de cinco princípios (perguntar; escutar; tempo de infância; igualdade; pensar juntos) e lança algumas perguntas sobre possíveis desdobramentos da alfabetização filosófica no campo de formação de professores. (shrink)

O presente texto narra uma experiência de formação de alfabetizadores de jovens e adultos: uma alfabetização filosófica de 40 horas com 300 alfabetizadores em julho de 2022, como primeira etapa do Programa “Supera RN” em Pau dos Ferros, dentro da Política de Superação do Analfabetismo do Estado do Rio Grande do Norte (RN). O texto tematiza em que sentido a experiência de Alfabetização filosófica se inspira e ao mesmo tempo se diferencia do curso de Alfabetização oferecido por Paulo Freire em (...) Angicos em 1963. Inspirado na curiosidade e no compromisso de Paulo Freire com os esfarrapados do mundo, o conceito “alfabetização filosófica” propõe uma formação experiencial sustentada nas seguintes disposições: escutar atentamente o mundo humano e não humano que nos rodeia; pensar juntos com cuidado e calma; relacionarmo-nos cooperativa e não competitivamente com as ideias das outras pessoas; perguntarmo-nos, colocando em questão, nossa vida e a maneira como nos relacionamos com ela, num tempo especial, singular, suspendido; conversar como iguais na busca de enfrentar as exigências de nossa comunidade; inventar novas formas de estar com outras e outros. O texto apresenta como essas disposições foram pensadas e praticadas durante a alfabetização filosófica em Pau dos Ferros, RN, através de cinco princípios (perguntar; escutar; tempo de infância; igualdade; pensar juntos) e lança algumas perguntas sobre possíveis desdobramentos da alfabetização filosófica no campo de formação de professores. (shrink)