En este trabajo, se propone una clasificación epistemológica teórica para el discurso astrológico a partir de evidencia empírica a fin de abordar el problema de cómo determinar específicamente qué es lo que lo hace ilegítimo. A partir de esta clasificación, se diseñó una intervención didáctica, enmarcada en el enfoque de Enseñanza de las Ciencias Naturales en Contexto (ECNC), con el objetivo de fomentar, en estudiantes de nivel secundario, la capacidad de distinguir enunciados cognoscitivamente ilegítimos -por infalsables o por falsos- respecto (...) de aquellos que pueden constituir genuino conocimiento científico. La secuencia didáctica se implementó con un grupo de 51 estudiantes de 14 a 17 años. Se evaluó su impacto por comparación entre un pretest y un postest. Los resultados mostraron que su capacidad de discernimiento entre enunciados falsables y no falsables se incrementó apreciablemente. (shrink)

Anthropogenic changes in the biosphere, driven mainly by human cultural habits and technological advances, are altering the direction of evolution on Earth, with ongoing and permanent changes modifying uncountable interactions between organisms, the environment, and humankind itself. While numerous species may go extinct, others will be favored due to strong human influences. The Bio-Evolutionary Anthropocene hypothesizes that directly or indirectly human-driven organisms, including alien species, hybrids, and genetically modified organisms, will have major roles in the evolution of life on Earth, (...) shifting the evolutionary pathways of all organisms through novel biological interactions in all habitats. We anticipate that, in future scenarios, novel organisms will be continuously created, and contemporary native organisms with no obvious economic use will decline—while anthropogenic-favored and novel organisms will spread. The Bio-Evolutionary Anthropocene hypothesis therefore predicts that humankind and novel organisms will interact within a strong evolutionary bias that will lead to unexpected, and probably irreversible, outcomes for the evolution of life on our planet. (shrink)

Cognitive diagnosis models allow classifying respondents into a set of discrete attribute profiles. The internal structure of the test is determined in a Q-matrix, whose correct specification is necessary to achieve an accurate attribute profile classification. Several empirical Q-matrix estimation and validation methods have been proposed with the aim of providing well-specified Q-matrices. However, these methods require the number of attributes to be set in advance. No systematic studies about CDMs dimensionality assessment have been conducted, which contrasts with the vast (...) existing literature for the factor analysis framework. To address this gap, the present study evaluates the performance of several dimensionality assessment methods from the factor analysis literature in determining the number of attributes in the context of CDMs. The explored methods were parallel analysis, minimum average partial, very simple structure, DETECT, empirical Kaiser criterion, exploratory graph analysis, and a machine learning factor forest model. Additionally, a model comparison approach was considered, which consists in comparing the model-fit of empirically estimated Q-matrices. The performance of these methods was assessed by means of a comprehensive simulation study that included different generating number of attributes, item qualities, sample sizes, ratios of the number of items to attribute, correlations among the attributes, attributes thresholds, and generating CDM. Results showed that parallel analysis, factor forest model, and model comparison are suitable alternatives to determine the number of attributes in CDM applications, with an overall percentage of correct estimates above 76% of the conditions. The accuracy increased to 97% when these three methods agreed on the number of attributes. In short, the present study supports the use of three methods in assessing the dimensionality of CDMs. This will allow to test the assumption of correct dimensionality present in the Q-matrix estimation and validation methods, as well as to gather evidence of validity to support the use of the scores obtained with these models. The findings of this study are illustrated using real data from an intelligence test to provide guidelines for assessing the dimensionality of CDM data in applied settings. (shrink)

Anthropogenic changes in the biosphere, driven mainly by human cultural habits and technological advances, are altering the direction of evolution on Earth, with ongoing and permanent changes modifying uncountable interactions between organisms, the environment, and humankind itself. While numerous species may go extinct, others will be favored due to strong human influences. The Bio-Evolutionary Anthropocene hypothesizes that directly or indirectly human-driven organisms, including alien species, hybrids, and genetically modified organisms, will have major roles in the evolution of life on Earth, (...) shifting the evolutionary pathways of all organisms through novel biological interactions in all habitats. We anticipate that, in future scenarios, novel organisms will be continuously created, and contemporary native organisms with no obvious economic use will decline—while anthropogenic-favored and novel organisms will spread. The Bio-Evolutionary Anthropocene hypothesis therefore predicts that humankind and novel organisms will interact within a strong evolutionary bias that will lead to unexpected, and probably irreversible, outcomes for the evolution of life on our planet. (shrink)

