La cabaña moderna. Microrrelatos de arquitecturas en busca de sentido

Desde la revolución ilustrada e industrial de finales del s. XVIII se ha venido desarrollando, con fuerza inigualada a lo largo de la historia, algo que es consustancial al hombre y que le ha permitido constituirse como tal frente al resto de animales: la técnica. Como sentencia Ortega, no hay hombre sin técnica. Pero, al mismo tiempo, va quedando cada vez más claro -como también nos señala Ortega- que el sentido y la causa de la técnica están fuera de ella, y que la técnica no es en rigor lo primero, sino que su finalidad le ha de ser prefijada por un deseo original pre-técnico. Si esto no fuera así el hombre perdería su propio sentido, pues el hombre es puro afán, un ente cuyo ser consiste no en lo que ya es, sino en la que aún no es. Sin embargo, el progresivo desencantamiento del mundo como consecuencia del desarrollo de la sociedad industrial vino a sustituir los viejos mitos por una interpretación racional y abstracta que renunciaba a cualquier búsqueda de sentido que trascendiese los hechos brutos. De este modo, la perdida de sentido del hombre frente a la técnica desarrollada por él mismo le dejaba desnortado y convertido en un sujeto pasivo en manos de un malentendido progreso. Frente a esta pérdida de sentido detectada ya a principios del siglo XX y denunciada con más fuerza a partir de la Segunda Guerra Mundial, el postmodernismo del último tramo del pasado siglo pudo no sólo oficializar su desaparición, sino consignar su deslegitimación. Ante a esto, sostenemos la necesaria existencia de sentido en cualquier arquitectura que se desarrolle plenamente y, especialmente, en la arquitectura de la modernidad -y aún de la modernidad tardía o postmodernidad- muchas de las veces no explicitado como tal frente al sobredimensionamiento técnico que ha venido marcando la pauta desde la revolución industrial. Al mismo tiempo, ya no se puede hablar de un único sentido, universalizable, sino de una pluralidad de sentidos que definirán distintas arquitecturas. Partiendo de la petitio principii de que el tema capital de la arquitectura en la modernidad ha sido la vivienda, el objeto arquitectónico que reúne las mejores características para desarrollar esta búsqueda de sentido lo hemos encontrado en la cabaña moderna, donde se cumple el aforismo corbusierano que señala que “quand l’économie est au maximum, l’intensité est au maximum”. Al mismo tiempo “al representar la plenitud a través de su misma negación”, la cabaña moderna se puede entender como una sublimación de la arquitectura a través de pequeños objetos donde han quedado destiladas las distintas esencias de la modernidad. Mediante el análisis de seis pequeñas construcciones situadas en archipiélagos arquitectónicos radicalmente distantes –el campamento de Ocatillo (F. Ll. Wright, 1929); la Caja (R. Erskine, 1942); el Cabanon (Le Corbusier, 1952); la casa cúpula en Carbondale (R. B. Fuller, 1960); el refugio en Oropesa (F. J. Sáenz de Oíza, c.1967-1977) y el pabellón de invitados en Kempsey (G. Murcutt, 1992)- la aparente aporía que supone la cabaña moderna, frente a la más lógica, en principio, cabaña primitiva, cobra sentido. Efectiva mente, el referente mítico de la cabaña primitiva, tal y como fue enunciado por Laugier, se correspondía con el estadio más primitivo de la modernidad, con sus orígenes, precisamente porque la crítica que se hacía en ella de la arquitectura se basaba en criterios exclusivamente técnicos que remitían a los orígenes constructivos de la arquitectura como fórmula para salir del entramado retórico en el que ésta se encontraba perdida. La cabaña moderna trasciende, sin embargo, aquella primitiva fase de la modernidad, de la que la cabaña de Laugier es paradigma, en la medida en que la crítica que se realiza ahora es doble, pues a la crítica de carácter técnico que encontramos en cada una de las cabañas se le añade una crítica de sentido que no se encuentra supeditada, en ninguno de los casos, a la componente técnica, tal y como sin embargo sucedía con Laugier, donde la pretendida regeneración moral de la arquitectura era consecuencia directa de su depuración técnica. En la cabaña moderna, al contrario, encontramos una pluralidad de sentidos que orientan y fuerzan el desarrollo de la techné en direcciones que llegan a ser radicalmente diferentes, construyendo unos relatos que habrán de ser, por tanto, necesariamente parciales, pero de los que la arquitectura, en cualquier caso no podrá prescindir si es que quiere seguir siendo fiel a sí misma, tal y como, efectivamente, lo comprendieron Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza y Murcutt, cuando se esforzaron por que estas pequeñas arquitecturas que hemos visitado, tan sólo unas cabañas, fueran unas cabañas con sentido, unas cabañas modernas. ABSTRACT Since the illustrated and industrial revolution of the XVIII century it has been developing, with unequally strength through history, something that is inherent to man and that has allowed him to become himself against the rest of animals: technique. As Ortega says, there is no man without technique. But, at the same time, it is becoming increasingly clear –as Ortega also says- that the sense and the cause of the technique are beyond technique itself, and that technique is not actually the first thing, but that its purpose must be predefined by a pre-technique original desire. If it were not like this, man would lose his own sense, because man is pure desire, an entity whose being is not what already is, but what still doesn’t is. However, the progressive disenchantment of the world as the result of the development of the industrial society came to change the old myths by a rational and abstract interpretation that renounced to any search of meaning that transcended the brute facts. Thereby, the loss of sense of man against the technique developed by man himself let him aimless and converted in a passive object in the hands of a misunderstood progress. Against this loss of sense already detected at the beginning of the XX century and denounced in a stronger way since the Second World War, the postmodernism of the late decades of the last century could not only formalize its disappearance, but also consign its delegitimization. On the contrary, we maintain the necessary existence of sense in any architecture that is fully developed and, specially, in the modern architecture –and even in the late Modernism or Postmodernism- many times not made explicit as such against the technique oversizing that has been setting the pattern since the industrial revolution. At the same time, we can not talk about an only and universal sense, but about a plurality of senses that will define different architectures. On the basis of the petitio principii that dwelling has been the capital issue of modern architecture, the architectonic object that possesses the best features for developing this search of sense has been found in the modern hut, where is fulfil the Corbusieran aphorism that says that “quand l’économie est au maximum, l’intensité est au maximum”. At the same time, “representing plenitude through its own negation” the modern hut can be understood as a sublimation of architecture through small objects where the different essences of modernity have been distilled. Through the analysis of six small buildings located in radically distant architectonic archipelagos –the Ocatillo dessert camp (F. Ll. Wright, 1929); the Box (R. Erskine, 1942); the Cabanon (Le Corbusier, 1952); the dome-home in Carbondale (R. B. Fuller, 1960); the retreat in Oropesa (F. J. Sáenz de Oíza, c. 1967-1977) and the guest house in Kimpsey (G. Murcutt, 1992)- the apparent aporia that represents the modern hut, against the, initially, more logical primitive hut, makes sense. Indeed, the mythical reference of the primitive hut, as it was enunciated by Laugier, belonged to the most primitive state of modernity, with its origins, precisely because the criticism of the architecture that was made there was based in exclusively technique criteria, referring to the constructive origins of architecture as the formula to get out of the rhetoric labyrinth in which architecture was lost at the moment. However, the modern hut transcends that primitive phase of modernity, of which Laugier’s hut is paradigm, since the criticism that is made is double, because to the criticism on the technique that we find in every hut we must add a criticism on the sense that is never subordinated to the technique component, as it was the case in Laugier, where the intended architectonic moral regeneration was a direct consequence of its technical depuration. In the modern hut, on the contrary, we find a plurality of senses that guides and drives the development of techné in radically different directions, building narratives that must be, then, necessarilly partial, but of which architecture could never leave aside if it still wants to be faithful to itself, as Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza and Murcutt seemed to understand when they tried hardly to make these small architectures that we have visited, these huts, huts full of sense, modern huts.

