Yet Another Characterization of Strong Equivalence

Strong equivalence of disjunctive logic programs is characterized here by a calculus that operates with syntactically simple formulas

Adaptive logic characterizations of input/output logic

We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions

ANÁLISIS LÓGICO DE LAS MÁXIMAS DE LA EXPERIENCIA EN LA JURISPRUDENCIA PERUANA

LA EXPERIENCIA EN LA JURISPRUDENCIA PERUANATrabado de investigacio

Argumentation as Exogenous Coordination

Formal argumentation is one of the most popular approaches in modern logic and reasoning. The theory of abstract argumentation introduced by Dung in 1995 has shifted the focus from the internal structure of arguments to relations among arguments, and temporal dynamics for abstract argumentation was proposed by Barringer, Gabbay and Woods in 2005. In this tradition, we see arguments as reasoning processes, and the interaction among them as a coordination process.We argue that abstract argumentation can adopt ideas and techniques from formal theories of coordination, and as an example we propose a model of sequential abstract argumentation loosely inspired by Reo’s model of exogenous coordination. We show how the argumentation model can represent the temporal dynamics of the liar paradox and predator-prey like behaviour

Causal reasoning from almost first principles

A formal theory of causal reasoning is presented that encompasses both Pearl's approach to causality and several key formalisms of nonmonotonic reasoning in Artificial Intelligence. This theory will be derived from a single rationality principle of causal acceptance for propositions. However, this principle will also set the theory of causal reasoning apart from common representational approaches to reasoning formalisms

El dilema de Jorgensen: Fundamentos semánticos de los imperativos

En el presente trabajo sostenemos que si bien desde un sistema lógico hasta ahora no se ha logrado mostrar la existencia de una semántica de los enunciados imperativos, sin embargo sí demostramos que el problema que representa uno de los cuernos del dilema de Jørgensen no tiene la misma fuerza que cuando se planteó. Es así que enunciados de tipo “¡Juan, haz tus deberes!”, si bien no tienen un valor de verdad, esto no quiere decir que no tenga otro valor semántico, como el de justicia, por ejemplo. Para efectos del presente trabajo, nos restringiremos a una semántica bivalente justo/injusto, pues consideramos que si demostramos que dicha semántica le corresponde a los imperativos, recién cabe plantearse el estudio de una semántica polivalente de los imperativos. Por otro lado, metodológicamente, el presente trabajo se inserta dentro de la filosofía matemática. Cabe señalar que tal denominación no hace referencia a la filosofía de las matemáticas en absoluto, sino el mismo hace referencia al método de estudio de la filosofía. Así, la filosofía matemática es la investigación filosófica de un tema haciendo uso de herramientas formales (lógica y matemáticas). Esta forma de investigación es la que se realiza en el Munich Center for Mathematical Philosophy – MCMP (ver: http://www.mcmp.philosophie.uni-muenchen.de/index.html). Y que en nuestro país se hace en el Taller de Filosofía Matemática que funciona en la Facultad de Matemáticas de la Universidad Nacional Mayor de San Marcos, al cual pertenecemos. Al presente trabajo, le hemos agregado un vocabulario esencial de los términos más empleados en el curso de nuestra investigación y dos apéndices, que indican el contexto mayor dentro del cual se ubica la presente investigación. Ambos apéndices pueden ser vistos como los problemas que están pendientes de ser resueltos si se quiere contar con una auténtica y adecuada lógica de imperativos.Tesi