Ὁ ἐν οὐρανῷ Ἅιδης : la naissance du purgatoire dans l'Antiquité

Le but de la présente thèse est d’étudier les témoignages sur la doctrine de l’« Hadès ouranien » du IVe siècle avant J.-C. au VIe siècle après J.-C. et de dégager les éléments essentiels. L’« Hadès ouranien », traduction de l’expression ὁ ἐν τῷ οὐρανῷ ᾍδης, est un thème de pensée qui caractérise tout un millénaire de la philosophie et de la religion de l’Antiquité païenne. En traitant ce thème historico-religieux, on se veut le plus complet possible mais tout en étant prudent envers nos sources, qui sont fragmentaires et qui proviennent, pour la majorité, de la tradition platonico-péripatéticienne et de ses commentateurs. Aussi, s’efforce-t-on de montrer que l’Hadès ouranien est un lieu de purification pour l’âme et donc, un purgatoire. D’une manière générale, notre recherche est la première entièrement consacrée au sujet de l’Hadès ouranien et à son évolution durant l’Antiquité. Pour ce faire, sur la base d’une approche contextualisée, nous croyons devoir distinguer en réalité trois lieux où l’Hadès céleste a été situé : il y a d’un côté l’emplacement dans la Voie Lactée (Héraclide du Pont) ; il y a aussi un effort, assez divers en ses formes, de situer ce Purgatoire entre la Lune et la terre ou aux alentours de la Lune (les académiciens, les stoïciens, Cicéron, Virgile, Plutarque, les écrits hermétiques) ; finalement, Numénius et les néoplatoniciens latins l’ont situé entre la sphère des fixes et la terre. Quant à l’évolution des éléments qui constituent notre thème, la thèse montre que le platonisme et le néoplatonisme ont fourni un milieu propice pour le développement et la propagation dans l’empire gréco-romain des doctrines sur l’Hadès céleste. De plus, ces mouvements ont aidé à la spiritualisation progressive de cet espace purgatoire. Par ailleurs, on établira certaines caractéristiques de notre thème : l’échappée de l’âme hors du corps, l’allégorie physique et la division, ontologique et physique, entre les mondes sublunaire et supralunaire. Dans une première partie, on traitera de la doctrine de l’Hadès ouranien dans l’ancienne Académie platonicienne (Héraclide, Xénocrate, Philippe d’Oponte) et dans le stoïcisme. La deuxième partie est consacrée à l’analyse du Purgatoire chez Plutarque de Chéronée. La doctrine du Purgatoire selon Cicéron et Virgile et chez leurs interprètes néoplatoniciens, ainsi que dans l’hermétisme et le gnosticisme sera traitée dans la troisième partie. Dans la quatrième et dernière partie, on explorera la doctrine du Purgatoire dans le Oracles chaldaïques et dans les écrits de Proclus, particulièrement dans son Commentaire sur la République de Platon.

Recherches sur la plasticité du discours oraculaire: l'exemple de l'oracle du "Mur de bois" (Hérodote, 7, 140-146)

Ce mémoire vise à appliquer l’étude des oracles en Grèce au cas longtemps malmené de l’oracle du rempart de bois. Alors que les historiens modernes deviennent de plus en plus critiques face à la littérature oraculaire grâce aux découvertes de l’épigraphie, cet oracle semble résister à cette nouvelle vague : tout et son contraire ont été allégué afin de le préserver de l’étiquette de post eventum. À la lumière du cadre historique dans lequel Hérodote a conçu ses Histoires, nous serons en mesure de décortiquer les éléments constitutifs de cet oracle qui prédit l’issue de la Seconde Guerre médique et selon lequel les Athéniens trouvèrent leur salut derrière le désormais célèbre « rempart de bois ». Nous nous attarderons finalement au dit « Décret de Thémistocle », trouvé à Trézène et commandant l’évacuation d’Athènes. Au terme de ce mémoire, l’épisode du rempart de bois apparaîtra définitivement comme post eventum.

Xénophon et la divination

