Dentro de la sociología francesa actual, Gilles Lipovetsky se ha convertido de forma paulatina en uno de los sociólogos con mayor proyección internacional, con sus finos análisis sobre las sociedades postmodernas. En este artículo se plantea una revisión crítica de las principales líneas argumentativas que expone el autor francés. El objetivo es el de reflexionar sobre las limitaciones de su aproximación a los conceptos de postmodernidad, hipermodernidad, y consumo.

In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1 In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the λ–definable functions. But, quickly realizing that the diagonalization cannot (...) be done effectively, I became overnight a supporter of the thesis. (1981, p. 59) The title of our paper alludes to this very work, a task on which Kleene claims to have set out after hearing such a remarkable statement from Church, who was his teacher at the time. There are quite a few points made in this extract that may be surprising. First, it talks about a proof by diagonalization in order to test—in fact to try to falsify—a hypothesis that is not strictly formal. Second, it states that such a proof or diagonal construction fails. Third, it seems to use the failure as a support for the thesis. Finally, the episode we have just described took place at a time, autumn 1933, in which many of the results that characterize Computability Theory had not yet materialized. The aim of this paper is to show that Church and Kleene discovered a way to block a very particular instance of a diagonal construction: one that is closely related to the content of Church's thesis. We will start by analysing the logical structure of a diagonal construction. Then we will introduce the historical context in order to analyse the reasons that might have led Kleene to think that the failure of this very specific diagonal proof could support the thesis. This is a joint paper. We have both attempted to add a small piece to an amazing historical jigsaw puzzle at a juncture we feel to be appropiate. In the paper by Manzano 1997 the aforementioned words by Kleene were quoted, and since then several logicians, Enrique Alonso first and foremost, have questioned her on this issue. Here we both submit our reply. (1999, pp. 249--273). (shrink)

El consentimiento informado en investigación se inscribe en la relación médico-paciente, que ha sufrido, y sigue sufriendo, importantes cambios: desde el planteamiento clásico, como relación de amistad, al planteamiento contemporáneo, como relación entre extraños, que es regulada por normas éticas y legales. El principal objetivo de estas últimas es conseguir, mediante requisitos formales, que dicha relación no perjudique al paciente. Bajo esta luz, se examina y compara el consentimiento informado en las principales normativas internacionales y en la ley española. Especialmente, (...) nos centramos en la hoja de información al paciente, la comprensión, la voluntariedad, la certificación y la comunicación de los resultados de la investigación. Se concluye con la observación de la seria limitación intrínseca de la que adolecen estas normativas, que impiden, más que favorecen, el trato adecuado al paciente. doi: 10.5294/pebi.2015.19.2.3. (shrink)

This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...) the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory. (shrink)

Este libro es un compendio de diversos artículos del ámbito de la Lógica que cubren un amplio abanico de temas ofreciendo una panorámica sobre esta disciplina. Encontraremos artículos sobre aspectos históricos y sobe el desarrollo de la lógica en la filosofía, la informática y las matemáticas actuales; otros sobre cuestiones de metalógica, y otros sobre diferentes tipos de lógicas: intuicionista, híbridas e intensionales, y sus lenguajes, semánticas y aplicaciones. El resultado en su conjunto es, además, una reflexión sobre el papel (...) de la Lógica en el pasado, presente y futuro de la ciencia y el pensamiento. Pero este libro quiere ser, sobre todo, un homenaje a una de las lógicas más reconocidas de España, María Manzano, que con su actividad académica ha contribuido de forma fundamental al desarrollo del área de Lógica y Filosofía de la Ciencia en España, a la vez que es apreciada en la gran comunidad internacional de lógicos. Con la excusa de su jubilación como catedrática de la Universidad de Salamanca, veintitrés autores que han compartido con ella aventuras en el mundo de la Lógica se han reunido para contarle (y contarnos) algunas de esas apasionantes aventuras. (shrink)

