
27Generation and Selection of Abductive Explanations for NonOmniscient AgentsJournal of Logic, Language and Information 23 (2): 141168. 2014.Among the nonmonotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we exp…Read more

24An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solutionJournal of Applied Logic 11 (4): 505522. 2013.

39Empirical Encounters with Computational Irreducibility and UnpredictabilityMinds and Machines 22 (3): 149165. 2012.The paper presents an exploration of conceptual issues that have arisen in the course of investigating speedup and slowdown phenomena in small Turing machines, in particular results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function for that purpose. T…Read more

46Abduction via Ctableaux and δresolutionJournal of Applied NonClassical Logics 19 (2): 211225. 2009.The formalization of abductive reasoning has received increasing attention from logicians. However, few work is found beyond abduction in propositional logic, given that in a first order formalism, the undecidability problem naturally appears, and therefore an abductive problem cannot even be appropriately formulated. Still, many applications in artificial intelligence allow finite domains to work with, and this gives an opportunity to apply abduction in first order logic with restricted domains…Read more

16A Modal Framework For Modelling Abductive ReasoningLogic Journal of the IGPL 20 (2): 438444. 2012.We present a framework for understanding abduction within modal logic and Kripke semantics; worlds of a Kripke frame will represent possible theories, and a change in theory will be understood as a passage from one world to an adjacent possible world. Further, these steps may agree with the accessibility relation or may ‘backtrack’, accordingly as new information refutes or reinforces our present theory. Our formalism can be used to model not only abduction, but also to talk about the inner stru…Read more

22ModelBaded Abduction via Dual ResolutionLogic Journal of the IGPL 14 (2): 305319. 2006.This papers presents δresolution, a dual resolution calculus. It is based on standard resolution, and used appropriate formulae equivalent to disjunctive normal forms, instead of conjunctive normal ones, as it is the case for resolution. This duality is then useful to create a calculus for abductive process, as a way to construct a set of abductive solutions. The proposed calculus is compared to semantic tableaux, an standard logical framework, aslo illuminating when studying abduction.δresolu…Read more

37Metamodeling abductionTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3): 285293. 2007.Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspective the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson’s method to define new consequence relations, hence …Read more

Action Models for the Extended MindIn Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond (eds.), Epistemology, Knowledge and the Impact of Interaction, Springer Verlag. 2016.

1El sentido Teológico de las metáforas de comer y beber en OrígenesTeología y Vida 61 (2): 243257. 2020.

749Mística del Logos y contemplación del Padre en Orígenes. Aproximaciones desde el comentario a JuanTeología y Vida 59 (4): 503518. 2018.The article explores critical elements to understand how Origen elaborates his mystical theology in his Commentary on John. The spiritual progress process implies that rational beings are guided, by God’s Logos, from the practical life to the theoretical one becoming son or daughter of God, in the likeness of the Logos. This process aims at knowing the Father as he is known by the Logos. The article has two parts: 1. The Father’s presence, through the Logos, in rational beings, and 2. a brief ch…Read more

293El sentido Teológico de las metáforas de comer y beber en OrígenesDissertation, Pontificia Universidad Católica de Chile. 2020.El pasado 8 de junio 2020, Fernando Soler Escalona, estudiante de nuestra Facultad, obtuvo el grado académico de Doctor en Teología, con una tesis sobre El sentido teológico de las metáforas de comer y beber en la obra de Orígenes, redactada bajo la supervisión de Samuel Fernández, Profesor Titular de Patrología. La defensa fue inusual: la pandemia de COVID19 obligó a realizarla por videoconferencia, para mantener el aislamiento físico entre los participantes. En la espera de la publicación in…Read more

17Acercamientos al vocablo λόγος en el Comentario a Juan de OrígenesTeología y Vida 55 (2): 287299. 2014.This article offers an approach to the meaning that the word λόγος has in Origen's thought, from the consideration of his Commentary on John, particularly in the books I and II, where we found his treatise on the passage John 1, 12. For this purpose, it presents the close philosophical context from which Origen receives that term. Then, the article comprehensively analyzes the multiple meanings of λόγος, starting with the simpler ones, and ending with the terms carrying more theological signifi…Read more

16La interpretación origeniana de Jn 1, 12: identidad del Logos en clave de relaciónTeología y Vida 57 (1): 6794. 2016.Este artículo presenta una lectura de los elementos que caracterizan la doctrina acerca de la identidad del Padre y del Hijo, presente en la interpretación de Orígenes a Jn 1, 12 contenida en los libros I y II de su Comentario a Juan. La clave de acceso es la categoría de relación, la cual está de trasfondo a toda imagen utilizada por el Alejandrino para describir al Padre o al Hijo, y brinda a su teología un dinamismo impresionante, a la vez que esboza soluciones a diversos problemas como el …Read more
Areas of Specialization
Other Academic Areas 
History of Western Philosophy 
Philosophical Traditions 
Areas of Interest
History of Western Philosophy 
Other Academic Areas 
Philosophical Traditions 