In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers and (...) describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (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)

In this paper, I reply to Ruth Chang’s ‘What is so Hard about Hard Choices’.

many symbols. We define o, as the probability that an arbitrary machine be circular and we prove that o, is a random number that goes beyond..

This chapter contains sections titled: References.

We propose a review of the theoretical assumptions of Social Policy as autonomous and normative science, in his history, doctrinal plurality and institutional diversity, especially on the current model of the Welfare State. Also, we discuss the impact on the same issue of a new social question, the integral human development, at the beginning of XXI century, in relation with the “social Europe”, the welfare society and the globalization.

The purpose of the article is to discuss the cultural hindrances and assets that promote constructive self-to-others relationships and active citizenship. Building on Carl Schmitt’s friend-enemy distinction, we argue that in contemporary societies the public and the private dimensions of the enemy have conflated, as the result of two concurrent phenomena: the politicization of otherness and the privatization of enemies. An integrated framework including approaches of social psychology and semiotic cultural psychology is proposed to account for both phenomena. The notions (...) of symbolic universes and semiotic capital are introduced as key concepts to understand the current socio-political dynamics and to promote fairer, more inclusive societies. (shrink)

García Bacca inicia en 1936 un proyecto de filosofía actual, que marca la dirección del resto de su obra. Al giro copernicano añade una interpretación de la comprensión como “función trascendental de los sentimientos”. Propongo entender, en primer lugar, estas tesis como el núcleo duro del lugar hermenéutico desde el que García Bacca dialoga con Heidegger; y este diálogo, presente en su obra explícitamente hasta 1985, no como una interpretación al uso sino como ejemplo de su propia la práctica del (...) filosofar. En segundo lugar este artículo analiza la estrategia teórica de García Bacca, que propone una nueva ontología, de base antropológica, y conecta lo actual en filosofía con los cambios habidos en la fundamentación de las ciencias y las profundas modificaciones históricas. Un lugar especial ocupa el análisis del desmontar como modo de proceder constructivista y crítico de la filosofía actual que opone García Bacca al programa heideggeriano de destrucción de la metafísica. (shrink)

Este artículo explora dos vías filosóficas de acercamiento a las imágenes iniciadas el siglo pasado. La primera, que denominamos metafísica, fue abierta por Bergson y desarrollada por Deleuze. La segunda, que clasificamos como fenomenológica, es iniciada por Sartre y completada por Merleau-Ponty. La posición central que ocupa la imagen en estas teorías permite el desarrollo de una nueva ontología que resuelve los problemas del dualismo y en la que el cine desempeña un papel principal.

Esta investigación aborda un texto familiar: 1 Corin-tios 11,27-29, donde el apóstol Pablo habla de participar de la cena del Señor de forma digna. Comienza situando la correspondencia corin-tia en el contexto de la comunidad que recibe el texto original. Pablo, lejos de querer enfocarse en el mundo de lo introspectivo, exhorta a la incipiente comunidad corintia de seguidores del Señor a que viva, como ekklesia, según los valores del nuevo anfitrión, Jesús el Cristo, y no según las expectativas sociales (...) del entorno basadas en el honor y el privilegio. El estudio del banquete grecorromano, como institución, revela el cambio concreto que el apóstol espera de la comunidad corintia. (shrink)

First of all, in this paper we provide some clarifications on the several meanings of the term ‘ethics’, above all in the light of contemporary discussions on this matter. Then we analyze an important ethical concept, i.e. the concept of moral responsibility, for the sake of clarifying some problems concerning the human-robot relationship. Finally, we try to develop a well defined pattern of “ethics of responsibility” in order to give a general background for resolving concrete dilemmas that may arise in (...) the artificial world. (shrink)

In recent decades, memory studies in Colombia in relation to the internal armed conflict have become a point of reference for multidisciplinary work with collectives and communities, and are also an important topic on the state agenda. This article explores the remembering subjectivities, narrative marks and cultural trauma that emerge from the experiences and perspectives in a memory work Antiguo Espacio Territorial de Capacitación y Reincorporación (AETCR) de Pondores. In addition, the tensions involved in thinking about cultural trauma from subjects (...) marked by the exercise of armed violence are analyzed. For this purpose, a narrative analysis is developed that integrates thematic recurrences, expression of the experience, features of orality and structure of the story. The methods used to carry out this study include a participatory approach and life stories of reincorporated persons and the surrounding community in the context of the AETCR. The study focuses on the ways in which memory expressed narratively conceives practices such as forgiveness and coexistence as possible experiences, through the experiences and thoughts of the AECTR community. (shrink)

