Inconsistencia y Paradojas Semánticas

Resumen

Dentro de la lógica, el análisis de las paradojas semánticas (es decir, paradojas que involucran al predicado de verdad) ha motivado muchos trabajos y nuevas teorías lógicas para buscar distintos tipos de resoluciones a muchas de estas. Dentro del conjunto de paradojas semánticas, se encuentra una muy particular, conocida en la literatura como paradoja de Yablo, presentada como una lista infinita de oraciones cada una de las cuales afirma la falsedad de sus siguientes. Sin embargo, el carácter infinito de la lista de oraciones de esta paradoja no es lo único para resaltar de esta puesto que, a diferencia de paradojas como la del mentiroso y la de Curry, esta paradoja no deriva una contradicción. El propósito del trabajo será dar una motivación, mediante la paradoja de Yablo, de por qué no basta hablar solo de contradicción para definir a una paradoja. Para fundamentarlo, se establecerán una serie de resultados de la aritmética de primer orden, junto con la introducción de un concepto novedoso conocido en la literatura como ω-paradoja.