Feeds:
Posts
Comments

Archive for the ‘Teoremas de la incompletitud de Gödel’ Category

From Logic to Ontology: The limit of “The Semantic Web”

 

 

(Some post are written in English and Spanish language) 

http://www.linkedin.com/answers/technology/web-development/TCH_WDD/165684-18926951 

From Logic to Ontology: The limit of “The Semantic Web” 

 http://en.wikipedia.org/wiki/Undecidable_problem#Other_problems

If you read the next posts on this blog: 

Semantic Web

The Semantic Web

What is the Semantic Web, Actually?

The Metaweb: Beyond Weblogs. From the Metaweb to the Semantic Web: A Roadmap

Semantics to the people! ontoworld

What’s next for the Internet

Web 3.0: Update

How the Wikipedia 3.0: The End of Google? article reached 2 million people in 4 days!

Google vs Web 3.0

Google dont like Web 3.0 [sic] Why am I not surprised?

Designing a better Web 3.0 search engine

From semantic Web (3.0) to the WebOS (4.0)

Search By Meaning

A Web That Thinks Like You

MINDING THE PLANET: THE MEANING AND FUTURE OF THE SEMANTIC WEB

The long-promised “semantic” web is starting to take shape

Start-Up Aims for Database to Automate Web Searching

Metaweb: a semantic wiki startup

http://www.freebase.com/

The Semantic Web, Collective Intelligence and Hyperdata.

Informal logic 

Logical argument

Consistency proof 

Consistency proof and completeness: Gödel’s incompleteness theorems

Computability theory (computer science): The halting problem

Gödel’s incompleteness theorems: Relationship with computability

Non-formal or Inconsistency Logic: LACAN’s LOGIC. Gödel’s incompleteness theorems,

You will realize the internal relationship between them linked from Logic to Ontology.  

I am writing from now on an article about the existence of the semantic web.  

I will prove that it does not exist at all, and that it is impossible to build from machines like computers.  

It does not depend on the software and hardware you use to build it: You cannot do that at all! 

You will notice the internal relations among them, and the connecting thread is the title of this post: “Logic to ontology.”   

I will prove that there is no such construction, which can not be done from the machines, and that does not depend on the hardware or software used.  

More precisely, the limits of the semantic web are not set by the use of machines themselves and biological systems could be used to reach this goal, but as the logic that is being used to construct it does not contemplate the concept of time, since it is purely formal logic and metonymic lacks the metaphor, and that is what Gödel’s theorems remark, the final tautology of each construction or metonymic language (mathematical), which leads to inconsistencies. 

This consistent logic is completely opposite to the logic that makes inconsistent use of time, inherent of human unconscious, but the use of time is built on the lack, not on positive things, it is based on denials and absences, and that is impossible to reflect on a machine because of the perceived lack of the required self-awareness is acquired with the absence.  

The problem is we are trying to build an intelligent system to replace our way of thinking, at least in the information search, but the special nature of human mind is the use of time which lets human beings reach a conclusion, therefore does not exist in the human mind the halting problem or stop of calculation.  

So all efforts faced toward semantic web are doomed to failure a priori if the aim is to extend our human way of thinking into machines, they lack the metaphorical speech, because only a mathematical construction, which will always be tautological and metonymic, and lacks the use of the time that is what leads to the conclusion or “stop”.  

As a demonstration of that, if you suppose it is possible to construct the semantic web, as a language with capabilities similar to human language, which has the use of time, should we face it as a theorem, we can prove it to be false with a counter example, and it is given in the particular case of the Turing machine and “the halting problem”.  

Then as the necessary and sufficient condition for the theorem is not fulfilled, we still have the necessary condition that if a language uses time, it lacks formal logic, the logic used is inconsistent and therefore has no stop problem.

This is a necessary condition for the semantic web, but it is not enough and therefore no machine, whether it is a Turing Machine, a computer or a device as random as a black body related to physics field, can deal with any language other than mathematics language hence it is implied that this language is forced to meet the halting problem, a result of Gödel theorem.   

De la lógica a la ontología: El límite de la “web semántica”  

Si lee los siguientes artículos de este blog: 

http://es.wikipedia.org/wiki/Web_sem%C3%A1ntica  

Wikipedia 3.0: El fin de Google (traducción Spanish)

Lógica 

Lógica Consistente y completitud: Teoremas de la incompletitud de Gödel (Spanish)