A questão sobre Deus em Aristóteles aparece na teoria sobre o primeiro motor imóvel, demonstrada no livro XII da Metafísica. Tudo o que se move é movido por outro. Entende Aristóteles que no universo há uma série indeterminada de motores e movidos. Todos os movimentos têm uma causa anterior. Mas, não é possível regredir ao infinito, pois todos e cada um sempre dependeriam de outro. Por esta razão, conclui o Estagirita que é necessário que exista um primeiro motor imóvel que (...) não seja movido por nenhum outro. Ora, se não existisse um primeiro motor absoluto, seria impossível o movimento gerado nos outros motores que compõem o universo. Neste estudo sobre a teoria aristotélica, que se tornou tradicional na teodiceia, apresentamos determinados passos da Metafísica com o auxílio de alguns comentadores sem, contudo, entrar em aporias importantes que o texto aristotélico vem suscitando entre os pesquisadores. (shrink)

More than 30 years after the fall of the soviet block and because of the social and political crisis that have occurred in various places of the world in recent years, there have been important political and academic debates about the meaning of the concept of communism. The current article attempts to contribute theoretically to this discussion by highlighting the different becomings within which communism can be understood in the actual context. Among those are the performative importance of the word (...) “communism” in political and symbolic terms; communism as a process that precedes and modulates capitalist development; communism as a specter and multiplicity; and the relationship of communism with new forms of capitalist exploitation and political subjectivity. (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)

Marsílio de Pádua (1280-1343) foi um pensador da Idade Média que escreveu duas obras de filosofia política que influenciaram a modernidade. Este estudo analisa o termo valencior pars, da obra Defensor Pacis. Marsílio parece definir essa parte preponderante como sendo a representação do conjunto dos cidadãos que não tem uma natureza débil. Isso sugere que a valencior pars é tanto qualitativamente superior quanto uma maioria numérica dos cidadãos. O apelo a uma mistura de considerações quantitativas e qualitativas era familiar no (...) contexto das eleições medievais da Igreja, que geralmente apoiava a parte maior e mais razoável (maior et saniors pars) das instituições eleitorais. Marsílio sugere que a valencior pars pode ser identificada com o costume honrado do governo, entretanto, parece que a mesma corresponde a qualquer parte da coletividade cuja decisão eleitoral é decisiva. Nesse sentido, o filósofo paduano está de acordo com a análise original de Aristóteles. Marsilius of Padua (1280-1343) was a philosopher of the Middle Ages who wrote two books of political philosophy that have influenced modernity. This study analyzes the term valencior pars in the Defensor Pacis. Marsilius appears to define this preponderant part of the population as representing that part of the citizenry who do not have a debilitated nature. This suggests that the valencior pars is a much a qualitatively superior as a numerically greater part of the citizenry. The appeal to a mixture of quantitative and qualitative considerations was familiar in the context of the medieval church, which habitually supported the greater and more reasonable part (maior et sanior pars) of electoral institutions. Marsilius also suggests, however, that the valencior pars can be identified with this honored custom of government. It seems then, that the valencior pars is whatever part of the citizenry whose electoral decision is decisive. In this, Marsilius is at one with Aristotle's original analysis. (shrink)

The cultivation of an organization’s moral resources has become a priority for many executives who understand that such resources are key to competitive advantage. Yet, traditional strategic management courses at both the undergraduate and MBA levels generally overlook these resources when discussing the resource-based view of the firm. We propose that moral resources be discussed in strategic management classrooms to provide additional insight for students about the critical nature of such resources. We also provide a simple tool for faculty to (...) use in the classroom to stimulate discussion and enhance student learning in this important area. (shrink)

