Max Freund
Max Freund es profesor de lógica y filosofía en la Universidad de Costa Rica. Es coautor, con Nino Cocchiarella, de Modal Logic: its Syntax and Semantics (Oxford University Press, 2008), autor de The logic of sortals: a conceptualist approach, Synthese Library (Springer Verlag, 2019) y de Lógica Jurídica (Instituto de Prensa Tecnológica de Costa Rica, 2007), así como de numerosos artículos de revistas. También es coeditor del volumen Logic and Philosophy of Logic: recent trends in Latin America and Spain (College Publications, 2018). Sus áreas de especialización incluyen lógica modal, lógica epistémica, teoría de la computabilidad, fundamentos de las matemáticas, lógica de segundo orden y de orden superior, lógica de los sortales y lógica aplicada al derecho.
Max
Freund
Una lógica deóntica temporal epistémica
Resumen: Dentro de los contextos legales, la reivindicación del conocimiento requiere que la prueba apelada cumpla con las condiciones establecidas por las normas legales que pertenecen a la denominada Ley de Prueba. Este tipo de justificación epistémica fundamenta diferentes operadores epistémicos. Aquí estudiaremos uno de estos posibles operadores en su relación con los conectivos proposicionales deónticos y tensos. Nuestro objetivo es capturar formalmente la lógica tridimensional involucrada en la conexión lógica entre los tres tipos de operadores. Así, caracterizamos un lenguaje formal que representa formalmente los tres tipos diferentes de constantes lógicas, construimos la semántica formal del lenguaje y caracterizamos un sistema lógico formal. Demostramos solidez e integridad del sistema con respecto a la semántica. El trasfondo intuitivo de la lógica tridimensional incluirá varios principios filosóficos con respecto a la Ley de la Evidencia.