lógica consistente

« Non-formal or Inconsistency Logic: LACAN’s LOGIC. Gödel’s incompleteness theorems,From Logic to Ontology: The limit of “The Semantic Web” »
Lógica inconsistente e incompletitud: LOGICAS LACANIANASy Teoremas de la incompletitud de Gödel (Spanish)
January 27, 2008 by Francisco Antonio Cerón García
Jacques Lacan (Encyclopædia Britannica Online)http://microscopia2007.blogspot.com/2007/10/logicas-lacanianas.html
Lógica inconsistente e incompletitud: LOGICAS LACANIANAS y Teoremas de la incompletitud de Gödel

La revolución Gödeliana…del Otro que no existe.

Completud, incompletud,consistencia, inconsistencia, decidible e indecidible son conceptos de la metalógica que se refieren a ciertas características de los sistemas lógicos formales, más precisamente a los sistemasaxiomáticos. Son conceptos que se atribuyen a K Gödel a partir de sus teoremas de principios del siglo anterior. Surgen en un contexto muy particular de las matemáticas en contraposición al ideal de DavidHilbert que consideraba que en ese ámbito todo podría ser demostrable.
Kurt Gödel nació el 28 de abril de 1906 en Brünn, Moravia. Entró a formar parte del Círculo de Viena, siendo a partir de esemomento que comienza a elaborar sus teorías más importantes sobre la completitud de los sistemas formales a partir de dos publicaciones: su tesis doctoral escrita en 1929, y el teorema (Sobre proposicionesformalmente indecidibles en los Principia Mathematica y sistemas afines) publicado en 1931.En el año 1931, Gödel publicaba Sobre proposiciones…,artículo que ponía en cuestión el programa de D Hilbert,porque demostraba que no sólo el sistema de Russel y Whitehead tenía fisuras, sino que todo sistema axiomático los tendría.
Un sistema axiomático está compuesto por un conjunto de enunciados ofórmulas que se admiten sin demostración –axiomas- a partir de los cuales se obtienen todas las demás afirmaciones de la teoría llamadas teoremas. El conjunto de axiomas, más la definición de enunciado...