El nasciturus y el derecho a la vida. Un estudio desde el derecho romano a la realidad argentina actual.

Desde el Derecho Romano, y aún hasta hoy, se ha debatido acerca de la persona por nacer, un tema que es todavía (y más que nunca) materia de discusión inclusive a nivel legislativo. ¿El nasciturus es persona? Creemos que aquí está el meollo del tema, porque si no lo fuese, obviamente no podríamos pretender que tenga "derechos" ya que conformaría solamente parte de la entraña materna y la mujer embarazada tendría la posibilidad de decidir sobre su continuidad o no. En el caso inverso sucedería todo lo contrario, coexistirían dentro de un mismo cuerpo (el materno) dos seres humanos distintos, cada uno con sus derechos, supuesto en el cual el legislador deberá decidir si alguno priva sobre el otro. Conocemos que el tema tiene múltiples aristas y no es nuestra intención incursionar en todas ellas, ocupándonos de cuestiones médicas o bioéticas que nos son ajenas, nuestro objetivo es bastante más modesto, pero a la vez planeamos hacerlo profundo, específicamente en el ámbito jurídico. Para ello habremos de desentrañar cuál fue la solución consagrada por el Derecho Romano, fundamentalmente en el Corpus Iuris, porque existen muchos civilistas que a nuestro criterio tienen un concepto errado sobre ese tema. Avanzaremos luego en el estudio de los derechos de la época intermedia fundamentalmente las leyes españolas, y también en lo que al respecto consagra tanto el Derecho Canónico como los sistemas jurídicos vigentes en el Derecho Comparado, particularmente en América Latina. Paralelamente se evaluará el problema desde la óptica de la Bioética y la Filosofía. Con este bagaje acumulado estaremos en condiciones de analizar cuál es la realidad jurídica Argentina, cuáles leyes están vigentes, cuáles son los proyectos pendientes de tratamiento legislativo y finalmente formular sugerencias acerca de las características de la norma, o normas, cuya sanción propugnamos. O eventualmente desaconsejar la sanción de una ley al respecto.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Sujeto y Política. La constitución de las identidades desde una perspectiva postfundacionalista: hacia la construcción de un marco teórico-metodológico para el análisis histórico-político. Subject and politics. The constitution of political identities from a posfoundational perspective: towards a construction of a theorethico-methodolocal framework for histórico-political analysis.

El proyecto de investigación se dirige a sistematizar un abordaje postfundacionalista de las identidades políticas en vistas a la construcción de un marco teórico-metodológico para el análisis histórico-político. Se parte de la creciente relevancia en las ciencias sociales de la cuestión de la “identidad” para indagar la singularidad del marco teórico adoptado en su estudio. Así, el postfundacionalismo da cuenta de una teoría de las subjetividades políticas que parte de procesos de identificación que suponen una articulación singular entre relativa estructuralidad y agencia. El sujeto emerge en un contexto nunca plenamente suturado ni plenamente abierto, sino a través de un anudamiento de diversas dimensiones reales, simbólicas e imaginarias. Esta visión es altamente productiva para generar conclusiones relevantes en el campo de la ciencia política y del análisis histórico político comparado. This research project seeks to systematise from a postfundationalist view of political identities a theoretico-methodological framework for historico political analysis. The project starts from the increasing relevance of the quistion of 'identity' for contremporary social sciences. Poststructuralism provides an insight of processes of identification that supposes a singular articulation between relative structurality and agency. The subject emerges in a neither fully structured nor fully opened context but through a knotting process of different registers: real, symblic and imaginary. This vision, we believe, is highly productive to generate meaningful conclusions in the field of political science and comparative political analysis.