Algunas notas sobre "a mayor abundamiento" en el discurso jurisdiccional

"A mayor abundamiento" es una expresión conectiva muy utilizada en el Discurso Jurídico, en general, y en el Discurso Jurisdiccional, en particular. El objetivo de esta comunicación consiste, justamente, en analizar, desde la perspectiva teórico- metodológica de la Lingüística Cognitiva, el comportamiento de esta locución adverbial tan poco explorada en el ámbito de los estudios del lenguaje. Precisaremos y explicaremos su funcionamiento, en el género "sentencia", revisando los siguientes aspectos: 1) su naturaleza; 2) las distintas construcciones con las que se asocia, tanto a nivel local como global; 3) su combinación con otros dispositivos conectivos - verbales y no verbales- ; 4) el tipo de información que articula, y las instrucciones que desencadena; y 5) su relevancia como creador de vínculos interpretativos, dado que pone de relieve estados mentales de naturaleza diversa que conforman el "juicio" expresado por el Juez o la perspectiva que éste adopta, como agente verbal, de concepción y de experiencia (Langacker, 1991), ante la información que "valora" y sobre el cual deberá expedir 'a posteriori' un fallo. Asimismo, el estudio de este dispositivo conectivo permitirá dar cuenta de ciertos rasgos que se le atribuyen al lenguaje jurídico: "redundancia expresiva", "acumulación", "abundancia" (Alcaraz y Hugues, 2002), "rigidez", "pesadez" (De Miguel 2000), "densidad" (Cucatto, 2010) y "sobreabundancia" (Prieto, 2008); ofreciendo de tales rasgos una motivación pragmático-funcional

As téchnai da cidade e a competência do filósofo

El propósito de esta comunicación es examinar la competencia del filósofo en el texto que hoy conocemos como Primer Alcibíades o Alcibíades Mayor. El trabajo propone la lectura del diálogo como un texto de filosofía política. La hipótesis sostenida es que el diálogo fue escrito con la intención de explicar la filosofía como una forma de intervenir políticamente basada en la exégesis filosófica de la sentencia apolínea "Conócete a ti mismo". Se argumenta que la perspectiva del texto se fundamenta en el principio de que la frase lleva consigo una exhortación a ejercer la política de manera recta. El diálogo, pues, no sólo contiene un análisis filosófico sobre la competencia adecuada para el ejercicio del poder, sino que también analiza cómo esta competencia se relaciona con la política, lo que pone a la filosofía en conflicto con las téchnai practicadas en la ciudad

Infanticidios : Historias de vida

Este trabajo de investigación busca encontrar articulaciones entre situaciones de violencia en la vida de las victimarías y el acto infanticida. Se ha considerado fundamentar la misma en la perspectiva de los estudios de género, por cuanto entendemos que no pueden recortarse ni ignorarse las marcas e inscripciones de violencia material y simbólica, así como las significaciones imaginarias que producen la subjetividad femenina. El acto infanticida, en tanto acto humano, tiene múltiples atravesamientos, entre los cuales hemos privilegiado las líneas antropológica, psicológica y sociológica. La elección de una metodología cualitativa de investigación y las técnicas de historia de vida y entrevista en profundidad, dentro de ella, dan cuenta de este propósito de comprender cómo se inscribe el acto infanticida en la vida de estas mujeres que cumplen sentencia en establecimientos penitenciarios bonaerenses. La constitución interdisciplinaria del equipo de investigación busca una síntesis integradora de los enfoques interdisciplinarios

En lo insigne Consell General de la illustre Ciutat de Valencia, celebrat... en denou dies del mes de Dehembre del any mil siscents trenta... fonch possada supplicaciò per part de Simò Gorris notari, syndich, y procurador dels Corredors de Orella ... de Valencia ... representant, que en les ocasions que no poden despedir, ni vendre les sedes, vitualles y altres mercaderies, que esporten ...

Contiene además del Establiment de 1630, la conclusión de la Sentencia de 18 de noviembre de 1693 y de la Deliberación del Col.legi de Corredors de 13 de noviembre 1694

Quinque Regiae Sententiae, latae in Regia Valentina Audientia ...

Texto hecho público el 21 de mayo de 1681

Por Laura Salt, donzella con el Colegio de San Pablo de la Compañia de Iesus desta ciudad y otros litisconsortes

En texto consta 1649, como sentencia anterior al caso

Summari del fet de la causa de la Iurisdictio criminal en cas de mort y mutilatio de membre del lloch de Castell Empurdà per Don Leandro de Margarit i de Gallart ; contra lo fisch real, Iurats y los officials de Ullstret

Precede al tít. : "Iesus Maria Franciscus"

Regia sententia lata inter partes Regii Fisci Procuratoris et Iacobi Calbo alterius ex administratoribus conductionis impositionis vini, & aliorum iurium, vulgo del General del entrada, agentium et Iosephi Gomez Vale[n]tin proxonetae rei criminaliter co[n]uenti ...

Segun Gutiérrez del Caño, p. 673, Silvestre Esparsa imprimió entre 1628 y 1660

Et quia lites quotidiè exoriebantur inter rectorem, clerum & Parochiam Sancti Martini & Hospitale Generale, suosque vicarium, & Capellanos, super juribus funeralibus commensalium & servitorum in eo decedentium & funerandorum in Ecclesia vel Coemeterio ejusdem Hospitalis ...

Texto fechado en Valencia, 25 de septiembre 1741

Regia sententia lata in S.S.R. Aragonum Consilio ad favorem Hieronymi Barberà ... canonici ... contra Procuratorem Patriomonialem Regia maiestatis [et] sindicum trium stamentorum Regni Valentiae

Tit. tomado de comienzo de texto

Alegación por la casa-banco conocida bajo la razon de Rothschild hermanos, de Paris, en el pleito ... de quiebra de la sociedad metalúrgica La Británica establecida en Alicante que ... pende ... de esta Audiencia territorial entre los herederos del ... señor Don Pio Pita Pizarro, los Síndicos de la quiebra, y la referida casa de Rothschild sobre liquidacion de la cuenta de plata núm. 1º presentada á la junta de acreedores por ésta

Las h. pleg. contienen: Testimonios de la cuentas de Rothschild

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.

Sentençia promulgada en les perssones del Dr. Gil, y Dª. Maria Gomba [Manuscrito] : per haver comes lo delicte tan gran de haverse cassat

En verso de h. [2] aparece un texto ms. posiblemente posterior al texto de la sentencia y sin relación con él.

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.