An internal version of epistemic logic

International audienceRepresenting an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is one of the agents involved in the situation. For this approach we propose and axiomatize a logical formalism based on epistemic logic. This leads us to formalize some intuitions about the internal approach and about its connections with the external ones. Finally, we show that our internal logic is decidable and PSPACE-complete

Sistemas normativos. Introducción a la metodología de las ciencias jurídicas

En esta nueva edición se ha modificado el título y se han eliminado algunos errores tipográficos, entre otros. Pero el hecho de que esta obra fuera primero publicada en su versión inglesa (Norrnative Systems, Wien - New York, Springer Verlag, 1971) ha provocado algunas confusiones que conviene aclarar. El libro fue escrito en castellano y el título originario era Sistemas normativos, que nos fue sugerido por Mario Bunge, editor de la serie "Library of Exact Philosophy" en la que apareció la versión inglesa. La traducción fue llevada a cabo por los autores, con enorme ayuda de Mrs. Joan Mackie, quien revisó todo el texto. Esa traducción apareció primero y la versión original (castellana) fue publicada cuatro años más tarde por Editorial Astrea con un título cambiado: Introducción a la metodología de las ciencias jurídicas y sociales. Este cambio en la versión castellana fue sugerido por Astrea y aceptado a regañadientes por los autores. Además, como en la traducción inglesa resolvimos suprimir algunos párrafos por parecernos demasiado locales (§ 5 del cap. 11) y en la versión castellana fue añadido el § 7 del cap. IV, ambas ediciones no resultaron idénticas. Es así como mucha gente pensó que la versión inglesa era la original, que luego fue traducida al castellano. El título con que la obra aparece ahora fue tomado de la excelente traducción italiana de Pierluigi Chiassoni y Giovanni Battista Ratti (Torino, G. Giappichelli Editare, 2005), quienes incluyeron los párrafos suprimidos en la versión inglesa, de modo que la versión italiana es prácticamente idéntica al texto original, que con esta edición aparece ahora en Astrea, también con su título original