Patricia Martin

In this paper we integrate a sorted unification calculus into free variable tableau methods for logics with term declarations. The calculus we define is used to close a tableau at once, unifying a set of equations derived from pairs of potentially complementary literals occurring in its branches. Apart from making the deduction system sound and complete, the calculus is terminating and so, it can be used as a decision procedure. In this sense we have separated the complexity of sorts from the undecidability of first order logic.

El artículo analiza el trabajo de apropiación crítica llevado a cabo por Enrique Dussel de la obra de F. W. J. Schelling. Es interesante analizar, desde el marco aportado por la Historia de las Ideas en América Latina, cómo el filósofo de la liberación entiende y resignifica las categorías filosóficas desarrolladas por el filósofo romántico. El artículo se propone identificar los supuestos epistemológicos y metodológicos mediadores en este trabajo de interpretación categorial que le permite al filósofo argentino, entre otros aportes, articular el método analéctico, método a partir del cual es posible proponer una filosofía que se aparta de la dialéctica de lo Uno y puede conceptualmente llegar al otro.

El objetivo del trabajo es plantear una revisión de los clásicos de la filosofía para ampliar nuestro conocimiento histórico y, a la vez, abrir la puerta a nuevas posibles conceptualizaciones de lo político. Concretamente, defendemos que puede haber relevantes pensadoras entre las mujeres religiosas del Renacimiento (y probablemente antes), cuyos escritos son difíciles de analizar desde la perspectiva empleada para estudiar los textos prototípicos del género discursivo. Para solventar esta dificultad, partimos de dos premisas: a) la configuración de los universos discursivos en que se les permite tomar parte no tiene por qué coincidir con la de los discursos prototípicamente masculinos; y b) no se puede comprender el buen gobierno del convento, entendido como una particular civitas (filosofía política), sin la experiencia religiosa femenina como medio para legitimar un poder que no les es reconocido por medios humanos (mística política). A modo de ejemplo, analizamos desde esta distinción entre filosofía política y mística política dos tratados de la carmelita descalza María de san José Salazar, _Consejos que da una priora_ (1590) y _Maestra de novicias_ (1602), en los que se proponen recomendaciones para el virtuoso gobierno conventual femenino basadas en una incuestionable experiencia de gestión.

El presente artículo busca sacar a la luz los problemas epistemológicos que entraña, desde una perspectiva de género, la selección del canon literario en que se ha tomado por «natural» la exclusión de numerosos textos femeninos. Partiendo de un concepto sociocultural de «práctica» y distinguiendo entre la científica y laliteraria, se analizan dos poemas (uno de María de San José Salazar y otro de Lope de Vega) en cuya semejanza formal parece no haberse reparado. La indiferencia por el texto femenino, frente a la abrumadora tinta vertida sobre el masculino, puede encontrarse en dos grupos de razones: extradiscursivos (práctica científica) e intradiscursivos (práctica literaria). La principal conclusión apunta a que el poema de Lope de Vega es individualista, universalizante y activo, mientras que el de Salazar ofrece una correlación de categorías que permiten entender la riqueza de una propuesta vital inclusiva, en discordancia con lo que se espera de un texto desde la práctica científica históricamente patriarcal.

Con el objetivo de demostrar que el sistema de control masculino renacentista tenía grietas de las que algunas mujeres eran plenamente conscientes, efectuamos un análisis del teresiano Libro de la vida a partir de los principales conceptos de la antropología filosófica clásica, asumiendo que una de las herramientas femeninas de expansión política es la publicación de una autobiografía en la que se explica no sólo cómo es el mundo sino también cómo debería ser. Así, se defiende que este libro de Teresa de Ávila establece una propuesta ética de vida en la que se ofrecen pautas de comportamiento a la vez que la autora se configura a sí misma como ser-femenino-en-el-mundo, como fémina-en-el-aquí-y-ahora y como mujer-locuens. La clave está en comprender que a lo largo de la historia numerosas intelectuales empleaban la autobiografía para dar su voz al mundo, pues les estaban vetados los discursos teológicos o filosóficos tal y como se concebían en la cosmovisión patriarcal.

El artículo analiza el trabajo de apropiación crítica llevado a cabo por Enrique Dussel de la obra de F. W. J. Schelling. Es interesante analizar, desde el marco aportado por la Historia de las Ideas en América Latina, cómo el filósofo de la liberación entiende y resignifica las categorías filosóficas desarrolladas por el filósofo romántico. El artículo se propone identificar los supuestos epistemológicos y metodológicos mediadores en este trabajo de interpretación categorial que le permite al filósofo argentino, entre otros aportes, articular el método analéctico, método a partir del cual es posible proponer una filosofía que se aparta de la dialéctica de lo Uno y puede conceptualmente llegar al otro.