The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose an automata-theoretic model checking algorithm for (...) DTL. To this end, we propose a notion of distributed transition system that will be used to specify the system to be verified. The properties that the system should meet are specified in DTL. In order to capture the models of these properties, we propose the notions of generalized distributed Büchi automaton and of distributed Büchi automaton. With these concepts, we are able to adapt results from automata-theoretic approaches to model checking in LTL to the distributed case. (shrink)

Understanding Computers and Cognition presents an important and controversial new approach to understanding what computers do and how their functioning is related to human language, thought, and action. While it is a book about computers, Understanding Computers and Cognition goes beyond the specific issues of what computers can or can't do. It is a broad-ranging discussion exploring the background of understanding in which the discourse about computers and technology takes place. Understanding Computers and Cognition is written for a wide audience, (...) not just those professionals involved in computer design or artificial intelligence. It represents an important contribution to the ongoing discussion about what it means to be a machine, and what it means to be human. Book jacket. (shrink)

El objetivo propuesto en el siguiente trabajo es elucidar cómo desde la finitud de la existencia puede establecerse la problemática de la temporalidad dentro del entramado de pensamiento de Martin Heidegger. Para ello realizaremos un análisis de la conferencia de 1924 Der Begriff der Zeit, uno de los textos que allanan el camino a Sein und Zeit, en lugar de centrar la investigación en la considerada obra magna de Heidegger. Una reflexión acerca de este texto previo permitirá avanzar en el (...) análisis de la existencia al mostrar cómo el tiempo está arraigado en la existencia individual, no como un solipsismo, sino como apertura de posibilidades respecto del mundo (a la postre compartido con los otros). Una descripción fenomenológica de la muerte posibilitará la apertura al mundo, definiendo una temporalidad existencial que incluye no sólo al instante presente, sino también al pasado (concebido bajo la forma del «haber-sido») y al futuro. (shrink)

El pensamiento de María Zambrano emerge, en la distancia histórica, bajo la imagen, siempre sugerente, de una Antígona contemporánea. Como ella asiste al conflicto trágico de una Guerra Civil; como ella apura el cáliz del sufrimiento y la soledad para hacer emerger una conducta ética y moral que sirva de Guía a sus contemporáneos, en un momento de crisis y confusión. Todas las grandes nociones del pensamiento zambraniano (sueño, confesión, guía, alba y aurora) se dan cita en esta máscara, pero (...) será el personaje galdoniano de la Nina de Misericordia, como aspiración pura nunca lograda, el verdadero motor que revela la personalidad de María Zambrano, tal como la vemos florecer en sus obras finales, Aurora, Claros del bosque y, sobre todo, Los bienaventurados. (shrink)

As public administrations adopt artificial intelligence (AI), we see this transition has the potential to transform public service and public policies, by offering a rapid turnaround on decision making and service delivery. However, a recent series of criticisms have pointed to problematic aspects of mainstreaming AI systems in public administration, noting troubled outcomes in terms of justice and values. The argument supplied here is that any public administration adopting AI systems must consider and address ambiguities and uncertainties surrounding two key (...) dimensions: the algorithms’ results, and how public managers make decisions for and about AI systems’ design. The article is based on bibliographic research in institutional theory perspective that relates the design of AI systems and relevant literature on the decision-making process in public policy. The main finding is to explain why autonomous decision systems continue to reproduce ambiguities and uncertainties when applied in public administration and propose a reflection on AI governance in public administration. This article points to the need for design institutions that immerse themselves in understanding the nuances, details, and potential outcomes of AI governance for public administration. Such institutions would reconcile consequentialist logic with a logic of appropriateness to help navigate and mediate ambiguities and uncertainties. (shrink)

Forsyth’s (1980) Ethics Position Questionnaire and Hunt et al.’s (1989) Corporate Ethical Value Questionnaire are used to examine the ethical ideologies of senior managers from organizations listed in the Australian Stock Exchange. The results indicate how corporate ethical values, religion, gender, and age are related to the idealism and relativism of senior Australian managers. After discussing the results, limitations of the study are offered. Finally, managerial implications are provided and recommendations for future research are given.

Subjective and psychophysiological emotional responses to music from two different cultures were compared within these two cultures. Two identical experiments were conducted: the first in the Congolese rainforest with an isolated population of Mebenzélé Pygmies without any exposure to Western music and culture, the second with a group of Western music listeners, with no experience with Congolese music. Forty Pygmies and 40 Canadians listened in pairs to 19 music excerpts of 29–99 s in duration in random order (eight from the (...) Pygmy population and 11 Western instrumental excerpts). For both groups, emotion components were continuously measured: subjective feeling (using a two- dimensional valence and arousal rating interface), peripheral physiological activation, and facial expression. While Pygmy music was rated as positive and arousing by Pygmies, ratings of Western music by Westerners covered the range from arousing to calming and from positive to negative. Comparing psychophysiological responses to emotional qualities of Pygmy music across participant groups showed no similarities. However, Western stimuli, rated as high and low arousing by Canadians, created similar responses in both participant groups (with high arousal associated with increases in subjective and physiological activation). Several low-level acoustical features of the music presented (tempo, pitch, and timbre) were shown to affect subjective and physiological arousal similarly in both cultures. Results suggest that while the subjective dimension of emotional valence might be mediated by cultural learning, changes in arousal might involve a more basic, universal response to low-level acoustical characteristics of music. (shrink)

