Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, and hence (...) we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ' awareness' set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ' dynamification' of existing awareness logics. (shrink)

Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that (...) solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs. (shrink)

We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...) separately. In this work, we develop a logical language that allows us to describe them together. We present syntax, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended. (shrink)

En este artículo se analizan los límites de la solidaridad desde el descentramiento de los protagonistas mestizos en Limón Reggae, de la costarricense Anacristina Rossi (2007), y Big Banana, del hondureño Roberto Quesada (2000). En la primera novela se representa a los descendientes costarricenses de los migrantes antillanos (jamaiquinos en su mayoría), y en la segunda, a los garífunas hondureños. Mientras Limón Reggae explora una solidaridad de carácter político-estructural, tanto en Costa Rica como en Estados Unidos, así como la (...) posibilidad de una relación amorosa interracial, Big Banana se enfoca en la solidaridad por empatía a través de la relación entre Eduardo y Mairena en territorio estadounidense, problematizando así la posibilidad de reinvención identitaria en ese “tercer espacio”. Ninguno de los dos textos se atreve a presentar una solución simplista u homogénea para la convivencia, por lo que los dos grupos, finalmente, permanecen separados. Ambas recalcan la importancia del lugar de enunciación y, deesta manera, evitan caer en las falacias de las ficciones de solidaridad que se pierden en su propia fantasía de solidaridad. (shrink)

Donna Quesada had been teaching for about a dozen years when the first signs of burnout hit her. Rather than give in to her frustration, she reached for Buddha's teachings, the Zen wisdom that formed the basis of her own longtime spiritual practice. She survived the semester and gradually rediscovered the joy in her job that had been progressively declining. In this wise and inspirational book, she shares the lessons she learned-lessons that revealed, time and again, that no matter (...) the situation, it's always about getting your head in the right place first. Resolution begins in our own minds. Some days, some semesters, and even some years will be more challenging and more wearisome than others, she warns. But in The Inspired Teacher, Quesada offers a lasting source of encouragement and Zen. Although the book draws from Eastern teachings, the wisdom is for everyone, regardless of personal background, creed, or faith. With elements of The Last Lecture as well as Chicken Soup for the Teacher's Soul, this is the perfect gift for teachers-but also for anyone needing inspiration. (shrink)

This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...) highlighting their relationship and allowing a better understanding of how they interact together. (shrink)

In the valley of the Trujala, Hornos and Guadalimar rivers in the Sierra de Segura, northeast of the province of Jaén, is an articulated system of preserved Andalusi structures that configure a landscape. To orient in a landscape, one needs a map that accurately represents the elements involved in its formation. The objective of this work is to reveal these points and to draw a chart that serves to understand and read into the palimpsest of the landscape. To achieve this, (...) an intensive prospecting of the territory is carried out to document the existing remains and an evaluation model based on Geographic Information Systems is elaborated. This process allowed for quantifying variables, obtaining statistically relevant data and classifying the information obtained in places where there is some Andalusi preexistence. The results supply useful parameters in the analytical reading of the landscape, provide quantitative knowledge about factors that connect the sites, and allow for the determination of settlement patterns. The results also reveal the mode of occupation in a territory -the ancientʿamal Šaqūra- as a reflection of the Andalusi organization in the rural world and the anthropic role that these settlements, which are associated with structures built of rammed-earth during the 12th century, have had in the landscape’s configuration. (shrink)

Con el objetivo de esbozar una ontología del presente, este artículo sigue las transformaciones de la antropología en México en busca de sus condiciones políticas y epistémicas de enunciación. El gobierno mexicano del siglo XIX dedicó mútliples esfuerzos poblar correctamente el territorio, es decir, con una población sana, educada y civilizada. A principios del siglo XX, las políticas indigenistas promovieron la aculturación de los pueblos indígenas, pero esta aculturación fue luego denunciada como etnocida por una nueva generación de antropólogos, defensores (...) del indigenismo autogestivo y, más tarde, de la valorización de las identidades como capital humano por la metodología neoliberal. El evolucionismo científico dio paso a un paradigma comunicacional, fundamento epistémico de muchas políticas contemporáneas. Es la encarnación misma del tema foucaltiano de la muerte del Hombre como forma de saber, y la ilustración de una nueva episteme. (shrink)