Consistencia lógica (Spanish)

Teoría de la computabilidad. Ciencia de la computación.

Teoremas de la incompletitud de Gödel y teoría de la computación: Problema de la parada 

Lógica inconsistente e incompletitud: LOGICAS LACANIANAS y Teoremas de la incompletitud de Gödel (Spanish)  

Jacques Lacan (Encyclopædia Britannica Online)

Usted puede darse cuenta de las relaciones internas entre ellos, y el hilo conductor es el título de este mismo post: “de la lógica a la ontología”.  

Probaré que no existe en absoluto tal construcción, que no se puede hacer desde las máquinas, y que no depende ni del hardware ni del software utilizado.   

Matizando la cuestión, el límite de la web semántica está dado no por las máquinas y/o sistemas biológicos que se pudieran usar, sino porque la lógica con que se intenta construir carece del uso del tiempo, ya que la lógica formal es puramente metonímica y carece de la metáfora, y eso es lo que marcan los teoremas de Gödel, la tautología final de toda construcción y /o lenguaje metonímico (matemático), que lleva a contradicciones.  

Esta lógica consistente es opuesta a la lógica inconsistente que hace uso del tiempo, propia del insconciente humano, pero el uso del tiempo está construido en base a la falta, no en torno a lo positivo sino en base a negaciones y ausencias, y eso es imposible de reflejar en una máquina porque la percepción de la falta necesita de la conciencia de sí mismo que se adquiere con la ausencia.   

El problema está en que pretendemos construir un sistema inteligente que sustituya nuestro pensamiento, al menos en las búsquedas de información, pero la particularidad de nuestro pensamiento humano es el uso del tiempo el que permite concluir, por eso no existe en la mente humana el problema de la parada o detención del cálculo, o lo que es lo mismo ausencia del momento de concluir.  

Así que todos los esfuerzos encaminados a la web semántica están destinados al fracaso a priori si lo que se pretende es prolongar nuestro pensamiento humano en las máquinas, ellas carecen de discurso metafórico, pues sólo son una construcción matemática, que siempre será tautológica y metonímica, ya que además carece del uso del tiempo que es lo que lleva al corte, la conclusión o la “parada”.  

Como demostración vale la del contraejemplo, o sea que si suponemos que es posible construir la web semántica, como un lenguaje con capacidades similares al lenguaje humano, que tiene el uso del tiempo, entonces si ese es un teorema general, con un solo contraejemplo se viene abajo, y el contraejemplo está dado en el caso particular de la máquina de Turing y el “problema de la parada”.  

Luego no se cumple la condición necesaria y suficiente del teorema, nos queda la condición necesaria que es que si un lenguaje tiene el uso del tiempo, carece de lógica formal, usa la lógica inconsistente y por lo tanto no tiene el problema de la parada”, esa es condición necesaria para la web semántica, pero no suficiente y por ello ninguna máquina, sea de Turing, computador o dispositivo aleatorio como un cuerpo negro en física, puede alcanzar el uso de un lenguaje que no sea el matemático con la paradoja de la parada, consecuencia del teorema de Gödel.

Jacques Lacan (Encyclopædia Britannica Online)

Read Full Post »

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 sistemas axiomá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 David Hilbert 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 ese momento 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 proposiciones formalmente 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 o fó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 o fórmula del sistema (definición que precede al enunciado de los axiomas) y el conjunto de las reglas para la obtención de teoremas a partir de los axiomas (reglas de transformación) constituyen la base primitiva del sistema.

K. Gödel demostró que es imposible establecer la consistencia lógica interna de una amplia clase de sistemas deductivos, a menos que se adopten principios tan complejos de razonamiento que su consistencia interna quede tan sujeta a la duda como la de los propios sistemas, poniendo en juego la imposibilidad de demostrar ciertas proposiciones.

Consistencia, inconsistencia, completud e incompletud. ¿Qué es un sistema, qué significa que sea consistente, inconsistente, completo o incompleto, qué es una proposición, etcétera?
Un sistema es un conjunto de axiomas y reglas de inferencia, una proposición una afirmación que puede ser cierta o falsa. ¿Cuándo un sistema es completo? Cuando dentro de él puede determinarse el valor de verdad o falsedad de toda proposición.

La completud nos asegura que no hay ninguna verdad en nuestro sistema que nosotros no seamos capaces de encontrar Pero solo podremos estar seguros de poder alcanzar toda la verdad si nuestro sistema es completo.