The semantic analysis of logical consequence must obey a set of requisites which nowadays have acquired a dogmatic status. This situation prevents the development of other varieties of this fundamental relation. In this issue we try to define what we call a naive variety of logical consequence. The main feature of this relation is the way it depends on formulas in premises and conclusion: every sentence must contribute to the acceptability of an argument in a significative way. This circumstance can (...) be of some interest for research programs demanding a logical apparatus sensitive to application context. We think of the logic LP developed by G. Priest -- Priest [1979] -- in relation to Gödel incompleteness theorems as a test for our points of view. (shrink)

Este trabajo aborda el estado actual de la cuestión en el ámbito de la computación teórica desde una perspectiva especialmente dirigida a lectores no expertos y con una clara vocación filosófica. En la primera parte, secciones 1 a 4, se ofrecen algunas de las claves para entender la importancia de la Teoría clásica de la Computación extrayendo conclusiones filosóficas de fundamental importancia para entender el nacimiento de la I.A. En su segunda parte se analizan los nuevos modelos propuestos haciendo balance (...) de sus dificultades y su interés relativo. (shrink)

The neuroethics field emerged in the early 2000s in an effort to face important philosophical dilemmas and anticipate disruptive social changes linked to the use of neurotechnology (Safire, 2002). From very early on, this field grew out of two core issues, namely inquiries into the ethics of neuroscience –concerning the moral use of knowledge and technology– and inquiries into the neuroscience of ethics –on how new brain function evidence can change human self-understanding (Roskies 2002). Similarly, neurolaw is now on a (...) parallel path with two main pillars as Chandler (2018) suggested, (1) “self-reflexive inquiry” (the neuroscience of law) and (2) “inquiry into the development and use of brain science and technologies” (the law of neuroscience). In this paper, I suggest that these two lines of research are still excessively disconnected from one another and, to support this claim, I analyze the three potential point-of-no-return risks that Aldous Huxley associated with technological challenges, namely centralization of power, bureaucratic alienation, and scientific idealism. In addition, I show how Huxley shifted analysis of technological problems from a focus on the rights of potential victims to the duties of potential aggressors. Finally, I argue that Aldous Huxley’s view on how to build a bridge that brings pillars 1) and 2) closer together also helps prevent the technological point-of-no-return. According to Huxley, the key is found in paying particular attention to understanding contemplative activity, reinforcing its role in the study of reality, and, eventually, returning the romantic gaze updated to academia. (shrink)

La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil a aquellos (...) que desean prestar alguna atención a estos asuntos y carecen de la base técnica o histórica que se precisa. En primer lugar se ofrece un resurnen de los principales problemas relacionados con la Tesis de Turing-Church para ofrecer a continuación información sobre sus aspectos más controvertidos. Se proponen algunos problemas no resueltos y se analiza su relevancia filosófica.Computer Science is a field specially rich for philosophical inquiry. Mechanism and the discussion around foundations of mathematics are topics directly asociated to Computer Science for its very constitution as an independent discipline. Church-Turing Thesis is one of the most characteristic results in this field and is plenty of philosophical consequences. In this article I offer a referenee guide useful for those who are willing to pay some attention to these matters and ignore the technical and historical basis needed for this task. I resume the main topics related to Church-Turing Thesis and give some informationabout the most controversial aspects of this subject. Some open questions are settled for further investigation paying special attention to their philosophical importance. (shrink)

La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil a aquellos (...) que desean prestar alguna atención a estos asuntos y carecen de la base técnica o histórica que se precisa. En primer lugar se ofrece un resurnen de los principales problemas relacionados con la Tesis de Turing-Church para ofrecer a continuación información sobre sus aspectos más controvertidos. Se proponen algunos problemas no resueltos y se analiza su relevancia filosófica.Computer Science is a field specially rich for philosophical inquiry. Mechanism and the discussion around foundations of mathematics are topics directly asociated to Computer Science for its very constitution as an independent discipline. Church-Turing Thesis is one of the most characteristic results in this field and is plenty of philosophical consequences. In this article I offer a referenee guide useful for those who are willing to pay some attention to these matters and ignore the technical and historical basis needed for this task. I resume the main topics related to Church-Turing Thesis and give some informationabout the most controversial aspects of this subject. Some open questions are settled for further investigation paying special attention to their philosophical importance. (shrink)