Cette thèse a pour but de dresser un panorama complet des croyances de Xénophon en la divination. À l’aide d’une analyse rigoureuse de la totalité des œuvres de cet auteur antique pendant longtemps déprécié, il ressort que le problème de la consultation des dieux, loin d’être abordé de manière anecdotique et spontanée à la façon d’un legs de la tradition que la pensée critique n’a pas touchée, est au contraire un élément essentiel de la formation d’une réflexion profonde sur la piété et plus généralement les rapports qu’entretiennent les hommes avec les dieux. D’autre part, en raison du zèle de Xénophon à avoir rapporté des récits ou des réflexions à propos de la divination, cette analyse offre l’occasion de mieux comprendre les subtilités de cette pratique rituelle logée au cœur de la religion grecque et qui ne saurait être réduite à une forme de superstition.

Refinement criteria for global illumination using convex funcions

In several computer graphics areas, a refinement criterion is often needed to decide whether to go on or to stop sampling a signal. When the sampled values are homogeneous enough, we assume that they represent the signal fairly well and we do not need further refinement, otherwise more samples are required, possibly with adaptive subdivision of the domain. For this purpose, a criterion which is very sensitive to variability is necessary. In this paper, we present a family of discrimination measures, the f-divergences, meeting this requirement. These convex functions have been well studied and successfully applied to image processing and several areas of engineering. Two applications to global illumination are shown: oracles for hierarchical radiosity and criteria for adaptive refinement in ray-tracing. We obtain significantly better results than with classic criteria, showing that f-divergences are worth further investigation in computer graphics. Also a discrimination measure based on entropy of the samples for refinement in ray-tracing is introduced. The recursive decomposition of entropy provides us with a natural method to deal with the adaptive subdivision of the sampling region

Discriminative pattern mining in software fault detection

We present a method to enhance fault localization for software systems based on a frequent pattern mining algorithm. Our method is based on a large set of test cases for a given set of programs in which faults can be detected. The test executions are recorded as function call trees. Based on test oracles the tests can be classified into successful and failing tests. A frequent pattern mining algorithm is used to identify frequent subtrees in successful and failing test executions. This information is used to rank functions according to their likelihood of containing a fault. The ranking suggests an order in which to examine the functions during fault analysis. We validate our approach experimentally using a subset of Siemens benchmark programs.

En jämförande studie av olika Oracle verktyg.

Idag finns det många företag som erbjuder olika program/databaser som har till uppgift att lagraoch hantera data. Oracle är världens näst största mjukvaruföretag. Oracles databas genererar ungefär 75 % av deras inkomst.De senaste 40 åren har databashantering utvecklats från enkelt filsystem tillobjektrelationsdatabas, vilket har medfört att allt fler företag idag erbjuder verktyg som databasutvecklare kan arbeta med. Verktygen underlättar själva databashanteringen. Det är mångaföretag som erbjuder olika sorters verktyg och databas utvecklaren, eller själva databasföretaget,får svårt att skilja på verktygen. Utbudet av verktyg är så omfattande att det är näst intill omöjligtatt ha kännedom om alla.Syftet med denna uppsats är att undersöka vilket verktyg en Oracle-utvecklare bör använda sigav. Att jämföra olika SQL och PL/SQL verktyg, samt lämna en rekommendation om vilket/vilkaverktyg som är bäst att använda ur olika perspektiv. Vid jämförelsen laddade jag hem och testadede olika verktygen utifrån vissa kriterier. Jag kontaktade även fyra företag för att få svar på frågan utifrån företagens perspektiv. Tre av företagen svarade på mina enkäter, medan ett av företagen svarade muntligt på mina frågor via telefonen.Då jag genomförde denna studie kom jag fram till slutsatsen att alla verktyg i stort sett har samma grundfunktioner. Valet av verktyg styrs av hur många extra funktioner utvecklaren är villig betala för. Det är dock utvecklaren själv som måste avgöra vilket verktyg som passar just honom. Det verktyg som är ledande är Toad och detta verktyg passar bäst för experter. För enklare funktioner har det framkommit av enkäterna att SQL*Plus används.

Oraculizando a los ciudadanos : Demagogia y profanación de las inscripciones oraculares en Caballeros de Aristófanes (vv. 818- 819)

