L'idea di metafora nell'opera di Oswald Mathias Ungers

This research focuses on the definition of the complex relationship that exists between theory and project, which - in the architectural work by Oswald Mathias Ungers - is based on several essays and on the publications that - though they have never been collected in an organic text - make up an articulated corpus, so that it is possible to consider it as the foundations of a theory. More specifically, this thesis deals with the role of metaphor in Unger’s theory and its subsequent practical application to his projects. The path leading from theoretical analysis to architectural project is in Ungers’ view a slow and mediated path, where theory is an instrument without which it would not be possible to create the project's foundations. The metaphor is a figure of speech taken from disciplines such as philosophy, aesthetics, linguistics. Using a metaphor implies a transfer of meaning, as it is essentially based on the replacement of a real object with a figurative one. The research is articulated in three parts, each of them corresponding to a text by Ungers that is considered as crucial to understand the development of his architectural thinking. Each text marks three decades of Ungers’ work: the sixties, seventies and eighties. The first part of the research deals with the topic of Großform expressed by Ungers in his publication of 1966 Grossformen im Wohnungsbau, where he defines four criteria based on which architecture identifies with a Großform. One of the hypothesis underlying this study is that there is a relationship between the notion of Großform and the figure of metaphor. The second part of the thesis analyzes the time between the end of the sixties and the seventies, i.e. the time during which Ungers lived in the USA and taught at the Cornell University of Ithaca. The analysis focuses on the text Entwerfen und Denken in Vorstellungen, Metaphern und Analogien, written by Ungers in 1976, for the exhibition MAN transFORMS organized in the Cooper - Hewitt Museum in New York. This text, through which Ungers creates a sort of vocabulary to explain the notions of metaphor, analogy, signs, symbols and allegories, can be defined as the Manifesto of his architectural theory, the latter being strictly intertwined with the metaphor as a design instrument and which is best expressed when he introduces the 11 thesis with P. Koolhaas, P. Riemann, H. Kollhoff and A. Ovaska in Die Stadt in der Stadt in 1977. Berlin das grüne Stadtarchipel. The third part analyzes the indissoluble tie between the use of metaphor and the choice of the topic on which the project is based and, starting from Ungers’ publication in 1982 Architecture as theme, the relationship between idea/theme and image/metaphor is explained. Playing with shapes requires metaphoric thinking, i.e. taking references to create new ideas from the world of shapes and not just from architecture. The metaphor as a tool to interpret reality becomes for Ungers an inquiry method that precedes a project and makes it possible to define the theme on which the project will be based. In Ungers’ case, the architecture of ideas matches the idea of architecture; for Ungers the notions of idea and theme, image and metaphor cannot be separated from each other, the text on thematization of architecture is not a report of his projects, but it represents the need to put them in order and highlight the theme on which they are based.

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Descrittione del Regno di Napoli : diuiso in dodeci prouincie, nella quale con breuità si tratta della fedelissima città di Napoli, e dele cose più notabili di essa, e delle città e terre più illustri del Regno, con le famiglie nobili, non solo di quella, ma dell'altre città di esso Regno : con i vescouadi, & arciuescouadi, e santi, che sono in esso ... /

Includes indexes.

Allegorien, erzählungen, und gedichte; mit kupfern und musik.

"Vorrede" signed: L.C. Kehr.

The adventures of the six princesses of Babylon, in their travels to the temple of virtue: an allegory. Dedicated, by permission, to her Royal Highness the Princess Mary.

List of subscribers included.

Religious emblems : being a series of emblematic engravings, with written explanations, miscellaneous observations and religious reflections, designed to illustrate divine truth, in accordance with the cardinal principles of Christianity /

With this are bound: Holmes, w. REligious allegories. 1860; and Baxter, R. Directions for getting ... spiritual peace. [18--?]

A guide to classical learning, or, Polymetis abridged ... : being a work necessary not only for classical instruction, but for all those who wish to have a true taste for the beauties of poetry, sculpture and painting /

Plate engraved by P. Fourdrinier.

The female pilgrim, or, The travels of Hephzibah : under the similtude of a dream, in which is given an historical account of the Pilgrim's extract ...

Attributed to John Mitchell in Mansell 388:25.

Symbolica Aegyptiorum sapientia : olim ab eo scripta, nunc post varias editiones denuò edita ; Polyhistor symbolicus : electorum symbolorum, et parabolarum historicarum stromata, XII. libris complectens /

Polyhistor symbolicus has separate t.p. (p. 231) and indexes.

Essays speculative and suggestive /

v. 1. The philosophy of evolution. On the application of evolutionary principles to art and literature. On some principles of criticism. The provinces of the several arts. On the relation of art to science and morality. Realism and idealism. The model. Beauty, composition, expression, characterisation. Caricature, the fantastic, the grotesque. Notes on style: History and usage of the word; National style.-v. 2. Notes on style: Personal style; The art of style. Democratic art, with special reference to Walt Whitman. Landscape. Nature myths and allegories. Is poetry at bottom a criticism of life? A review of Matthew Arnold's selection from Wordsworth. Is music the type or measure of all art? The pathos of the rose in poetry. A comparison of Elizabethan with Victorian poetry. Appendix.

