We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system in Prolog, and we show some of its advantages.

After compulsory secondary education; many teenagers face the process of choosing a university degree. This process involves uncertainties referred to their personal abilities, interests, social expectations and professional future. The present work is aimed at determining whether the reasons behind the selection of a particular university degree differ depending on the chosen degree. Another objective is determining whether these reasons differ significantly according to gender. The sample comprises 983 students belonging to the area of social and legal sciences at the (...) University of Seville. The obtained results reveal the existence of four main reasons behind the selection of university degrees for which significant gender-related differences were observed: easy degree, job opportunities, high wages and provision of social services. Besides, these seven reasons are observed to differ widely in six of the considered degrees. (shrink)

Because of the COVID-19 pandemic, procrastination has become commonplace due to changes in teaching and learning, which trigger students' academic burnout. As a result, it has increased the intensity of procrastination among students who are enrolled in online learning programs. As a result, students have difficulty as a result of the rapid change from in-person learning to online learning. The study investigates the relationship between academic burnout and procrastination among 150 grade 12 senior high school students. Hence, this study employed (...) a correlational design. Based on the inferential analysis, the r coefficient of 0.71 indicates a high positive correlation between the variables. The p-value of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between academic burnout and academic procrastination among grade 12 senior high school students. (shrink)

Grounded theory, a research method born out of the social sciences field, offers a flexible technique that allows simultaneous data collection and processing. Researchers using this method immerse themselves in an area of study, focusing their observations on the data and taking into consideration not only their own interpretations, but also those of the other subjects involved, in order to strengthen their understanding of the social phenomena under examination. This text briefly describes the concept of grounded theory and uses concrete (...) examples to illustrate how data are analysed from the standpoint of the stereotype as an object of study. La teoría fundamentada, nacida al interior de las ciencias sociales, es un método de investigación que posee una técnica flexible y que realiza simultáneamente la recolección y el procesamiento de los datos. En este método, el investigador se encuentra inmerso en el campo de estudio y sus observaciones se abocan al dato, considerando tanto su interpretación como la de los otros sujetos implicados, con la finalidad de fortalecer la comprensión del fenómeno social investigado. En este texto se describe brevemente la teoría fundamentada y cómo se analizan los datos mediante ejemplos concretos, que se presentan a partir del estereotipo como objeto de estudio. (shrink)

An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic K has been introduced. Although there are many well-known implementations of provers for modal logic, as far as we know, it is the first implementation of a specific relational prover for a standard modal logic. There are two main contributions in this paper. First, the implementation of new rules, called (k1) and (k2), which substitute the classical relational rules (...) for composition and negation of composition in order to guarantee not only that every proof tree is finite but also to decrease the number of applied rules in dual tableaux. Second, the implementation of an order of application of the rules which ensures that the proof tree obtained is unique.As a consequence, we have implemented a decision procedure for modal logic K. Moreover, this work would be the basis for successive extensions of this logic, such as T, B and S4. (shrink)

We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have introduced some (...) heuristics, such as the so called phantom variables, which improve the efficiency of the selection of variables used un the proof. (shrink)

We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.

A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a decision (...) procedure are proved in this article. The main advantages of this approach are: first, the system is deterministic, i.e. it generates one proof tree for a given formula; second, the system is a validity-checker, hence it generates a proof of a formula ; and third, the language of deduction and the language of a logic coincide. Some of these advantages are compared with other classical approaches. (shrink)

The philosopher's paper Alonso, Ángel Castigo y derecho sin libre albedrío ni responsabilidad Punishment and law without free will and no responsibility López Corredoira, Martín De los metarrelatos a la "muerte de los intelectuales". Una mirada al "Humanismo impenitente" desde la reconstrucción neonietzscheana postmoderna From meta - reports to the "demise of intellectuals". A view of "impenitent humanism" from post-modern neo-Nietzschean deconstruction Mora García, José Pascual Kant y el método de trascender en la filosofía de Karl Jaspers Kant and (...) the transcendental method in the Karl Jaspers philosophy Portuondo Pajón, Gladys L. La creatio ex Nihilo y sus implicaciones fenomenológicas en Levitas La creatio ex Nihilo and it's phenomenology implications in Levinas Ramírez, Gustavo ¿Qué significa meditar? What does it mean to meditate? Ramis Muscato, Pompeyo Sobre la violencia: Orígenes y antídoto Regarding violence: Origens and antidotes Vasquez, Eduardo Interdisciplinares Louis Kahn: Filosofía, arte y arquitectura Louis Kahn: Philosophy, arte and architecture Arellano Spinetti, Leonardo La oligarquía venezolana en el siglo XXI: Del estereotipo al anacronismo The Venezuelan oligarchy in the XXI century: From the stereotype to the anachronism Varela Manrique, Luz Coromoto Traducciones El arte de pensar Maurois, André Friedrich Nietzsche. 1844-1900. (shrink)