Dentro de los ataques cómicos que el Morcillero emite a Paflagonio en Caballeros de Aristófanes, uno en particular describe las formas que le permitieron a este figurado Cleón construir su poder sobre Atenas. Luego de que el propio Paflagonio se comparara con el gran Temístocles, el Morcillero expone los modos perniciosos de hacer política: en vv. 818-819, dice que Paflagonio convirtió a Atenas en una ciudad pequeña "levantando muros a través de ella y oraculizando". La primera estrategia remite al dicho del "divide y triunfarás". La segunda, en cambio, hace referencia a una institución político-religiosa como la adivinación. El oráculo, que era un aparato ideológico de la polis ateniense, aparece en el drama como un mensaje legitimador de quien detenta o detentará el poder y Aristófanes echa un manto de sospecha sobre dicha institución sagrada que es manipulada con fines propagandísticos. Con base en estas reflexiones, esta ponencia se propone analizar en Caballeros la denuncia del Morcillero sobre el ocultamiento de los oráculos inscriptos, su vínculo con el contexto socio- histórico de su inscripción y los motivos cómicos que subyacen en la operatoria de profanación de los mensajes divinos

Intervenciones críticas en la poesía última (Prácticas de articulación y agendas complementarias)

Indagaremos algunas dominantes en la intervención crítica sobre el género poético en lengua española de las últimas décadas, proponiendo alternativas diferentes a las convencionales operaciones de recorte y exclusión de grupos y tendencias, a los que nos tiene acostumbrada la crítica mayoritaria, desde antologías y suplementos literarios, preocupada por rotular, oponer y disgregar, diseñando mapas de polaridades irreconciliables y nombres propios consagrados como oráculos, sin nexo con sus coetáneos, asimilados como adversarios, y potenciando rivalidades personales, o comportamientos públicos de los actores por encima de sus escrituras. Para superar estas reductivas miradas se hace necesario ensayar propuestas de articulación: suturar fisuras imaginarias para integrar praxis materiales; imaginar políticas de intercambio textual e ideológico; admitir un trazado de zonas de confluencia permeables; asumir que los poetas vehiculizan identidades móviles y receptivas, a favor de un diálogo inter-local mutuamente enriquecedor.

Intervenciones críticas en la poesía última (Prácticas de articulación y agendas complementarias)

Indagaremos algunas dominantes en la intervención crítica sobre el género poético en lengua española de las últimas décadas, proponiendo alternativas diferentes a las convencionales operaciones de recorte y exclusión de grupos y tendencias, a los que nos tiene acostumbrada la crítica mayoritaria, desde antologías y suplementos literarios, preocupada por rotular, oponer y disgregar, diseñando mapas de polaridades irreconciliables y nombres propios consagrados como oráculos, sin nexo con sus coetáneos, asimilados como adversarios, y potenciando rivalidades personales, o comportamientos públicos de los actores por encima de sus escrituras. Para superar estas reductivas miradas se hace necesario ensayar propuestas de articulación: suturar fisuras imaginarias para integrar praxis materiales; imaginar políticas de intercambio textual e ideológico; admitir un trazado de zonas de confluencia permeables; asumir que los poetas vehiculizan identidades móviles y receptivas, a favor de un diálogo inter-local mutuamente enriquecedor.

Oraculizando a los ciudadanos : Demagogia y profanación de las inscripciones oraculares en Caballeros de Aristófanes (vv. 818- 819)

Dentro de los ataques cómicos que el Morcillero emite a Paflagonio en Caballeros de Aristófanes, uno en particular describe las formas que le permitieron a este figurado Cleón construir su poder sobre Atenas. Luego de que el propio Paflagonio se comparara con el gran Temístocles, el Morcillero expone los modos perniciosos de hacer política: en vv. 818-819, dice que Paflagonio convirtió a Atenas en una ciudad pequeña "levantando muros a través de ella y oraculizando". La primera estrategia remite al dicho del "divide y triunfarás". La segunda, en cambio, hace referencia a una institución político-religiosa como la adivinación. El oráculo, que era un aparato ideológico de la polis ateniense, aparece en el drama como un mensaje legitimador de quien detenta o detentará el poder y Aristófanes echa un manto de sospecha sobre dicha institución sagrada que es manipulada con fines propagandísticos. Con base en estas reflexiones, esta ponencia se propone analizar en Caballeros la denuncia del Morcillero sobre el ocultamiento de los oráculos inscriptos, su vínculo con el contexto socio- histórico de su inscripción y los motivos cómicos que subyacen en la operatoria de profanación de los mensajes divinos