Derivación deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformación de especificaciones: se parte de una especificación inicial que va transformándose sucesivamente hasta obtener una especificación final que se toma como programa. Este modelo básico puede llevarse a la práctica de varias maneras. En concreto, la aproximación deductiva toma una sentencia lógica como especificación inicial y su proceso transformador consiste en la demostración de la sentencia; como producto secundario de la demostración se deriva un programa que satisface la especificación inicial. La tesis desarrolla un método deductivo para la derivación de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El método utiliza una lógica multigénero, cuya relación con el lenguaje de programación es estudiada. También se identifican los esquemas de demostración necesarios para la derivación de funciones con patrones, basados en la demostración independiente de varias subsentencias. Cada subsentencia proporciona una subespecificación de una ecuación del futuro programa a derivar. Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo método es una modificación del cuadro de estos autores, que incorpora géneros y permite demostrar una especificación mediante varios cuadros. Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa. Se prevén mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables anónimas y sinónimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicación, un mecanismo que independentiza el método del lenguaje de programación y un prototipo de entorno interactivo de derivación deductiva. Categorías y descriptores de materia CR D.l.l [Técnicas de programación]: Programación funcional; D.2.10 [Ingeniería de software]: Diseño - métodos; F.3.1 [Lógica y significado de los programas]: Especificación, verificación y razonamiento sobre programas - lógica de programas; F.3.3 [Lógica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programación automática - síntesis de programas; 1.2.3 [Inteligencia artificial]: Deducción y demostración de teoremas]: extracción de respuesta/razón; inducción matemática. Términos generales Programación funcional, síntesis de programas, demostración de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificación parcial, inducción estructural, teorema de descomposición.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Loos, Gínzburg y Teige: monumentalidad y modernidad