Nieto Blanco, Carlos El mundo desde dentro: El pensamiento de José Ferrater MoraSevilla: Renacimiento. Iluminaciones, 520 p.ISBN 9788418387418.

Castillos de Teruel. Historia y Patrimonio. Actas de las I Jornadas Castillos de Teruel:de la puesta en valor a la didáctica. Mora de Rubielos, 2018 Teruel: Asociación para la Recuperación de los Castillos Turolenses, Qualcina. Arqueología, Cultura yPatrimonio, y Acrótera Gestión del Patrimonio 201895 págs. 21 x 15 cm.ISBN: 978-84-948836-1-3.

Este artículo analiza desde una perspectiva fenomenológica-hermenéutica los aportes del pensamiento franciscano en los procesos de autoevaluación institucional de la Universidad de San Buenaventura, Bogotá. En primera instancia, se abordará el pensamiento franciscano como elemento que transversa las funciones sustantivas y todas aquellas actividades que propenden por el aseguramiento de la calidad y el mejoramiento continuo de la educación superior. En segundo lugar, se describen los significados y opiniones sobre el sistema de autoevaluación institucional en los diferentes agentes de la (...) comunidad académica Bonaventuriana en la sede Bogotá. Finalmente, se reconocerá cómo la filosofía institucional se materializa en los procesos de autoevaluación en el marco de los procesos de acreditación con el propósito de aportar elementos significativos para los planes de mejoramiento. (shrink)

La memoria, la identidad, el reconocimiento, son construcciones que permiten sujetar al individuo a su pasado. Toda vez que éste es despojado de su identidad más primaria la búsqueda del ser queda reducida a la recolección de huellas para crear con ellas un relato que permita fijar al individuo en las palabras, las suyas y las del otro. Este es el objetivo del artículo, explorar estas construcciones a través de la novela Austerlitz del escritor alemán W. G Sebald, con la (...) ayuda de las propuestas hermenéuticas ricoerianas. (shrink)

La poesía es un espacio en el que la palabra se materializa en instante. En ella se encuentran mundos inesperados, olvidadosque se vuelven a hacer presentes para recordar así que en la palabra de un poeta están contenidos todos los hombres, todoslos sueños, todos los tiempos. La palabra es proyección de la existencia, es una necesidad de no caer en el olvido, por lomenos en uno que no sea profundo, inolvidable, irrecuperable.

The research project of common sense or folk behavior for the specific purposes of advancing epistemology has quickly become one of the largest in experimental philosophy. This chapter explains some of this work as it relates to two positions in epistemology: contextualism and interest relative invariantism (IRI). Naturally, questions arise about the relevance of folk behavior to debates in epistemology. First, there is the dialectical issue concerning the extent to which epistemologists have in fact relied on ordinary behavior in defending (...) their theories. Second, in the cases where epistemologists have made such appeals, people can ask if they have been correct in doing so. And third, assuming correctness in this regard, there is a question about which experimental methods, if any, are pertinent for understanding folk behavior. It is taken takes for granted that epistemologists appeal to ordinary usage and that their doing so in fact informs epistemology. (shrink)

In this article we defend the inferential view of scientific models and idealisation. Models are seen as “inferential prostheses” (instruments for surrogative reasoning) construed by means of an idealisation-concretisation process, which we essentially understand as a kind of counterfactual deformation procedure (also analysed in inferential terms). The value of scientific representation is understood in terms not only of the success of the inferential outcomes arrived at with its help, but also of the heuristic power of representation and their capacity to (...) correct and improve our models. This provides us with an argument against Sugden’s account of credible models: the likelihood or realisticness (their “credibility”) is not always a good measure of their acceptability. As opposed to “credibility” we propose the notion of “enlightening”, which is the capacity of giving us understanding in the sense of an inferential ability. (shrink)

In this article we defend the inferential view of scientific models and idealisation. Models are seen as “inferential prostheses” (instruments for surrogative reasoning) construed by means of an idealisation-concretisation process, which we essentially understand as a kind of counterfactual deformation procedure (also analysed in inferential terms). The value of scientific representation is understood in terms not only of the success of the inferential outcomes arrived at with its help, but also of the heuristic power of representation and their capacity to (...) correct and improve our models. This provides us with an argument against Sugden’s account of credible models: the likelihood or realisticness (their “credibility”) is not always a good measure of their acceptability. As opposed to “credibility” we propose the notion of “enlightening”, which is the capacity of giving us understanding in the sense of an inferential ability. (shrink)

