In this work, we study Hilbert-style proof systems for logics based on the data-aware language CoreDataXPath(↓) where the comparison relation between nodes is not necessarily an equivalence relation. We give a sound and complete axiomatization of the class of tree-like Kripke frames endowed with a general comparison relation between nodes. Modular extensions of this axiomatization are also discussed, including cases where the comparison relation is reflexive, symmetric, transitive and an equivalence. A notable highlight that we recover an axiomatization for CoreDataXPath(↓) (...) over any data-tree when the comparison is by ‘equal data’. Moreover, we prove that all these systems are decidable by leveraging the finite model property of their corresponding frame classes. (shrink)

In this work, we study Hilbert-style proof systems for logics based on the data-aware language CoreDataXPath(↓) where the comparison relation between nodes is not necessarily an equivalence relation. We give a sound and complete axiomatization of the class of tree-like Kripke frames endowed with a general comparison relation between nodes. Modular extensions of this axiomatization are also discussed, including cases where the comparison relation is reflexive, symmetric, transitive and an equivalence. A notable highlight that we recover an axiomatization for CoreDataXPath(↓) (...) over any data-tree when the comparison is by ‘equal data’. Moreover, we prove that all these systems are decidable by leveraging the finite model property of their corresponding frame classes. (shrink)

The problem of deviant causation has been a serious obstacle for causal theories of action. We suggest that attending to the problem of deviant causation reveals two related problems for causal theories. First, it threatens the reductive ambitions of causal theories of intentional action. Second, it suggests that such a theory fails to account for how the agent herself is guided by her reasons. Focusing on the second of these, we argue that the problem of guidance turns out to be (...) related to a number of other issues in the literature on action explanation, and that it is much more general: it threatens not only causal theories but any theory of action. Finally, we suggest that a certain version of the view that acting has a constitutive or formal aim can overcome this problem. (shrink)

There has been a growing interest within analytic philosophy in addressing political and social issues, which has been referred to as the “political turn” in the discipline. The aim of this paper is twofold. First, it discusses the very characterization of the political turn. In particular, it introduces the definition proposed by Bordonaba-Plou, Fernández-Castro, and Torices, suggests that we should not consider the turn a form of activism, and explores an additional benefit of the ideal/nonideal distinction for characterizing the turn. (...) Second, it addresses the concern of what attitude we should take in the face of the different sensitivities we might have with respect to what constitutes an injustice. Which philosophical works should count as part of the political turn? The paper explores three different attitudes toward this dilemma, and favors what it calls the revisionist attitude, which emphasizes the fact that our perception of injustice is subject to error. (shrink)

A short presentation of Buddhist moral doctrines according to its distinct schools.

A short reconstruction of the vicissitudes of the notion of ethical naturalism through American late nineteenth-century 'naturalism', Moore criticism of so-called naturalistic ethics, reaching Anscombe, Geach and Foot and their particular kind of anti-non-naturalism. The conclusion is that the notion of ethical naturalism is little more than a mere 'flatus vocis' used to indicate three heterogeneous kinds of ethical theories.

A short presentation of the moral doctrines inspired by the Confucian tradition.

A short reconstruction of the notion of phronesis in ancient Greek philosophy, the demise of the notion of prudence in modern philosophy and its rehabilitation by twwntieth-century neo-Aristotelianism.

A short reconstruction of the notion of passion in ancient ethics, its transformation in modern moral and political philosophy and its demise after the end of the eighteenth-century.

The genealogical deconstruction of the notion of "good" by F.Nietzsche in Genealogy of Morals highlights the arbitrariness of the Platonic unification of various kinds of good, a unification that is still shared by both objectivists and subjectivists. For the same reasons, the attempt of G.E. Moore and other neo-intuitionists to define a single property that is common to all uses of the term "good" and the specular denial of the existence of this property by the emotionalism of A.J. Ayer and (...) Ch.L. Stevenson perhaps debate a false problem. The revival of various forms of Aristotelianism has proposed again Aristotle's answer to Plato: when we say something is good, we want to know what is good, and the answer will be different for different goods. (shrink)

A short reconstruction of the story of eighteenth-century ethical rationalism followed bu the nineteenth century controversy between utilitarianism and the 'intuitive system' reaching Sidgwick, Moore and David Ross.

A short reconstruction of the method of casuistry in Medieval and early Modern moral theology.

A short reconstruction of the origins of the concept of metaphor, the early modern mistrust of metaphor in the name of univocal scientific language, the twentieth century rescue of the cognitive value of metaphor.