In this article, we outline a unique conceptual framework connecting legitimacy types (Suchman, 1995), theories of corporate responsibility (Brummer, 1991), and levels of organizational moral development based on Kohlberg's (1971) moral development stages. In addition, based on Global Reporting Initiative (GRI) categories, we found empirical support for our framework, by content analyzing Fortune 500 corporate citizenship reports from four different industries (i.e., chemicals, motor vehicle/auto parts, pharmaceutical, and utilities), at three data points (i.e., 2002, 2007, and 2012). Our analysis indicates (...) that motor vehicle/auto parts and chemicals industries are at a higher developmental level, and portray moral legitimacy along with social demandingness corporate responsibility in recent years; while the pharmaceutical and utilities sectors are at a lower developmental level, showing signs of pragmatic legitimacy, alongside classical and stakeholder corporate responsibility strategies. This article contributes to the current organizational moral development literature by developing and finding empirical support of a conceptual framework of organizational moral development, legitimacy, and corporate responsibility. In particular, our findings provide a deeper understanding of the differences in moral development levels across four focal industries over a 10‐year timespan. (shrink)

El artículo tiene por objeto analizar la construcción del conocimiento mapuche según el discurso de kimches. Sostenemos que en la educación familiar existe un proceso de construcción de conocimientos propios como un sistema de saberes y contenidos educativos para la formación de personas. La metodología empleada es la investigación educativa. Los resultados parciales muestran una descripción acerca de la lógica de los conocimientos educativos propios, para contextualizar la enseñanza y el aprendizaje de las ciencias en el medio escolar, desde la (...) educación intercultural en contexto mapuche. The aim of this article is to analyze the construction of Mapuche knowledge based on the kimches speech. We argue that within family education, there exists a process of constructing their own knowledge, as a system of knowledge and educational contents for forming individuals. The research methodology applied corresponds to education research. Preliminary results describe the logic of individual educational knowledge from intercultural education in the Mapuche context, so as to contextualize the teaching and learning of Science in schools. (shrink)

En el presente trabajo nos aproximaremos a Gilles Deleuze problematizando lo que él llama potencias de lo falso. Para argumentar esto, buscaremos relacionar aquellas potencias con lo que el filósofo francés denomina caos-cosmos. En principio, consideraremos, como una guía para sostener aquella relación, la inversión del platonismo propuesta por Deleuze. Pues bien, quizá el problema que presentan las potencias de lo falso es el de la verdad en tanto producción. Será en este último sentido que sostendremos que se encontraría la (...) verdad de lo falso en la relación entre arte y pensamiento. (shrink)

Chromosomes are not randomly packed and positioned into the nucleus but folded in higher‐order chromatin structures with defined functions. However, the genome of a fertilized embryo undergoes a dramatic epigenetic reprogramming characterized by extensive chromatin relaxation and the lack of a defined three‐dimensional structure. This reprogramming is followed by a slow genome refolding that gradually strengthens the chromatin architecture during preimplantation development. Interestingly, genome refolding during early development coincides with a progressive loss of developmental potential suggesting a link between chromatin (...) organization and cell plasticity. In agreement, loss of chromatin architecture upon depletion of the insulator transcription factor CTCF in embryonic stem cells led to the upregulation of the transcriptional program found in totipotent cells of the embryo, those with the highest developmental potential. This essay will discuss the impact of genome folding in controlling the expression of transcriptional programs involved in early development and their plastic‐associated features. (shrink)

En este trabajo se examinan los escenarios sociales planteados por la pandemia de coronavirus desde la perspectiva de la Teoría de sistemas sociales. La indagación se realiza en dos pasos: en el primero de ellos, en diálogo con la virología, la epidemiología y la demografía, se analiza la forma comunicativa amenazante del virus SARS-CoV-2 y de la enfermedad COVID-19 así como su evolución en el tiempo mediante la distinción riesgo/peligro; y en el segundo paso, se observa la dinámica de las (...) interacciones, las organizaciones, los sistemas de protesta y de la sociedad mundial, enfocando algunos de sus sistemas funcionales como la religión, la política, la salud y la economía. (shrink)

Recent studies have problematized on the lack of agreement between self-reported and proxied data in the field of road safety-related behaviors. Overall, and although these studies are still scarce, most of them suggest that the way we perceive our own road behavior is systematically different from the perspective from which we perceive others' behavior, and vice versa. The aim of this review paper was to target the number and type of studies that have researched the behavioral perceptions of different groups (...) of road users, contrasting self-reported behavioral data with those reported by other users, and their outcomes. This systematic review followed the PRISMA methodology, which allows for the identification of relevant articles based on the research term. A total number of 222 indexed articles were filtered, and a final selection of 19 articles directly addressing the issue was obtained. Search strategies were developed and conducted in MEDLINE, WOS, Scopus and APA databases. It is remarkable how road users perceive themselves as behaviorally “safer” than the rest of road users in what concerns the knowledge of traffic norms and their on-road performance. In addition, and regardless of the type of user used as a source, self-reported data suggest their perceived likelihood to suffer a traffic crash is lesser if compared to any other user. On the other hand, proxied reports tend to undervalue third users' performance, and to perceive riskier behaviors and crash-related risks among them. The outputs of this systematic review support the idea that the perception of road users' behavior and its related risks substantially differ according to the source. It is also necessary to increase the number, coverage and rigor of studies on this matter, perhaps through complementary and mixed measures, in order to properly understand and face the bias on road users' risk-related behaviors. (shrink)