One of the objectives in the field of artificial intelligence for some decades has been the development of artificial agents capable of coexisting in harmony with people and other systems. The computing research community has made efforts to design artificial agents capable of doing tasks the way people do, tasks requiring cognitive mechanisms such as planning, decision-making, and learning. The application domains of such software agents are evident nowadays. Humans are experiencing the inclusion of artificial agents in their environment as (...) unmanned vehicles, intelligent houses, and humanoid robots capable of caring for people. In this context, research in the field of machine ethics has become more than a hot topic. Machine ethics focuses on developing ethical mechanisms for artificial agents to be capable of engaging in moral behavior. However, there are still crucial challenges in the development of truly Artificial Moral Agents. This paper aims to show the current status of Artificial Moral Agents by analyzing models proposed over the past two decades. As a result of this review, a taxonomy to classify Artificial Moral Agents according to the strategies and criteria used to deal with ethical problems is proposed. The presented review aims to illustrate (1) the complexity of designing and developing ethical mechanisms for this type of agent, and (2) that there is a long way to go (from a technological perspective) before this type of artificial agent can replace human judgment in difficult, surprising or ambiguous moral situations. (shrink)

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.

This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

We define two extensions of Lewis’ S3 with two versions of Peirce’s Law. We prove that both of them have the Ackermann Property.

We define two extensions of Lewis’ S3 with two versions of Peirce’s Law. We prove that both of them have the Ackermann Property.

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.

The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.

There are numerous studies that, from different perspectives, have dealt with the debate held in the Spanish Empire during the 16th century on the slavery of the American Indians, starring –among others– by Francisco de Vitoria and his disciples from the School of Salamanca, and also –outside the academic sphere– by Fray Bartolomé de las Casas and Juan Ginés de Sepúlveda. The purpose of this work is to study whether this debate made its mark in Spanish society. For this, (...) it is analyzed three theatrical pieces from the Golden Age signed by playwrights of the stature of Tirso de Molina, Lope de Vega and Pedro Calderón de Barca, who –given their enormous popularity– had the capacity to reach the wide audience that congregated in the corrals of comedies. Were these three writers influenced by the controversy over the Indians carried out, among other authors, by Vitoria, Las Casas and Sepúlveda? Did they fully grasp in their works the subtle debate that Vitoria, Las Casas and Sepúlveda maintained when they interpreted Aristotelian arguments on slavery and the consequences that derived from them in terms of the possibility of enslaving or not the Indians? (shrink)

Los autores que dialogan en el número 27 de Ístmica con sus respectivos cuentos; el guatemalteco Francisco Alejandro Méndez y el costarricense Iván Molina Jiménez, han encontrado maneras subrepticias y transtemporales de erizarnos la piel a través de la narrativa que nos ofrecen en esta edición. Méndez (1964), es periodista, crítico literario, catedrático universitario y reconocido escritor del istmo, quien obtuvo el Premio Nacional de Literatura de Guatemala en el 2017. Ha publicado los siguientes libros de novela (...) y cuento: Graga y otros cuentos (Editorial Serviprensa Centroamericana, Guatemala, 1991), Manual para desaparecer (Arco Iris, El Salvador, 1997), Sobrevivir para contarlo (Praxis, México, 1999), Crónicas suburbanas (Editorial X, Guatemala, 2001), Ruleta rusa (Fondo de cultura económico, México-Guatemala, 2001), Completamente Inmaculada (Perro azul, San José de Costa Rica, 2002), Reinventario de ficciones. Catálogo marginal de bestias, crímenes y peatones (La Tatuana, Guatemala, 2006), Les ombres du jaguar et autres nouvelles (Éditions Equilibrio, París, 2009), Juego de muñecas. Un caso más para Wenceslao Pérez Chanán, (Editorial FLACSO, Guatemala, 2012) y Triple Play, (Germinal, Costa Rica, 2013).Como investigador, también ha publicado los siguientes ensayos de crítica literaria: América Central en el ojo de sus críticos (Universidad Rafael Landívar, Guatemala, 2005), Hacia un nuevo canon de la vanguardia en América Central (Ed. Cultura, Guatemala, 2006) y Diccionario de Autores yCríticos de Guatemala (La Tatuana, Guatemala, 2010).Por su parte, Molina (1961), es historiador y escritor de ciencia ficción costarricense, autor, coautor o editor de numerosos estudios sobre historia de CostaRica, en particular, y de Centroamérica, en general. Es catedrático de la Escuela de Historia e investigador del Centro de Investigación en Identidad y CulturaLatinoamericanas (CIICLA) de la Universidad de Costa Rica. Ha obtenido el Premio Nacional de Historia (1991), el Premio de la Academia de Geografía eHistoria (1991), el Premio Áncora del periódico La Nación (1992), el Premio al Investigador en Ciencias Sociales (2015) y el Premio Luis Ferrero de Investigación Cultural (2016). Entre sus investigaciones más recientes figuran: La educación en Costa Rica de la época colonial al presente (EUNA, Costa Rica, 2016) y Príncipes de las remotidades. Carlos Luis Fallas y los escritores proletarios costarricenses (EUNED, Costa Rica, 2016). En el género de la ciencia ficción hapublicado varios libros de cuentos cortos y algunos de sus relatos han sido incluidos en recopilaciones y revistas publicadas en México, Colombia, Perú, España, Argentina, Estados Unidos y Cuba. Su más reciente libro de ciencia ficción es Las fugitivas de Abidos (La Jirafa y Yo, Costa Rica, 2017).En los cuentos de ambos autores que presentamos en esta edición, confluyen la creación de una atmósfera de suspenso, que puede originar desde aparentes alucinaciones hasta revivir temores atávicos. En este encuentro convergen monstruos reales y ficticios -aunque nos cueste diferenciarlos-, así como las neurosis del siglo XXI y las leyendas del siglo XIX, que aliviadas unas por el psicoanálisis y alimentadas otras, por los primeros experimentos de “ingeniería genética”, consiguen sembrarnos una interrogante sobre la (in)distinción de lo real en nuestro entorno. (shrink)

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