We introduce a herbrandized functional interpretation of a first-order semi-intuitionistic extension of Heyting Arithmetic and study its main properties. We then extend the interpretation to a certain system of second-order arithmetic which includes a (classically false) formulation of the FAN principle and weak König's lemma. It is shown that any first-order formula provable in this system is classically true. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.

For thousands of years, people have used nature to justify their political, moral, and social judgments. Such appeals to the moral authority of nature are still very much with us today, as heated debates over genetically modified organisms and human cloning testify. _The Moral Authority of Nature_ offers a wide-ranging account of how people have used nature to think about what counts as good, beautiful, just, or valuable. The eighteen essays cover a diverse array of topics, including the connection of (...) cosmic and human orders in ancient Greece, medieval notions of sexual disorder, early modern contexts for categorizing individuals and judging acts as "against nature," race and the origin of humans, ecological economics, and radical feminism. The essays also range widely in time and place, from archaic Greece to early twentieth-century China, medieval Europe to contemporary America. Scholars from a wide variety of fields will welcome _The Moral Authority of Nature_, which provides the first sustained historical survey of its topic. Contributors: Danielle Allen, Joan Cadden, Lorraine Daston, Fa-ti Fan, Eckhardt Fuchs, Valentin Groebner, Abigail J. Lustig, Gregg Mitman, Michelle Murphy, Katharine Park, Matt Price, Robert N. Proctor, Helmut Puff, Robert J. Richards, Londa Schiebinger, Laura Slatkin, Julia Adeney Thomas, Fernando Vidal. (shrink)

It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system F at, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier. The faithfulness of the embedding was established quite recently via a model-theoretic argument based in Kripke structures. In this paper we present a purely proof-theoretic proof of faithfulness. As an application, we give a purely proof-theoretic proof of the disjunction property of the (...) intuitionistic propositional logic in which commuting conversions are not needed. (shrink)

In this essay we explain some of the problems of the Venezuelan criminal justice sub-system and, in general, the criminal law enforcement. That is to say, that which is expressed in the persecutory actions of the investigating authorities and the criminal courts, after having established in Venezuela a Carl Schmitt concept of Dual State with the purpose of eliminating “bourgeois” democracy and implanting the model of so-called Socialism of the XXI Century. In this sense, it is a question of identifying (...) the flagrant persecution and violation of human rights of those who do not have the capacity to resist the attacks emanating from the State in the abusive use of coercion and legal violence. With the Dual State want to impose an utopia by force, which leads to dystopia, due to the division and polarization of society with the dichotomous politics of friend-enemy, In a process of etiquette and "demonization" of the enemy. (shrink)

This book provides methods and practical cases and experiences with the aim of stimulating Responsible Research and Innovation through the direct engagement of researchers, Civil Society Organisations, citizens, industry stakeholders, policy and decision makers, research funders and communicators. The book furthermore aims to advance debate on Responsible Research and Innovation and also to reinforce the RRI community identity. With chapters covering governance, public engagement and inclusion in responsible R&D and innovation processes; RRI actions in science education and communication; gender and (...) ethical issues in RRI initiatives; and sustainability of RRI processes, the book is solidly part of the Europe 2020 strategy to promote a vision for a stronger collaborations between social, natural and physical scientists and the societal actors for a wider dimensions of science and innovation and the role in environmental preservation. (shrink)

