The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose an automata-theoretic model checking algorithm for (...) DTL. To this end, we propose a notion of distributed transition system that will be used to specify the system to be verified. The properties that the system should meet are specified in DTL. In order to capture the models of these properties, we propose the notions of generalized distributed Büchi automaton and of distributed Büchi automaton. With these concepts, we are able to adapt results from automata-theoretic approaches to model checking in LTL to the distributed case. (shrink)

A literatura chamada de “apocalíptica” tem recebido uma renovada apreciação nos últimos anos. Entretanto, percebe-se certa confusão terminológica que, por fim, leva a uma classificação equivocada do gênero de certos escritos. O presente artigo tem por finalidade analisar as conceituações e as expressões literárias da apocalíptica, com o intuito de se chegar a uma definição mais clara do tema, distinguindo apocalipse enquanto gênero literário e apocalíptica enquanto mentalidade , com as formas básicas de expressão literária do gênero e seus paralelos (...) antigos. Assim sendo, o artigo é dividido em duas partes: primeiramente, verificam-se as definições e características atribuídas ao gênero apocalíptico pelos principais autores do tema, especialmente no que se refere aos escritos judaico-cristãos produzidos entre 250 a.C. e 100 d.C.; em seguida, verificam-se os paralelos antigos presentes na literatura de outros povos, como os sumérios, os persas e os gregos. Por fim, faz-se uma breve análise da ocorrência dessa literatura nos Manuscritos do Mar Morto. Isto posto, chega-se à conclusão de que é possível fazer a distinção acima proposta, a qual traz maior clareza na definição e classificação dos escritos ao gênero atribuídos. (shrink)

Santo Tomás de Aquino considera que la finalidad humana es la felicidad, de modo que el hombre orienta todas sus acciones para su alcance. Pero, como el hombre es susceptible al error y puede engañarse en la búsqueda por la felicidad al elegir medios que no conducen a ella, la felicidad solo puede ser alcanzada cuando todas sus potencias estén perfeccionadas por las virtudes morales, pues ellas ordenan las acciones humanas al encuentro de la verdadera felicidad. El objetivo de este (...) trabajo es demostrar que hay un vínculo necesario entre las virtudes morales y la felicidad en la ética tomista. (shrink)

Sin orden moral no puede darse desarrollo de la civilización o verdadero progreso. Ahora bien, el orden moral supone la existencia de un valor moral absoluto que no puede ser otro que el amor que Dios se tiene a sí mismo. La ética balmesiana es una ética del amor: la corrección moral de los actos humanos viene definida por su fidelidad al amor y el cumplimiento del deber. Se trata de una ética profundamente humanista que trata de evitar cualquier sombra (...) de egoísmo y utilitarismo. (shrink)

En las Enéadas, Plotino traza su visión sobre el alma y el cuerpo. Existe una lectura tradicional de Plotino, que encuentra en el pensador una desvaloración del cuerpo; esta lectura está basada en el protagonismo que posee el alma en relación con el cuerpo en el pensamiento plotiniano, y en la interpretación literal del texto del pensador; al contrario, se quiere trazar una valoración positiva del cuerpo en el filósofo. El objetivo de este trabajo es delimitar el concepto de cuerpo (...) en Plotino, entendiendo que este posee su indiscutible importancia y valoración positiva en el texto mismo del filósofo neoplatónico. (shrink)

En El puesto del hombre en el cosmos, Scheler presenta el instinto como una conducta predominante en el actuar de los animales y, de igual modo, observa que el hombre, en cuanto ser psicofísico, también lo posee y realiza acciones instintivas. La diferencia entre el hombre y el animal es el espíritu, ausente en el segundo y presente en el primero, por lo cual puede actuar racionalmente. Este artículo investiga la presencia del instinto en la constitución del hombre en cuanto (...) ser vivo, analizando cómo este se verfica en la conducta humana inteligente. (shrink)

Argumentation is the gear of a cognitive process of reconstruction when it manifests itself in the discursive proximal space. The cognitive-semiotic perspective of multimodal argumentation suggests that, depending on the knowledge, the codes and signs employed (modes) and the context, certain multimodal structures can lead some audiences towards an accurate mental representation of argumentation, without the need forany formal standardized and verbal structure. We are able to argue with other(s) effectively without the need for a verbal translation of the contents (...) in a space that includes the semiotic interpretation of the message. (shrink)

O desígnio do presente artigo é uma reflexão teórica, mais do que abordar a política da Psicanálise importa tratar da política frente a qual a Psicanálise precisa se posicionar, o que torna imprescindível, ao nosso ver, ir em busca dos escritos marxianos, visando aproximações. Na exposição que se apresenta, definimos o conceito de política à luz de “O 18 de Brumário de Luís Bonaparte”, do qual Marx assinalou uma leitura específica sobre a história. Todavia, lançamos mão da hipótese sustentada por (...) Lacan de que Marx “inventara o sintoma”, isto é, foi o primeiro a denunciar a espoliação de um gozo. (shrink)

El artículo ofrece una síntesis del planteamiento y explicación que ofrece Domingo de Soto sobre la “antropología sacramental”, a partir del comentario a la Suma Teológica de Santo Tomás. Se plantean diversas cuestiones, como: número, necesidad, jerarquía de los sacramentos, correspondencia de los mismos con las diversas situaciones o fases de la vida, así como con los distintos aspectos de la vida cristiana y eclesial: virtudes, vicios, dones, función, efectos…El autor concluye con unas consideraciones sobre lo que sería necesario plantearse (...) para actualizar hoy esta antropología, teniendo en cuenta los diversos cambios verificados al respecto. (shrink)