LIMITES DE LA LGICA

Mauricio Alejandro Ramrez G. marlejo@hotmail.com

Presentado a: Carolina Valencia Lgica Formal

UNIVERSIDAD DEL QUINDO ARMENIA QUINDO 2012

TABLA DE CONTENIDO

Pag. Introduccin 1. Lmites de la lgica 1.1. La lgica no puede probarse a s misma 1.2. La lgica y lo espiritual 2. Lmite de lgica formal 2.1. Paradojas 3. Lmites de la lgica proposicional 4. Conclusiones 5. Referencias 2 3 3 3 4 4 5 6 7

INTRODUCCIN

La lgica formal es la parte de la lgica que se dedica al estudio de la inferencia mediante la construccin de lenguajes formales, sistemas deductivos y semnticas formales. La idea es que estas construcciones capturen las caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de anlisis matemtico, permiten realizar demostraciones rigurosas sobre ellas.

Por otro lado la lgica informal, o lgica no formal, es el estudio de los argumentos, tal como se presentan en la vida diaria, en oposicin al estudio de los argumentos en una forma tcnica o artificial, que corresponde a la lgica formal. Esta parte de la lgica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de informacin dada. Parte del principio que el pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso.

En este trabajo vamos a mostrar algunas de las limitaciones que presentan la lgica, lgica formal y la lgica proposicional, ya que no todo puede ser descrito de manera proposicional o lgica; en este espacio es donde se puede encontrar las fronteras de la lgica.

1. Lmites de la Lgica.

Los lmites de la lgica aparecen cuando las herramientas de esta misma no son suficientes para explicar o interpretar ciertos eventos; ya que est basada en un sistema axiomtico, sustentable los cuales le impiden representar satisfactoriamente aquellos fenmenos que todava no pueden ser cuantificados o medidos; ejemplos de estas limitaciones son: el hecho de que la lgica no puede probarse a s misma, la lgica no puede aclarar ni resolver cuestiones ticas, morales, espirituales, sentimentales o religiosos.

La lgica no puede probarse a si misma. La lgica es una realidad primordial de igual manera como lo son el espacio y el tiempo, ya que el tiempo se puede definir como las proporciones relativas de cambio entre los objetos materiales, tendramos que concluir que el tiempo no podra existir sin la materia o tambin se podra decir que el espacio vaco existira aun si nada ms existira. No es necesario explicarlo. No tenemos que probarlo. Por esto mismo la lgica es intrnseca a la realidad. Siendo as, la lgica no requiere de justificacin para su existencia.

La lgica y lo espiritual. Como la lgica se basa en bases medibles y fenmenos a los cuales se les pueda aplicar el mtodo cientfico, aqu es donde aparecen sus limitacin porque no es posible medir o cuantificar la moral, la tica, los sentimientos, lo espiritual o lo religioso, etc estas situaciones no pueden ser descritas con la lgica actual, pero que no lo podamos cuantificar con las herramientas de nuestra poca, no quiere decir que un futuro se desarrollen herramientas que permitan hacerlo; y es por esto que estos eventos forman un lmite a lgica.

2. Lmites de la lgica formal. No todo puede ser descrito con la lgica formal y en estos casos es cuando aparece la lgica informal que es la que intenta explicar los sucesos que no pueden ser lgicamente calculables, un ejemplo de eso son las paradojas.

Paradojas. Las paradojas son expresiones extraas opuestas a lo que se considera verdadero o a la opinin general. En otras palabras, es una proposicin en apariencia verdadera que conlleva a una contradiccin lgica o a una situacin que infringe el sentido comn. En retrica, es una figura de pensamiento que consiste en emplear expresiones o frases que implican contradiccin. Un ejemplo de paradoja es la "Paradoja del mentiroso" ("Esta oracin es falsa"), La paradoja es un poderoso estmulo para la reflexin. A menudo los filsofos se sirven de las paradojas para revelar la complejidad de la realidad. La paradoja tambin permite demostrar las limitaciones de las herramientas de la mente humana. Analizando la paradoja: a) Si admitimos que Esta oracin es falsa es verdadero, entonces es verdadero lo que afirma la oracin, estoy diciendo una mentira, es decir: es el caso de que estoy diciendo algo falso, estoy diciendo algo falso. Por tanto, el enunciado es falso, ya que es verdad que miento. Esto es paradjico porque la oracin afirma que ella misma es falsa. b) Si admitimos que Esta oracin es falsa es falso, entonces no estoy diciendo una mentira, es falso lo que afirma la oracin, es decir: no es el caso de que est diciendo algo falso, no estoy diciendo algo falso. Por tanto, el enunciado es verdadero, ya que es verdad que no miento, es falso que ella misma sea falsa. Por lo tanto no puede asignarse un valor de verdadero o falso por eso es que las paradojas demuestran un lmite de lgica formal.

3. Lmites de la lgica proposicional La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento: Todos los hombres son mortales. Scrates es un hombre. Por lo tanto, Scrates es mortal.

Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segn la lgica proposicional, su formalizacin ser la siguiente: p q Por lo tanto, r

Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se necesita investigar la estructura interna de las variables proposicionales. De esto se ocupa la lgica de primer orden.

4. Conclusiones.

La lgica est limitada por s misma, ya que en esta poca no posee las herramientas suficientes para representar todas los eventos o fenmenos de la vida cotidiana.

La lgica formal tiene lmites, pero cuando estos aparecen la lgica informal se hace cargo y logra describir de manera satisfactoria estos fenmenos.

La naturaleza esencial de la lgica, puede ser descrita como una realidad primordial que no requiere ms validacin que la realidad misma.

La tica, moral, lo espiritual no pueden ser descritos de forma lgica.

5. Referencias.

(s.f.). Obtenido de http://theorein.wordpress.com/2011/02/25/la-paradoja-del-mentiroso/ (s.f.). Obtenido de http://es.wikipedia.org/wiki/L%C3%B3gica_informal (s.f.). Obtenido de http://es.wikipedia.org/wiki/Logica_formal (s.f.). Obtenido de http://es.answers.yahoo.com/question/index?qid=20111019131539AAUQWmx (s.f.). Obtenido de http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional Smalling, D. (s.f.). Obtenido de www.smallings.com/spanish/spanindex.html