LAS PARADOJAS

Nicolás martín y Javier Ugena

 INDICE

• ¿ Que es una paradoja ? (ejemplos)

• La aporía
• La teoría de tipos
• El metaleguaje
 ¿ Que es una paradoja ?

• Una paradoja es un enunciado o una pregunta que hace romper la

lógica de las cosas.
 ejemplos

o 1 paradoja de Grelling Nelson

(Se dice que un adjetivo es autológico cuando se define así mismo)
(se dice que un adjetivo es Heterológico cuando pasa lo contrario)
 ejemplos

o 2 la paradoja de el abuelo:
(la muerte interminable)
 La aporía

• Aporía es un término que sirve para señalar una contradicción

insoluble que se encuentra en cualquier razonamiento.
 La teoría de tipos

• En matemáticas, lógica y ciencias de la computación, la teoría de

tipos es cualquiera de varios sistemas formales que pueden servir
como alternativas a la teoría de conjuntos como fundamento de
las matemáticas constructivas, o al estudio de tales formalismos
en general.
El metalenguaje

• Es el lenguaje que se utiliza para hablar sobre la lengua misma,

para describirla. No se trata, como tal vez el término podría
sugerir, de un tipo de lenguaje distinto del que se puede utilizar
con otros fines, sino de una función con la que pueden ser usadas
todas las lenguas naturales; con esta función, la lengua misma (el
código lingüístico) se toma como objeto del enunciado que se
formula.
FIN

Gracias por su atención