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.

This book presents an exhaustive study of the three 13-century discussions explicitly dealing with the notion of Significatio. The study aims to show that the three discussions emerge because of apparently opposite claims about the signification of words in the authoritative literature of the period. It also shows that the three discussions develop in the same direction - towards a unified use of the notion of signification, which keeps its explanatory role in semiotics, but loses its role in grammar and (...) logic. (shrink)

Leo Strauss's philosophical Bewegung in light of Nietzsche -- The will to power and the philosopher of the future -- Philosophy and the natural right of the eternal return of the same -- The anti-theological religion of the eternal return.

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.

A través de resultados de investigación en escuelas de nivel secundario de la Región Metropolitana de Buenos Aires este trabajo se propone evidenciar el hacer de la escuela en tiempos en que la presencia del otro se presenta como insoportable. Nos ocupamos tanto de las dinámicas que supone aprender a habitar un espacio con otros como los esfuerzos de la escuela para sostenerse como espacio común.

Nota sobre publicações recentes que revelam aspectos pouco conhecidos da biblioteca de Newton – os numerosos textos religiosos, místicos e herméticos. Os biógrafos de Newton resistiram muito até admitir que os escritos esotéricos fossem genuíno interesse do sábio e que tivessem importância para entender sua trajetória intelectual. As publicações aqui indicadas afirmam o contrário, seguindo trilha aberta por ensaio pioneiro de J. M. Keynes (1946).

Ibn Arab? (1165-1240) stands out for the immense magnitude of his work and for the depth and breadth of his thinking. His works are the result of divine inspiration and multiple mystical, visionary experiences in the course of a life devoted to teaching and travel throughout the Maghreb and the Middle East.

This article was written in August 83, initially as a lecture at Jornada de Filosofia da UNESP. We begin with an approximation between Hegel and Marx and then we discuss the idea of work's force reproduction understood as a part of the capital. The latter is viewed as a kind of social relationship. This approach is attempeted on the basis of certain passages of Marx's The Capital and The Grundrisse as well. Finally, we interpret some nowdays developments under the point (...) of view of this "cynical anatomy".Este artigo foi escrito em agosto/83, para conferência-debate na Jornada de Filosofia da UNESP. Partindo de aproximações Marx/Hegel sobre o tema da "fatalidade histórica", passamos a discutir a reprodução da força de trabalho como parte do capital, entendido este último, por sua vez, como relação social. Este exame é feito na esteira de algumas passagens de O Capital e dos Grundrisse. A seguir, procedemos à leitura de alguns fatos contemporâneos à luz dessa "anatomia cínica". (shrink)