Teoría de la verdad de Tarski
El autor de la concepción semántica de la verdad Alfred Tarski motivado por encontrar una definición satisfactoria de verdad “una que sea materialmente adecuada y formalmente correcta” pensó que entonces era necesaria la interpretación de los símbolos lógicos, su correspondencia con enunciados y establecer el valor de verdad de estos. La concepción semántica de la verdad que propone debe entenderse como una correspondencia entre las oraciones y la realidad, pero como esto resulta un tanto confuso en cuanto que la realidad es algo de valor ambiguo, entonces Tarski decidió precisar