The following study draws evidence from the fragmentary treatises of Philodemus of Gadara in order to explore the moral content of Satires 1.1 with respect to wealth administration. I provide a reading of this poem that underscores Horace's effective synthesis of Greek thought and Roman culture, which is made possible by the influence of contemporary philosophical treatments that were tailored to fit the concerns of wealthy Romans. Furthermore, I offer an alternative to the many references previous scholars have made to (...) Aristotle and the Cynics by elucidating Horace's economic message, which, being totally consistent with the details of Philodemus' economic concerns, is in many ways more Epicurean than anything else. (shrink)

En su primera obra, Kant discute la posibilidad de que exista más de un universo. Partiendo del principio de que las substancias tienen una fuerza esencial para actuar fuera de sí y de que ellas se vinculan solo en el ejercicio de esta fuerza, Kant concluye que la totalidad de las substancias vinculadas entre sí conforma un universo. Sin embargo, es perfectamente posible que una substancia exista sin estar vinculada con las substancias de un determinado universo, no formando parte de (...) él, y que lo esté con otras substancias ajenas, conformando con ellas un universo aparte. Pero la posibilidad de múltiples universos requiere que haya espacios de distinta naturaleza o dimensionalidad para que tales universos se mantengan inconexos y sean realmente distintos universos y no partes distantes de un mismo universo. Esto sucede así porque la naturaleza del espacio depende específicamente de la fuerza con la que interactúan las substancias. (shrink)

A educação básica é majoritariamente oferecida pelo Estado, mas estaticamente atinge números insatisfatórios nos índices do Pisa e IDEB, retratando a baixa qualidade do ensino e o distanciamento das metas pertinentes. O Estado, para alcançar o padrão de qualidade do ensino e ainda manter o dever constitucional da educação, reconhecendo sua incapacidade de prestação da educação, poderia outorgar às escolas particulares a possibilidade de oferta abrangente desse ensino. Esta pesquisa discorre sobre a alternativa de fomento do Poder Público às escolas (...) particulares através do repasse de crédito, vouchers, que seriam utilizados pelos pais para pagar escolas privadas de melhor qualidade. (shrink)

Contiene una sección especial sobre Filosofía Latinoamericana, donde hay ponencias de los siguientes autores: Carlos Alemián, Abelardo Barra Ruatta, Alberto Buela y Oscar Wingartz Plata. Además, sobre Arturo A. Roig (dos artículos, uno de Estela Fernández y otro de Marisa Muñoz, Dante Ramaglia y Oscar Zalazar); sobre ensayo y fenomenología en América Latina (Clara Alicia Jalif de Bertranou); sobre Agustín Alvarez (Dante Ramaglia); y sobre Simón Rodríguez (Oscar Salazar). De otras secciones destacamos una ponencia de Arturo A. Roig sobre la (...) historia de las ideas y la filosofía latinoamericana, y otras dos, una sobre Mariátegui (Néstor Kohan) y la segunda sobre Andrés Mercado Vera (Isabel Luchetta)"--Handbook of Latin American Studies, v. 58. (shrink)

El presente estudio se refiere a una de las cuestiones más importantes en el ámbito de la filosofía política clásica y escolástica, como lo es el del origen del poder, según es propuesto por la llamada “teoría de la traslación”, cuyo más connotado sostenedor ha sido Francisco Suárez. En primer lugar, se analiza críticamente la teoría de la traslación en la versión del propio Suárez. Luego, el artículo enfoca el tratamiento de un caso histórico representativo, en el cual el poder (...) político pareció haber sido “trasladado”, con el fin de evaluar el valor de verdad de la teoría en cuestión a la hora de explicar el origen del poder en el plano empírico. (shrink)