En cambio es incompleto cuando contiene proposiciones sobre las que no podemos decidir su verdad o falsedad. Por otra parte, un sistema es coherente cuando no hay contradicciones de ningún tipo ni tiene ninguna paradoja; y es incoherente cuando nos encontramos con contradicciones y paradojas. Un sistema es consistente si está limpio de paradojas y contradicciones y completo si toda proposición puede ser demostrada o refutada entro de él. Gödel considera que si es consistente es incompleto y si es completo es inconsistente.

 

 

En ese sentido, la consistencia implica que no sea posible deducir, a partir del mismo sistema de axiomas, dos teoremas que sean contradictorios. Cuando se llega a una contradicción semántica, el sistema se muestra inconsistente.


El principio de inconsistencia entonces supone que el valor de verdad de un sistema no puede ser determinado a partir de un conjunto de axiomas sino solo desde un axioma exterior. Es decir que un sistema es inconsistente cuando no puede librarse de sus contradicciones semánticas internas.

  

Artículo original completo:

martes 2 de octubre de 2007

LOGICAS LACANIANAS

¿En qué consiste la Consistencia? (*)

-Usos de Lacan de los conceptos de consistencia, inconsistencia,
completud e incompletud-

Referencias
En su Curso anual Del witz que hay en el síntoma que dicta en la Asociación de Psicoanálisis de La Plata, Enrique Acuña introdujo las nociones de inconsistencia, consistencia, completud e incompletud a las que hace mención Lacan a lo largo de su enseñanza. En su última parte en el seminario 23 El sinthome, en relación al nudo borromeo define a lo imaginario por la consistencia, a lo simbólico por la inconsistencia en relación al equívoco significante, y a lo real por la ex -sistencia. Consistencia o inconsistencia del Otro, incompletud del Otro, consistencia lógica del objeto, consistencia de lo imaginario, son distintos enunciados a lo largo de la enseñanza de Lacan que van cobrando distintos sentidos.

 

 

José Ferrater Mora en su Diccionario de filosofía, destaca que el concepto de consistencia aparece en tres contextos diferentes: un uso en el que se describe la “real subsistencia en términos de consistencia”,un sentido metafísico en el que queda ligado al término esencia, por declararse que la esencia de algo es aquello en que este “algo” consiste – con cierta derivación hacia la noción de sustancia-, y por último un contexto lógico a partir de expresiones como prueba de consistencia por medio de la cual se prueba si un cálculo es o no consistente.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 sistemas axiomá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 David Hilbert 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 ese momento 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 proposiciones formalmente 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 o fó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 o fórmula del sistema (definición que precede al enunciado de los axiomas) y el conjunto de las reglas para la obtención de teoremas a partir de los axiomas (reglas de transformación) constituyen la base primitiva del sistema.
K. Gödel demostró que es imposible establecer la consistencia lógica interna de una amplia clase de sistemas deductivos, a menos que se adopten principios tan complejos de razonamiento que su consistencia interna quede tan sujeta a la duda como la de los propios sistemas, poniendo en juego la imposibilidad de demostrar ciertas proposicionesConsistencia, inconsistencia, completud e incompletud¿Qué es un sistema, qué significa que sea consistente, inconsistente, completo o incompleto, qué es una proposición, etcétera?
Un sistema es un conjunto de axiomas y reglas de inferencia, una proposición una afirmación que puede ser cierta o falsa. ¿Cuándo un sistema es completo? Cuando dentro de él puede determinarse el valor de verdad o falsedad de toda proposición
La completud nos asegura que no hay ninguna verdad en nuestro sistema que nosotros no seamos capaces de encontrar Pero solo podremos estar seguros de poder alcanzar toda la verdad si nuestro sistema es completo..En cambio es incompleto cuando contiene proposiciones sobre las que no podemos decidir su verdad o falsedad. Por otra parte, un sistema es coherente cuando no hay contradicciones de ningún tipo ni tiene ninguna paradoja; y es incoherente cuando nos encontramos con contradicciones y paradojas. Un sistema es consistente si está limpio de paradojas y contradicciones y completo si toda proposición puede ser demostrada o refutada entro de él. Gödel considera que si es consistente es incompleto y si es completo es inconsistente.
En ese sentido, la consistencia implica que no sea posible deducir, a partir del mismo sistema de axiomas, dos teoremas que sean contradictorios. Cuando se llega a una contradicción semántica, el sistema se muestra inconsistente.
El principio de inconsistencia entonces supone que el valor de verdad de un sistema no puede ser determinado a partir de un conjunto de axiomas sino solo desde un axioma exterior. Es decir que un sistema es inconsistente cuando no puede librarse de sus contradicciones semánticas internas.-Variaciones conceptuales: consistencia real, simbólica e imaginaria.
Consistencia del Otro, consistencia del objeto, consistencia de lo imaginario, inconsistencia e incompletitud del Otro…¿qué significado adquieren estos conceptos en estas afirmaciones de Lacan a lo largo de su enseñanza?
Al comienzo, más precisamente antes de la construcción del grafo del deseo, el Otro aparece sin barrar, esto es completo y consistente. Se trata de una consistencia simbólica en tanto adolece de contradicción semántica, y de una completud cuántica en cuanto ningún significante falta. Se trata de un Otro que la creencia neurótica construye.

