Categories, Allegories, and Circuit Design

Languages based upon binary relations offer an appealing setting for constructing programs from specifications. For example, working with relations rather than functions allows specifications to be more abstract (for example, many programs have a natural specification using the converse operator on relations), and affords a natural treatment of non-determinism in specifications. In this paper we present a novel pictorial interpretation of relational terms as simple pictures of circuits, and a soundness/completeness result that allows relational equations to be proved by pictorial reasoning.

Nuevas lecturas sobre lo judío en el Milagro XVI de los Milagros de Nuestra Señora de Berceo

Integran este número de la revista ponencias presentadas en Studia Hispanica Medievalia VIII: Actas de las IX Jornadas Internacionales de Literatura Española Medieval, 2008, y de Homenaje al Quinto Centenario de Amadis de Gaula.

"Iudicium meum semper fuit" : cuestiones de poética en el comentario gramatical de Antonio de Nebrija (1444-1522)

Título del volúmen: "Elementos de retórica y poética en la gramática y el comentario filológico: de Isidoro al tiempo de Nebrija" edición de Juan Casas Rigall.

Traduzindo Aslan: marcas de um tradutor nas Crônicas de Nárnia

Este trabalho tem por objetivo verificar os padrões adotados para retratar o protagonista das Crônicas de Nárnia de C. S. Lewis o leão Aslan - na sua tradução para o português brasileiro. A dissertação objetiva também estabelecer se o paralelo sugerido pelo autor das Crônicas entre Aslan e a figura do Deus cristão é captado para o português brasileiro. Baseamo-nos na carta documental escrita por Lewis, na qual ele descreve a relação entre sua obra e o texto bíblico, principalmente no seu personagem principal, Aslan. Como arcabouço teórico adotado, discorremos sobre algumas correntes dos Estudos da Tradução que foram úteis para a análise do corpus o conceito de estilo e de afastamento do original e adaptação (BAKER, 1993, SHUTTLEWORTH,1999, TOURY, 1980). Como metalinguagem que nos ajuda a explicar as mudanças ocorridas entre o texto original e o texto traduzido, utilizamos a Gramática Sistêmico-Funcional, principalmente a função experiencial descrita pelos Processos (em especial os Processos Verbais), e a função interpessoal representada pela Teoria da Valoração (Appraisal). Para a análise dos textos, foi compilado um corpus paralelo contendo os sete livros da série em inglês e português e também um corpus comparável, utilizado para ratificar os resultados encontrados. Esses resultados apontam para um afastamento do texto traduzido radical em relação ao texto original no que se refere à construção do personagem Aslan, a saber: mudanças na prosódia semântica, mudanças de Força, omissões ou adições que alteram o sentido e mudança na agência dos Processos Verbais. Sugerimos que esses contrastes entre as alegorias tecidas por Lewis no texto original e o que encontramos na fala traduzida de Aslan podem alterar a percepção que se tem de Aslan como um símbolo cristão, quando reescrito em português do Brasil

Edmund Burke and the heritage of oral culture

The dissertation proposes that one of the more fruitful ways of interpreting Burke's work is to evaluate him as an oral performer rather than a literary practitioner and it argues that in his voice can be heard the modulations of the genres and conventions of oral composition of eighteenth-century Gaelic Ireland. The first chapter situates Burke in the milieu of the Gaelic landed class of eighteenth-century Ireland. The next chapter examines how the rich oral culture of the Munster Gaelic gentry, where Burke spent his childhood days, was to provide a lasting influence on the form and content of Burke's work. His speeches on the British constitution are read in the context of the historical and literary culture of the Jacobites, specifically the speculum principis, Párliament na mBán. The third chapter surveys the tradition of Anglo-Irish theoretical writings on oratory and discusses how Burke is aligned with this school. The focus is on how Burke's thought and practice, his 'idioms', might be understood as being mediated through the criterion of orality rather than literature. The remaining chapters discuss Burke's politics and performance in the light of Gaelic cultural practices such as the rituals of the courts of poetry, the Warrant Poems or Barántas; the performance of funeral laments and elegies, Caoineadh, the laments for the fallen nobility, Marbhna na daoine uaisle, the satires and the political vision allegories of Munster, Aislingí na Mumhan; to show how they provide us with a remarkable context for discussing Burke's poetical-political performance. In hearing Burke's voice through the body of Gaelic culture our understanding of Burke's position in the wider world of the eighteenth century (and hence his meaning) is profoundly affected.

Alegoría: su pertinencia en la predicación y uso en "La novena maravilla"

En este artículo se focaliza el recurso de la alegoría como método exegético en la composición de los sermones panegíricos de Juan Espinosa Medrano (Perú, siglo XVII). Se traza el recorrido de la alegoría (y las humanidades en general) en relación –siempre tensa– con el cristianismo a lo largo de su historia; y se llega a la Contrarreforma y el uso exacerbado del método en la predicación barroca; particularmente en la oratoria sagrada de Espinosa Medrano, quien abarca elementos diversos y extraídos de distintas fuentes (filosofía natural, mitología clásica, tradición emblemática, relatos bíblicos), a los que hace funcionar como signos de otra verdad mayor, la sagrada. Si bien las preceptivas sagradas impulsaban una predicación más llana y simple, la profusión de alegorías mitológicas, que el autor resemantiza según su interés de guiar la interpretación, pueden explicarse por varias circunstancias, motivos de estudio en este trabajo.

Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

