Concepto De Verdad

para desarrollar el concepto de verdad en lenguajes formalizados. La teoría de Tarski entiende la verdad en el sentido clásico, es decir, en el sentido de correspondencia. Presentó su teoría al finalde la década de los veinte e inicios de los treinta en importantes trabajos leídos tanto en Polonia como en Viena Tarski afirma la imposibilidad de la definición del concepto de "verdad" en ellenguaje natural dada su "universalidad", sin embargo en un lenguaje formalizado es posible hacerlo.

Con la construcción de sistemas formalizados es posible definir el concepto de verdad. Esto se hace através de la distinción de "el lenguaje sobre el que hablamos y el lenguaje en el que hablamos ... Los nombres de las expresiones del primer lenguaje, y de las relaciones entre ellos, pertenecen alsegundo lenguaje, que se llama metalenguaje (y que puede contener al primero como parte)". El segundo lenguaje o metalenguaje deberá ser más rico ya que "es posible construir en el metalenguaje,metodológicamente correcto y materialmente adecuado, definiciones de los conceptos semánticos si y sólo si el metalenguaje es equipado con variables de un tipo lógico más alto que las variables del lenguajeque es sujeto de investigación".

En lenguajes formalizadosel concepto de verdades siempre un proceso intercategorial, ya que sólo puede construir si se utilizan al menos dos lenguajes formalizadosinterrelacionados. Así, todo lenguaje formalizado en donde se trate de la verdad de un enunciado requiere de otro lenguaje de menor nivel. La expresión verdadero en "X" no puede ser dada al interiorde un sólo lenguaje formalizado "L". Es necesario otro lenguaje "L2". Por ejemplo, si construimos un lenguaje 'U' donde exista la expresión "p", para poder indicar si esta expresión es verdadera esnecesario que exista otro nivel de lenguaje "L2" más rico que el primero de tal manera que se pueda indicar: "p" es verdadera si y sólo si "p2". Esta expresión contiene al menos dos tipos de lenguaje...