Paradojas de la implicacion material

Solo disponible en BuenasTareas
  • Páginas : 5 (1173 palabras )
  • Descarga(s) : 4
  • Publicado : 1 de junio de 2010
Leer documento completo
Vista previa del texto
PARADOJAS DE LA IMPLICACIÓN MATERIAL
Son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.[] Algunas de estas son:
*
*
*
*
Para entender mejor lo paradójico de estas fórmulas, podemos considerar algunos ejemplos en el lenguaje natural. Según la lógica clásica,todas estas oraciones son verdades lógicas:
* Si la Luna está hecha de queso, entonces 2 + 2 = 4.
* Si 2 + 2 = 5, entonces el Sol es verde.
* Si la Tierra es plana y no es plana, entonces yo puedo volar.
* Si la Luna está hecha de queso, entonces la Tierra es plana o no es plana.
Como todas estas oraciones parecen tan absurdas, muchos lógicos y filósofos han afirmado que secomete un error al admitirlas como verdades lógicas. En general se piensa que dicho error reside en la interpretación veritativo-funcional del condicional «si..., entonces...», y por lo tanto se han propuesto varias alternativas, entre ellas el condicional estricto, y los esfuerzos de la lógica relevante.
Según algunos autores, varios de los problemas de la filosofía de la ciencia se deben al uso delcondicional material «si..., entonces...» para dar cuenta la noción de implicación. Por otra parte, la introducción del condicional material ha llevado a grandes avances en lógica y matemática.[]
|
Entendiendo las paradojas
En el lenguaje natural, la expresión "si..., entonces..." se usa frecuentemente para hablar de una relación causal. Sin embargo, en la lógica proposicional se la piensamás bien como una relación lógica. El problema proviene de que la interpretación veritativo-funcional del condicional no parece dar cuenta del uso que se le da en el lenguaje ordinario, pues la interpretación del condicional nos dice que si el antecedente es falso, el valor del condicional es verdadero, o que si antecedente y consecuente son falsos, el valor del condicional es verdadero.
Todoesto responde a que en la lógica, el sentido de las tablas de verdad es tomar en cuenta todos los posibles estados del mundo. Por ejemplo, en la proposición «llueve y hace calor», los estados posibles del mundo son cuatro: que llueva y haga calor, que llueva y no haga calor, que no llueva y haga calor, o que ni llueva ni haga calor.
De manera, que el valor del condicional se rige, en el lenguajelógico, por estructuras lógicas que no se relacionan necesariamente con la realidad, sino que parten de lo que podría pasar en el mundo al cual se refiere la preposición.
Por eso, en lógica son válidos esquemas como los que se citan a continuación, que son ejemplos de las llamadas paradojas del condicional material:
1.
2.
3.
4.
Para ejemplificar lo que ocurre, consideremoslas fórmulas (1) y (2). Lo que (1) dice es que una proposición verdadera será implicada por cualquier proposición. Es decir, si A es verdadera, entonces B (una proposición cualquiera) implica A.
En cuanto a (2), lo que dice es que la negación de una proposición verdadera implicará cualquier otra. Es decir, si A es verdadera, entonces la negación de A implica B (una proposición cualquiera).
Ahorabien, qué pasaría si sustiyéramos «A» por «2 + 2 = 4» y «B» por «el Sol es verde». Teniendo en cuenta que «2 + 2 = 4» es verdadero, de (1) y (2), podemos obtener inferencias como las siguientes:
* Si la luna es verde, entonces 2 + 2 = 4.
* Si 2 + 2 ≠ 4, entonces el Sol es verde.
Pero estas dos oraciones entran en conflicto con la idea de implicación que se da en el discurso ordinario,y son ejemplos paradigmáticos de estas paradojas. Por esta razón, se ha dicho que el condicional clásico es paradójico y, en consecuencia, también lo es la propia lógica clásica.
Cuando consideramos una oración como «si llueve y no llueve, entonces puedo volar», parece que lo que esta oración tiene de paradójico es que la conclusión, «puedo volar», no tiene nada que ver con las premisas. Para...
tracking img