Durante el exilio norteamericano de 1943, el historiador Sigfried Giedion junto con el arquitecto Josep Lluís Sert y el pintor Fernand Léger escribieron los Nueve Puntos sobre Monumentalidad. El manifiesto fue el antecedente de un texto que el mismo Giedion presentó al año siguiente denominado La Necesidad de una Nueva Monumentalidad. En ese contexto, el interés por discutir el asunto de la monumentalidad buscaba señalar una virtual dirección para la arquitectura venidera en el escenario de la posguerra. Según el historiador, la condición monumental completaba el último paso en una progresión inevitable que tras el establecimiento del paradigma moderno -ocupado inicialmente en resolver temas técnicos, funcionales, simplificados e higienistas- habría de atender los problemas relacionados con la expresión simbólica, conmemorativa, emocional y artística de la nueva arquitectura. En ese sentido nos preguntamos, ¿es la monumentalidad una cuestión abiertamente contradictoria con los principios modernos y por lo tanto excluida durante este periodo?. El crítico norteamericano Lewis Mumford acuñó al respecto una sentencia contundente: "La noción de un monumento moderno implica, en verdad, una contradicción de sus términos: si es un monumento no es moderno, y si es moderno no puede ser un monumento". Con el fin de estructurar un posicionamiento crítico que permita contrastar el amplio espectro conformado entre lo dicho y lo hecho, se toma como referencia la obra escrita de tres personajes fundamentales dentro del desarrollo de la modernidad en la Europa de entreguerras -Adolf Loos en la Viena de transición del fin de siècle, Moisei Gínzburg en los márgenes del constructivismo soviético y Karel Teige en el contexto de la vanguardia Checa- para indagar sobre cuándo y cómo se encuentran o rechazan las nociones de modernidad y monumentalidad en ese período crítico. Dado que es objeto de interés establecer los posibles límites en la reflexión que entreteje desde los posicionamientos conscientes a las complicidades involuntarias del aparente enfrentamiento. En el proceso de mutación entre el proyecto y la obra construida, entre la palabra escrita y la arquitectura, las aportaciones de estos tres críticos figuran como relevantes en un ejercicio que busca comprobar posteriormente la trascendencia del asunto en algunos de los ejemplos canónicos de la arquitectura de los primeros años del siglo XX. A la distancia, la importancia del tema recae en un interés vigente en el que los aspectos de representación, memoria, significado o legitimidad, siguen siendo motivo de debate en el panorama de la producción arquitectónica actual.

Formación y determinación del valor del suelo: confrontación y discrepancias entre mecanismos de mercado y regulaciones administrativas

