Teorías semánticas de la verdad
La teoría semántica de la verdad tiene como caso general para un lenguaje dado:
'P' es verdad si y sólo si P
donde 'P' es una referencia a la sentencia (el nombre de la sentencia), y P es sólo la sentencia en sí misma.
Teoría de la verdad de Kripke
Saul Kripke sostiene que un lenguaje natural puede de hecho contener su propio predicado sin ocasionar contradicción alguna. Él mostró cómo construir una tal y como sigue:
para que entonces verdad quede definida para El granero es grande; después para ' El granero es grande es verdad'; y luego para "' El granero es grande es verdad' es verdad", y así sucesivamente.
Nótese que verdad nunca es definida para oraciones como Esta oración es falsa, dado que no estaba en el subconjunto original y no predica verdad de ninguna oración en el subconjunto original ni en ninguno de los conjuntos subsecuentes. En palabras de Kripke, "no tienen base". Como a estas oraciones nunca se les asigna verdad o falsedad incluso si el proceso se repite infinitamente, la teoría de Kripke implica que algunas oraciones no son ni verdaderas ni falsas. Según algunos autores, esto contradice el Principio de bivalencia: toda oración debe ser verdadera o falsa. [cita requerida] Como este principio es una premisa clave para derivar la Paradoja del mentiroso, la paradoja se disuelve.
La teoría semántica de la verdad tiene como caso general para un lenguaje dado:
'P' es verdad si y sólo si P
donde 'P' es una referencia a la sentencia (el nombre de la sentencia), y P es sólo la sentencia en sí misma.
Teoría de la verdad de Kripke
Saul Kripke sostiene que un lenguaje natural puede de hecho contener su propio predicado sin ocasionar contradicción alguna. Él mostró cómo construir una tal y como sigue:
para que entonces verdad quede definida para El granero es grande; después para ' El granero es grande es verdad'; y luego para "' El granero es grande es verdad' es verdad", y así sucesivamente.
Nótese que verdad nunca es definida para oraciones como Esta oración es falsa, dado que no estaba en el subconjunto original y no predica verdad de ninguna oración en el subconjunto original ni en ninguno de los conjuntos subsecuentes. En palabras de Kripke, "no tienen base". Como a estas oraciones nunca se les asigna verdad o falsedad incluso si el proceso se repite infinitamente, la teoría de Kripke implica que algunas oraciones no son ni verdaderas ni falsas. Según algunos autores, esto contradice el Principio de bivalencia: toda oración debe ser verdadera o falsa. [cita requerida] Como este principio es una premisa clave para derivar la Paradoja del mentiroso, la paradoja se disuelve.
No hay comentarios:
Publicar un comentario