Entre la lingüística y la filología : El análisis sintáctico-pragmático. Una mirada diacrónica a las preposiciones con y sin

Este artículo forma parte de una investigación mayor cuyo propósito es estudiar el empleo y la evolución de las preposiciones con y sin en la historia de la lengua española peninsular y americana. Además de describir el empleo de las preposiciones en diferentes contextos formales y pragmáticos, el trabajo tiene un propósito explicativo en tanto intenta dar cuenta de frecuencias de uso de las formas lingüísticas en relación con el género y el tema del discurso. Considera, asimismo, la equivalencia funcional (parcial) de con / contra; con / no sin para delimitar estrategias de selección y propone la posibilidad de estudiar la variación de formas (parcialmente) antónimas como reflejo de perspectiva cognitiva.

Análisis de equivalencias entre una lista de epígrafes, un tesauro y un sistema de clasificación

Se analizó la equivalencia entre tres sistemas de organización del conocimiento (SOC), identificándose 235 epígrafes de la Lista de Encabezamientos de Materia para Bibliotecas (LEMB) y 174 descriptores del Tesauro de la Unesco (TU) referidos a Bibliotecología. Se tradujeron todos ellos a notaciones de la Clasificación Decimal Universal (CDU), obteniéndose 286 notaciones simples y precoordinadas. Los resultados fueron: Entre LEMB y CDU: sin equivalencia: 27 epígrafes (11,4); equivalencia parcial (epígrafe más específico que notación): 9 (3,9) y equivalencia exacta: 199 (84,6). La equivalencia exacta fue sin precoordinación: 117 (49,6), precoordinación entre clases principales: 60 (25,4) y precoordinación con auxiliares: 22 (9,6). Entre TU y CDU los resultados fueron: sin equivalencia: 33 descriptores (19,0); equivalencia parcial (descriptor más específico que notación): 25 (14,3): equivalencia exacta: 116 (66,7). La equivalencia exacta también fue de tres tipos: sin precoordinación: 74 (42,5), precoordinación entre clases principales 31 (17,9), precoordinación con auxiliares: 11 (6,3). Se establecieron 205 equivalencias de los tres SOC (71,7), hecho que sugiere que CDU puede actuar como SOC intermediario entre los otros dos.

Vigencia de la tragedia, novela, violencia

¿Por qué justamente la tragedia como punto de partida del relato en algunas novelas de José Pablo Feinmann? ¿Qué sentido adquiere la referencia a la forma literaria en el contexto de las historias que organizan la trama de las novelas? La pregunta exige -tratándose de las obras de Feinmann (La Astucia de la razón, 2001 (1990 ); El mandato, 2000 y La sombra de Heidegger, 2005)- una consideración del concepto desde la poética hegeliana y desde lo trágico como experiencia humana. Mi trabajo se propone dilucidar algunos de los interrogantes que plantea la mención explícita al género en mundos donde impera la atmósfera de lo popular, y, fundamentalmente, pensar cómo esa presencia configura la articulación conflictiva entre lo particular y lo social en los mundos que Feinmann construye. Estas notas muestran el procedimiento en virtud del cual las novelas afirman la equivalencia de lógicas dicotómicas provocadoras de un efecto de oscilación en el tono de los textos.

La riqueza algebraica de las relaciones geométricas

Un sentimiento habitual en nosotros, profesores de matemática, es la decepción cuando vemos que nuestros alumnos ofrecen evidencias de no haber logrado un aprendizaje significativo en nociones que consideramos claves. Sin embargo no es necesario ahondar mucho para ver que estas pretensiones de aprendizaje han estado ausentes en los diseños didácticos. La propuesta destinada a alumnos de 1º año de ESB es una transposición didáctica que considera el tratamiento explícito de la noción de equivalencia y la interpretación del lenguaje algebraico. Se aprovecha la noción de perímetro de figuras geométricas y la fuerza de la prueba pragmática para plantear equivalencias que son aceptadas por su sentido. De este modo aparecen distintas sintaxis de expresiones algebraicas que el docente revalida, apoyándose en propiedades y reglas de las operaciones matemáticas, para finalmente acordar la aceptación de ciertas equivalencias del lenguaje algebraico.