Many professionals, mainly scientists have told me that a divine being is not necessary to explain why there is something rather than nothing. Theology and even metaphysics are redundant disciplines, they say. To me to reject a discipline a priori is irrational, whereas the methodology of science itself is basically rational. Why do Newton's equations say time is symmetrical, Einstein's relativity and quantum mechanics say time is an illusion and now Smolin says time is reborn - the present moment is (...) a fundamental aspect of reality. Why has matter been the carrier of reality over centuries, then matter dissolves away becoming an ephemeral quantum activity and now information is the carrier of reality? The laws of physics were presumed to be eternal, now Smolin says they are evolving like in biology - natural selection. Why do cosmologists like Brian Greene and Leonard Susskind postulate that there are nearly infinite number of replicas of each and every one of us - doppelgangers - in an infinite number of universes when the gut feeling of each and every one of us that we are unique in this universe? For Newton, gravity was an instantaneous attraction between two masses, for Einstein it was an inherent potential even with a single mass. For Einstein, gravity acts at the speed of light. Plato says that what is observed is phenomena. Reality resides in Platonic Forms. Descartes says that knowledge is acquired through perception and deduction. No reality without the mind. Kant synthesized rationalism and empiricism. Knowledge can be derived without empirical observation. Free will touches almost everything that human beings value. But many scientists postulate that free will is an illusion. Christian theology posits that God created the universe out of nothing. Cosmologists also now say the same thing, but the definition of 'nothing' is disputed. Christian theology once postulated that there is no salvation outside the Church. Now it is not so. Why these confusions? Why these contradictions? On the present methodology of acquisition of knowledge, answers may never be possible. The Theory of Everything (TOE) is more a distant dream than reaching for the stars. However, the discipline of Zygology which is introduced into the academia, a rational explanation why this is not possible has been postulated. Knowledge is holistic - a seamless web runs through all disciplines. Necessity of a new epistemology of reality and existence is inevitable....Zygology may have the answers!". (shrink)

Are judgments of praise for moral behavior modulated by knowledge of an agent's past suffering at the hands of others, and if so, in what direction? Drawing on multiple lines of research in experimental social psychology, we identify three hypotheses about the psychology of praise — typecasting, handicapping, and non-historicism — each of which supports a different answer to the question above. Typecasting predicts that information about past suffering will augment perceived patiency and thereby diminish perceived agency, making altruistic actions (...) seem less praiseworthy; handicapping predicts that this information will make altruistic actions seem more effortful, and hence more praiseworthy; and non-historicism predicts that judgments of praise will be insensitive to information about an agent's experiential history. We report the results of two studies suggesting that altruistic behavior tends to attract more praise when the experiential history of the agent involves coping with adversity in childhood rather than enjoying prosperity (Study 1, N = 348, p = .03, d = 0.45; Study 2, N = 400, p = .02, d = 0.39), as well as the results of a third study suggesting that altruistic behavior tends to be evaluated more favorably when the experiential history of the agent includes coping with adversity than in the absence of information about the agent's past experience (N = 226, p = .002). This pattern of results, we argue, is more consistent with handicapping than typecasting or non-historicism. (shrink)

O desengano de Garrett.--A desilusão de Herculano.--A descrença de Soriano.--O pessimismo de Oliveira Martins.--A penitência de Ramalho.--A ironia de Eça de Queiroz.--O te0temunho de Antero.--A contrição de Fialho.--Concêrto de acusações.--Apêndice.

El desplazamiento del centro de gravedad de la economía mundial hacia Asia, la transición geopolítica hacia un sistema multipolar cuya principal variable es la rivalidad entre Estados Unidos y China por el dominio del Asia marítima, y el desafío que plantea a la identidad universalista europea el auge de un continente cuyos valores culturales y concepción de la política se apoyan en otras perspectivas, sitúan a Europa ante un escenario inédito pero que condicionará en buena medida su futuro. El ascenso (...) de Asia reduce el peso relativo de Europa, pero le obliga asimismo a reorientar su estrategia económica y geopolítica si no quiere verse marginada en la reconfiguración en curso del orden internacional. (shrink)

The present article presents brief notes on the "new thought" of the German philosopher Franz Rosenzweig, in the work The Star of Redemption, with the exposure of reason and its totalitarian and violent vocation, which, since Antiquity until Modernity, was based on the tireless search for knowledge of the All, in its essence, with the formulation of concepts, in a closed experience. In contrast, the philosopher from Kassel points out his proposal for a new philosophical system, with a vocabulary similar (...) to the one found in Jewish theology, even being confused with theological thought, which revealed an alternative analysis of experience (open, dynamic, relational and in time), the construction of a plural reason, admitting and respectingplurality. (shrink)

El siguiente artículo ofrece un resumen de la panorámica descrita por Jean Luis Benoît acerca de la percepción actual de Alexis de Tocqueville en Francia [2009]. Sus apreciaciones hallan complemento en el relato de algunas circunstancias relacionadas con la primicia de la edición de la carta que dirigió a su hermano Edouard, el 20 de junio de 1831 desde Nueva York, inédita hasta marzo de 2013. Finalmente se ofrece una versión en inglés de la misma, probablemente en primicia, de modo (...) que todo el mundo pueda acceder a ella en cualquiera de sus tres versiones: francés, español o inglés. (shrink)