La inconsistencia de este Otro – introducida por el equívoco significante que devela que no todo puede saberse- se revela con más fuerza en el seminario de La Angustia cuando construye el esquema de la doble causación del sujeto y del objeto a partir de la castración del Otro.
En el seminario De un Otro al otro, la expresión consistencia lógica aparece en relación a la nueva versión del objeto a que está construyendo ligada la versión del plus de gozar. Allí la consistencia no queda ligada a la versión de una lógica simbólica que supone un sistema axiomático libre de contradicción, sino más bien a la versión de una “real consistencia ligada a la esencia”. Real subsistencia en términos de consistencia ligada a la esencia, ya que en ella algo consiste. Esta versión se opone a la deriva de la cadena significante en la que no podemos encontrar ninguna consistencia definida en estos términos. Este objeto “sustancializado” viene a ocupar el lugar vacío del Otro, es decir que la consistencia del objeto toma su peso a partir de la inconsistencia el Otro. El objeto a en su consistencia, tapa la inconsistencia del Otro. Se opone así a la inconsistencia de la deriva de la cadena, la consistencia sustancial del objeto a.
En cuanto al registro imaginario, la completitud se pone en juego al comienzo en el estadio del espejo con relación a esa imagen que viene a velar la fragmentación real del organismo. Imagen completa que en tanto tal llena de júbilo al infans.

 

 

Por otro lado la consistencia en relación a lo imaginario Lacan la pone de manifiesto en el seminario El sinthome cuando la opone a la imposibilidad de lo real y a la inconsistencia semántica de lo simbólico introducida por el equívoco significante. Allí define a la consistencia imaginaria como “lo que mantiene junto”(1)

Enrique Acuña, en clase del 12 de septiembre de su curso anual Del witz que hay en el síntoma en la APLP, hizo mención a la versión del nudo borromeo que Lacan introduce en La Tercera según la cual, esta función de “lo que mantiene junto” la cumple el objeto a.
Es un “a” que da estabilidad. Planteó allí la necesidad de acompañar el trayecto que conduce a Lacan hacia la formulación del sinthome desde el nombre del padre, pasando por el objeto a teniendo como horizonte la pregunta ¿porqué Lacan sustituye en esa función de “lo que mantiene junto”, al objeto “a” por el sinthome?.
Se trata de los usos que Lacan hace de los conceptos extraídos de otras disciplinas- en este caso de la matemática, la lógica y la topología- para intentar decir cada vez de una manera nueva, eso que llamó su síntoma; lo real.
Marcelo Ale
Consultas:
Ferrater Mora Jose Diccionario de filosofía. Ariel, Barcelona. 1999.
Copi I Introducción a la
lógica. Manuales EUDEBA. Buenos Aires.1995.
Cohen, M y Ángel, E Introducción a la lógica y al método científico. Amorrortu. Buenos Aires. 1968. 2 vol.
WWW.Wikipedia.org/wiki teoremas.
Acuña Enrique Curso Anual APLP Del witz que hay en el síntoma. 2007
Lacan J La tercera en Intervenciones y textos 2 Manantial. Buenos Aires. 1988.
El seminario libro 23 El sinthome. Paidós. Buenos Aires. 2007.Notas:
(1) Lacan J. El Seminario 23 El sinthome, Página 63.

0 comentarios:

 

Read Full Post »

Older Posts »

%d bloggers like this: