Semiótica, lógica e individuación en Deleuze y Lacan: ontología y política de la clínica

El planteamiento general de este trabajo tiene todo que ver con un intento de clarificación referido a las concepciones lógicas y semióticas en virtud de las cuales es posible sostener la irreductibilidad al discurso científico tanto de la filosofía como del psicoanálisis. Tal discurso se constituye en la modernidad y, por cuanto encuentra un peculiar modo de inserción institucional y social como práctica científica de innovación y desarrollo, además de porque dicha inserción le confiere un papel especialmente relevante en los procesos de subjetivación requeridos y propiciados por la sociedad contemporánea, entendemos que la cuestión planteada reviste una relevancia digna de ser tenida en consideración. Ahora bien, muchos son los estudios dedicados a esta cuestión desde perspectivas muy diversas, si bien frecuentemente aquello que se sitúa como objeto principal de la investigación es extraído, bien del lado de la articulación de la ciencia con las condiciones de producción de la sociedad moderna, bien del de un hipotético sujeto (en cierto sentido moral o personal) que resulta violentado o sometido por dichas condiciones. Sin embargo, el propósito y proceder de este volumen pretende situarse en un ámbito intermedio, sirviéndose del modo en el que dos figuras representativas tanto de la filosofía como del psicoanálisis durante la segunda mitad del siglo XX reciben las consecuencias del llamado “giro lingüístico”, en especial por lo que toca a su vertiente estructuralista y a los debates que aparecen a partir de su surgimiento. Tomando como partida la propuesta de Gilles Deleuze de considerar la sintomatología como una práctica propiamente crítica que concierne al modo de reunión y disociación de síntomas mediante la cual se construyen síndromes o regímenes de signos conforme a los que puede tener lugar una evaluación de los sujetos, entendemos que resulta crucial disponer de un aparato conceptual suficiente para dar cuenta de qué concepción del lenguaje y del signo en general se pone en juego en el psicoanálisis y de hasta qué punto ésta es solidaria con respecto a aquella que es efectiva en el ámbito de la sociedad contemporánea...

Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación

En esta memoria hacemos contribuciones dentro del campo de los lenguajes de bases de datos. Nos hemos propuesto tres objetivos fundamentales: 1. Mejorar la expresividad de los lenguajes de bases de datos actuales. 2. Desarrollar semánticas formales para nuestras propuestas de lenguajes de bases de datos extendidos. 3. Llevar a cabo la implementación de las semánticas anteriores en sistemas de bases de datos prácticos. Hemos conseguido estos tres objetivos en distintas áreas dentro de las bases de datos. Por un lado, en el campo de las bases de datos deductivas, proponemos HH:(C). Este lenguaje extiende las capacidades de los lenguajes de bases de datos deductivos con restricciones dado que permite consultas hipotéticas y cuanti cación universal. Por otro lado, utilizamos el estudio dentro de las bases de datos deductivas y lo aplicamos a las bases de datos relacionales. En concreto proponemos HR-SQL que incorpora consultas hipotéticas y de niciones recursivas no lineales y mutuamente recursivas. La idea tras esta propuesta es superar algunas limitaciones expresivas del lenguaje estándar de de nición de bases de datos SQL. A continuación introducimos ambas aproximaciones. Las fórmulas de Harrop hereditarias con restricciones, HH(C), se han usado como base para lenguajes de programación lógica con restricciones. Al igual que la programación lógica da soporte a lenguajes de bases de datos deductivas como Datalog (con restricciones), este marco se usa como base para un sistema de bases de datos deductivas que mejora la expresividad de los sistemas aparecidos hasta el momento. En el segundo capítulo de esta memoria se muestran los resultados teóricos que fundamentan el lenguaje HH:(C) y una implementación concreta de este esquema que demuestra la viabilidad y expresividad del esquema. Las principales aportaciones con respecto a Datalog son la incorporación de la implicación intuicionista, que permite formular hipótesis, y el uso de cuanti cadores incluso en el lenguaje de restricciones. El sistema está diseñado de forma que soporta diferentes sistemas de restricciones. La implementación incluye varios dominios concretos y también funciones de agregación y restricciones de integridad que son habituales en otros lenguajes de bases de datos relacionales. El signi cado del lenguaje se de ne mediante una semántica de pruebas y el mecanismo operacional se de ne mediante una sem ánica de punto jo que es correcta y completa con respecto a la primera. Para el cómputo de las consultas hipotéticas y de las funciones de agregación se hace uso de una noción de estrati cación más compleja que la que usa Datalog. La semántica de punto jo desarrollada constituye un marco apropiado que lleva a la implementación de un sistema concreto...