Este trabajo constituye una revisión de los contenidos, orientación y objetivos de una parte significativa de los manuales de lógica elemental de las décadas de 1960 y 1970 redactados por autores españoles. En concreto, analizamos los prólogos, los rudimentos prerios, y la presentación de los distintos cálculos gue aparecen en tales obras. EI estudio de la semántica, los contenidos metatcóricos o las extensiones de Ia lógica elemental quedan para una segunda etapa de esta investigacion.This work is a critical examination of (...) contents, orientation, and goals of a significative portion of elementary spanish logic textbooks in the 60’s and 70’s. It is centered on an analysis ofprefaces, preliminaries and the different kinds of calculi appearing in these books. Topics, like semantics, metatheory or extensiones of elementary logic, are left for futrher analysis. (shrink)

En este estudio analizamos dos tendencias claramente distintas y contrapuestas en la forma de impartir cursos elementales de Lógica en la formación superior. Para este propósito, se ha seleccionado una muestra de manuales angloamericanos clásicos, así como otra más pequeña de la tradición iberoamericana para comprobar nuestras hipótesis. Los estilos identificados y analizados en dichos manuales son lo que hemos denominado lógica matemática y lógica para filósofos. En ambos casos se trata de tendencias muy generales reconocibles en las más diversas (...) tradiciones locales. El periodo analizado, 1940-1980, responde al proceso de introducción de la Lógica contemporánea en el ámbito académico occidental. (shrink)

In recent years, the term populism has become indeed popular. Among its variants, a very particular one stands out. It is the so-called managerial populism, in which prominent businessmen have entered the arena of politics with a program focused on the regeneration of economic and social life. Donald Trump, perhaps, has been the most outstanding example. In this article, our aim is to analyze this phenomenon of managerial populism, addressing a number of issues. Firstly, we will discuss the emergence of (...) a certain type of charismatic leadership in business or management ideologies as a development that largely precedes the consolidation of these figures in the political scene; the implications of these ideologies in the political and social sphere; and the importance of the forms of discursive use of the concept of people in these popular discourses. (shrink)

El objetivo de este artículo es explorar las relaciones entre la religión católica y la kultura en Timor-Leste desde una perspectiva histórica y antropológica. Pretendemos mostrar que la relación entre ambas se produce mediante una tensa coexistencia y que no se trata apenas de un sincretismo, resultado de la mezcla de elementos tomados de ambas. Para ello veremos cómo ambos regímenes de creencias se apropian de conceptos ajenos a su liturgia y los resignifican representándolos desde sus propios principios cosmovisvos. Veremos (...) también, mediante un análisis del discurso de un especialista ritual, cómo éste manipula activamente entidades no-humanas de ambos regímenes de creencias, reensamblándolos de un modo que le beneficia, con el objetivo de reforzar su posición en la jerarquía social. Así, mostramos cómo el análisis del enrolamiento de este tipo de entidades en el discurso se hace fundamental para entender los mecanismos de adquisición y distribución de poder en el país. (shrink)

Este trabajo constituye una revisión de los contenidos, orientación y objetivos de una parte significativa de los manuales de lógica elemental de las décadas de 1960 y 1970 redactados por autores españoles. En concreto, analizamos los prólogos, los rudimentos previos, y la presentación de los distintos cálculos que aparecen en tales obras. El estudio de la semántica, los contenidos metateóricos o las extensiones de la lógica elemental quedan para una segunda etapa de esta investigación.