Análisis de equivalencias entre una lista de epígrafes, un tesauro y un sistema de clasificación

Se analizó la equivalencia entre tres sistemas de organización del conocimiento (SOC), identificándose 235 epígrafes de la Lista de Encabezamientos de Materia para Bibliotecas (LEMB) y 174 descriptores del Tesauro de la Unesco (TU) referidos a Bibliotecología. Se tradujeron todos ellos a notaciones de la Clasificación Decimal Universal (CDU), obteniéndose 286 notaciones simples y precoordinadas. Los resultados fueron: Entre LEMB y CDU: sin equivalencia: 27 epígrafes (11,4); equivalencia parcial (epígrafe más específico que notación): 9 (3,9) y equivalencia exacta: 199 (84,6). La equivalencia exacta fue sin precoordinación: 117 (49,6), precoordinación entre clases principales: 60 (25,4) y precoordinación con auxiliares: 22 (9,6). Entre TU y CDU los resultados fueron: sin equivalencia: 33 descriptores (19,0); equivalencia parcial (descriptor más específico que notación): 25 (14,3): equivalencia exacta: 116 (66,7). La equivalencia exacta también fue de tres tipos: sin precoordinación: 74 (42,5), precoordinación entre clases principales 31 (17,9), precoordinación con auxiliares: 11 (6,3). Se establecieron 205 equivalencias de los tres SOC (71,7), hecho que sugiere que CDU puede actuar como SOC intermediario entre los otros dos.

La riqueza algebraica de las relaciones geométricas

Un sentimiento habitual en nosotros, profesores de matemática, es la decepción cuando vemos que nuestros alumnos ofrecen evidencias de no haber logrado un aprendizaje significativo en nociones que consideramos claves. Sin embargo no es necesario ahondar mucho para ver que estas pretensiones de aprendizaje han estado ausentes en los diseños didácticos. La propuesta destinada a alumnos de 1º año de ESB es una transposición didáctica que considera el tratamiento explícito de la noción de equivalencia y la interpretación del lenguaje algebraico. Se aprovecha la noción de perímetro de figuras geométricas y la fuerza de la prueba pragmática para plantear equivalencias que son aceptadas por su sentido. De este modo aparecen distintas sintaxis de expresiones algebraicas que el docente revalida, apoyándose en propiedades y reglas de las operaciones matemáticas, para finalmente acordar la aceptación de ciertas equivalencias del lenguaje algebraico.

Formaciones identitarias en lugares de trabajo precario : Un estudio sobre pasantes de la administración pública de la provincia de Buenos Aires (2008-2012)

Esta tesis se propone contribuir a la comprensión del proceso de precarización en el mundo del trabajo y sus implicancias en la construcción identitaria de jóvenes trabajadores, a partir de un estudio sobre pasantes universitarios de la administración pública bonaerense. Entendemos a la precarización como un proceso ofensivo sobre los trabajadores que atraviesa no sólo sus contratos, sino también sus subjetividades y relaciones laborales. Nuestro principal interrogante refiere al papel que tiene el trabajo precario como elemento formativo de las identificaciones laborales de los jóvenes y sus repercusiones sobre los sentidos, acciones y organizaciones, desplegados en los lugares de trabajo. Realizamos un estudio de caso focalizado en pasantes de la Agencia de Recaudación de la Provincia de Buenos Aires (ARBA), ubicada en la ciudad de La Plata, entre los años 2008 y 2012. Desde un abordaje cualitativo, analizamos su proceso de construcción identitaria de forma relacional entre sus dimensiones sociales y biográficas, a la luz del "contexto de acción" y la "trayectoria subjetiva" de los pasantes. Tomamos en consideración las identificaciones atribuidas e incorporadas, las lógicas de diferenciación y equivalencia desplegadas en el proceso de selección de los referenciales identitarios, y las formas de identificación y acción colectiva desarrollados. Nuestro principal hallazgo resultó que las condiciones de precarización laboral en que los pasantes se forman identitariamente como trabajadores no condujeron a la naturalización de las mismas, sino que muchos de sus referenciales de posicionamiento identitario se encontraban anclados en el imaginario de una sociedad salarial pasada, caracterizada por estabilidades y protecciones laborales. Estas identificaciones movilizaron en ellos acciones y organizaciones colectivas, que si bien se desarrollaron de forma fragmentada, dan cuenta del carácter relacional del proceso de precarización laboral y del carácter político de las identificaciones, como espacios de disputa de las relaciones de poder en la con-formación y trans-formación del mundo del trabajo