Los Ökonomisch-philosophische Manuskripte de 1844 de Marx establecen las bases del proyecto marxista de superación del capitalismo. Para ello, desarrolla una crítica al trabajo asalariado desde el concepto de alienación procedente de la dialéctica hegeliana y de la crítica de Feuerbach a la religión. Este análisis le sirve para establecer otros conceptos como los de una alteridad materialista o la reducción a la animalidad, desde los cuales sería posible construir otro marxismo alternativo al de Das Kapital.

El proyecto de emancipación que Paul Lafargue presenta en Le droit à la paresse constituye no solo uno de los primeros documentos de análisis de la sociedad capitalista y sus posibilidades revolucionarias, sino que supone, a la vez, el punto de arranque de una tradición de emancipación diferente a la del socialismo clásico. Sin embargo, en el propio desarrollo del análisis ya se vislumbran de forma teórica los problemas prácticos que dicha tradición ha acabado por desarrollar.

Publishing scientific articles is a crucial activity performed by a scientist to demonstrate inclusion as part of the community of scientists: a community constituted by journal editors, reviewers, authors and readers. A manuscript submitted to journals is first read by reviewers, and their decision to accept it creates membership in the community for the author with its attendant privileges of ingroup status. Rejection bars such membership. In this article we examine the language used by this powerful individual — the journal (...) reviewer — to recognize another individual — the author — as being a member or not. Five reviewer reports of two different manuscripts submitted by non-native English-speaking authors are analyzed in this case study. Complementary discourse analytical approaches are used: group ideology, syntactic structure and personal pronouns. The analysis of the linguistic strategies used reveals three distinct positions that the reviewers adopt within this under-researched genre. (shrink)

This study investigates the relationship between mental health and emotional intelligence among senior high school students in a public school. Thus, the study employed a correlational design to measure the relationship between mental health and emotional intelligence among 152 Grade 12 senior high school students in a public school. Hence, to measure the study’s variables - Mental Health Inventory and Emotional Intelligence Scale (EIS) were utilized. Based on the inferential statistics, the r coefficient of 0.32 indicates a low positive correlation (...) between the variables and a p-value of 0.00, indicating a significant relationship between the respondents' mental health and emotional intelligence. Implications and recommendations were discussed in the study. (shrink)

The Midewiwin is the traditional religious belief system central to the world view of Ojibwa in Canada and the US. It is a highly complex and rich series of sacred teachings and narratives whose preservation enabled the Ojibwa to withstand severe challenges to their entire social fabric throughout the 19th and 20th centuries. It remains an important living and spiritual tradition for many Aboriginal people today. The rituals of the Midewiwin were observed by many 19th century Euro-Americans, most of whom (...) approached these ceremonies with hostility and suspicion. As a result, although there were many accounts of the Midewiwin published in the 19th century, they were often riddled with misinterpretations and inaccuracies. Historian Michael Angel compares the early texts written about the Midewiwin, and identifies major, common misconceptions in these accounts. In his explanation of the historical role played by the Midewiwin, he provides alternative viewpoints and explanations of the significance of the ceremonies, while respecting the sacred and symbolic nature of the Midewiwin rituals, songs, and scrolls. (shrink)

Methodological norms are seen as rules defining a competitive game, and it is argued that rational recognition-seeking scientists can reach a collective agreement about which specific norms serve better their individual interests, especially if the choice is made `under a veil of ignorance', i.e. , before knowing what theory will be proposed by each scientist. Norms for theory assessment are distinguished from norms for theory choice (or inference rules), and it is argued that pursuit of recognition only affects this second (...) type of rule. An inference rule similar to `eliminative induction' is defended on the basis of such a possible agreement. According to this contractarian approach, both the explanation and the justification of scientific norms only need to refer to the preferences of individual scientists, without assuming the existence of `collective' points of view. (shrink)

Being scientific research a process of social interaction, this process can be studied from a game-theoretic perspective. Some conceptual and formal instruments that can help to understand scientific research as a game are introduced, and it is argued that game theoretic epistemology provides a middle ground for 'rationalist' and 'constructivist' theories of scientific knowledge. In the first part , a description of the essential elements of game of science is made, using an inferentialist conception of rationality. In the second part (...) , some ideas for the reconstruction of case studies are introduced, and applied to one example: Latour's analysis of Joliot's attempt to build an atomic bomb. Lastly, in the third part , a formal analysis of the constitution of scientific consensus is offered. (shrink)

This paper aims to analyze Jürgen Habermas’s critique of liberal eugenics and why it should be stopped. For this purpose, the concept of liberal eugenics, its features and goals, postmetaphysics in Habermas’s philosophy, will be exposed, as well as the notions of Körper and Leib, which are three key elements that the philosopher presents to articulate his critique. Next, the importance of the naturalness of birth and reciprocal relations between individuals, and how they can be affected by genetic modifications, will (...) be explored to finally expose the measurements that Habermas proposes against the effects and consequences of genetic engineering. (shrink)