Buscar
Mostrando ítems 1-6 de 6
Artículo
Dynamic consequence and public announcement
(Cambridge University Press, 2013)
Artículo
El giro dinámico en la epistemología formal: el caso del razonamiento explicativo
(Universidad del País Vasco, 2014)
We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering ...
Artículo
On arbitrary sets and ZFC
(Association for Symbolic Logic, Cambridge University Press, 2011)
Set theory deals with the most fundamental existence questions in mathematics– questions which affect other areas of mathematics, from the real numbers to structures of all kinds, but which are posed as dealing with the ...
Artículo
La lógica matemática: una disciplina en busca de encuadre
(Centro de Análisis, Lógica e Informática Jurídica y Universidad del País Vasco, 2010)
Se ofrece un análisis de las transformaciones disciplinares que ha experimentado la lógica matemática o simbólica desde su surgimiento a fines del siglo XIX. Examinaremos sus orígenes como un híbrido de filosofía y ...
Artículo
Razonamiento explicativo y evolución de lógicas: Una aproximación desde la semántica de mundos posibles
(Universidad de Málaga, 2013)
Realizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este ...
Capítulo de Libro
Argumentation and Abduction in Dialogical Logic
(Springer, 2017)
This chapter advocates for a reconciliation of argumentation theory and formal logic in an agent-centered theory of reasoning, that is, a theory in which inferences are studied as human activities. First, arguments in favor ...