Nowadays, batteries play an important role in a lot of different applications like energy storage, electro-mobility, consumer electronic and so on. All the battery types have a common factor that is their complexity, independently of its nature. Usually, the batteries have an electrochemical nature. Several different test are accomplished to check the batteries performance, and commonly, it is predictable how they work depending of their technology. The present research describes the hybrid intelligent system created to accomplish fault detection over a (...) Lithium Iron Phosphate—LiFePO4 power cell type, commonly used in electro-mobility applications. The approach is based on the cell temperatures behaviour for voltage and current specific values. Taken into account the operating range of a real system based on a LiFePO4 cell, a large set of points of operation have been used to achieve the dataset. The different behaviour zones have been obtained by clustering as a first step. Then, different regression techniques have been used over each cluster. Polynomial regression, artificial neural networks and support vector regression were the combined techniques to develop the hybrid intelligent model proposed. The intelligent system gives very good results over the operating range, detecting all the faults tested during the validation. (shrink)

Automatic control of physiological variables is one of the most active areas in biomedical engineering. This paper is centered in the prediction of the analgesic variables evolution in patients undergoing surgery. The proposal is based on the use of hybrid intelligent modelling methods. The study considers the Analgesia Nociception Index to assess the pain in the patient and remifentanil as intravenous analgesic. The model proposed is able to make a one-step-ahead prediction of the remifentanil dose corresponding to the current state (...) of the patient. The input information is the previous remifentanil dose, the ANI variable and the electromyogram signal. Modelling techniques used are Artificial Neural Networks and Support Vector machines for Regression combined with clustering methods. Both training and validation were done with a real dataset from different patients. Results obtained show the potential of this methodology to calculate the drug dose corresponding to a given analgesic state of the patient. (shrink)

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...) and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive (...) logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

The concept of constructive negation we refer to in this paper is (minimally) intuitionistic in character (see [1]). The idea is to understand the negation of a proposition A as equivalent to A implying a falsity constant of some sort. Then, negation is introduced either by means of this falsity constant or, as in this paper, by means of a propositional connective defined with the constant. But, unlike intuitionisitc logic, the type of negation we develop here is, of course, devoid (...) of paradoxes of relevance. (shrink)

As it is well known, Relevance Logic R plus the axiom mingle (R-Mingle) does not have the variable-sharing property (vsp). The aim of this paper is to improve this result by defining a weak logic with the axiom mingle and not included in minimal logic BM lacking the vsp.