Al oír el término “mujer andaluza”, automáticamente vamos a visualizar una serie de características (y no otras) que van a corresponder con un modelo de patrón ideal visual. En esta conformación, el arte tiene es un pilar fundamental. Desde distintas corrientes y esferas tales como la pintura, el cine, la música o la literatura, atendemos a la construcción de un personaje donde la esencia se reduce a un plano mítico, desechando la propia identidad de las mujeresrepresentadas. En el siguiente artículo (...) vamos a desgranar cómo la construcción de este ideal de mujer andaluza es esencialista, a partir del análisis de cuatro obras. Esto nos ayudará a entender cómo el impacto de esta mitificación no solo reside en la concepción estética,sino en la concepción cultural y por tanto su aceptación o rechazo en los diferentes planos de la vida socio política de las mujeres. Palabras clave: arte, género, mito, cultura, Andalucía. (shrink)

El estudio de las presas y embalses históricos es un campo desigualmente abordado desde la historiografía, la arqueología, la arquitectura o la ingeniería civil. En la península ibérica su estudio ha estado centrado en obras de grandes dimensiones que, en general son romanas, renacentistas o posteriores. Sin embargo, pocas veces se consideran las infraestructuras andalusíes, sus formas de implantación, cómo fue la transmisión del conocimiento de su tecnología o el ámbito social y cultural en el que se desarrollaron. Suelen ser (...) vestigios que se encuentran aislados y dispersos en el ámbito rural con el que dibujan un paisaje único. Esta circunstancia dificulta su documentación e impide el estudio a fondo de estas obras como condición, previa e imprescindible, para su conocimiento. La contribución de este trabajo es el resultado de una investigación realizada sobre el paisaje generado por uno de los pocos ejemplos de presa de contención conocidos en al-Andalus de los que aún se conservan restos. Se trata de una barrera fluvial levantada, a mediados del siglo XII, en la cuenca del río Trujala en el municipio de Segura de la Sierra (Jaén); un dique que transformó un campo en un pequeño mar o albuhera. (shrink)

En este artículo se aborda la evolución de la exploración del espacio, discutiendo que el institucionalismo haya sido el motor de su régimen jurídico, pese a lo que en primera instancia se podrí inducir del OST de 1967. Asimismo, se analizan los flecos de dicho Tratado, tanto en lo referente a la militarización del espacio, como en lo relativo a la hipotética explotación económica de sus recursos. Para enfatizar más esos aspectos, se emplea una doble estrategia. Por un lado, la (...) analogía con la escuela marítima de la geopolítica y, por otro lado, el marco conceptual de la zona gris, al entender que la primera contribuye a la comprensión de la interrelación entre geoeconomía y geopolítica, y que el segundo es de muy probable aplicación a lo largo de los próximos años, por los motivos que se esgrimen en el artículo. (shrink)

When preferences are defined over two alternatives and societies are variable, the group formed by the relative majority rule, the unanimity rule, the dictatorial rules, and the strongly dictatorial rules is characterized in terms of five axioms: unanimity, reducibility, substitutability, exchangeability, and parity. This result is used to provide characterizations of each of these rules by postulating separating axioms, that is, an axiom and its negation. Such axioms identify traits specifically differentiating a type of rule from the other types. For (...) instance, majority differs from strong dictatorship in the existence of a society for which collective indifference should be a less likely outcome than the strict preference of one alternative over the other. As a second example, the difference between majority and strong dictatorship can be traced back to the requirement that the likelihood of collective indifference diminishes with the size of society. (shrink)

Philosophy affected the birth of Latin America in two ways. First it inspired the famous men who started the independence movements, which led to the definitive liberation from the Spanish yoke. Once the revolution was over, philosophy influenced the development of the legal and political systems that were created to organize the life of the new states.

Through a discussion with current perspectives in philosophy of history and a rigorous reading of his oeuvre this book highlights the possibilities of the best Marx in terms of his capacity to account for the development of spatiotemporally complex societies.

Incluso basándose en unos mismos principios jurídicos, en el Derecho islámico se registra la existencia de cuatro maneras diferentes de interpretación, de cuatro escuelas jurídicas: la escuela malikí, hanafí, shafi‘í y hanbalí. Estas cuatro escuelas predominantes tienen sus propios tratados jurídicos, diferentes maneras de resolver problemas similares y forma distinta de aplicar la prioridad en las fuentes jurídicas. En este artículo veremos la implantación de la escuela jurídica malikí en al-Andalus.

Física mecanista y campo electromagnético.--La teoría de la relatividad.--La teoría de los quanta.