9 resultados para Transcendental deduction

em AMS Tesi di Dottorato - Alm@DL - Università di Bologna


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The experience of void, essential to the production of forms and to make use them, can be considered as the base of the activities that attend to the formative processes. If void and matter constitutes the basic substances of architecture. Their role in the definition of form, the symbolic value and the constructive methods of it defines the quality of the space. This job inquires the character of space in the architecture of Moneo interpreting the meaning of the void in the Basque culture through the reading of the form matrices in the work of Jorge Oteiza and Eduardo Chillida. In the tie with the Basque culture a reading key is characterized by concurring to put in relation some of the theoretical principles expressed by Moneo on the relationship between place and time, in an unique and specific vision of the space. In the analysis of the process that determines the genesis of the architecture of Moneo emerges a trajectory whose direction is constructed on two pivos: on the one hand architecture like instrument of appropriation of the place, gushed from an acquaintance process who leans itself to the reading of the relations that define the place and of the resonances through which measuring it, on the other hand the architecture whose character is able to represent and to extend the time in which he is conceived, through the autonomy that is conferred to them from values. Following the trace characterized from this hypothesis, that is supported on the theories elaborated from Moneo, surveying deepens the reading of the principles that construct the sculptural work of Oteiza and Chillida, features from a search around the topic of the void and to its expression through the form. It is instrumental to the definition of a specific area that concurs to interpret the character of the space subtended to a vision of the place and the time, affine to the sensibility of Moneo and in some way not stranger to its cultural formation. The years of the academic formation, during which Moneo enters in contact with the Basque artistic culture, seem to be an important period in the birth of that knowledge that will leads him to the formulation of theories tied to the relationship between time, place and architecture. The values expressed through the experimental work of Oteiza and Chillida during years '50 are valid bases to the understanding of such relationships. In tracing a profile of the figures of Oteiza and Chillida, without the pretension that it is exhaustive for the reading of the complex historical period in which they are placed, but with the needs to put the work in a context, I want to be evidenced the important role carried out from the two artists from the Basque cultural area within which Moneo moves its first steps. The tie that approaches Moneo to the Basque culture following the personal trajectory of the formative experience interlaces to that one of important figures of the art and the Spanish architecture. One of the more meaningful relationships is born just during the years of his academic formation, from 1958 to the 1961, when he works like student in the professional office of the architect Francisco Sáenz de Oiza, who was teaching architectural design at the ETSAM. In these years many figures of Basque artists alternated at the professional office of Oiza that enjoys the important support of the manufacturer and maecenas Juan Huarte Beaumont, introduced to he from Oteiza. The tie between Huarte and Oteiza is solid and continuous in the years and it realizes in a contribution to many of the initiatives that makes of Oteiza a forwarder of the Basque culture. In the four years of collaboration with Oiza, Moneo has the opportunity to keep in contact with an atmosphere permeated by a constant search in the field of the plastic art and with figures directly connected to such atmosphere. It’s of a period of great intensity as in the production like in the promotion of the Basque art. The collective “Blanco y Negro”, than is held in 1959 at the Galería Darro to Madrid, is only one of the many times of an exhibition of the work of Oteiza and Chillida. The end of the Fifties is a period of international acknowledgment for Chillida that for Oteiza. The decade of the Fifties consecrates the hypotheses of a mythical past of the Basque people through the spread of the studies carried out in the antecedent years. The archaeological discoveries that join to a context already rich of signs of the prehistoric era, consolidate the knowledge of a strong cultural identity. Oteiza, like Chillida and other contemporary artists, believe in a cosmogonist conception belonging to the Basques, connected to their matriarchal mythological past. The void in its meaning of absence, in the Basque culture, thus as in various archaic and oriental religions, is equivalent to the spiritual fullness as essential condition to the revealing of essence. Retracing the archaic origins of the Basque culture emerges the deep meaning that the void assumes as key element in the religious interpretation of the passage from the life to the death. The symbology becomes rich of meaningful characters who derive from the fact that it is a chthonic cult. A representation of earth like place in which divine manifest itself but also like connection between divine and human, and this manipulation of the matter of which the earth it is composed is the tangible projection of the continuous search of the man towards God. The search of equilibrium between empty and full, that characterizes also the development of the form in architecture, in the Basque culture assumes therefore a peculiar value that returns like constant in great part of the plastic expressions, than in this context seem to be privileged regarding the other expressive forms. Oteiza and Chillida develop two original points of view in the representation of the void through the form. Both use of rigorous systems of rules sensitive to the physics principles and the characters of the matter. The last aim of the Oteiza’s construction is the void like limit of the knowledge, like border between known and unknown. It doesn’t means to reduce the sculptural object to an only allusive dimension because the void as physical and spiritual power is an active void, that possesses that value able to reveal the being through the trace of un-being. The void in its transcendental manifestation acts at the same time from universal and from particular, like in the atomic structure of the matter, in which on one side it constitutes the inner structure of every atom and on the other one it is necessary condition to the interaction between all the atoms. The void can be seen therefore as the action field that concurs the relations between the forms but is also the necessary condition to the same existence of the form. In the construction of Chillida the void represents that counterpart structuring the matter, inborn in it, the element in absence of which wouldn’t be variations neither distinctive characters to define the phenomenal variety of the world. The physics laws become the subject of the sculptural representation, the void are the instrument that concurs to catch up the equilibrium. Chillida dedicate himself to experience the space through the senses, to perceive of the qualities, to tell the physics laws which forge the matter in the form and the form arranges the places. From the artistic experience of the two sculptors they can be transposed, to the architectonic work of Moneo, those matrices on which they have constructed their original lyric expressions, where the void is absolute protagonist. An ambit is defined thus within which the matrices form them drafts from the work of Oteiza and Chillida can be traced in the definition of the process of birth and construction of the architecture of Moneo, but also in the relation that the architecture establishes with the place and in the time. The void becomes instrument to read the space constructed in its relationships that determine the proportions, rhythms, and relations. In this way the void concurs to interpret the architectonic space and to read the value of it, the quality of the spaces constructing it. This because it’s like an instrument of the composition, whose role is to maintain to the separation between the elements putting in evidence the field of relations. The void is that instrument that serves to characterize the elements that are with in the composition, related between each other, but distinguished. The meaning of the void therefore pushes the interpretation of the architectonic composition on the game of the relations between the elements that, independent and distinguished, strengthen themselves in their identity. On the one hand if void, as measurable reality, concurs all the dimensional changes quantifying the relationships between the parts, on the other hand its dialectic connotation concurs to search the equilibrium that regulated such variations. Equilibrium that therefore does not represent an obtained state applying criteria setting up from arbitrary rules but that depends from the intimate nature of the matter and its embodiment in the form. The production of a form, or a formal system that can be finalized to the construction of a building, is indissolubly tied to the technique that is based on the acquaintance of the formal vocation of the matter, and what it also can representing, meaning, expresses itself in characterizing the site. For Moneo, in fact, the space defined from the architecture is above all a site, because the essence of the site is based on the construction. When Moneo speaks about “birth of the idea of plan” like essential moment in the construction process of the architecture, it refers to a process whose complexity cannot be born other than from a deepened acquaintance of the site that leads to the comprehension of its specificity. Specificity arise from the infinite sum of relations, than for Moneo is the story of the oneness of a site, of its history, of the cultural identity and of the dimensional characters that that they are tied to it beyond that to the physical characteristics of the site. This vision is leaned to a solid made physical structure of perceptions, of distances, guideline and references that then make that the process is first of all acquaintance, appropriation. Appropriation that however does not happen for directed consequence because does not exist a relationship of cause and effect between place and architecture, thus as an univocal and exclusive way does not exist to arrive to a representation of an idea. An approach that, through the construction of the place where the architecture acquires its being, searches an expression of its sense of the truth. The proposal of a distinction for areas like space, matter, spirit and time, answering to the issues that scan the topics of the planning search of Moneo, concurs a more immediate reading of the systems subtended to the composition principles, through which is related the recurrent architectonic elements in its planning dictionary. From the dialectic between the opposites that is expressed in the duality of the form, through the definition of a complex element that can mediate between inside and outside as a real system of exchange, Moneo experiences the form development of the building deepening the relations that the volume establishes in the site. From time to time the invention of a system used to answer to the needs of the program and to resolve the dual character of the construction in an only gesture, involves a deep acquaintance of the professional practice. The technical aspect is the essential support to which the construction of the system is indissolubly tied. What therefore arouses interest is the search of the criteria and the way to construct that can reveal essential aspects of the being of the things. The constructive process demands, in fact, the acquaintance of the formative properties of the matter. Property from which the reflections gush on the relations that can be born around the architecture through the resonance produced from the forms. The void, in fact, through the form is in a position to constructing the site establishing a reciprocity relation. A reciprocity that is determined in the game between empty and full and of the forms between each other, regarding around, but also with regard to the subjective experience. The construction of a background used to amplify what is arranged on it and to clearly show the relations between the parts and at the same time able to tie itself with around opening the space of the vision, is a system that in the architecture of Moneo has one of its more effective applications in the use of the platform used like architectonic element. The spiritual force of this architectonic gesture is in the ability to define a place whose projecting intention is perceived and shared with who experience and has lived like some instrument to contact the cosmic forces, in a delicate process that lead to the equilibrium with them, but in completely physical way. The principles subtended to the construction of the form taken from the study of the void and the relations that it concurs, lead to express human values in the construction of the site. The validity of these principles however is tested from the time. The time is what Moneo considers as filter that every architecture is subordinate to and the survival of architecture, or any of its formal characters, reveals them the validity of the principles that have determined it. It manifests thus, in the tie between the spatial and spiritual dimension, between the material and the worldly dimension, the state of necessity that leads, in the construction of the architecture, to establish a contact with the forces of the universe and the intimate world, through a process that translate that necessity in elaboration of a formal system.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The research activity described in this thesis is focused mainly on the study of finite-element techniques applied to thermo-fluid dynamic problems of plant components and on the study of dynamic simulation techniques applied to integrated building design in order to enhance the energy performance of the building. The first part of this doctorate thesis is a broad dissertation on second law analysis of thermodynamic processes with the purpose of including the issue of the energy efficiency of buildings within a wider cultural context which is usually not considered by professionals in the energy sector. In particular, the first chapter includes, a rigorous scheme for the deduction of the expressions for molar exergy and molar flow exergy of pure chemical fuels. The study shows that molar exergy and molar flow exergy coincide when the temperature and pressure of the fuel are equal to those of the environment in which the combustion reaction takes place. A simple method to determine the Gibbs free energy for non-standard values of the temperature and pressure of the environment is then clarified. For hydrogen, carbon dioxide, and several hydrocarbons, the dependence of the molar exergy on the temperature and relative humidity of the environment is reported, together with an evaluation of molar exergy and molar flow exergy when the temperature and pressure of the fuel are different from those of the environment. As an application of second law analysis, a comparison of the thermodynamic efficiency of a condensing boiler and of a heat pump is also reported. The second chapter presents a study of borehole heat exchangers, that is, a polyethylene piping network buried in the soil which allows a ground-coupled heat pump to exchange heat with the ground. After a brief overview of low-enthalpy geothermal plants, an apparatus designed and assembled by the author to carry out thermal response tests is presented. Data obtained by means of in situ thermal response tests are reported and evaluated by means of a finite-element simulation method, implemented through the software package COMSOL Multyphysics. The simulation method allows the determination of the precise value of the effective thermal properties of the ground and of the grout, which are essential for the design of borehole heat exchangers. In addition to the study of a single plant component, namely the borehole heat exchanger, in the third chapter is presented a thorough process for the plant design of a zero carbon building complex. The plant is composed of: 1) a ground-coupled heat pump system for space heating and cooling, with electricity supplied by photovoltaic solar collectors; 2) air dehumidifiers; 3) thermal solar collectors to match 70% of domestic hot water energy use, and a wood pellet boiler for the remaining domestic hot water energy use and for exceptional winter peaks. This chapter includes the design methodology adopted: 1) dynamic simulation of the building complex with the software package TRNSYS for evaluating the energy requirements of the building complex; 2) ground-coupled heat pumps modelled by means of TRNSYS; and 3) evaluation of the total length of the borehole heat exchanger by an iterative method developed by the author. An economic feasibility and an exergy analysis of the proposed plant, compared with two other plants, are reported. The exergy analysis was performed by considering the embodied energy of the components of each plant and the exergy loss during the functioning of the plants.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La Piana di foce del Garigliano (al confine tra Lazio e Campania) è caratterizzata, fino ad epoche recenti, dalla presenza di aree palustri e umide. Lo studio in corso cerca di ricostruire l’evoluzione dell’ambiente costiero mettendolo in relazione alla presenza dell’uomo, alla gestione del territorio, alle vicende storiche e alle variazioni climatiche utilizzando molteplici metodologie tipiche della geoarcheologia. Si tratta di un approccio multidisciplinare che cerca di mettere insieme analisi tipiche dell’archeologia, della topografia antica, della geomorfologia, della geologia e della paleobotanica. Fino all’età del Ferro l’unica traccia di popolamento viene da Monte d’Argento, uno sperone roccioso isolato lungo la costa, posto al limite occidentale di un ambiente sottostante che sembra una palude chiusa e isolata da apporti sedimentari esterni. Con il passaggio all’età del ferro si verifica un mutamento ambientale con la fine della grande palude e la formazione di una piccola laguna parzialmente comunicante con il mare. L’arrivo dei romani alla fine del III secolo a.C. segna la scomparsa dei grandi centri degli Aurunci e la deduzione di tre colonie (Sessa Aurunca, Sinuessa, Minturno). Le attività di sistemazione territoriale non riguardarono però le aree umide costiere, che non vennero bonificate o utilizzate per scopi agricoli, ma mantennero la loro natura di piccoli laghi costieri. Quest’epoca è dunque caratterizzata da una diffusione capillare di insediamenti, basati su piccole fattorie o installazioni legate allo sfruttamento agricolo. Poche sono le aree archeologiche che hanno restituito materiali successivi al II-III secolo d.C. La città resta comunque abitata fino al VI-VII secolo, quando l’instabilità politica e l’impaludamento dovettero rendere la zona non troppo sicura favorendo uno spostamento verso le zone collinari. Un insediamento medievale è attestato solo a Monte d’Argento e una frequentazione saracena dell’inizio del IX secolo è riportata dalle fonti letterarie, ma non vi è ancora nessuna documentazione archeologica.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The central topic of this thesis is the study of algorithms for type checking, both from the programming language and from the proof-theoretic point of view. A type checking algorithm takes a program or a proof, represented as a syntactical object, and checks its validity with respect to a specification or a statement. It is a central piece of compilers and proof assistants. We postulate that since type checkers are at the interface between proof theory and program theory, their study can let these two fields mutually enrich each other. We argue by two main instances: first, starting from the problem of proof reuse, we develop an incremental type checker; secondly, starting from a type checking program, we evidence a novel correspondence between natural deduction and the sequent calculus.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Il presente lavoro parte dalla constatazione che l’Imposta sul valore aggiunto è stata introdotta con lo scopo specifico di tassare il consumo in modo uniforme a livello europeo. La globalizzazione dell’economia con l’abolizione delle frontiere ha tuttavia favorito la nascita non solo di un mercato unico europeo, ma anche di “un mercato unico delle frodi”. L’esistenza di abusi e frodi in ambito Iva risulta doppiamente dannosa per l’Unione europea: tali condotte incidono quantitativamente sull'ammontare delle risorse proprie dell’Unione e sulle entrate fiscali dei singoli Stati membri nonché violano il principio di concorrenza e producono distorsioni nel mercato unico. È in questo contesto che intervengono i giudici nazionali e la Corte di Giustizia, al fine di porre un freno a tali fenomeni patologici. Quest’ultima, chiamata a far rispettare il diritto comunitario, ha sviluppato una misura antifrode e antiabuso consistente nel diniego del diritto alla detrazione qualora lo stesso venga invocato dal soggetto passivo abusivamente o fraudolentemente. Vedremo però che il problema non può essere facilmente ridotto a formule operative: al di là dello schema, fin troppo scontato, dell’operatore apertamente disonesto e degli operatori con esso dichiaratamente correi, rimane il territorio grigio dei soggetti coinvolti, qualche volta inconsapevolmente qualche volta consapevolmente, ma senza concreta partecipazione nella frode da altri orchestrata. Permane a questo punto la domanda se sia coerente - in un sistema impositivo che privilegia i profili oggettivi, prescindendo, salvo gli aspetti sanzionatori, da quelli soggettivi- negare il diritto alla detrazione Iva per asserita consapevolezza di comportamenti fraudolenti altrui o se non vi siano regole più adatte al fine di porre un freno alle frodi e dunque più conformi al principio di proporzionalità.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La tesis estudia el principio de neutralidad en su vertiente interna y su aplicación efectiva en el IVA. Se centra en los principales aspectos de la configuración jurídica del impuesto: derecho de deducción, exenciones y tipos reducidos. Se realiza en primer lugar una aproximación teórica al principio desde un punto de vista jurídico y también económico. Una vez construido el principio se acomete una comparación de las distintas clases de impuestos indirectos que pueden establecerse y se analiza su cumplimiento del principio de neutralidad fiscal. El énfasis es mayor en los impuestos en cascada, impuestos monofásicos minoristas y en el IVA. El objetivo de la tesis es, por tanto, concretar el contenido del principio, desarrollar sus implicaciones económicas principales y analizar el grado de cumplimiento real de la Directiva IVA. Desde el punto de vista del derecho de deducción y de las exenciones el estudio se apoya en el análisis de la jurisprudencia del Tribunal de Justicia de la Unión Europea, donde se profundizará en cuestiones como la utilización de bienes de uso mixto, la consideración de costes como directos o generales y las formas de ejercicio del exceso de deducción (devolución y compensación). Además, la tesis muestra las principales excepciones al principio de neutralidad establecidas en la Directiva IVA: prohibiciones al derecho de deducción, exenciones y tipos reducidos. En esta parte también se apoyará el estudio en la jurisprudencia del TJUE, que ha construido en gran medida los criterios de interpretación de estas excepciones. En conclusión, el objetivo de la tesis es medir si la directiva IVA cumple con el principio de neutralidad fiscal, para lo que deberá haberse especificado primero su significado concreto y se habrá debido diferenciar entre sus dos dimensiones: interna y externa.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Questo lavoro si concentra su un particolare aspetto della sfaccettata ricerca scientifica di Johannes Kepler (1571-1630), ossia quello teorico-musicale. I pensieri dell’astronomo tedesco riguardanti tale campo sono concentrati – oltre che in alcuni capitoli del Mysterium cosmographicum (1596) ed in alcune sue lettere – nel Libro III dell’Harmonices mundi libri quinque (1619), che, per la sua posizione mediana all’interno dell’opera, tra i primi due libri geometrici e gli ultimi due astronomici, e per la sua funzione di raccordo tra la «speculazione astratta» della geometria e la concretizzazione degli archetipi geometrici nel mondo fisico, assume la struttura di un vero e proprio trattato musicale sul modello di quelli rinascimentali, nel quale la «musica speculativa», dedicata alla teoria delle consonanze e alla loro deduzione geometrica precede la «musica activa», dedicata alla pratica del canto dell’uomo nelle sue differenze, generi e modi. La tesi contiene la traduzione italiana, con testo latino a fronte, del Libro III dell’Harmonice, e un’ampia introduzione che percorre le tappe fondamentali del percorso biografico e scientifico che hanno portato alla concezione di quest’opera – soffermandosi in particolare sulla formazione musicale ricevuta da Keplero, sulle pagine di argomento musicale del Mysterium e delle lettere, e sulle riflessioni filosofico-armoniche sviluppate negli anni di ricerca – e offre gli elementi fondamentali per poter comprendere l’Harmonice mundi in generale e il Libro III in particolare. A ciò si aggiunge, in Appendice, la traduzione, anch’essa con testo latino a fronte, della Sectio V, dedicata alla musica, del Liber IX dell’Almagestum novum (1651) di Giovanni Battista Riccioli (1598-1671), interessante sia dal punto di vista della recezione delle teorie di Keplero che dal punto di vista della storia delle idee musicali.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ziel dieser Dissertation ist es, die grundlegenden philosophisch-theoretischen Implikationen von Schellings letzter systematischer Darlegung seiner Naturphilosophie nach dem Berliner Textfragment von 1843/44, der “Darstellung des Naturprocesses”, zu untersuchen. Angesichts der sich zwischen den 1830 und den 1860 Jahren in Berlin abzeichnenden neuen intellektuellen Tendenzen und der Entwicklungen in den Naturwissenschaften legt Schelling hier die Grundlagen für eine allgemeine Ontologie des Wirklichen in kritischer Auseinandersetzung mit Kants transzendentalem Idealismus. Innerhalb des systematischen Horizonts der "apriorischen Vernunftwissenschaft" oder "negativen Philosophie" stellt er im ersten Teil seines Werkes die Prinzipien fest, die die „Idee des Existierenden“ ausmachen, und beschreibt die rationale Operation, die durchgeführt werden muss, um zum Gedanken einer „Welt außer der Idee“ zu gelangen. Die philosophisch-systematischen Annahmen, die mit dem Übergang von der bloßen Idee des Existierenden zum Gedanken der außeridealen Welt verbunden sind, werden im ersten Kapitel dieser Dissertation untersucht. Im zweiten Teil seines Werkes definiert Schelling durch eine detaillierte Analyse von Kants Transzendentalen Ästhetik den Raum als diejenige Form, in der uns die Existenzen als voneinander getrennt vorstellen lassen. Obwohl der Zeitbegriff von Schelling nur am Rande behandelt wird, trägt er zusammen mit dem Raum dazu bei, die erste ontologische Grundstruktur der außeridealen Welt zu definieren. Die Analyse von Schellings Konzeption der raumzeitlichen Grundstruktur der außeridealen Welt stellt das Thema des zweiten Kapitels dieser Dissertation dar. Schließlich bestimmt Schelling im dritten Teil seines Werkes die Finalität als diejenige Kausalitätsform, die es ermöglicht, die außerideale Welt als einen werdenden Kontext zu verstehen, dessen Entwicklungsstufen die siderische Welt, die unorganische Welt und die organische Welt sind. Die Schelling‘sche Definition der Teleologie der Natur als zweite ontologische Grundstruktur der außeridealen Welt ist das Thema des dritten Kapitels dieser Dissertation.