Symbolic geography in John Ruskin's modern painters, Volumes III, IV, V.

Modern Painters vol. III, IV et V est une œuvre tripartite développée après 1850, en synchronie avec la guerre de Crimée (1854-56), la répression de la révolte indienne (1857-59) et la deuxième guerre d’indépendance d’Italie (1859). Marqué par ces événements politiques, Ruskin met en œuvre une stratégie complexe pour configurer dans un langage symbolique les frontières et les taxonomies impériales de l’espace européen. Il développe des stratégies de présentation qui combinent le texte et les illustrations pour créer des allégories mentales et visuelles, construites à partir des stéréotypes littéraires et culturels véhiculés dans l’espace britannique. L’auteur met ses derniers volumes de Modern Painters sous le signe de « la crise de la civilisation » représentée par les conflagrations de Crimée, d’Inde et d’Italie, en exprimant son soutien pour la nouvelle alliance entre l’Angleterre et la France. Un autre motif est son obsession avec la réforme sociale via un retour aux valeurs chrétiennes traditionnelles.

Estudi de cas. Al.legoria i mitologia

Materials didàctics del grup d'investigació Observatori sobre la Didàctica de les Arts (ODAS)

Bocetos de una gramática liberal: de la glorificación del trabajo agrícola a la consagración simbólica de los Andes (Estudios)

El presente artículo se enfoca en las contradicciones del proyecto nacional ecuatoriano de principios del siglo XX en cuanto pretende subsanar identidades en conflicto dentro de las nuevas configuraciones sociales y espaciales. Para ello se examina la forma en la que Luis A. Martínez reconoce la ambivalencia de la modernidad al punto de confeccionar sus obras como alegorías de fallidas comunidades imaginadas. Tanto sus catecismos de agricultura como su novela A la costa (1905), además de contribuir a los debates intelectuales de la época sobre la participación del país en el moderno sistema-mundo capitalista, testimonian las contradicciones existentes dentro del liberalismo como ideología hegemónica. De ahí que los textos arriba mencionados sean considerados como bisagras que vislumbran lo nacional en lo liminar aunque todavía sin subvertir los desencuentros entre la clase dominante y la subalterna.

O FRAGMENTO EM TUTAMÉIA E NO LIVRO SOBRE NADA

This study is connected to the research line Poéticas da Modernidade e Pós -Modernidade, of the Programa de Pós-Graduação em Estudos da Linguagem, in the subarea: Comparative Literature - CCHLA/UFRN. Its main goal is to see fragmentation of writing as an aesthetic resource highlighted in the work of Tutaméia by Guimarães Rosa (1908-1967), and in Livro sobre nada by Manoel de Barros (1916). We undertake as a starting point the view that these works are allegorical expressions. We have as a basis the German philosopher Walter Benjamin (1984) conception about baroque allegory, that uses amorphous fragment and constitutes a dialectical expression, in which each person, each thing, each relation, may mean any other one (1984, p. 196). We see the stylistic features as used by Guimarães Rosa and by Manoel de Barros in the construction of poetics capable of breaking the boundaries between artistic genres, literary and discursive, adding oral, musical and plastic elements to writing. We also analyze the development of fragmentary poetics, in which the voice of the narrator/lyrical I, the characters, space, plot and time exhibit the fragment as a factor that contributes to the great ambiguity of the two works and to create a new language, performative and vibrant, rich in alluring images, allegories

Dilemas do pós-modernismo na cultura de massa

Pós-graduação em Ciências Sociais - FFC

Otimização da estrutura metalica para um carro alegórico

Carnival is a unique opportunity for the associations demonstrate the community’s annual work and the float is a major component of this celebration, responsible for pitch the samba using allegories and carry important figures. The excess weight of the floats which are mostly manufactured from truck and bus structures requires larger amount of people to push the vehicle in addition to increased efforts on the steering systems, suspension and wheels, raising the probability of breakage and loss of one year work. The objective of this study is to use the concepts of strength of materials combined with computer simulation to obtain a structure that has the lowest possible weight without compromising the safety of transported components and that is also easy to manufacture, drive and store

Fragmento d'alma

Fragmento D' Alma is an artistic research that part of a poetic tale through an initial charge of dawn one fantastic universe where words have life and willingly. The work includes sculptural works in order to interpret through the use of allegory situations of the tale in the form of sculptural compositions considering one or more characters in the story. In the sculptural work, I tried figuring the relations tale as my interpretations and poetic, so I sought theoretical studies of allegory after noting my affinity with the theme to contribute to the relationship text and image set in my work. I also sought to understand the relationships that the text played with sculptural work, so the chances that I could address this through dialogue between text and image. The studies collected through surveys pointed allegory by João Adolfo Hansen, as well as in various artistic and visual references present in my repertoire, such as the Baroque sculpture of Bernini, the performances of Berna Reale and literature of Neil Gaiman, contributed in this research to the development of my creative process during the preparation of this research work of art, making the complexity of the relationship between textual production and poetic sculptural three-dimensional, also became a concern and an integral theme of my work and my reflections presented here. Therefore, I conclude based on my own experience in this work, the artistic research inspired allegory might contribute to the development of my creative process during the preparation of this artwork, besides assigning relations between textual production and poetic dimensional sculpture