Vigencia de la tragedia, novela, violencia

¿Por qué justamente la tragedia como punto de partida del relato en algunas novelas de José Pablo Feinmann? ¿Qué sentido adquiere la referencia a la forma literaria en el contexto de las historias que organizan la trama de las novelas? La pregunta exige -tratándose de las obras de Feinmann (La Astucia de la razón, 2001 (1990 ); El mandato, 2000 y La sombra de Heidegger, 2005)- una consideración del concepto desde la poética hegeliana y desde lo trágico como experiencia humana. Mi trabajo se propone dilucidar algunos de los interrogantes que plantea la mención explícita al género en mundos donde impera la atmósfera de lo popular, y, fundamentalmente, pensar cómo esa presencia configura la articulación conflictiva entre lo particular y lo social en los mundos que Feinmann construye. Estas notas muestran el procedimiento en virtud del cual las novelas afirman la equivalencia de lógicas dicotómicas provocadoras de un efecto de oscilación en el tono de los textos.

La traductología : Miradas para comprender su complejidad

Tabla de contenidos: Cómo definimos el concepto de traducción? / Jovanka Vukovic. Traductología : Hacia el nacimiento de una nueva disciplina / Beatriz Cagnolati. Aproximaciones a la traducción desde una perspectiva lingüística / María Luisa Fernández. Unidad de traducción / Nelba Lema. El concepto de equivalencia / Marina Menéndez. Significado, sentido y designación / Ana María Gentile. Traducción y cultura / Amalia Forte Mármol.

Crimen y crítica

A partir de "El asesinato considerado como una de las bellas artes", de Thomas De Ouincey, y de "Pluma, lápiz y veneno", de Oscar Wilde, se indagan los efectos que el concepto de "lo sublime" (tomado en las consideraciones de Burke y Kant) produjo en el debate acerca de la autonomización de la critica durante el Siglo XIX. Los textos de De Quincey Wilde recogen la dimensión de "lo sublime" en relación con el asesinato y formulan a partir de el una hipótesis acerca del método y los alcances de la critica de ante. Este artículo muestra en qué medida el carácter irrepresentable de lo que Burke y Kant llaman lo sublime regresa sobre la conciencia crítica bajo la forma de una nueva apertura del horizonte moral del juicio y busca poner en cuestión la idea de que pueda pensarse una equivalencia entre "soberanía" "autonomía profesional" de la crítica.

Entre la lingüística y la filología : El análisis sintáctico-pragmático. Una mirada diacrónica a las preposiciones con y sin

Este artículo forma parte de una investigación mayor cuyo propósito es estudiar el empleo y la evolución de las preposiciones con y sin en la historia de la lengua española peninsular y americana. Además de describir el empleo de las preposiciones en diferentes contextos formales y pragmáticos, el trabajo tiene un propósito explicativo en tanto intenta dar cuenta de frecuencias de uso de las formas lingüísticas en relación con el género y el tema del discurso. Considera, asimismo, la equivalencia funcional (parcial) de con / contra; con / no sin para delimitar estrategias de selección y propone la posibilidad de estudiar la variación de formas (parcialmente) antónimas como reflejo de perspectiva cognitiva.

Geocronología de la Terraza Compleja de Arganda en el valle del río Jarama (Madrid, España)