La determinación del valor del suelo implicado en los procesos de urbanización se mueve en una compleja dialéctica en la que algunos fenómenos de naturaleza morfológica como el modelado del espacio social, o el que se deduce de las determinaciones del planeamiento (aprovechamiento especialmente) se enfrentan a instrumentos de regulación que se rigen por normas de carácter administrativo (urbanísticas y expropiatorias, fiscales, financieras-hipotecarias etc.). En ese marco en el que las discrepancias son frecuentes se pretende analizar las posibles actuaciones encaminadas a influir sobre la formación de ese valor en el sentido de limitar las expectativas de aprovechamiento tradicionalmente vinculadas al sistema urbanístico establecido, destacando al respecto la implantación de criterios de sostenibilidad y participación ciudadana, así como que la utilización de normas administrativas de valoración con la finalidad de reducir tales expectativas y tratar de influir sobre el sistema urbanístico en su conjunto, no se considera suficiente para conseguir el logro de tales objetivos. Añadiendo, respecto del conjunto de normas administrativas de determinación del valor del suelo, que si bien las reglas urbanísticas y expropiatorias establecen actualmente reglas objetivas de valoración, a través de la normativa de valoración destinada a entidades financieras, o de carácter fiscal, se introducen criterios subjetivos que tratan de aproximarse al mercado, incluso en el caso del valor catastral, estructuralmente reglado. Esta separación de criterios ha llevado a un enfrentamiento al que ha venido a dar respuesta la reciente sentencia del Tribunal Supremo de 30 de mayo de 2014, que impone los criterios urbanísticos de consideración de situaciones básicas de suelo, frente a los fiscalmente regulados en relación con la normativa catastral en cuanto a la consideración de suelo urbanizable sin desarrollar, que pasa a ser considerado como en situación rural, siendo por tanto aplicables sobre el mismo las reglas de valoración que la normativa catastral establece para esta categoría de suelo (rústico) que no considera, incluso con la posterior modificación, de junio de 2015, incorporada para adaptarse a la mencionada sentencia, expectativas de aprovechamiento. Pero como se ha señalado, la exclusiva utilización de la normativa urbanística de valoración no se considera suficiente para evitar los efectos que sobre el valor de suelo produce la asignación de tales aprovechamientos, por lo que acuerdo con la actual legislación de suelo, deben asimismo potenciarse actuaciones encaminadas a un desarrollo sostenible así como a la participación ciudadana, la transparencia y el control, con la finalidad de lograr un mayor rigor en la utilización del suelo que ha de traducirse en su valoración. ABSTRACT Determining the land value involved in the urbanisation process implies a complex dialectic in which certain morphological natural phenomena like the modelling of social space or that deduced from planning determinations (especially land use) face regulatory instruments governed by administrative norms (urban planning and expropriator, tax, financial-mortgage etc.). In this context where discrepancies are common, the purpose is to analyse the possible actions geared to influence the formation of that value in the sense of limiting land use expectations traditionally linked to the established urban planning system, highlighting the implementation of sustainability criteria and citizen participation, as well as to consider that the administrative standards of evaluation for reducing said expectations, and trying to influence the urban system as a whole, are not considered sufficient for achieving these objectives. We might add, with respect to the set of administrative norms for determining the land value, that while urban and expropriations norms currently provide objective rules of valuation, subjective criteria are introduced trying to approach the market, including the structurally regulated cadastral value through valuation rules aimed at financial or fiscal institutions. This separation of criteria has led to a confrontation to which the recent ruling of the Supreme Court of May 30, 2014 responds. The aforementioned judgement imposes the urban core criteria for basic land use situations against those fiscally regulated in relation to cadastral regulations regarding the consideration of undeveloped building land, which is considered to be in a rural situation, making it subject to the same rules that cadastral valuation norms established for this category of land use (rustic) which do not consider, even with the subsequent amendment of June 2015, introduced to fit that judgment, use expectations. But as noted, the exclusive use of valuation planning regulations is not considered sufficient to avoid the effects on the land value produced by the allocation of said uses, so that according to the current land use legislation, actions aimed at sustainable development as well as citizen participation, transparency and control, shall be enhanced in order to achieve greater rigor in the use of land which should be translated in their valuation.