Professional Documents
Culture Documents
Entre los lenguajes lógicos que existen hoy en día, uno de los más comunes
es Prolog. Este lenguaje se utiliza para crear programas de uso específico. En
cambio los demostradores de teoremas se valen de inferencias lógicas y son muy
utilizado por científicos para realizar demostraciones largas y complicadas.
Sin embargo en nuestros días hay afirmaciones para las que la nueva
afirmación: “Esta afirmación no puede ser probada dentro del formalismo del
sistema” es verdadera, con el hecho sorprendente de que el razonamiento
humano puede reconocer la verdad de la afirmación sin que el sistema lógico
pueda hacerlo. Un pensador humano reconoce esa verdad razonando sobre el
“significado” de la afirmación, en tanto que el sistema lógico automatizado no
puede hacerlo ya que los símbolos de la afirmación no tienen, para él, significado
alguno.
Esto se debe a que el razonamiento humano no solo es lógica pura sino que
también se considera que la habilidad humana de argumentar, razonar y rebatir
intervienen igualmente la imaginación, las percepciones, los pensamientos y los
sentimientos, y mientras que un sistema lógico llámese sistema de computo o
computadora no cuente con estas cualidades de un ser humano existirán muchas
afirmaciones que no podrán ser probadas por estos.