Leon Henkin (1921–2006) was not only an extraordinary logician, but also an excellent teacher, a dedicated professor and an exceptional person. The first two sections of this paper are biographical, discussing both his personal and academic life. In the last section we present three aspects of Henkin’s work. First we comment part of his work fruit of his emphasis on teaching. In a personal communication he affirms that On mathematical induction, published in 1969, was the favourite among his articles with (...) a somewhat panoramic nature and not meant exclusively to specialists. This subject is covered in the first subsection. Needless to say that we also analyse Henkin’s better known contribution: his completeness method. His renowned results on completeness for both type theory and first order logic were part of his thesis, The Completeness of Formal Systems, presented at Princeton in 1947 under the advise of Alonzo Church. It is interesting to note that he obtained the proof of completeness for first order logic readapting the argument for the theory of types. The last subsection is devoted to philosophy. The work most directly related to philosophy is an article entitled: Some Notes on Nominalism which appeared in the Journal of Symbolic Logic in 1953. Unfortunately, we are not covering his contribution to the field of cylindric algebras. As a matter of fact, Henkin spent many years investigating algebraic structures with Alfred Tarski and Donald Monk, among others. (shrink)

Este ensayo ofrece un análisis crítico del último argumento que el matemático y filósofo Roger Penrose ofrece a favor de la tesis según la cual hay habilidades de la mente humana que nunca podrán ser igualadas por ingenio mecánico alguno. Al mismo tiempo se ofrece una descripción general de los últimos episodios del eterno enfrentamiento entre mentalismo y mecanicismo y se concluye con una sugerencia acerca de los puntos en los que cabe esperar nuevas situaciones de tensión entre estos dos (...) grandes paradigmas. Este trabajo pretende, además, mostrar la vigencia de un tipo de filosofía elaborada a partir de las herramientas de la ciencia moderna cuyos problemas son, no obstante, los del pensamiento filosófico tradicional. (shrink)

Psychological flexibility is a key concept of acceptation and commitment therapy. This factor has been linked with psychological wellbeing and associated factors, such as quality of life, in cancer patients. These and other positive results of acceptation and commitment therapy in cancer patients found in previous research could be enhanced by using mhealth tools. A three-arm randomized superiority clinical trial, with a pre-post-follow-up repeated measures intergroup design with a 1:1:1 allocation ratio is proposed. A hundred and twenty cancer patients will (...) be randomly assigned to one of the following interventions: face-to-face ACT + mobile application, face-to-face ACT, and Waitlist control group. The primary expected outcome is to observe significant improvements in psychological flexibility acceptance and action questionnaire- II in the face-to-face ACT + app group, after comparing baseline and post-treatment scores, and the scores will remain stable in the two assessment points, 3 and 6 months after the intervention. Secondary expected outcomes are significant increasing scores in quality of life and post-traumatic-growth, and significant decreasing scores in anxiety and depression, insomnia and fatigue at the same assessment points. Also, it is expected that the scores of this group will be higher than the scores of the face-to-face ACT group and the waitlist control group. This study aims to assess the efficacy of a combined intervention for psychological flexibility and associated symptoms in cancer patients. The results of this protocol may help to consider the use of acceptation and commitment therapy and mhealth applications in cancer settings as a valid therapeutic choice.Clinical Trial Registration[www.ClinicalTrials.gov], identifier [NCT05126823]. (shrink)

ENRIQUE BONETE: Neuroética práctica, Desclée de Brouwer, 2011, 192 pp.; JOSÉ MANUEL GIMÉNEZ AMAYA y SERGIO SÁNCHEZ-MIGALLÓN: De la Neurociencia a la Neuroética, Navarra, EUNSA 2010, 192 pp.; KATHINKA EVERS: Neuroética. Cuando la materia se despierta, Argentina- España, Katz, 2011, 208 pp.