A short reconstruction of the Medieval and early modern idea of the analytic-syntetic method.

The results of Cubitt et al. on the spectral gap problem add a new chapter to the issue of undecidability in physics, as they show that it is impossible to decide whether the Hamiltonian of a quantum many-body system is gapped or gapless. This implies, amongst other things, that a reductionist viewpoint would be untenable. In this paper, we examine their proof and a few philosophical implications, in particular ones regarding models and limitative results. In more detail, we examine the (...) way these theorems model many-body quantum systems, and we question what, if anything, is the physical counterpart of the models used by Cubitt et al. We argue that these models are non-representational and that, even if they are so artificial that it is hard to imagine a physical system arising from them, they nonetheless offer an opportunity to learn about the world and the relation between mathematics and reality. On this basis, we draw the conclusion that their results do not undermine the reductionist viewpoint in a strong sense but leave the question open in a weak sense. (shrink)

In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power’s being. The actualist (...) requirement prescribed by the Frege-Quinean criterion of the quantification domain is thus fulfilled; indeed, really possible objects are not actual objects, but their possibility is actual. (shrink)

The discovery of F.M. Dostoyevsky by young E. M. Cioran marks a turning point for a better understanding of his first Romanian work and his later production in French. His first work, Pe culmile disperării [On the Heights of Despair] has a tragic breath, typically dostoyevskyan, which reminds us of the tragical and sick conscience of the hero of his Notes from the Underground.

A guerra civil iniciada no final de 2013 no Sudão do Sul causou, pela primeira vez na história das Nações Unidas, um afluxo gigantesco de deslocados internos para o interior de bases da Missão das Nações Unidas no Sudão do Sul, em busca de proteção. Assim, foram criados os Protection of Civilian Sites. Com a chegada de dezenas de milhares de pessoas em poucas semanas, houve um enorme crescimento nas demandas humanitárias e de segurança. Para prover a necessária proteção, foi (...) necessário o trabalho conjunto de militares, policiais e civis da UNMISS, que será apresentado nesse trabalho. (shrink)

This article echoes the calls for systemically revisiting the theo-ontology and epistemology from which discourses on ʾIslām and Islamic living are construed. It highlights some Qurʾānic ideas that could contribute to founding this endeavour and approaches revelation from the Qurʾānic semiotics of divine revelation. Despite referring to the Qurʾānic Text, this contribution is not exegetical. Contribution: This article represents a reflection on Islamic fundamental theology. Although the revelation of the Qurʾān has ended, the process of reading, interpreting, and living continues.

This paper reconstructs the explanation that Descartes offers about two diseases of the mind known in the seventeenth century: phrenitis and lethargy. For this aim, it is exposed, in the first place, how the Cartesian theory of mental representations give an account of the delusions and perceptual hallucinations of the madmen. Thus, Descartes's analysis of phrenitis and lethargy is presented, delving into the Cartesian theory of memory.

La revolución científica de los siglos XVI y XVII supuso una ruptura respecto a la ciencia aristotélica y a la magia renacentista que requirió de múltiples transformaciones tanto a nivel material como filosófico. De entre ellas cabe destacar los cambios sustanciales que fueron necesarios respecto al lenguaje técnico que debía explicar los fenómenos naturales. Ciertamente, la ciencia moderna tuvo que liberarse de los conceptos heredados de las tradiciones escolástica y hermética en tanto que estos eran incapaces de cuantificar de modo (...) útil los fenómenos, por lo que no representaban sino un lastre para la revolución científica en ciernes. En consecuencia, el nacimiento de la nueva ciencia requirió de un nuevo lenguaje de tipo matemático en el que los conceptos debían ser definidos de forma precisa y refirieran realidades perfectamente cognoscibles y explicables sin necesidad de apelar a dimensiones ocultas. El presente artículo analiza la crítica cartesiana al lenguaje escolástico y al lenguaje hermético así como los elementos fundamentales que, de acuerdo a la consideración cartesiana, debían caracterizar a un auténtico lenguaje científico para que fuera posible construir una nueva ciencia. (shrink)

Cartesian skepticism represents a fundamental element of the Cartesian method directed to find the metaphysical certainties that securely justify knowledge. Nonetheless, the Cartesian radical doubt has clearly defined limits insofar as it does not extend to the realm of vital praxis. The present paper develops the connection between Cartesian moral certainty and the notion of «practice of life» in order to show how Descartes’ methodological skepticism is framed in the academic tradition rather than in the Pyrrhonian one.

El presente artículo analiza la idea de “dominio de la naturaleza” que articula el proyectofilosófico y científico de Descartes. El objetivo es mostrar que Descartes establece límites en el dominioque el hombre puede ejercer sobre la creación, de forma que no se legitima el abuso de la naturaleza.Para este propósito, se analiza la idea de dominio en la escolástica y el Renacimiento. Posteriormente,se reconstruyen los argumentos empleados por Descartes sobre los que se limita el dominio del hombreal usufructo de la (...) naturaleza. (shrink)

No presente trabalho discutiremos a tese segundo a qual provas com diagramas são heterogêneas, i. e., envolvem casos de raciocínio visual. Em uma primeira seção, examinaremos o uso informal de diagramas de Venn em provas conjuntistas, procurando determinar em que sentido provas com diagramas seriam heterogêneas. Tais provas su-postamente envolveriam raciocínio visual no sentido em que a validade das inferências dependeria de características visualizáveis dos diagramas e não de regras de derivação. Em uma segunda seção, investigaremos quais seriam os aspectos (...) relevantes para a validade das inferências diagramáticas. A seguir, na terceira seção, argumentaremos que a concepção de provas diagramáticas como envolvendo essencialmente um elemento visual apresenta sérios problemas. (shrink)

It is necessary to reconsider P. M. S. Hacker’s assessment of Kant and Wittgenstein’s philosophical affinities and the question concerning Wittgenstein’s alleged use of “transcendental arguments”. First, Alfred Norman’s reading of the Tractatus Logico-Philosophicus as a thought experiment receives revision to develop a view of the Critique of Pure Reason as a large-scale thought experiment that shares important logical features with the Tractatus. Then the question is addressed whether the middle Wittgenstein and the pre-critical Kant employed any thought experiments that (...) could be equally characterised as “transcendental arguments”. A rational reconstruction of both thinkers’ arguments is carried out in the light of the contemporary literature on thought experimenting. The novelty and relevance of this approach is the emphasis laid upon a largely neglected affinity between Kant and Wittgenstein, namely the systematic use of thought experiments in their epistemological pursuits. The conclusions are: i) Wittgenstein’s and Kant’s magna opera can be seen as philosophical thought experiments that attempt to try out the limits of language and the limits of possible experience respectively; ii) Both philosophers developed arguments that can be designated as transcendental if only from a methodological standpoint; and iii) some key arguments put forward by the middle Wittgenstein in the determination of the structure of visual space could be characterised better as thought experiments than transcendental arguments. (shrink)

Resumen: Dada la multiplicidad de planos que acompañan a las observaciones de la actual pandemia, importa identificar aquellas que alcanzan una mayor resonancia. Así, observamos cómo los ciudadanos y los agentes de decisión han incrementado sus demandas de informaciones validadas por medio de la aplicación de la racionalidad, los métodos y los procedimientos de la ciencia de manera exponencial. En este trabajo desarrollamos en forma sintética un conjunto seleccionado de lineamientos sobre cómo se aborda la actual pandemia desde las ciencias (...) sociales sistémicas, para luego exponer algunas de sus propuestas respecto a las condiciones, a nivel organizacional, las cuales podrían permitir alcanzar los niveles de diálogo y cooperación requeridos para enfrentar la pandemia actual.: Given the multiplicity of perspectives that accompany the observation of the current pandemic, becomes relevant to identify those that achieve the greatest resonance. Thus, it is observed how citizens and decision makers have increased their demands for valid information by applying rationality, methods, and procedures of science in an exponential manner. In this paper we develop a synthetic set of selected guidelines on how the current pandemic is approached from systemic social sciences, and then present some of their proposals regarding the conditions, at the organizational level, which could enable the achievement of the levels of dialogue and cooperation required to address the current pandemic. (shrink)

En este trabajo se afirma que una descripción etnográfica no es una representación objetiva de la realidad - entendida como realidad objetiva -, sea ésta de tipo natural, social, histórico o cultural. Sino que es una ficción - entendida como composición lingüística - de elementos de la experienc..

The aim of this paper is both to present the model of shared decision making and to review if it is possible and positive to apply it to mental illness like schizophrenia. First, we show the main features of that clinic relationship. Second, we expose both some medical and some ethical aspects that endorse its applicability. Finally, we annotate some essential characteristics that a medical team should have to do that kind of care relationship.