Explorando la Metalógica: Comprendiendo las Paradojas y su Impacto en la Lógica

Metalógica

Una cuestión fundamental en lógica es estudiar las relaciones que se establecen entre las estructuras sintácticas y sus interpretaciones semánticas que se establecen en los cálculos. Esto nos dará una visión de la utilidad del cálculo como herramienta deductiva. Si queremos derivar una teoría científica, le pediríamos al cálculo deductivo lo siguiente:

• Todo lo que se derive en el cálculo sea una verdad lógica.
• Toda verdad pueda derivarse en el cálculo.
• Ante cualquier fórmula que pueda construirse, se pueda determinar si es o no verdadera.

Pues bien, la disciplina que estudia los cálculos lógicos se denomina Metalógica y sus propiedades para entender estos cálculos son:

Propiedades de la Metalógica

1. Consistencia: Un cálculo es consistente si toda fórmula que se deriva en el cálculo es una verdad lógica.
2. Completud: Un cálculo es completo si toda verdad lógica puede deducirse en el cálculo.
3. Decibilidad: Un cálculo es decidible si existe un procedimiento finito y algorítmico que permite decidir si la fórmula o deducción es demostrable en el cálculo.

Paradojas

Una paradoja es un dibujo, oración o argumento que no tiene una solución definitiva. Si optamos por una solución, entonces parece transformarse y convertirse en lo contrario. Existen muchos tipos de paradojas que suponen serios problemas a teorías tan aparentemente sólidas como las matemáticas o la lógica.

Una famosa paradoja es la de Epimenides, que decía: “Esta oración es falsa” o “Estoy mintiendo”. ¿Es verdad que la oración es falsa? ¿Es verdad que miento? Pero, si es verdad que miento, entonces no miento. Luego, si es verdad, entonces es falsa.

Otra famosa paradoja es la de Russell y los barberos. Por ejemplo, el barbero de todos los barberos que no se afeitan a sí mismos, ¿se afeita a sí mismo? Si no lo hace, estará dentro del grupo al que afeita y entonces se afeitará a sí mismo; y si no está, entonces no se afeita a sí mismo y debería formar parte del conjunto.

También está la paradoja de Zenón y la tortuga, que, por mucha ventaja que la dejase, nunca la alcanzaría.