Allegory, It Happens: A Multi-Perspective Case Study of The Lord of the Rings

Allegory is not obsolete as Samuel Coleridge and Johann Wolfgang von Goethe have claimed. It is alive and well and has transformed from a restrictive concept to a concept that is flexible and can form to meet the needs of the author or reader. The most efficient way to evidence this is by making a case study of it with a suitable work that will allow us to perceive its plasticity. This essay uses J.R.R. Tolkien’s The Lord of the Rings as a multi-perspective case study of the concept of allegory; the size and complexity of the narrative make it a suitable choice. My aim is to illustrate the plasticity of allegory as a concept and illuminate some of the possibilities and pitfalls of allegory and allegoresis. As to whether The Lord of the Rings can be treated as an allegory, it will be examined from three different perspectives: as a purely writerly process, a middle ground of writer and reader and as a purely readerly process. The Lord of the Rings will then be compared to a series of concepts of allegorical theory such as Plato’s classical “The Ring of Gyges”, William Langland’s classic The Vision of William Concerning Piers the Plowman and contemporary allegories of racism and homoeroticism to demonstrate just how adaptable this concept is. The position of this essay is that the concept of allegory has changed over time since its conception and become more malleable. This poses certain dangers as allegory has become an all-round tool for anyone to do anything that has few limitations and has lost its early rigid form and now favours an almost anything goes approach.

Mémoire de licence La réception du message donné dans Le Petit Prince : Une étude sur la réception et l’interprétation du message donné dans Le Petit Prince par Antoine de Saint-Exupéry chez l’adulte et l’enfant.

Le présent travail est une étude sur Le Petit Prince, d’Antoine de Saint-Exupéry. Le but principal du mémoire est d’analyser la réception du message chez le lecteur adulte et chez le lecteur enfant. Nous avons analysé comment l’enfant et l’adulte interprètent le message donné par l’oeuvre, parsemée d’images et d’allégories, des citations qui son devenues symboliques avec le temps. Ensuite, nous avons analysé les personnages dans le but d’interpréter leur sens symbolique. Pour réaliser cette recherche, nous avons regardé plusieurs interprétations allégoriques. Les résultats de notre étude nous ont permis d’affirmer que la réception du message n’est pas la même chez le lecteur adulte et le lecteur enfant. Les résultats de cette étude montrent enfin qu’il est trop difficile pour le lecteur enfant de comprendre le sens moral d’une image allégorique, tandis que le lecteur adulte est plus apte à interpréter l’image allégorique en s’appuyant sur son expérience de la lecture et de son expérience de la vie quotidienne. L’auteur utilise l’image symbolique dans la littérature pour montrer avec plus de clarté la condition humaine. En conclusion nous apprenons que Le Petit Prince nous fait réfléchir sur la vie de la façon plus profonde et philosophique.

O belo antro e a grande oliveira : recepções da alegoria da caverna na tradição neoplatônica

Desde a Magna Grécia de Pitágoras, Empédocles e Parmênides, passando pelas relações “perigosas” entre a sabedoria nascente e as tradições órfico-dionisíacas, em nítida continuidade com a mitologia arcaica e as narrativas teogônicas, dialogando com as práticas médicas asclepíades, a filosofia antiga visita cavernas. A caverna da República, uma das mais poderosas e fecundas alegorias do pensamento ocidental, é simultaneamente herdeira e ponto de fuga da longa trajetória dessa metáfora. Não se pretende aqui, no entanto, compreender a imagem platônica como a consumação de uma velha tradição filosófica que “pensa em cavernas”; procura-se, antes, iluminar essa alegoria com a interpretação oferecida pela filosofia acadêmica posterior. No Antro das Ninfas, Porfírio parte de 11 versos de Homero (Od. XIII, 102-112) para habilmente desenhar uma exegese inspirada na teoria platônica da alma. A lectio porfiriana permite sugerir que a imagem da caverna revela algo mais que uma simples alegoria literária. Ela dá prova da existência de relações dialógicas e circulares entre a filosofia platônica e o imaginário religioso popular do mundo antigo. _______________________________________________________________________________ ABSTRACT

The plague and the Panopticon

Albert Camus's 1947 novel La Peste and 1948 drama L'État de Siège, allegories of totalitarian power using the figure of the plague (Part I), remarkably anticipate Foucault's celebrated genealogical analyses of modern power (Part II). Indeed, reading Foucault after Camus highlights a fact little-remarked in Discipline and Punish: namely, that the famous chapter on the 'Panopticon' begins by analysing the measures taken in early modern Vincennes following the advent of plague. Part III argues that, although Camus was cited as an inspiration by the nouveaux philosophes, he does not accept the reactionary motif of the total bankruptcy of the modern cultural and political worlds as hopelessly implicated in the totalitarian crimes. Indeed, Part IV highlights how Camus defends modern, descriptive scientific rationality against its totalitarian appropriations, alongside 'the power of passion, doubt, happiness, and imaginative invention' - positions which Part V suggests as Camus's continuing poignancy and relevance in the period after post-structuralism (Camus, 1952: 301).