The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as varieties that do not (...) arise in this way as the variety of Basic algebras or the variety of Heyting algebras. Apart from WH itself the paper studies the subvarieties of WH that naturally correspond to subintuitionistic logics, namely the variety of R-weakly Heyting algebras, the variety of T-weakly Heyting algebras and the varieties of Basic algebras and subresiduated lattices. (shrink)

In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.

The story of the Ship of Theseus is one of the most venerable conundrums in philosophy. Some philosophers consider it a genuine puzzle. Others deny that it is so. It is, therefore, an open question whether there is or there is not a puzzle in the Ship of Theseus story. So, arguably, it makes sense to test empirically whether people perceive the case as a puzzle. Recently, David Rose, Edouard Machery, Stephen Stich and forty-two other researchers from different countries have (...) undertaken that task. We argue that their tests do not provide any evidence that bears on the question as to whether the Ship of Theseus case is a genuine puzzle. In our discussion we address also what should be taken into account if one wishes to test the puzzling, or not puzzling, status of the Ship of Theseus story. (shrink)

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a (...) simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets. (shrink)

Although Freud presented his theory of the unconscious as a groundbreaking innovation, we find remote antecedents. This article analyzes the approach of personalist psychology, which offers three unconscious instances: sensible, intellective, and volitional. I trace this approach back to the tradition initiated by Plato and progressively developed by kindred thinkers up to modern times. In particular, I highlight the contributions of Aristotle, Augustine, Aquinas, and Rosmini. To conclude, I show that their earlier conception of the unconscious corresponds to the general (...) characteristics of the Freudian notion while also differing radically in their ontological significance and anthropological implications. (shrink)

We introduce a variety of algebras in the language of Boolean algebras with an extra implication, namely the variety of pseudo-subordination algebras, which is closely related to subordination algebras. We believe it provides a minimal general algebraic framework where to place and systematise the research on classes of algebras related to several kinds of subordination algebras. We also consider the subvariety of pseudo-contact algebras, related to contact algebras, and the subvariety of the strict implication algebras introduced in Bezhanishvili et al. (...) [(2019). A strict implication calculus for compact Hausdorff spaces. Annals of Pure and Applied Logic, 170, 102714]. The variety of pseudo-subordination algebras is term equivalent to the variety of Boolean algebras with a binary modal operator. We exploit this fact in our study. In particular, to obtain a topological duality from which we derive the known topological dualities for subordination algebras and contact algebras. (shrink)

In this article the focus is on the topic of indeterminacy of the sources of law. Indeterminacy in this domain may be a product of a lack of legislative regulation or open texture of law, this analysis of the causes of indeterminacy regarding the sources of law is applied to the Cuban legal system.Resumen:El tema de las fuentes del derecho sigue siendo de primer orden en la ciencia jurídica contemporánea, por lo cual resulta de gran utilidad para los juristas abordar (...) las problemáticas que se generan en torno al mismo. Las causas de indeterminación de las fuentes del derecho —determinadas en unos casos por la falta de regulación por parte del legislador y en otros por la textura abierta del derecho que regula el sistema de fuentes— en el sistema jurídico, es una de dichas problemáticas. El objetivo: analizar las causas de indeterminación de las fuentes del derecho y su expresión en contextos jurídicos como el cubano. (shrink)

In qualitative decision theory, a very natural way for defining preference relations over policies (acts) -functions from a set S of states to a set X of consequences- is by using the so called Dominance Plausible Rule. In this context we need a relation > over X and a relation ? over P(S) (the subsets of S). Then we define ≥ as follows: f ≥ g, ? [f > g] ? [g > f], where [f > g] denotes the set (...) {s ? S : f(s) > g(s)g}. In many cases > is a modular relation and ? is a total preorder. A quite rational and desirable property for the relation over policies is transitivity. In general, the relation ≥ defined by the Dominance Plausible Rule is not transitive in spite of the transitivity of ?. In this work we characterize the properties of the relation ? forcing the relation ≥ over policies to be transitive. All this under the hypothesis of modularity of the relation >. (shrink)