Shared intention normally leads to joint action. It does this, it is commonly said, only because it is a characteristically stable phenomenon, a phenomenon that tends to persist from the time it is formed until the time it is fulfilled. However, the issue of what the stability of shared intention comes down to remains largely undertheorized. My aim in this paper is to remedy this shortcoming. I argue that shared intention is a source of moral and epistemic reasons, that responsiveness (...) to such reasons on the part of each individual reinforces her own relevant attitudes, and that this enhances the stability of the shared intention as a whole. We thus discover an important self-reinforcing and stability-enhancing mechanism at the heart of shared intention and action. It follows from this proposal that the psychological commitment that an individual exhibits in joint action is normally a function not only of her own participatory intention, as often maintained, but also of her endorsement of the reasons created by her group’s shared intention to so act. (shrink)

Esta obra se abre con una introducción histórica, no heleno ni eurocéntrica, en la que se reinterpretan los sistemas éticos en la historia mundial, hasta situar la problemática en la Modernidad dentro del sistema-mundo como proceso de globalización que simultáneamente excluye a la mayoría de la humanidad. En la primera parte se aborda una crítica a las morales formales (Kant, Rawls, Apel, Habermas) desde un principio material o de contenido con pretensión de universalidad; el deber de producir, reproducir y desarrollar (...) la vida humana en comunidad. El principio de factibilidad ética, por su parte, permite que el cumplimiento del acto, institución o sistema de eticidad pueda tener la pretensión de bondad. En la segunda parte, desde la imposibilidad de que dicho acto, institución o sistema de eticidad «buenos» pueda tener pretensión de perfección acabada, se descubren los que «sufren» en su corporalidad vulnerable la imposibilidad de vivir, el hecho de ser excluidos. Se trata de las víctimas, al decir de Marx, Horkheimer, Benjamin, Nietzsche, Freud o Lévinas. Desde las víctimas comienza propiamente el discurso de la Ética de la Liberación, en su nivel negativo material (deben poder vivir), en el principio discursivo crítico (deben poder participar en la argumentación), todo lo cual culmina en el principio crítico negativo de la factibilidad: el principio-liberación que inspira las transformaciones con pretensión de justicia. (shrink)

Este nuevo volumen de "Estudios Interdisciplinares" reúne diversas reflexiones que abordan el problema de lo natural y de lo artificial en el marco de la cultura humana. Lo natural y lo artificial son siempre parte de la naturaleza real. Pero la acción humana debe ser creadora de cultura y, por ello, tanto su vinculación a la naturaleza como su acción creadora de un mundo de artefactos posibles deben estar siempre al servicio de la especie humana, es decir, al servicio de (...) la calidad existencial y de la dignidad del hombre. (shrink)

How do modal expressions determine which possibilities they range over? According to the Modal Anchor Hypothesis (Kratzer in _The language-cognition interface: Actes du 19_ _e_ _congrès international des linguistes_, Libraire Droz, Genève, 179–199, 2013 ), modal expressions determine their domain of quantification from particulars (events, situations, or individuals). This paper presents novel evidence for this hypothesis, focusing on a class of Spanish relative clauses that host verbs inflected in the subjunctive. Subjunctive in Romance is standardly taken to be licensed only (...) in a subset of intensional contexts. However, in our relative clauses, subjunctive is exceptionally licensed in extensional contexts. At the same time, the interpretation of these relative clauses still involves modality, a type of modality that targets the goals of the agent of the main event. We argue that the pattern displayed by these relative clauses follows straightforwardly if subjunctive is associated with a modal operator that, like modal indefinites (Alonso-Ovalle and Menéndez-Benito in _Journal of Semantics_ 35(1):1–41, 2017 ), can project its domain from a volitional event. Overall, our proposal supports the event-based analysis of mood (Kratzer in Evidential mood in attitude and speech reports. Talk delivered at the 1st Syncart Workshop, Siena, July 13, 2016 ; Portner and Rubinstein in _Natural Language Semantics_ 28:343–393, 2020 ) and extends its application beyond attitudinal and modal complements. (shrink)

The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.