Diferencia entre revisiones de «Verdad»

 

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. Esto contradice el [[Principio de bivalencia]]: toda oración debe ser verdadera o falsa. Como este principio es una premisa clave para derivar la [[Paradoja del mentiroso]], la paradoja se disuelve. (Véase: [[Saul A. Kripke]] y [[Jesús Padilla Gálvez]])

 

== Tipos de verdad ==