Los Anales de la Cátedra Francisco Suárez se han ganado a pulso, a lo largo de los años, sobre todo gracias a la tenacidad de Nicolás López Calera y al equipo formado en torno a él en la Facultad de Derecho de Granada, el mérito de ser la principal referencia bibliográfica de la Filosofía del Derecho en España junto al Anuario de Filosofía del Derecho en la etapa en que J. J. Gil Cremades fue su director. Otras revistas se han (...) ocupado menos del filosofar jurídico que, fundamentalmente, de lo que podríamos llamar problemas de teoría general y de interpretación del derecho. Y ahora, por la amistosa pero tenaz compulsión de M. Saavedra, me veo en la obligación de contribuir a esta entrega de una revista prestigiosa, con no poca vergüenza, con la descripción de mi más que modesta aportación a la reflexión jurídico-política en los últimos casi cincuenta años. Las páginas que siguen expresarán pues una autopercepción, que sin duda deberá ser corregida por el lector. No obstante, trataré de introducir datos que puedan rectificar lo que me parecen errores de algunas publicaciones sobre la filosofía del derecho española en general y sobre mi propio trabajo en particular. (shrink)

Me propongo caracterizar brevemente el marco histórico en que se ha producido el fenómeno de la globalización para destacar algunos de sus rasgos. A partir de ellos intentaré describir los principales cambios que ha determinado la globalización en las instituciones políticas de gobierno y apuntar algunos de los interrogantes que eso plantea al filosofar sobre la sociedad y sobre el derecho.

Without doubt, in modern society -specially within the European and Northeamerican boundaries- the formalistic doctrine of Dewey, Piaget, Kohlberg, Popper, Reed, Rest, Apel, Habermas and rorty has a deep influence at all levels: personal, social, political, and cultural. This study recognices the moral interest of the so called "consensus ethics", but points out important shortcomings of this approach.

¿Es el Antropoceno una nueva época geológica? La discusión está abierta científica y profesionalmente, lo que acentúa aún más la cuestión de su alcance cultural -teórico y práctico- difícilmente asumible bajo un único concepto que reúna todas las ramificaciones de dicha denominación. Este trabajo intenta proporcionar, desde un punto de vista filosófico, un campo semántico para «Antropoceno» que ayude a ordenar y comprender la vastísima literatura existente al día de hoy.

A lo largo del Cuaderno azul, Wittgenstein usa reiteradamente la figura del Sócrates platónico como una especie de figura antagonista contra la cual presenta sus nuevos puntos de vista filosóficos a la altura de los años 30. El objetivo de este trabajo es analizar esos puntos de vista atendiendo al papel que tienen en su elaboración las alusiones críticas al Sócrates platónico. Nos centraremos principalmente en el examen que hace Wittgenstein de la forma de la pregunta socrática «¿Qué es X?», (...) en el modo en que entiende la relación del Cuaderno azul con la filosofía platónica, en su valoración crítica del conflicto socrático-platónico con el lenguaje cotidiano y, por último, en el análisis de las fuentes de lo que llama «nuestro ansia de generalidad». (shrink)

The aim of this paper is to contribute to clarify the meaning of the thesis of the transcendence of the Good (τὸ ἀγαθόν) pointed out in Plato’s Republic. Against some contemporary readings of a Neo-Platonic nature, but also against others that are opposed to these, we propose to interpret the passage by linking the thesis of the transcendence of the Good with the condition of first principle(ἀρχή) and maximum power(δύναμις) that Plato ascribes to the Idea of Good, as well as (...) with his doctrine of the absolute self-sufficiency of the Good. El objetivo de este trabajo es contribuir a clarificar el sentido de la tesis de la trascendencia del Bien (τὸ ἀγαθόν) apuntada en la República de Platón. Frente a algunas lecturas contemporáneas de corte neoplatónico, pero también frente a algunas otras opuestas a ellas, proponemos interpretar el pasaje vinculando la tesis de la trascendencia del Bien con la condición de primer principio (ἀρχή) y de máxima potencia (δύναμις) que Platón adscribe a la Idea de Bien, así como con su doctrina de la autosuficiencia absoluta del Bien. (shrink)

El objetivo de este trabajo es clarificar el sentido de los argumentos que elabora Aristóteles contra la concepción de la Idea del Bien propuesta por Platón. También se calibra el alcance de dichos argumentos tomando como fundamento lo que sostiene Platón en sus Diálogos a propósito de la Idea de Bien.

En este artículo se analiza la propuesta platónica de «la ciudad sana» o «la ciudad de cerdos». Se trata de mostrar que la exaltación que hace Platón del ideario primitivista es ambigua, pues la seriedad con que se lo toma no está exenta de cierta ironía, y que es compleja, pues sus razones a favor de una vuelta a «una vida primitiva» conviven con poderosos motivos antiprimitivistas en su filosofía. Se propone interpretar el sentido de su propuesta de una imaginaria (...) vida primitiva austera, sencilla y pacífica como una alternativa a algunos de los males de su civilización que mayor descontento le producían. (shrink)

Resumen: Este artículo estudia el poder de la visualidad en la política. Entre aquello que está permitido ver y aquello que está prohibido mostrar, el régimen escópico se define por la intervención del poder institucional respecto de la mirada del espectador. Este estudio se desarrolla entre la tradición filosófica y otras aportaciones multidisciplinares (estudios visuales, comunicación social, estética, historia del arte, teoría del arte) que evidencian a) el control político en los regímenes escópicos de la mirada del espectador; b) la (...) consolidación de una cultura visual que condiciona el modo de vida de los individuos y las sociedades; c) el dominio del espacio social por medio de la regulación del espacio visual; y d) la manipulación de los afectos por medio de la experiencia visual. En este estudio destacamos la apertura de la consciencia crítica en la modernidad a la estetización de la política. Abstract: This article studies the power of visual aesthetics in politics. Between what is allowed to see and what is forbidden to show, the scopic regime is defined by the intervention of institutional power on the viewer's gaze. This study is developed between the philosophical tradition and other multidisciplinary contributions (visual studies, social communication, aesthetics, art history, art theory) that show a) political control in the scopic regimes of the viewer's gaze; b) the consolidation of a visual culture that conditions the way of life of individuals and societies; c) the domain of social space through the regulation of visual space; and d) the manipulation of affects through visual experience. In this study we highlight the opening of critical consciousness in modernity to the aestheticization of politics. (shrink)

Este artículo estudia el poder de la visualidad en la política. Entre aquello que está permitido ver y aquello que está prohibido mostrar, el régimen escópico se define por la intervención del poder institucional respecto de la mirada del espectador. Este estudio se desarrolla entre la tradición filosófica y otras aportaciones multidisciplinares que evidencian a) el control político en los regímenes escópicos de la mirada del espectador; b) la consolidación de una cultura visual que condiciona el modo de vida de (...) los individuos y las sociedades; c) el dominio del espacio social por medio de la regulación del espacio visual; y d) la manipulación de los afectos por medio de la experiencia visual. En este estudio destacamos la apertura de la consciencia crítica en la modernidad a la estetización de la política. (shrink)

En este artículo se presenta la recepción que tuvo en la modernidad la teoría de Leibniz conocida como doctrina del optimismo. Aunque son las interpretaciones de Kant y de Hegel las que nos van a ocupar, para contextualizar la doctrina del mejor de los mundos posibles, será imprescindible referirnos a la acogida inmediata que la tesis tuvo en la Ilustración. A continuación, se analizará el texto de Kant «Algunas observaciones sobre el optimismo» y su defensa de las tesis de Leibniz. (...) Dedicamos el último apartado del artículo a la lección que Hegel dedicó a la cuestión del optimismo de Leibniz en sus Lecciones sobre la historia de la filosofía. (shrink)

Com os conceitos de vida como “organismo em interação com o meio”, de John Dewey, e de vida, como “vontade de potência”, de Friedrich Nietzsche, elaborados em resposta à problemática envolvendo questões de experiência estética, buscamos, no presente artigo, analisar possíveis similaridades entre eles e, assim, destacar a relevância atual dessas abordagens para se pensar uma estética menos canônica, mais atenta aos afetos e, portanto, mais próxima da vida.

Este artículo distingue entre creatividad e innovación, asume el enfoque sistémico en estudios de innovación y lo aplica a las innovaciones poéticas y literarias. Se centra en sor Juana Inés de la Cruz, la gran poeta y escritora del virreinato español en México a finales del siglo XVII. Sor Juana vinculó las artes literarias con las ciencias y técnicas de la época barroca y consiguió apoyos sociales, políticos y religiosos que la convirtieron en una mujer emprendedora y altamente innovadora. También (...) se analiza el resurgimiento de la figura de sor Juana en el siglo XX, gracias a escritores como Amado Nervo, Clara Campoamor y Octavio Paz, así como a investigadores mexicanos e internacionales que han generado una gran innovación social, cultural e institucional, el sorjuanismo, cuyos hitos principales se analizan. (shrink)

Resumen Las interfaces cerebro-computadora (ICCs) son tecnologías que proveen herramientas para la comunicación entre el ser humano y las computadoras. Dado que las nuevas técnicas asociadas a ICCs podrían influir en la autorregulación emocional, la memoria autobiográfica, el sentido del yo, la identidad, la autonomía, la autenticidad y las atribuciones de responsabilidad presentan importantes objeciones éticas. Entender las consecuencias a largo plazo de estas nuevas tecnologías puede ser difícil. Por lo tanto, los aspectos éticos vinculados a las ICCs necesitan ser (...) continuamente revisados a la par de los avances técnicos en el área. El personalismo ontológicamente fundado se ha formalizado como un camino de reflexión que tiene como referencia una antropología que defiende el valor de la vida física corpórea, la relación libertad-responsabilidad y la adecuada interacción individuo y sociedad y brinda pautas éticas que permitan formular normas de conducta acordes con la dignidad de la persona humana. Por lo tanto, en este artículo se aplican los principios de la bioética personalista al ámbito de las ICCs, de modo tal de dar directrices generales para la acción que puedan contribuir a elaborar un juicio ético acerca del desarrollo y uso de estas neurotecnologías. Abstract Brain-computer interfaces (BCIs) are technologies that provide tools for communication between humans and computers. Since the new techniques associated with BCIs could influence emotional self-regulation, autobiographical memory, sense of self, identity, autonomy, authenticity, and attributions of responsibility present important ethical objections. Understanding the long-term consequences of these innovative technologies can be difficult. Therefore, the ethical aspects linked to BCIs need to be continuously reviewed in line with technical advances in the area. Ontologically grounded personalism has been formalized as a path of reflection that has as its reference an anthropology that defends the value of corporeal physical life, the relationship between freedom and responsibility, and the appropriate interaction between the individual and society. This approach provides ethical guidelines for the formulation of norms of conduct in accordance with the dignity of the human person. Therefore, in this article, the principles of personalist bioethics are applied to the field of BCIs, in order to provide general guidelines for action that can contribute to the elaboration of an ethical judgment about the development and use of these neurotechnologies. (shrink)

For this new anthology, Anthony Bonner has chosen central texts from his acclaimed two-volume compilation Selected Works of Ramon Llull. Available for the first time in an affordable format, these works serve as an introduction to the life and writings of the Catalan philosopher, mystic, and theologian who lived from 1232 to 1316. Founder of a school of Arabic and other languages, Llull was also a poet and novelist and one of the creators of literary Catalan. This volume contains (...) three prefaces on Llull's life, thought, and reputation. Of Llull's works, it offers Book of the Gentile and the Three Wise Men, his seminal Christian apology; the Ars brevis, a summary of his philosophical system; The Book of the Lover and the Beloved, a celebration of mystical love in the courtly tradition; and his wittily scathing Book of the Beasts. (shrink)

The autobiography of an influential medieval Catalan intellectual.

A logic is selfextensional if its interderivability (or mutual consequence) relation is a congruence relation on the algebra of formulas. In the paper we characterize the selfextensional logics with a conjunction as the logics that can be defined using the semilattice order induced by the interpretation of the conjunction in the algebras of their algebraic counterpart. Using the charactrization we provide simpler proofs of several results on selfextensional logics with a conjunction obtained in [13] using Gentzen systems. We also obtain (...) some results on Fregean logics with conjunction. (shrink)

A logic in a finite language is said to be finitely presentable if it is axiomatized by finitely many finite rules. It is proved that binary non-indexed products of logics that are both finitely presentable and finitely equivalential are essentially finitely presentable. This result does not extend to binary non-indexed products of arbitrary finitely presentable logics, as shown by a counterexample. Finitely presentable logics are then exploited to introduce finitely presentable Leibniz classes, and to draw a parallel between the Leibniz (...) and the Maltsev hierarchies. (shrink)