8 March, now known as International Women’s Day, is a day for feminist claims where demonstrations are organized in over 150 countries, with the participation of millions of women all around the world. These demonstrations can be viewed as collective rituals and thus focus attention on the processes that facilitate different psychosocial effects. This work aims to explore the mechanisms involved in participation in the demonstrations of 8 March 2020, collective and ritualized feminist actions, and their correlates associated with personal (...) well-being and collective well-being, collective efficacy and collective growth, and behavioral intention to support the fight for women’s rights. To this end, a cross-cultural study was conducted with the participation of 2,854 people from countries in Latin America and Europe, with a retrospective correlational cross-sectional design and a convenience sample. Participants were divided between demonstration participants and non-demonstrators or followers who monitored participants through the media and social networks. Compared with non-demonstrators and with males, female and non-binary gender respondents had greater scores in mechanisms and criterion variables. Further random-effects model meta-analyses revealed that the perceived emotional synchrony was consistently associated with more proximal mechanisms, as well as with criterion variables. Finally, sequential moderation analyses showed that proposed mechanisms successfully mediated the effects of participation on every criterion variable. These results indicate that participation in 8M marches and demonstrations can be analyzed through the literature on collective rituals. As such, collective participation implies positive outcomes both individually and collectively, which are further reinforced through key psychological mechanisms, in line with a Durkheimian approach to collective rituals. (shrink)

S3o and S4o are the restrictions with the Converse Ackermann Property of the implicative fragments of Lewis' S3 and S4 respectively. The aim of this paper is to provide all possible axiomatizations with independent axioms of S3o and S40 that can be formulated with a modification of Anderson and Belnap's list of valid entailments.

S3o and S4o are the restrictions with the Converse Ackermann Property of the implicative fragments of Lewis' S3 and S4 respectively. The aim of this paper is to provide all possible axiomatizations with independent axioms of S3o and S4o that can be formulated with a modification of Anderson and Belnap's list of valid entailments.

El presente artículo muestra cómo la preocupación del filósofo chileno Jenaro Abasolo por la justicia social, le lleva a proponer una teoría de la justicia que anticipa la forma del Estado social de derecho. Pues su propuesta política, manteniendo los rasgos esenciales del liberalismo, conecta de manera particular los fines sociales con los políticos, hasta llegar a defender la necesidad de establecer leyes que regulen la esfera económica y la libertad de industria. En consecuencia, la crítica de Abasolo a la (...) forma de Estado liberal, toca en la segunda mitad del siglo XIX a una serie de publicistas liberales, siendo José V. Lastarria el más prominente y quien sirve aquí de contraste. Y adquiere, además, dicha crítica una renovada importancia en el debate actual que intenta determinar la forma de Estado y, por tanto, qué teoría de la justica, es más admisible para las sociedades democráticas que no sólo aspiran al pluralismo sino, también, a la justicia social. (shrink)

Closed-loop administration of propofol for the control of hypnosis in anesthesia has evidenced an outperformance when comparing it with manual administration in terms of drug consumption and post-operative recovery of patients. Unlike other systems, the success of this strategy lies on the availability of a feedback variable capable of quantifying the current hypnotic state of the patient. However, the appearance of anomalies during the anesthetic process may result in inaccurate actions of the automatic controller. These anomalies may come from the (...) monitors, the syringe pumps, the actions of the surgeon or even from alterations in patients. This could produce adverse side effects that can affect the patient postoperative and reduce the safety of the patient in the operating room. Then, the use of anomaly detection techniques plays a significant role to avoid this undesirable situations. This work assesses different one-class intelligent techniques to detect anomalies in patients undergoing general anesthesia. Due to the difficulty of obtaining real data from anomaly situations, artificial outliers are generated to check the performance of each classifier. The final model presents successful performance. (shrink)

ObjectiveTest anxiety (TA) is a construct that has scarcely been studied based on Lang’s three-dimensional model of anxiety. The objective of this article is to investigate the repercussion of sociodemographic and academic variables on different responses for each component of anxiety and for the type of test in adolescent students.MethodA total of 1181 students from 12 to 18 years old (M= 14.7 and SD = 1.8) participated, of whom 569 were boys (48.2%) and 612 girls (51.8%). A sociodemographic questionnaire and (...) theCuestionario de Ansiedad ante los examenes-Adaptado (CAEX-A)[Test Anxiety Questionnaire-Adapted] an adaptation for Spanish secondary school levels (ESO) and Bachillerato were administered.ResultsGirls scored higher on the cognitive and physiological components of TA than boys, the intensity of the physiological response increasing with age. Bachillerato level students reported more physiological anxiety than those of ESO level. Students with better marks in the previous year presented more anxiety in the cognitive component, while those who obtained the lower mark presented higher anxiety values in the behavioral component. Participants reported that the types of tests that cause them more anxiety were oral tests in front of the class, oral presentation in front of a panel, and mathematics tests.ConclusionAdolescents show a differential response of TA based on the physiological, cognitive and motor components, mediated by the variables of gender, age, grade, academic performance and type of exam. These results serve to design specific intervention programs to manage anxiety in situations of academic assessment. (shrink)