Oraculizando a los ciudadanos : Demagogia y profanación de las inscripciones oraculares en Caballeros de Aristófanes (vv. 818- 819)

Dentro de los ataques cómicos que el Morcillero emite a Paflagonio en Caballeros de Aristófanes, uno en particular describe las formas que le permitieron a este figurado Cleón construir su poder sobre Atenas. Luego de que el propio Paflagonio se comparara con el gran Temístocles, el Morcillero expone los modos perniciosos de hacer política: en vv. 818-819, dice que Paflagonio convirtió a Atenas en una ciudad pequeña "levantando muros a través de ella y oraculizando". La primera estrategia remite al dicho del "divide y triunfarás". La segunda, en cambio, hace referencia a una institución político-religiosa como la adivinación. El oráculo, que era un aparato ideológico de la polis ateniense, aparece en el drama como un mensaje legitimador de quien detenta o detentará el poder y Aristófanes echa un manto de sospecha sobre dicha institución sagrada que es manipulada con fines propagandísticos. Con base en estas reflexiones, esta ponencia se propone analizar en Caballeros la denuncia del Morcillero sobre el ocultamiento de los oráculos inscriptos, su vínculo con el contexto socio- histórico de su inscripción y los motivos cómicos que subyacen en la operatoria de profanación de los mensajes divinos

Intervenciones críticas en la poesía última (Prácticas de articulación y agendas complementarias)

Indagaremos algunas dominantes en la intervención crítica sobre el género poético en lengua española de las últimas décadas, proponiendo alternativas diferentes a las convencionales operaciones de recorte y exclusión de grupos y tendencias, a los que nos tiene acostumbrada la crítica mayoritaria, desde antologías y suplementos literarios, preocupada por rotular, oponer y disgregar, diseñando mapas de polaridades irreconciliables y nombres propios consagrados como oráculos, sin nexo con sus coetáneos, asimilados como adversarios, y potenciando rivalidades personales, o comportamientos públicos de los actores por encima de sus escrituras. Para superar estas reductivas miradas se hace necesario ensayar propuestas de articulación: suturar fisuras imaginarias para integrar praxis materiales; imaginar políticas de intercambio textual e ideológico; admitir un trazado de zonas de confluencia permeables; asumir que los poetas vehiculizan identidades móviles y receptivas, a favor de un diálogo inter-local mutuamente enriquecedor.

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Desarrollo de una plataforma de biología bajo demanda

