Nicolas Gonzalez

En el presente opúsculo se analiza una traza original de Simón de Colonia procedente del archivo antiguo de la Cartuja de Mirafl ores (Burgos). Se trata de los vestigios de un estudio o anteproyecto en el que fueron desarrolladas diversas propuestas para el diseño del claristorio y del plan de bóvedas de la iglesia de la cartuja burgalesa. Esta nueva redacción de las trazas de la iglesia funeraria de Juan II de Castilla se enmarcó en la serie de obras promovidas por su hija, Isabel la Católica, en el monasterio. La traza nos tiende una mirada privilegiada a un estadio conceptual en el que Simón de Colonia aún estaba desarrollando y explorando diversas soluciones formales para el rediseño de la iglesia. El ejemplar nos aporta una substanciosa información sobre los procedimientos geométricos de proporción y estrategias creativas de Simón en un momento clave de su fulgurante carrera.

In this work, we study Hilbert-style proof systems for logics based on the data-aware language CoreDataXPath(↓) where the comparison relation between nodes is not necessarily an equivalence relation. We give a sound and complete axiomatization of the class of tree-like Kripke frames endowed with a general comparison relation between nodes. Modular extensions of this axiomatization are also discussed, including cases where the comparison relation is reflexive, symmetric, transitive and an equivalence. A notable highlight that we recover an axiomatization for CoreDataXPath(↓) over any data-tree when the comparison is by ‘equal data’. Moreover, we prove that all these systems are decidable by leveraging the finite model property of their corresponding frame classes.

El presente artículo reconstruye una “historia” de las principales políticas de drogas en Argentina desde los inicios del siglo XX hasta 2010, su interrelación con el régimen internacional de control de drogas y el llamado paradigma prohibicionista-punitivo. Se trata de una revisión bibliográfica de los estudios disponibles sobre política de drogas en Argentina orientada por el método genealógico de Foucault. El objetivo del artículo es mostrar las condiciones de posibilidad de un paradigma prohibicionista-punitivo en política de drogas, su desarrollo, afianzamiento y posibles alternativas, como así también ofrecer una orientación para la utilización de la genealogía foucaultiana en la temática.

Over the semantic universe of trees augmented with arbitrary sets of relations between nodes, we study model-theoretic properties of the extension XPathR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {XPath}^{}_{{\mathcal R}}{}$$\end{document} of the downward fragment of XPath, equipped with a finite set R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal R}$$\end{document} of relation symbols. We introduce an adequate notion of bisimulation, dependant on the set of relations R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal R}$$\end{document} in consideration, and show a characterization result in the style of Hennessy-Milner’s, relating bisimulation and logical equivalence and showing that both coincide over finitely branching R-trees\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal R}\text {-trees}$$\end{document}. Furthermore, we also give a van Benthem-like theorem characterizing each XPathR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {XPath}^{}_{{\mathcal R}}{}$$\end{document} as the fragment of first-order logic with one free variable that is R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal R}$$\end{document}-bisimulation-invariant. Finally, we show that our results are also valid when applied to universes of trees with some fixed semantics for the symbols of R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal R}$$\end{document}. This contains in particular the case of XPath=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {XPath} _{=} $$\end{document} over data trees.

El pensamiento y la doctrina de Gregorio Magno destaca particularmente en el ámbito de la teología pastoral. Más que el desarrollo de una teología especulativa y sistemática, su primera preocupación fue siempre el cuidado de las almas, al que definió como el 'arte de las artes'. Gregorio capta con especial clarividencia que cada persona es única y tiene su propio camino. Ahora bien, un caso que requiere especial atención y cuidado por parte del pastor es el de quien sufre. En efecto, para ser capaz de dar consuelo al afligido hay que lograr compartir su dolor y hacerlo propio, cosa que Gregorio Magno trata con bastante detención en Moralia in Iob. En este artículo, intentaremos acercarnos a los fenómenos de la empatía y el consuelo para determinar su naturaleza, características y condiciones.