La Terraza Compleja de Arganda (TCA), situada en el tramo bajo del río Jarama (Madrid), está formada por sucesivos apilamientos de secuencias fluviales denominados de abajo a arriba Arganda I, II, III y IV, en los que se han encontrado importantes yacimientos arqueológicos y paleontológicos del Pleistoceno (Áridos 1 y 2, Valdocarros o HAT), y numerosos conjuntos de industria lítica del Paleolítico inferior y medio. Hasta ahora, la única referencia cronológica disponible para la TCA era la proporcionada por el estadio evolutivo de los micromamíferos de los yacimientos Áridos 1 en Arganda I y Valdocarros en Arganda II. En este trabajo, se propone la equivalencia de las distintas unidades de la TCA con terrazas escalonadas y se establece un marco cronológico numérico, obtenido mediante dataciones de termoluminiscencia, luminiscencia ópticamente estimulada y racemización de aminoácidos. Arganda I (≈ T+30-32 m) se situaría hacia el final del MIS 11 o en el inicio del MIS 9, Arganda II (≈T+23-24 m) se correspondería con el inicio del MIS 7, Arganda III (≈T+18-20 m) se situaría entre el MIS 7 y el MIS 5, y Arganda IV comenzaría su deposición en el MIS 5 finalizando su sedimentación en el MIS 1 al sur de Arganda del Rey (Madrid).

Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos.

Hasta la fecha se han evaluado distintas técnicas de verificación y validación teórica y empíricamente. La mayoría de las evaluaciones empíricas se han llevado a cabo sin sujetos, abstrayendo el efecto del sujeto sobre la técnica a la hora de aplicarla. Hemos evaluado mediante un experimento con sujetos la efectividad de tres técnicas de verificación y validación de código: partición en clases de equivalencia, cobertura de decisión y lectura de código mediante abstracciones sucesivas, estudiando la capacidad de las técnicas para la detección de fallos en tres programas distintos. Hemos replicado el experimento ocho veces en cuatro entornos distintos. Los resultados arrojan diferencias entre las técnicas y señalan variables contextuales del proyecto software que deberían considerarse cuando se quiera elegir o aplicar una técnica de verificación y validación.

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.

Estudio de la capacidad de arranque de una dinamita gelatinosa frente a una dinamita de seguridad

El presente proyecto pretende demostrar que el explosivo de seguridad 20 SR es capaz de arrancar el carbón de forma satisfactoria en las condiciones de disparo habituales y establecer la equivalencia práctica de dicho explosivo con una dinamita gelatinosa (Goma 2ECO). Para conseguir este objetivo se realizaron una serie de voladuras, variando las condiciones de disparo y los consumos específicos de la dinamita de seguridad. Se utilizó un software de análisis fotográfico para el estudio de la fragmentación en la pila y también se compararon los resultados obtenidos con el modelo teórico de fragmentación de Kuz – Ram. Los resultados demostraron la capacidad de arranque de la dinamita de seguridad, para diferentes composiciones de carbón. Del estudio parece deducirse que la dinamita de seguridad 20 SR es capaz de arrancar el carbón en condiciones de disparo habituales utilizando un consumo específico proporcional a la relación de la potencia del péndulo balístico de ambos explosivos. ABSTRACT The objective of this project is to show that the permissible explosive called 20 SR is able to pull out the coal in the normal conditions of blasting in a satisfactory way and to set up the equivalence between the 20 SR and gelatin dynamite (Goma 2 ECO). To achieve this goal some blasting were done, changing the conditions of the blasting and the powder factor for the 20 SR. To analyze the fragmentation base on the analysis of the images of the rock blasted, a commercial software was used. The results from this analysis were compared with the results from the theoretical model for fragmentation created by Kuz – Ram. After all, it was showed that the 20 SR explosive is able to pull out the coal for different coal rock compositions. As the result of this project we can conclude that the 20 SR seems to be able to pull out the coal in normal blasting conditions, using the powder factor as a proportion of the “ballistic mortar” between the two explosives.