La Biología bajo Demanda es un concepto novedoso, que está siendo abordado en la actualidad desde distintos enfoques, que serán expuestos en este documento. Dado este carácter innovador, se trata de un ámbito donde la investigación está muy presente en estos momentos. Las Tecnologías de la Información y Comunicación (TICs) llevan un tiempo aportando soluciones muy efectivas para algunos de los problemas a los que se enfrente actualmente la biología sintética. Una de estas soluciones son las plataformas de Cloud Computing, que aportan un entorno de trabajo escalable, flexible y seguro. Por ello, se ha empleado este tipo de tecnología en este trabajo fin de grado en el área de la biología sintética mediante el concepto de biología bajo demanda. Para desarrollar la plataforma de biología bajo demanda ha sido necesario analizar el estado de esta temática actualmente y sus avances. Además, ha sido estimable el estudio de las opiniones de los miembros del grupo de investigación. Todo ello ha permitido llevar a cabo una captura de requisitos adecuada para el ámbito de este proyecto. Se ha decidido que los servidores de aplicaciones web son la respuesta más adecuada a la hora de implementar las soluciones obtenidas para el desarrollo de la plataforma de biología bajo demanda. En concreto, por sus características, se ha decidido emplear JavaEE de Oracle. El modelo implementado emplea soluciones conocidas y fiables basadas en patrones de diseño software. Así, conseguimos cumplir con uno de los principales objetivos de este proyecto, que es lograr un sistema flexible y escalable. Por otro lado, debido a la incertidumbre que conlleva un área tan innovadora, se ha decidido optar por una metodología ágil. Esto supone un plan de trabajo centrado en reuniones semanales conjuntas con el director y los compañeros del grupo de trabajo, empleando prototipado rápido y programación extrema. Finalmente, se ha conseguido desarrollar una plataforma de biología bajo demanda que puede ser la base para el trabajo de los biólogos del ámbito de la biología sintética en un futuro próximo.---ABSTRACT---Biology on demand is a new concept, which is currently being addressed from different approaches, which will be presented in this document. Given this innovative character, it is an area where research is a main factor right now. Technologies of Information and Communication Technologies (ICTs) have provided very effective solutions to some of the problems that synthetic biology is currently facing. One of these solutions is cloud computing platforms, which provide an environment for scalable, flexible and secure work. Therefore, we have used this technology in this final project in the area of synthetic biology through the concept of biology on demand. To develop a biology-on-demand platform it has been necessary to analyze the state of art. The opinions of members of the research group have also been very influential. All this has allowed us to conduct a proper capture requirements for the scope of this project here developed. It was decided that web application servers are the best answer when it comes to implementing the solutions obtained for the development of biology-on-demand platform. In particular, by its main features, it was decided to use Oracle’s JavaEE. The implemented model uses known and reliable solutions based on software design patterns. So, we get to meet one of the main objectives of this project, which is to achieve a flexible and scalable system. On the other hand, due to the uncertainty involved in such an innovative area, it was appropriate to opt for an agile methodology. The work plan was focused on weekly meetings with the director and coworkers, using additive technology and extreme programming. Finally, this project has been successful in developing a biology-on-demand platform that can be the basis for the work of biologists in the field of synthetic biology in the near future.

MALAQUIAS, MENSAGEIRO DA JUSTIÇA:UM ESTUDO A PARTIR DO QUARTO ORÁCULO (2,17-3,5)

O livro de Malaquias apresenta oráculos que conservam informações relevantes do período pós exílico sob o domínio da Pérsia e, especialmente, os problemas religiosos focalizando a displicência dos sacerdotes no cumprimento de suas funções e os problemas sociais apontando para um amplo movimento de opressão externa e interna. Esta pesquisa buscou verificar, no primeiro capítulo, como a mensagem de Malaquias através de sua forma e conteúdos visava aplacar as insatisfações internas dos grupos que habitavam o território de Judá. Neste capítulo, foram abordadas as discussões histórico-literárias sobre data, autoria, destinatários, forma do anúncio. Ainda procurou-se realizar levantamentos históricos verificando o sistema e as estruturas de opressão dos persas no território de Judá e também as faces da reorganização da sociedade de Judá. O segundo capítulo enfatizou, mais propriamente, o trabalho exegético no quarto oráculo (2,17-3,5). Neste pode-se verificar uma síntese dos temas centrais da mensagem de Malaquias: O juízo divino que viria pela negligência religiosa e que exigia compromissos com a justiça prática na vida do povo. A partir das discussões exegéticas buscou-se verificar como o profeta apresentou ao povo e aos sacerdotes quais seriam os agentes e as ações transformadoras que Javé promoveria para restaurar a justiça e o culto purificado. O terceiro capítulo apresenta um tema recorrente nos oráculos do livro de Malaquias: a justiça. Para isso, foram analisadas três perícopes que tratam o tema da justiça enfocadamente, as influências do sistema judicial persa na prática da justiça cotidiana em Judá e a realidade de opressão nos sistema de parentesco entre as famílias (clãs) que habitavam o território de Judá - (2,10-16; 2,17-3,5 e 3,13-21). A pesquisa de Malaquias aponta para um profeta engajado política e socialmente. O Mensageiro manteve os ideais proféticos e desejou reacender os valores da aliança entre o povo e fortalecer a confiança na ação de Javé que restauraria a justiça na prática cotidiana.(AU)