A lo largo de la última década, China ha asumido un creciente protagonismo con respecto a la reforma de las estructuras de la gobernanza global. Su discurso e iniciativas revelan su preferencia por un orden que reconozca un mayor peso a los países en desarrollo frente a Occidente, pero que al mismo tiempo resulte favorable a sus específicos intereses nacionales. Las dimensiones adquiridas por la economía china y las cada vez más explícitas ambiciones internacionales de sus dirigentes obligan a preguntarse (...) por sus intenciones y agenda, así como por el impacto de la transformación que pretende. Aunque no resulta plausible que China suceda a Estados Unidos al frente del sistema multilateral, sí puede emerger un nuevo orden híbrido o pluralista. (shrink)

. In this paper we purport to qualify the claim, advanced by Appelbaum that speech perception research, in the last 70 years or so, has endorsed a view on the nature of speech for which no evidence can be adduced and which has resisted falsification through active ad hoc “theoretical repair” carried by speech scientists. We show that the author’s qualms on the putative dogmatic status of speech research are utterly unwarranted, if not misconstrued as a whole. On more general (...) grounds, the present article can be understood as a work on the rather underdeveloped area of the philosophy and history of Linguistics. (shrink)

Resenha de: Fernandes, Simone. Subjetividade e dominação. A filosofia de Nietzsche na teoria crítica de Horkheimer nos anos 1930 e 1940. Santo André: EdUFABC, 2022.

We formulate schemes and of the “typical” ∀∑ 1 b -sentences that are provable in T 2 1, respectively T 2 2. As an application, we reprove a recent result of Buss and Krajíček which describes witnesses for the ∀∑ 1 b -sentences provable in T 2 1 in terms of solutions to PLS-problems.

Teniendo como trasfondo el problema de una democracia intercultural, el artículo parte de la constatación de que tanto en las obras de Jürgen Habermas como en la de Ernesto Laclau y Chantal Mouffe, respectivamente, el pluralismo requiere ser limitado en las democracias modernas, sea restringiendo en cada caso los valores al ámbito de nuestras tradiciones, como imponiendo unos valores sobre otros en el espacio público. De este modo, quedan dificultadas las políticas interculturales en dichas concepciones de la democracia. Enseguida, el (...) artículo argumenta acerca de la permeabilidad de normas y valores, y sobre la posibilidad de una conversación hermenéutica, la cual no requiere una convención previa acerca de cómo dirimir las diferencias, y en la que los acuerdos se van generando a través del trascurso de la propia conversación. (shrink)

Morality is a normative system of guidance that figures into practical reason by telling people what to do in various situations. The problem, however, is that morality has inherent gaps that often render it inefficacious. First, it may be indeterminate due to the high level of generality in which its principles are formulated. Second, moral terms such as ‘good’ and ‘right’ may be so vague that they fail to specify the requisite behavior. And third, its subjective aspect, which is a (...) product of personal experience, generates moral disagreement and thereby creates coordination problems that frustrate society’s collective moral aims. The objective of this article is to advance the thesis that morality must sometimes depend on law as a supplementary source of practical reason, a dependence which can be explained in terms of three essential features of law: its institutional character, its claim to authority, and its status as a second-order exclusionary reason for action. It shall then be explained how these three features enable law to make difficult decisions on behalf of individuals, define objective standards of conduct, and solve coordination problems, respectively, and in doing so, manage to fill in the gaps of morality mentioned above. Hence, it will be argued that law is also a normative system that helps people achieve their moral aims, notwithstanding the fact that it guides human behavior through a different logic and mode of operation from those of morality. (shrink)

This paper makes two main claims. Firstly, it imputes to Parmenides a misconception rooted in an erroneous theory of the meaning of sentences. In Parmenides' hands, this theory took the extreme form not only of being unable to make sense of falsehoods, but also of being unable to make sense of true negative predications. Secondly, it claims that Plato's double theory of "limited mixing" plus "negation as otherness" - as expounded in the Sophist - is a theory still within the (...) bounds of Parmenides' overall erroneous framework, although one which is successful at making sense of true negative predications. (shrink)

In finite type arithmetic, the real numbers are represented by rapidly converging Cauchy sequences of rational numbers. Ulrich Kohlenbach introduced abstract types for certain structures such as metric spaces, normed spaces, Hilbert spaces, etc. With these types, the elements of the spaces are given directly, not through the mediation of a representation. However, these abstract spaces presuppose the real numbers. In this paper, we show how to set up an abstract type for the real numbers. The appropriateness of our construction (...) works in tandem with the bounded functional interpretation. (shrink)

El presente artículo, sin mayores pretensiones teóricas, intenta presentar tres coordenadas filosóficas sobre el sujeto moderno que se hicieron cargo de las consecuencias del debate en torno a la modernidad/postmodernidad desde Latinoamérica y Chile. Pablo Oyarzún, Martín Hopenhayn y Eduardo Sabrovsky, representan un intento por comprender esta situación en la perspectiva histórico- crítica de la filosofía contemporánea.